yoda-language-server 0.7.2 → 0.8.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/test.yml +23 -0
- data/.gitignore +1 -1
- data/.rspec +1 -0
- data/Gemfile +2 -0
- data/README.md +23 -11
- data/Rakefile +32 -0
- data/bin/bench +12 -0
- data/bin/local +7 -0
- data/client/atom/.gitignore +1 -0
- data/{package.json → client/atom/package.json} +1 -1
- data/{yarn.lock → client/atom/yarn.lock} +0 -0
- data/client/vscode/.gitignore +1 -1
- data/client/vscode/.vscode/launch.json +0 -11
- data/client/vscode/.vscode/settings.json +5 -1
- data/client/vscode/LICENSE.txt +21 -0
- data/client/vscode/README.md +4 -55
- data/client/vscode/package-lock.json +4195 -1360
- data/client/vscode/package.json +30 -15
- data/client/vscode/src/config.ts +13 -0
- data/client/vscode/src/extension.ts +11 -27
- data/client/vscode/src/install-tools.ts +69 -0
- data/client/vscode/src/language-server.ts +54 -0
- data/client/vscode/src/status.ts +3 -0
- data/client/vscode/src/test/runTest.ts +30 -0
- data/client/vscode/src/test/{completion.test.ts → suite/completion.test.ts} +2 -1
- data/client/vscode/src/test/suite/hover.test.ts +43 -0
- data/client/vscode/src/test/suite/index.ts +27 -0
- data/client/vscode/tsconfig.json +4 -1
- data/exe/yoda +1 -1
- data/lib/yoda/ast/array_node.rb +10 -0
- data/lib/yoda/ast/assignment_node.rb +15 -0
- data/lib/yoda/ast/block_call_node.rb +20 -0
- data/lib/yoda/ast/block_node.rb +10 -0
- data/lib/yoda/ast/case_node.rb +20 -0
- data/lib/yoda/ast/center_operator_node.rb +20 -0
- data/lib/yoda/ast/class_node.rb +22 -0
- data/lib/yoda/ast/comment_block/base_part.rb +12 -0
- data/lib/yoda/ast/comment_block/range_calculation.rb +58 -0
- data/lib/yoda/ast/comment_block/tag_part.rb +88 -0
- data/lib/yoda/ast/comment_block/tag_text_name_part.rb +35 -0
- data/lib/yoda/ast/comment_block/tag_text_type_part.rb +52 -0
- data/lib/yoda/ast/comment_block/text_part.rb +28 -0
- data/lib/yoda/ast/comment_block/token.rb +44 -0
- data/lib/yoda/ast/comment_block.rb +119 -0
- data/lib/yoda/ast/conditional_loop_node.rb +15 -0
- data/lib/yoda/ast/constant_assignment_node.rb +20 -0
- data/lib/yoda/ast/constant_base_node.rb +42 -0
- data/lib/yoda/ast/constant_node.rb +53 -0
- data/lib/yoda/ast/def_node.rb +27 -0
- data/lib/yoda/ast/def_singleton_node.rb +32 -0
- data/lib/yoda/ast/empty_vnode.rb +24 -0
- data/lib/yoda/ast/ensure_node.rb +15 -0
- data/lib/yoda/ast/for_node.rb +20 -0
- data/lib/yoda/ast/hash_node.rb +10 -0
- data/lib/yoda/ast/if_node.rb +20 -0
- data/lib/yoda/ast/interpolation_text_node.rb +10 -0
- data/lib/yoda/ast/kwsplat_node.rb +10 -0
- data/lib/yoda/ast/left_operator_node.rb +15 -0
- data/lib/yoda/ast/literal_node.rb +18 -0
- data/lib/yoda/ast/method_traversable.rb +22 -0
- data/lib/yoda/ast/module_node.rb +17 -0
- data/lib/yoda/ast/multiple_left_hand_side_node.rb +31 -0
- data/lib/yoda/ast/name_vnode.rb +28 -0
- data/lib/yoda/ast/namespace.rb +36 -0
- data/lib/yoda/ast/namespace_traversable.rb +39 -0
- data/lib/yoda/ast/node.rb +52 -0
- data/lib/yoda/ast/optional_parameter_node.rb +20 -0
- data/lib/yoda/ast/pair_node.rb +15 -0
- data/lib/yoda/ast/parameter_node.rb +25 -0
- data/lib/yoda/ast/parameters_node.rb +62 -0
- data/lib/yoda/ast/rescue_clause_node.rb +20 -0
- data/lib/yoda/ast/rescue_node.rb +20 -0
- data/lib/yoda/ast/root_vnode.rb +48 -0
- data/lib/yoda/ast/send_node.rb +100 -0
- data/lib/yoda/ast/singleton_class_node.rb +17 -0
- data/lib/yoda/ast/special_call_node.rb +10 -0
- data/lib/yoda/ast/traversable.rb +34 -0
- data/lib/yoda/ast/value_vnode.rb +28 -0
- data/lib/yoda/ast/variable_node.rb +15 -0
- data/lib/yoda/ast/vnode.rb +170 -0
- data/lib/yoda/ast/when_node.rb +15 -0
- data/lib/yoda/ast.rb +140 -0
- data/lib/yoda/cli/analyze_deps.rb +102 -0
- data/lib/yoda/{commands → cli}/base.rb +1 -1
- data/lib/yoda/{commands → cli}/complete.rb +12 -9
- data/lib/yoda/cli/console.rb +17 -0
- data/lib/yoda/{commands → cli}/file_cursor_parsable.rb +1 -1
- data/lib/yoda/{commands → cli}/infer.rb +4 -4
- data/lib/yoda/cli.rb +117 -0
- data/lib/yoda/has_services.rb +40 -0
- data/lib/yoda/instrument.rb +14 -5
- data/lib/yoda/logger.rb +4 -2
- data/lib/yoda/missing_delegatable.rb +34 -0
- data/lib/yoda/model/completion_item.rb +43 -11
- data/lib/yoda/model/descriptions/base.rb +11 -0
- data/lib/yoda/model/descriptions/comment_token_description.rb +46 -0
- data/lib/yoda/model/descriptions/function_description.rb +19 -2
- data/lib/yoda/model/descriptions/node_description.rb +19 -8
- data/lib/yoda/model/descriptions/variable_description.rb +41 -0
- data/lib/yoda/model/descriptions.rb +2 -0
- data/lib/yoda/model/environment/accessor_interface.rb +43 -0
- data/lib/yoda/model/environment/instance_accessor.rb +121 -0
- data/lib/yoda/model/environment/namespace_members.rb +104 -0
- data/lib/yoda/model/environment/singleton_accessor.rb +66 -0
- data/lib/yoda/model/environment/value_factory.rb +151 -0
- data/lib/yoda/model/environment/value_resolve_context.rb +62 -0
- data/lib/yoda/model/environment/with_cache.rb +14 -0
- data/lib/yoda/model/environment.rb +122 -0
- data/lib/yoda/model/function_signatures/base.rb +22 -2
- data/lib/yoda/model/function_signatures/constructor.rb +17 -1
- data/lib/yoda/model/function_signatures/method.rb +18 -2
- data/lib/yoda/model/function_signatures/overload.rb +17 -1
- data/lib/yoda/model/function_signatures/parameter_list.rb +17 -0
- data/lib/yoda/model/function_signatures/rbs_method.rb +91 -0
- data/lib/yoda/model/function_signatures/type_builder.rb +63 -31
- data/lib/yoda/model/function_signatures/wrapper.rb +46 -0
- data/lib/yoda/model/function_signatures.rb +2 -0
- data/lib/yoda/model/lexical_context.rb +40 -0
- data/lib/yoda/model/node_signatures/base.rb +42 -0
- data/lib/yoda/model/node_signatures/const.rb +20 -0
- data/lib/yoda/model/node_signatures/method_definition.rb +20 -0
- data/lib/yoda/model/node_signatures/node.rb +11 -0
- data/lib/yoda/model/node_signatures/send.rb +20 -0
- data/lib/yoda/model/node_signatures.rb +35 -0
- data/lib/yoda/model/parameters/base.rb +14 -0
- data/lib/yoda/model/parameters/binder.rb +148 -0
- data/lib/yoda/model/parameters/multiple.rb +36 -0
- data/lib/yoda/model/parameters/named.rb +20 -0
- data/lib/yoda/model/parameters/unnamed.rb +12 -0
- data/lib/yoda/model/parameters.rb +11 -0
- data/lib/yoda/model/path.rb +16 -0
- data/lib/yoda/model/primary_source_inferencer.rb +34 -0
- data/lib/yoda/model/scoped_path.rb +13 -2
- data/lib/yoda/model/{types → type_expressions}/any_type.rb +7 -3
- data/lib/yoda/model/{types → type_expressions}/base.rb +10 -3
- data/lib/yoda/model/{types → type_expressions}/duck_type.rb +8 -2
- data/lib/yoda/model/type_expressions/function_type/parameter.rb +95 -0
- data/lib/yoda/model/{types → type_expressions}/function_type.rb +61 -70
- data/lib/yoda/model/type_expressions/generator.rb +28 -0
- data/lib/yoda/model/{types → type_expressions}/generic_type.rb +17 -2
- data/lib/yoda/model/{types → type_expressions}/instance_type.rb +10 -2
- data/lib/yoda/model/{types → type_expressions}/module_type.rb +7 -1
- data/lib/yoda/model/type_expressions/self_type.rb +38 -0
- data/lib/yoda/model/{types → type_expressions}/sequence_type.rb +6 -1
- data/lib/yoda/model/{types → type_expressions}/union_type.rb +7 -3
- data/lib/yoda/model/{types → type_expressions}/unknown_type.rb +6 -1
- data/lib/yoda/model/{types → type_expressions}/value_type.rb +17 -1
- data/lib/yoda/model/type_expressions/void_type.rb +37 -0
- data/lib/yoda/model/type_expressions.rb +40 -0
- data/lib/yoda/model/values/base.rb +23 -8
- data/lib/yoda/model/values/empty_value.rb +39 -0
- data/lib/yoda/model/values/instance_value.rb +24 -43
- data/lib/yoda/model/values/intersection_value.rb +48 -0
- data/lib/yoda/model/values/literal_value.rb +23 -0
- data/lib/yoda/model/values/union_value.rb +50 -0
- data/lib/yoda/model/values.rb +5 -1
- data/lib/yoda/model/yard_type_parser.rb +35 -0
- data/lib/yoda/model.rb +7 -2
- data/lib/yoda/parsing/comment_tokenizer.rb +21 -4
- data/lib/yoda/parsing/node_objects/args_node.rb +85 -0
- data/lib/yoda/parsing/node_objects/const_node.rb +3 -3
- data/lib/yoda/parsing/node_objects/mlhs_node.rb +31 -0
- data/lib/yoda/parsing/node_objects.rb +2 -0
- data/lib/yoda/parsing/parser.rb +44 -5
- data/lib/yoda/parsing/query/current_comment_token_query.rb +4 -3
- data/lib/yoda/parsing/query/current_commenting_node_query.rb +7 -7
- data/lib/yoda/parsing/scopes/base.rb +1 -1
- data/lib/yoda/parsing/scopes/builder.rb +1 -1
- data/lib/yoda/parsing/source_cutter.rb +6 -2
- data/lib/yoda/parsing/traverser/matcher.rb +65 -0
- data/lib/yoda/parsing/traverser/query_interface.rb +68 -0
- data/lib/yoda/parsing/traverser/result_set.rb +37 -0
- data/lib/yoda/parsing/traverser.rb +29 -0
- data/lib/yoda/parsing/type_parser.rb +24 -20
- data/lib/yoda/parsing.rb +27 -1
- data/lib/yoda/presentation/code_completion/constant.rb +27 -0
- data/lib/yoda/server/lifecycle_handler.rb +81 -4
- data/lib/yoda/server/notifier.rb +131 -0
- data/lib/yoda/server/providers/completion.rb +31 -17
- data/lib/yoda/server/providers/definition.rb +38 -10
- data/lib/yoda/server/providers/hover.rb +26 -10
- data/lib/yoda/server/providers/reportable_progress.rb +75 -0
- data/lib/yoda/server/providers/signature.rb +20 -7
- data/lib/yoda/server/providers/text_document_did_change.rb +1 -1
- data/lib/yoda/server/providers/text_document_did_open.rb +1 -1
- data/lib/yoda/server/providers/with_timeout.rb +36 -0
- data/lib/yoda/server/providers/workspace_did_change_workspace_folders.rb +33 -0
- data/lib/yoda/server/providers/workspace_did_create_files.rb +21 -0
- data/lib/yoda/server/providers/workspace_did_delete_files.rb +21 -0
- data/lib/yoda/server/providers/workspace_did_rename_files.rb +22 -0
- data/lib/yoda/server/providers/workspace_symbol.rb +82 -0
- data/lib/yoda/server/providers.rb +12 -0
- data/lib/yoda/server/root_handler.rb +27 -23
- data/lib/yoda/server/rootless_workspace.rb +62 -0
- data/lib/yoda/server/scheduler.rb +50 -0
- data/lib/yoda/server/session.rb +71 -25
- data/lib/yoda/server/uri_decoder.rb +16 -0
- data/lib/yoda/server/workspace.rb +117 -0
- data/lib/yoda/server.rb +9 -2
- data/lib/yoda/services/code_completion/base_provider.rb +52 -0
- data/lib/yoda/{evaluation → services}/code_completion/const_provider.rb +35 -25
- data/lib/yoda/services/code_completion/keyword_provider.rb +67 -0
- data/lib/yoda/services/code_completion/local_variable_provider.rb +51 -0
- data/lib/yoda/{evaluation → services}/code_completion/method_provider.rb +14 -32
- data/lib/yoda/services/code_completion.rb +74 -0
- data/lib/yoda/{evaluation → services}/comment_completion/base_provider.rb +11 -6
- data/lib/yoda/{evaluation → services}/comment_completion/param_provider.rb +1 -1
- data/lib/yoda/{evaluation → services}/comment_completion/tag_provider.rb +1 -1
- data/lib/yoda/{evaluation → services}/comment_completion/type_provider.rb +6 -5
- data/lib/yoda/{evaluation → services}/comment_completion.rb +13 -13
- data/lib/yoda/services/current_node_explain/comment_signature.rb +77 -0
- data/lib/yoda/services/current_node_explain.rb +72 -0
- data/lib/yoda/services/evaluator.rb +44 -0
- data/lib/yoda/services/signature_discovery.rb +74 -0
- data/lib/yoda/services.rb +9 -0
- data/lib/yoda/store/actions/build_core_index.rb +38 -9
- data/lib/yoda/store/actions/import_core_library.rb +14 -19
- data/lib/yoda/store/actions/import_gem.rb +65 -33
- data/lib/yoda/store/actions/import_project_dependencies.rb +47 -0
- data/lib/yoda/store/actions/import_std_library.rb +13 -18
- data/lib/yoda/store/actions/read_file.rb +21 -6
- data/lib/yoda/store/actions/read_project_files.rb +7 -1
- data/lib/yoda/store/actions.rb +1 -0
- data/lib/yoda/store/adapters/base.rb +39 -0
- data/lib/yoda/store/adapters/gdbm_adapter/namespace_accessor.rb +152 -0
- data/lib/yoda/store/adapters/gdbm_adapter.rb +56 -0
- data/lib/yoda/store/adapters/lazy_adapter.rb +34 -0
- data/lib/yoda/store/adapters/memory_adapter.rb +21 -0
- data/lib/yoda/store/adapters.rb +12 -4
- data/lib/yoda/store/config.rb +43 -0
- data/lib/yoda/store/file_tree.rb +131 -0
- data/lib/yoda/store/objects/base.rb +73 -4
- data/lib/yoda/store/objects/class_object.rb +10 -1
- data/lib/yoda/store/objects/connected_delegation.rb +25 -0
- data/lib/yoda/store/objects/libraries_status.rb +67 -0
- data/lib/yoda/store/objects/library/core.rb +72 -0
- data/lib/yoda/store/objects/library/gem.rb +141 -0
- data/lib/yoda/store/objects/library/std.rb +72 -0
- data/lib/yoda/store/objects/library/with_registry.rb +28 -0
- data/lib/yoda/store/objects/library.rb +24 -0
- data/lib/yoda/store/objects/map.rb +61 -0
- data/lib/yoda/store/objects/merger.rb +6 -5
- data/lib/yoda/store/objects/meta_class_object.rb +28 -1
- data/lib/yoda/store/objects/method_object.rb +39 -6
- data/lib/yoda/store/objects/module_object.rb +3 -0
- data/lib/yoda/store/objects/namespace_object.rb +38 -1
- data/lib/yoda/store/objects/overload.rb +1 -1
- data/lib/yoda/store/objects/patch.rb +53 -10
- data/lib/yoda/store/objects/serializable.rb +17 -2
- data/lib/yoda/store/objects/serializable_set.rb +23 -0
- data/lib/yoda/store/objects/tag.rb +1 -1
- data/lib/yoda/store/objects/value_object.rb +5 -1
- data/lib/yoda/store/objects.rb +5 -1
- data/lib/yoda/store/project/dependency.rb +83 -0
- data/lib/yoda/store/project/file_finder.rb +101 -0
- data/lib/yoda/store/project/rbs_loader.rb +41 -0
- data/lib/yoda/store/project/setuper.rb +68 -0
- data/lib/yoda/store/project.rb +99 -41
- data/lib/yoda/store/query/ancestor_tree.rb +126 -0
- data/lib/yoda/store/query/associators/associate_ancestors.rb +2 -83
- data/lib/yoda/store/query/associators/associate_methods.rb +2 -2
- data/lib/yoda/store/query/constant_member_set.rb +33 -0
- data/lib/yoda/store/query/find_constant.rb +22 -4
- data/lib/yoda/store/query/find_meta_class.rb +1 -1
- data/lib/yoda/store/query/find_method.rb +9 -2
- data/lib/yoda/store/query/find_signature.rb +11 -3
- data/lib/yoda/store/query/find_workspace_objects.rb +36 -0
- data/lib/yoda/store/query/method_member_set.rb +50 -0
- data/lib/yoda/store/query.rb +4 -0
- data/lib/yoda/store/{registry_cache.rb → registry/cache.rb} +26 -1
- data/lib/yoda/store/registry/composer.rb +47 -0
- data/lib/yoda/store/registry/index.rb +116 -0
- data/lib/yoda/store/registry/library_registry.rb +69 -0
- data/lib/yoda/store/registry/library_registry_set.rb +133 -0
- data/lib/yoda/store/registry/local_store.rb +38 -0
- data/lib/yoda/store/registry/project_registry.rb +72 -0
- data/lib/yoda/store/registry.rb +25 -97
- data/lib/yoda/store/transformers/core_visibility.rb +61 -0
- data/lib/yoda/store/transformers.rb +7 -0
- data/lib/yoda/store/version_store.rb +71 -0
- data/lib/yoda/store/yard_importer.rb +13 -13
- data/lib/yoda/store.rb +15 -2
- data/lib/yoda/typing/constant_resolver/cbase_query.rb +14 -0
- data/lib/yoda/typing/constant_resolver/member_query.rb +27 -0
- data/lib/yoda/typing/constant_resolver/node_tracer.rb +36 -0
- data/lib/yoda/typing/constant_resolver/query.rb +59 -0
- data/lib/yoda/typing/constant_resolver/relative_base_query.rb +14 -0
- data/lib/yoda/typing/constant_resolver.rb +105 -0
- data/lib/yoda/typing/contexts/base_context.rb +83 -0
- data/lib/yoda/typing/contexts/block_context.rb +14 -0
- data/lib/yoda/typing/contexts/context_derivation.rb +59 -0
- data/lib/yoda/typing/contexts/method_context.rb +14 -0
- data/lib/yoda/typing/contexts/namespace_block_context.rb +29 -0
- data/lib/yoda/typing/contexts/namespace_context.rb +14 -0
- data/lib/yoda/typing/contexts.rb +25 -0
- data/lib/yoda/typing/environment.rb +1 -1
- data/lib/yoda/typing/inferencer/arguments.rb +38 -0
- data/lib/yoda/typing/inferencer/arguments_binder.rb +24 -0
- data/lib/yoda/typing/inferencer/ast_traverser.rb +408 -0
- data/lib/yoda/typing/inferencer/method_resolver.rb +81 -0
- data/lib/yoda/typing/inferencer/object_resolver.rb +55 -0
- data/lib/yoda/typing/inferencer/parameter_binder.rb +176 -0
- data/lib/yoda/typing/inferencer/tracer.rb +177 -0
- data/lib/yoda/typing/inferencer/type_binding.rb +46 -0
- data/lib/yoda/typing/inferencer.rb +52 -0
- data/lib/yoda/typing/node_info.rb +78 -0
- data/lib/yoda/typing/relation.rb +2 -2
- data/lib/yoda/typing/traces/base.rb +2 -2
- data/lib/yoda/typing/traces/normal.rb +3 -3
- data/lib/yoda/typing/traces/send.rb +4 -4
- data/lib/yoda/typing/tree/base.rb +46 -0
- data/lib/yoda/typing/tree/begin.rb +15 -0
- data/lib/yoda/typing/tree/block.rb +12 -0
- data/lib/yoda/typing/tree/case.rb +29 -0
- data/lib/yoda/typing/tree/class_tree.rb +31 -0
- data/lib/yoda/typing/tree/const.rb +12 -0
- data/lib/yoda/typing/tree/constant_assignment.rb +12 -0
- data/lib/yoda/typing/tree/defined.rb +11 -0
- data/lib/yoda/typing/tree/escape.rb +12 -0
- data/lib/yoda/typing/tree/for.rb +8 -0
- data/lib/yoda/typing/tree/hash_body.rb +36 -0
- data/lib/yoda/typing/tree/if.rb +17 -0
- data/lib/yoda/typing/tree/literal.rb +46 -0
- data/lib/yoda/typing/tree/literal_with_interpolation.rb +21 -0
- data/lib/yoda/typing/tree/logical_assignment.rb +16 -0
- data/lib/yoda/typing/tree/logical_operator.rb +15 -0
- data/lib/yoda/typing/tree/method.rb +43 -0
- data/lib/yoda/typing/tree/module_tree.rb +31 -0
- data/lib/yoda/typing/tree/multiple_assignment.rb +20 -0
- data/lib/yoda/typing/tree/rescue_body.rb +12 -0
- data/lib/yoda/typing/tree/self.rb +11 -0
- data/lib/yoda/typing/tree/send.rb +71 -0
- data/lib/yoda/typing/tree/singleton_method.rb +47 -0
- data/lib/yoda/typing/tree/super.rb +12 -0
- data/lib/yoda/typing/tree/variable.rb +20 -0
- data/lib/yoda/typing/tree/variable_assignment.rb +20 -0
- data/lib/yoda/typing/tree/while.rb +12 -0
- data/lib/yoda/typing/tree/yield.rb +12 -0
- data/lib/yoda/typing/tree.rb +96 -0
- data/lib/yoda/typing/types/any.rb +15 -0
- data/lib/yoda/typing/types/associative_array.rb +28 -0
- data/lib/yoda/typing/types/base.rb +25 -0
- data/lib/yoda/typing/types/converter.rb +67 -0
- data/lib/yoda/typing/types/function.rb +68 -0
- data/lib/yoda/typing/types/generator.rb +306 -0
- data/lib/yoda/typing/types/generic.rb +29 -0
- data/lib/yoda/typing/types/instance.rb +30 -0
- data/lib/yoda/typing/types/instance_type.rb +74 -0
- data/lib/yoda/typing/types/method.rb +39 -0
- data/lib/yoda/typing/types/rbs_type_wrapper_interface.rb +44 -0
- data/lib/yoda/typing/types/singleton_type.rb +75 -0
- data/lib/yoda/typing/types/tuple.rb +24 -0
- data/lib/yoda/typing/types/type.rb +60 -0
- data/lib/yoda/typing/types/union.rb +38 -0
- data/lib/yoda/typing/types/var.rb +38 -0
- data/lib/yoda/typing/types.rb +24 -0
- data/lib/yoda/typing.rb +5 -2
- data/lib/yoda/version.rb +1 -1
- data/lib/yoda.rb +6 -2
- data/scripts/benchmark.rb +1 -1
- data/yoda-language-server.gemspec +16 -15
- metadata +334 -111
- data/.travis.yml +0 -8
- data/client/vscode/src/test/index.ts +0 -24
- data/lib/yoda/commands/setup.rb +0 -51
- data/lib/yoda/commands.rb +0 -69
- data/lib/yoda/evaluation/code_completion/base_provider.rb +0 -57
- data/lib/yoda/evaluation/code_completion/variable_provider.rb +0 -18
- data/lib/yoda/evaluation/code_completion.rb +0 -65
- data/lib/yoda/evaluation/current_node_explain.rb +0 -71
- data/lib/yoda/evaluation/evaluator.rb +0 -105
- data/lib/yoda/evaluation/signature_discovery.rb +0 -85
- data/lib/yoda/evaluation.rb +0 -9
- data/lib/yoda/model/node_signature.rb +0 -43
- data/lib/yoda/model/types.rb +0 -84
- data/lib/yoda/model/values/module_value.rb +0 -72
- data/lib/yoda/parsing/source_analyzer.rb +0 -59
- data/lib/yoda/server/file_store.rb +0 -57
- data/lib/yoda/store/adapters/leveldb_adapter.rb +0 -80
- data/lib/yoda/store/adapters/lmdb_adapter.rb +0 -113
- data/lib/yoda/store/objects/project_status.rb +0 -169
- data/lib/yoda/store/project/cache.rb +0 -78
- data/lib/yoda/store/project/library_doc_loader.rb +0 -114
- data/lib/yoda/typing/context.rb +0 -96
- data/lib/yoda/typing/evaluator.rb +0 -259
- data/scripts/build_core_index.sh +0 -16
@@ -0,0 +1,88 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class CommentBlock
|
4
|
+
class TagPart < BasePart
|
5
|
+
# @return [CommentBlock]
|
6
|
+
attr_reader :comment_block
|
7
|
+
|
8
|
+
# @return [Parsing::CommentTokenizer::Sequence]
|
9
|
+
attr_reader :token
|
10
|
+
|
11
|
+
# @param comment_block [CommentBlock]
|
12
|
+
# @param token [Parsing::CommentTokenizer::Sequence]
|
13
|
+
def initialize(comment_block:, token:)
|
14
|
+
@comment_block = comment_block
|
15
|
+
@token = token
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [Integer]
|
19
|
+
def begin_index
|
20
|
+
token.all_tokens.first.offset
|
21
|
+
end
|
22
|
+
|
23
|
+
# @return [Integer]
|
24
|
+
def end_index
|
25
|
+
last_token = token.all_tokens.last
|
26
|
+
last_token.offset + last_token.length
|
27
|
+
end
|
28
|
+
|
29
|
+
# @return [TagTextTypePart, nil]
|
30
|
+
def type_part
|
31
|
+
return nil if tokens_in_bracket.empty?
|
32
|
+
@type_part ||= begin
|
33
|
+
TagTextTypePart.new(parent: self, tokens: tokens_in_bracket)
|
34
|
+
end
|
35
|
+
end
|
36
|
+
|
37
|
+
# @return [TagTextNamePart, nil]
|
38
|
+
def name_part
|
39
|
+
@name_part ||= begin
|
40
|
+
if tokens_before_bracket.empty?
|
41
|
+
if tokens_after_bracket.empty?
|
42
|
+
nil
|
43
|
+
else
|
44
|
+
TagTextNamePart.new(parent: self, tokens: [tokens_after_bracket.first])
|
45
|
+
end
|
46
|
+
else
|
47
|
+
TagTextNamePart.new(parent: self, tokens: tokens_before_bracket)
|
48
|
+
end
|
49
|
+
end
|
50
|
+
end
|
51
|
+
|
52
|
+
# @param location [Parsing::Location]
|
53
|
+
# @return [BasePart]
|
54
|
+
def nearest_part(location)
|
55
|
+
[type_part, name_part, self].compact.find { |part| part.range.include?(location) }
|
56
|
+
end
|
57
|
+
|
58
|
+
private
|
59
|
+
|
60
|
+
# @return [Array<Parslet::Slice>]
|
61
|
+
def tokens_in_bracket
|
62
|
+
@tokens_in_bracket ||= begin
|
63
|
+
tokens_from_bracket = token.all_tokens.drop_while { |token| token.to_s != "[" }
|
64
|
+
tokens = tokens_from_bracket.slice_after { |token| token.to_s == "]" }.first
|
65
|
+
|
66
|
+
tokens&.last&.to_s == "]" ? tokens : []
|
67
|
+
end
|
68
|
+
end
|
69
|
+
|
70
|
+
# @return [Array<Parslet::Slice>]
|
71
|
+
def tokens_before_bracket
|
72
|
+
@tokens_before_bracket ||= begin
|
73
|
+
tokens = token.all_tokens.take_while { |token| token.to_s != "[" }
|
74
|
+
tokens.length != token.all_tokens ? tokens : []
|
75
|
+
end
|
76
|
+
end
|
77
|
+
|
78
|
+
# @return [Array<Parslet::Slice>]
|
79
|
+
def tokens_after_bracket
|
80
|
+
@tokens_after_bracket ||= begin
|
81
|
+
tokens_after_left_bracket = token.all_tokens.drop_while { |token| token.to_s != "[" }.slice(1..)
|
82
|
+
tokens_after_left_bracket.drop_while { |token| token.to_s != "]" }.slice(1..)
|
83
|
+
end
|
84
|
+
end
|
85
|
+
end
|
86
|
+
end
|
87
|
+
end
|
88
|
+
end
|
@@ -0,0 +1,35 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class CommentBlock
|
4
|
+
class TagTextNamePart < BasePart
|
5
|
+
# @return [BasePart]
|
6
|
+
attr_reader :parent
|
7
|
+
|
8
|
+
# @return [Array<Parslet::Slice>]
|
9
|
+
attr_reader :tokens
|
10
|
+
|
11
|
+
# @param parent [BasePart]
|
12
|
+
# @param tokens [Array<Parslet::Slice>]
|
13
|
+
def initialize(parent:, tokens:)
|
14
|
+
@parent = parent
|
15
|
+
@tokens = tokens
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [CommentBlock]
|
19
|
+
def comment_block
|
20
|
+
parent.comment_block
|
21
|
+
end
|
22
|
+
|
23
|
+
# @return [Integer]
|
24
|
+
def begin_index
|
25
|
+
tokens.first.offset
|
26
|
+
end
|
27
|
+
|
28
|
+
# @return [Integer]
|
29
|
+
def end_index
|
30
|
+
tokens.last.offset + tokens.last.length
|
31
|
+
end
|
32
|
+
end
|
33
|
+
end
|
34
|
+
end
|
35
|
+
end
|
@@ -0,0 +1,52 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class CommentBlock
|
4
|
+
class TagTextTypePart < BasePart
|
5
|
+
# @return [BasePart]
|
6
|
+
attr_reader :parent
|
7
|
+
|
8
|
+
# @return [Array<Parslet::Slice>]
|
9
|
+
attr_reader :tokens
|
10
|
+
|
11
|
+
# @param parent [BasePart]
|
12
|
+
# @param tokens [Array<Parslet::Slice>]
|
13
|
+
def initialize(parent:, tokens:)
|
14
|
+
@parent = parent
|
15
|
+
@tokens = tokens
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [CommentBlock]
|
19
|
+
def comment_block
|
20
|
+
parent.comment_block
|
21
|
+
end
|
22
|
+
|
23
|
+
# @return [Integer]
|
24
|
+
def begin_index
|
25
|
+
tokens.first.offset
|
26
|
+
end
|
27
|
+
|
28
|
+
# @return [Integer]
|
29
|
+
def end_index
|
30
|
+
tokens.last.offset + tokens.last.length
|
31
|
+
end
|
32
|
+
|
33
|
+
# @return [Array<Token>]
|
34
|
+
def type_tokens
|
35
|
+
@type_tokens ||= tokens.slice(1..-2).map { |token| Token.from_parslet(token, comment_block: comment_block) }
|
36
|
+
end
|
37
|
+
|
38
|
+
# @param location [Parsing::Location]
|
39
|
+
# @return [Token, nil]
|
40
|
+
def nearest_token(location)
|
41
|
+
type_tokens.find { |token| token.include?(location) }
|
42
|
+
end
|
43
|
+
|
44
|
+
private
|
45
|
+
|
46
|
+
def type_text
|
47
|
+
text.slice(1..-2)
|
48
|
+
end
|
49
|
+
end
|
50
|
+
end
|
51
|
+
end
|
52
|
+
end
|
@@ -0,0 +1,28 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class CommentBlock
|
4
|
+
class TextPart < BasePart
|
5
|
+
# @return [CommentBlock]
|
6
|
+
attr_reader :comment_block
|
7
|
+
|
8
|
+
# @return [Parsing::CommentTokenizer::Text]
|
9
|
+
attr_reader :token
|
10
|
+
|
11
|
+
# @param comment_block [CommentBlock]
|
12
|
+
# @param token [Parsing::CommentTokenizer::Text]
|
13
|
+
def initialize(comment_block:, token:)
|
14
|
+
@comment_block = comment_block
|
15
|
+
@token = token
|
16
|
+
end
|
17
|
+
|
18
|
+
def begin_index
|
19
|
+
token.content.offset
|
20
|
+
end
|
21
|
+
|
22
|
+
def end_index
|
23
|
+
token.content.offset + token.content.length
|
24
|
+
end
|
25
|
+
end
|
26
|
+
end
|
27
|
+
end
|
28
|
+
end
|
@@ -0,0 +1,44 @@
|
|
1
|
+
require 'yoda/ast/comment_block/range_calculation'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module AST
|
5
|
+
class CommentBlock
|
6
|
+
class Token
|
7
|
+
# @param slice [Parslet::Slice]
|
8
|
+
# @param comment_block [CommentBlock]
|
9
|
+
# @return [CommentBlock::Slice]
|
10
|
+
def self.from_parslet(slice, comment_block:)
|
11
|
+
begin_location = comment_block.location_from_index(slice.offset)
|
12
|
+
end_location = comment_block.location_from_index(slice.offset + slice.length)
|
13
|
+
|
14
|
+
range = if begin_location && end_location
|
15
|
+
Parsing::Range.new(begin_location, end_location)
|
16
|
+
else
|
17
|
+
nil
|
18
|
+
end
|
19
|
+
|
20
|
+
new(slice.to_s, range: range)
|
21
|
+
end
|
22
|
+
|
23
|
+
# @return [String]
|
24
|
+
attr_reader :content
|
25
|
+
|
26
|
+
# @return [Parsing::Range, nil]
|
27
|
+
attr_reader :range
|
28
|
+
|
29
|
+
# @param content [String]
|
30
|
+
# @param range [Parsing::Range, nil]
|
31
|
+
def initialize(content, range:)
|
32
|
+
@content = content
|
33
|
+
@range = range
|
34
|
+
end
|
35
|
+
|
36
|
+
# @param location [Parsing::Location]
|
37
|
+
# @return [Boolean]
|
38
|
+
def include?(location)
|
39
|
+
range&.include?(location)
|
40
|
+
end
|
41
|
+
end
|
42
|
+
end
|
43
|
+
end
|
44
|
+
end
|
@@ -0,0 +1,119 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class CommentBlock
|
4
|
+
require 'yoda/ast/comment_block/base_part'
|
5
|
+
require 'yoda/ast/comment_block/range_calculation'
|
6
|
+
require 'yoda/ast/comment_block/tag_part'
|
7
|
+
require 'yoda/ast/comment_block/tag_text_name_part'
|
8
|
+
require 'yoda/ast/comment_block/tag_text_type_part'
|
9
|
+
require 'yoda/ast/comment_block/text_part'
|
10
|
+
require 'yoda/ast/comment_block/token'
|
11
|
+
|
12
|
+
# @param comment_block [CommentBlock]
|
13
|
+
# @param token [Parsing::CommentTokenizer::Sequence, Parsing::CommentTokenizer::Text]
|
14
|
+
# @return [BasePart]
|
15
|
+
def self.build_part(comment_block:, token:)
|
16
|
+
case token
|
17
|
+
when Parsing::CommentTokenizer::Sequence
|
18
|
+
TagPart.new(comment_block: comment_block, token: token)
|
19
|
+
when Parsing::CommentTokenizer::Text
|
20
|
+
TextPart.new(comment_block: comment_block, token: token)
|
21
|
+
else
|
22
|
+
fail "unexpected"
|
23
|
+
end
|
24
|
+
end
|
25
|
+
|
26
|
+
# @return [Array<::Parser::Source::Comment>]
|
27
|
+
attr_reader :comments
|
28
|
+
|
29
|
+
# @return [Vnode]
|
30
|
+
attr_reader :node
|
31
|
+
|
32
|
+
# @param comments [Array<::Parser::Source::Comment>]
|
33
|
+
# @param node [Vnode]
|
34
|
+
def initialize(comments, node: nil)
|
35
|
+
@comments = Array(comments)
|
36
|
+
@node = node
|
37
|
+
end
|
38
|
+
|
39
|
+
# @return [String]
|
40
|
+
def text
|
41
|
+
comments.map(&:text).join
|
42
|
+
end
|
43
|
+
|
44
|
+
# @return [Array<BasePart>]
|
45
|
+
def parts
|
46
|
+
@parts ||= parsed_tokens.map do |token|
|
47
|
+
build_part(token)
|
48
|
+
end
|
49
|
+
end
|
50
|
+
|
51
|
+
# @param location [Parsing::Location]
|
52
|
+
# @return [BasePart, nil]
|
53
|
+
def nearest_part(location)
|
54
|
+
parts.find { |part| part.include?(location) }
|
55
|
+
end
|
56
|
+
|
57
|
+
# @param location [Parsing::Location]
|
58
|
+
# @return [TagPart, nil]
|
59
|
+
def nearest_tag_part(location)
|
60
|
+
part = nearest_part(location)
|
61
|
+
part&.is_a?(TagPart) ? part : nil
|
62
|
+
end
|
63
|
+
|
64
|
+
# @param index [Integer]
|
65
|
+
# @return [Parsing::Location, nil]
|
66
|
+
def location_from_index(index)
|
67
|
+
partial_text = text.slice(::Range.new(0, index))
|
68
|
+
*lines_before, curent_line = partial_text.split("\n", -1)
|
69
|
+
begin_location&.move(row: lines_before.length, column: curent_line&.length || 0)
|
70
|
+
end
|
71
|
+
|
72
|
+
# @param location [Parsing::Location]
|
73
|
+
# @return [Integer, nil]
|
74
|
+
def offset_from_location(location)
|
75
|
+
if begin_location
|
76
|
+
row_diff = location.row - begin_location.row
|
77
|
+
column_diff = location.column - begin_location.column
|
78
|
+
|
79
|
+
lines = text.split("\n", -1)
|
80
|
+
lines.slice(0, row_diff).join("\n").length + column_diff
|
81
|
+
end
|
82
|
+
end
|
83
|
+
|
84
|
+
# @param token [Parsing::CommentTokenizer::Sequence, String]
|
85
|
+
# @return [BasePart]
|
86
|
+
def build_part(token)
|
87
|
+
self.class.build_part(comment_block: self, token: token)
|
88
|
+
end
|
89
|
+
|
90
|
+
# @return [Parsing::Location, nil]
|
91
|
+
def begin_location
|
92
|
+
return nil unless Parsing::Location.valid_location?(comments.first.location)
|
93
|
+
Parsing::Location.new(row: comments.first.location.line, column: comments.first.location.column)
|
94
|
+
end
|
95
|
+
|
96
|
+
# @return [Parsing::Location, nil]
|
97
|
+
def end_location
|
98
|
+
return nil unless Parsing::Location.valid_location?(comments.last.location)
|
99
|
+
Parsing::Location.new(row: comments.last.location.last_line, column: comments.last.location.last_column)
|
100
|
+
end
|
101
|
+
|
102
|
+
# @return [Parsing::Range, nil]
|
103
|
+
def range
|
104
|
+
if begin_location && end_location
|
105
|
+
Parsing::Range.new(begin_location, end_location)
|
106
|
+
else
|
107
|
+
nil
|
108
|
+
end
|
109
|
+
end
|
110
|
+
|
111
|
+
private
|
112
|
+
|
113
|
+
# @return [Array<String, Parsing::CommentTokenizer::Sequence>]
|
114
|
+
def parsed_tokens
|
115
|
+
@parsed_tokens ||= Parsing::CommentTokenizer.new.parse(text)
|
116
|
+
end
|
117
|
+
end
|
118
|
+
end
|
119
|
+
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ConstantAssignmentNode < Node
|
4
|
+
# @return [Node]
|
5
|
+
def assignee_base
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Node]
|
10
|
+
def assignee_name
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Node]
|
15
|
+
def content
|
16
|
+
children[2]
|
17
|
+
end
|
18
|
+
end
|
19
|
+
end
|
20
|
+
end
|
@@ -0,0 +1,42 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ConstantBaseNode < Node
|
4
|
+
# @return [Vnode, nil]
|
5
|
+
def base
|
6
|
+
nil
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [true, false]
|
10
|
+
def absolute?
|
11
|
+
true
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [true, false]
|
15
|
+
def constant_base?
|
16
|
+
true
|
17
|
+
end
|
18
|
+
|
19
|
+
def constant?
|
20
|
+
true
|
21
|
+
end
|
22
|
+
|
23
|
+
# @param location [Location]
|
24
|
+
# @return [true, false]
|
25
|
+
def just_after_separator?(location)
|
26
|
+
return false unless node.location.double_colon
|
27
|
+
location == Location.of_ast_location(node.location.double_colon.end)
|
28
|
+
end
|
29
|
+
|
30
|
+
# @return [Model::Path]
|
31
|
+
def path
|
32
|
+
Model::Path.new(path_name)
|
33
|
+
end
|
34
|
+
|
35
|
+
# @param base [String, Symbol, nil]
|
36
|
+
# @return [String]
|
37
|
+
def path_name(base = nil)
|
38
|
+
'::'
|
39
|
+
end
|
40
|
+
end
|
41
|
+
end
|
42
|
+
end
|
@@ -0,0 +1,53 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ConstantNode < Node
|
4
|
+
# @return [Vnode]
|
5
|
+
def base
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Vnode]
|
10
|
+
def name
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [true, false]
|
15
|
+
def absolute?
|
16
|
+
base.absolute?
|
17
|
+
end
|
18
|
+
|
19
|
+
# @return [true, false]
|
20
|
+
def constant_base?
|
21
|
+
false
|
22
|
+
end
|
23
|
+
|
24
|
+
def constant?
|
25
|
+
true
|
26
|
+
end
|
27
|
+
|
28
|
+
# @param location [Parsing::Location]
|
29
|
+
# @return [true, false]
|
30
|
+
def just_after_separator?(location)
|
31
|
+
return false unless source_map.double_colon
|
32
|
+
location == Parsing::Location.of_ast_location(source_map.double_colon.end)
|
33
|
+
end
|
34
|
+
|
35
|
+
# @return [Model::Path]
|
36
|
+
def path
|
37
|
+
Model::Path.new(path_name)
|
38
|
+
end
|
39
|
+
|
40
|
+
# @param base [String, Symbol, nil]
|
41
|
+
# @return [String]
|
42
|
+
def path_name(base = nil)
|
43
|
+
if base.nil? || base.empty?
|
44
|
+
name.name.to_s
|
45
|
+
elsif base.constant_base?
|
46
|
+
"#{base.path_name}#{name.name}"
|
47
|
+
else
|
48
|
+
"#{base.path_name}::#{name.name}"
|
49
|
+
end
|
50
|
+
end
|
51
|
+
end
|
52
|
+
end
|
53
|
+
end
|
@@ -0,0 +1,27 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class DefNode < Node
|
4
|
+
# @return [Symbol]
|
5
|
+
delegate name: :name_clause
|
6
|
+
|
7
|
+
# @return [NameVnode]
|
8
|
+
def name_clause
|
9
|
+
children[0]
|
10
|
+
end
|
11
|
+
|
12
|
+
# @return [ParmetersNode]
|
13
|
+
def parameters
|
14
|
+
children[1]
|
15
|
+
end
|
16
|
+
|
17
|
+
# @return [Vnode]
|
18
|
+
def body
|
19
|
+
children[2]
|
20
|
+
end
|
21
|
+
|
22
|
+
def method?
|
23
|
+
true
|
24
|
+
end
|
25
|
+
end
|
26
|
+
end
|
27
|
+
end
|
@@ -0,0 +1,32 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class DefSingletonNode < Node
|
4
|
+
# @return [Symbol]
|
5
|
+
delegate name: :name_clause
|
6
|
+
|
7
|
+
# @return [Vnode]
|
8
|
+
def receiver
|
9
|
+
children[0]
|
10
|
+
end
|
11
|
+
|
12
|
+
# @return [NameVnode]
|
13
|
+
def name_clause
|
14
|
+
children[1]
|
15
|
+
end
|
16
|
+
|
17
|
+
# @return [ParametersNode]
|
18
|
+
def parameters
|
19
|
+
children[2]
|
20
|
+
end
|
21
|
+
|
22
|
+
# @return [Vnode]
|
23
|
+
def body
|
24
|
+
children[3]
|
25
|
+
end
|
26
|
+
|
27
|
+
def method?
|
28
|
+
true
|
29
|
+
end
|
30
|
+
end
|
31
|
+
end
|
32
|
+
end
|
@@ -0,0 +1,24 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class EmptyVnode < Vnode
|
4
|
+
def initialize(_el = nil, **kwargs)
|
5
|
+
super(**kwargs)
|
6
|
+
end
|
7
|
+
|
8
|
+
# @return [Symbol]
|
9
|
+
def type
|
10
|
+
:empty
|
11
|
+
end
|
12
|
+
|
13
|
+
# @return [Array<Node>, nil]
|
14
|
+
def children
|
15
|
+
[]
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [boolean]
|
19
|
+
def empty?
|
20
|
+
true
|
21
|
+
end
|
22
|
+
end
|
23
|
+
end
|
24
|
+
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class IfNode < Node
|
4
|
+
# @return [Node]
|
5
|
+
def condition
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Node]
|
10
|
+
def then_clause
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Node]
|
15
|
+
def else_clause
|
16
|
+
children[2]
|
17
|
+
end
|
18
|
+
end
|
19
|
+
end
|
20
|
+
end
|