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,22 @@
|
|
1
|
+
|
2
|
+
module Yoda
|
3
|
+
module AST
|
4
|
+
module MethodTraversable
|
5
|
+
# @return [true, false]
|
6
|
+
def method?
|
7
|
+
false
|
8
|
+
end
|
9
|
+
|
10
|
+
# @return [Namespace]
|
11
|
+
def including_method
|
12
|
+
@including_method ||= method? ? self : parent.including_method
|
13
|
+
end
|
14
|
+
|
15
|
+
# @param location [Location]
|
16
|
+
# @return [DefNode, DefSingletonNode, nil]
|
17
|
+
def calc_current_location_method(location)
|
18
|
+
positionally_nearest_child(location)&.including_method
|
19
|
+
end
|
20
|
+
end
|
21
|
+
end
|
22
|
+
end
|
@@ -0,0 +1,31 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class MultipleLeftHandSideNode < Node
|
4
|
+
# @return [Array<Vnode>]
|
5
|
+
def pre_nodes
|
6
|
+
@pre_nodes ||= children.take_while { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Vnode, nil]
|
10
|
+
def rest_node
|
11
|
+
@rest_node ||= node.children.find { |arg_node| arg_node.type == :restarg }
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Array<Vnode>]
|
15
|
+
def post_nodes
|
16
|
+
@post_nodes ||= children.drop_while { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }.select { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }
|
17
|
+
end
|
18
|
+
|
19
|
+
# @return [Model::Parameters::Base]
|
20
|
+
def parameter
|
21
|
+
rest_parameter = rest_node&.respond_to?(:parameter) && rest_node.parameter
|
22
|
+
|
23
|
+
Model::Parameters::Multiple.new(
|
24
|
+
parameters: pre_nodes.map(&:parameter),
|
25
|
+
rest_parameter: rest_parameter,
|
26
|
+
post_parameters: post_nodes.map(&:paramter),
|
27
|
+
)
|
28
|
+
end
|
29
|
+
end
|
30
|
+
end
|
31
|
+
end
|
@@ -0,0 +1,28 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class NameVnode < Vnode
|
4
|
+
# @return [Symbol]
|
5
|
+
def type
|
6
|
+
:name
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Symbol]
|
10
|
+
attr_reader :name
|
11
|
+
|
12
|
+
# @param name [Symbol]
|
13
|
+
def initialize(name, **kwargs)
|
14
|
+
@name = name
|
15
|
+
super(**kwargs)
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [Array<Node>, nil]
|
19
|
+
def children
|
20
|
+
[]
|
21
|
+
end
|
22
|
+
|
23
|
+
def inspect_content
|
24
|
+
name
|
25
|
+
end
|
26
|
+
end
|
27
|
+
end
|
28
|
+
end
|
@@ -0,0 +1,36 @@
|
|
1
|
+
|
2
|
+
module Yoda
|
3
|
+
module AST
|
4
|
+
module Namespace
|
5
|
+
# @return [true]
|
6
|
+
def root?
|
7
|
+
true
|
8
|
+
end
|
9
|
+
|
10
|
+
# @return [Namespace, nil]
|
11
|
+
def parent_namespace
|
12
|
+
parent&.namespace
|
13
|
+
end
|
14
|
+
|
15
|
+
# @return [Array<Namespace>]
|
16
|
+
def namespace_nestings
|
17
|
+
@namespace_nestings ||= (parent_namespace&.namespace_nestings || []) + [self]
|
18
|
+
end
|
19
|
+
|
20
|
+
# @return [Namespace]
|
21
|
+
def namespace
|
22
|
+
self
|
23
|
+
end
|
24
|
+
|
25
|
+
# @return [true, false]
|
26
|
+
def namespace?
|
27
|
+
true
|
28
|
+
end
|
29
|
+
|
30
|
+
# @return [String]
|
31
|
+
def path
|
32
|
+
fail NotImplementedError
|
33
|
+
end
|
34
|
+
end
|
35
|
+
end
|
36
|
+
end
|
@@ -0,0 +1,39 @@
|
|
1
|
+
|
2
|
+
module Yoda
|
3
|
+
module AST
|
4
|
+
module NamespaceTraversable
|
5
|
+
# @return [true, false]
|
6
|
+
def root?
|
7
|
+
false
|
8
|
+
end
|
9
|
+
|
10
|
+
# @return [true, false]
|
11
|
+
def namespace?
|
12
|
+
false
|
13
|
+
end
|
14
|
+
|
15
|
+
# @return [Namespace]
|
16
|
+
def namespace
|
17
|
+
@namespace ||= namespace? ? self : parent.namespace
|
18
|
+
end
|
19
|
+
|
20
|
+
# @return [String]
|
21
|
+
def namespace_path
|
22
|
+
namespace.path
|
23
|
+
end
|
24
|
+
|
25
|
+
# @return [String, Symbol]
|
26
|
+
def full_name
|
27
|
+
return :root if type == :root
|
28
|
+
parent_name = parent && !parent.root? ? parent.full_name : ''
|
29
|
+
const_node ? ConstNode.new(const_node).to_s(parent_name) : parent_name
|
30
|
+
end
|
31
|
+
|
32
|
+
# @param location [Location]
|
33
|
+
# @return [Namespace, nil]
|
34
|
+
def calc_current_location_namespace(location)
|
35
|
+
positionally_nearest_child(location)&.namespace
|
36
|
+
end
|
37
|
+
end
|
38
|
+
end
|
39
|
+
end
|
@@ -0,0 +1,52 @@
|
|
1
|
+
require 'forwardable'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module AST
|
5
|
+
class Node < Vnode
|
6
|
+
extend Forwardable
|
7
|
+
|
8
|
+
# @return [Parser::AST::Node]
|
9
|
+
attr_reader :node
|
10
|
+
|
11
|
+
# @return [Symbol]
|
12
|
+
delegate type: :node
|
13
|
+
|
14
|
+
# @return [String]
|
15
|
+
delegate to_s: :node
|
16
|
+
|
17
|
+
# @param node [Parser::AST::Node]
|
18
|
+
# @param parent [Vnode]
|
19
|
+
# @param comment_by_node [Hash{Parser::AST::Node => Array<Parser::Source::Comment>}]
|
20
|
+
def initialize(node, parent: nil, comments_by_node: {})
|
21
|
+
@node = node
|
22
|
+
super(parent: parent, comments_by_node: comments_by_node)
|
23
|
+
end
|
24
|
+
|
25
|
+
# @return [Array<Vnode>]
|
26
|
+
def children
|
27
|
+
@children ||= node.children.map(&method(:wrap_child))
|
28
|
+
end
|
29
|
+
|
30
|
+
# @return [String]
|
31
|
+
def identifier
|
32
|
+
"#{type}:#{source_map&.expression ? source_map_expression : object_id}"
|
33
|
+
end
|
34
|
+
|
35
|
+
# @return [Parser::Source::Map, nil]
|
36
|
+
def source_map
|
37
|
+
node.location
|
38
|
+
end
|
39
|
+
|
40
|
+
# @return [Symbol]
|
41
|
+
def kind
|
42
|
+
node.type
|
43
|
+
end
|
44
|
+
|
45
|
+
private
|
46
|
+
|
47
|
+
def source_map_expression
|
48
|
+
"#{source_map.expression.source_buffer.name}:(#{source_map.line},#{source_map.column})..(#{source_map.last_line},#{source_map.last_column})"
|
49
|
+
end
|
50
|
+
end
|
51
|
+
end
|
52
|
+
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class OptionalParameterNode < Node
|
4
|
+
# @return [Node]
|
5
|
+
def content
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Node]
|
10
|
+
def optional_value
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Model::Parameters::Base]
|
15
|
+
def parameter
|
16
|
+
content.present? ? Model::Parameters::Named.new(content.name) : Model::Parameters::Unnamed.new
|
17
|
+
end
|
18
|
+
end
|
19
|
+
end
|
20
|
+
end
|
@@ -0,0 +1,25 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ParameterNode < Node
|
4
|
+
# @return [NameVnode, EmptyNode, nil]
|
5
|
+
def content
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Model::Parameters::Base]
|
10
|
+
def parameter
|
11
|
+
content&.present? ? Model::Parameters::Named.new(content.name) : Model::Parameters::Unnamed.new
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Model::Parameters::Base]
|
15
|
+
def parameter_root
|
16
|
+
parameter_root_node.parameter
|
17
|
+
end
|
18
|
+
|
19
|
+
# @return [ParametersNode]
|
20
|
+
def parameter_root_node
|
21
|
+
parent.try(:parameter_root_node)
|
22
|
+
end
|
23
|
+
end
|
24
|
+
end
|
25
|
+
end
|
@@ -0,0 +1,62 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ParametersNode < Node
|
4
|
+
# @return [Array<ParameterNode>]
|
5
|
+
def parameter_clauses
|
6
|
+
children
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Model::Parameters::Multiple]
|
10
|
+
def parameter
|
11
|
+
Model::Parameters::Multiple.new(
|
12
|
+
parameters: parameter_nodes.map(&:parameter),
|
13
|
+
rest_parameter: rest_parameter_node&.parameter,
|
14
|
+
post_parameters: post_parameter_nodes.map(&:parameter),
|
15
|
+
keyword_parameters: keyword_parameter_nodes.map(&:parameter),
|
16
|
+
keyword_rest_parameter: keyword_rest_parameter_node&.parameter,
|
17
|
+
block_parameter: block_parameter_node&.parameter,
|
18
|
+
)
|
19
|
+
end
|
20
|
+
|
21
|
+
# @return [Array<::AST::Node>]
|
22
|
+
def parameter_nodes
|
23
|
+
@parameter_nodes ||= children.take_while { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }
|
24
|
+
end
|
25
|
+
|
26
|
+
# @return [::AST::Node, nil]
|
27
|
+
def rest_parameter_node
|
28
|
+
@rest_parameter_node ||= children.find { |arg_node| arg_node.type == :restarg }
|
29
|
+
end
|
30
|
+
|
31
|
+
# @return [Array<::AST::Node>]
|
32
|
+
def post_parameter_nodes
|
33
|
+
@post_parameter_nodes ||= children.drop_while { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }.select { |arg_node| %i(arg optarg mlhs).include?(arg_node.type) }
|
34
|
+
end
|
35
|
+
|
36
|
+
# @return [Array<::AST::Node>]
|
37
|
+
def keyword_parameter_nodes
|
38
|
+
@keyword_parameter_nodes ||= children.select { |arg_node| %i(kwarg kwoptarg).include?(arg_node.type) }
|
39
|
+
end
|
40
|
+
|
41
|
+
# @return [::AST::Node, nil]
|
42
|
+
def keyword_rest_parameter_node
|
43
|
+
@keyword_rest_parameter_node ||= children.find { |arg_node| arg_node.type == :kwrestarg }
|
44
|
+
end
|
45
|
+
|
46
|
+
# @return [Node]
|
47
|
+
def block_parameter_node
|
48
|
+
@block_parameter_node ||= children.find { |arg_node| arg_node.type == :blockarg }
|
49
|
+
end
|
50
|
+
|
51
|
+
# @return [Model::Parameters::Base]
|
52
|
+
def parameter_root
|
53
|
+
parameter_root_node.parameter
|
54
|
+
end
|
55
|
+
|
56
|
+
# @return [ParametersNode]
|
57
|
+
def parameter_root_node
|
58
|
+
parent.try(:parameter_root_node) || self
|
59
|
+
end
|
60
|
+
end
|
61
|
+
end
|
62
|
+
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class RescueClauseNode < Node
|
4
|
+
# @return [Node]
|
5
|
+
def match_clause
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Node]
|
10
|
+
def assignee
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Node]
|
15
|
+
def body
|
16
|
+
children[2]
|
17
|
+
end
|
18
|
+
end
|
19
|
+
end
|
20
|
+
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class RescueNode < Node
|
4
|
+
# @return [Node]
|
5
|
+
def body
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Array<RescueClauseNode>]
|
10
|
+
def rescue_clauses
|
11
|
+
children[1..-2]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Node]
|
15
|
+
def else_clause
|
16
|
+
children[-1]
|
17
|
+
end
|
18
|
+
end
|
19
|
+
end
|
20
|
+
end
|
@@ -0,0 +1,48 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class RootVnode < Vnode
|
4
|
+
include Namespace
|
5
|
+
|
6
|
+
# @return [Parser::AST::Node]
|
7
|
+
attr_reader :node
|
8
|
+
|
9
|
+
# @param node [Parser::AST::Node]
|
10
|
+
# @param comment_by_node [Hash{Parser::AST::Node => Array<Parser::Source::Comment>}]
|
11
|
+
def initialize(node, comments_by_node: {})
|
12
|
+
@node = node
|
13
|
+
@comments_by_node = comments_by_node
|
14
|
+
end
|
15
|
+
|
16
|
+
# @return [nil]
|
17
|
+
def parent
|
18
|
+
nil
|
19
|
+
end
|
20
|
+
|
21
|
+
# @return [Symbol]
|
22
|
+
def type
|
23
|
+
:root
|
24
|
+
end
|
25
|
+
|
26
|
+
# @return [Vnode]
|
27
|
+
def content
|
28
|
+
@content ||= wrap_child(node)
|
29
|
+
end
|
30
|
+
|
31
|
+
# @return [Array<Vnode>]
|
32
|
+
def children
|
33
|
+
[content]
|
34
|
+
end
|
35
|
+
|
36
|
+
# @return [String]
|
37
|
+
def identifier
|
38
|
+
"#{type}:#{source_map.expression}"
|
39
|
+
end
|
40
|
+
|
41
|
+
# @return [Parser::Source::Map, nil]
|
42
|
+
def source_map
|
43
|
+
node.location
|
44
|
+
end
|
45
|
+
end
|
46
|
+
end
|
47
|
+
end
|
48
|
+
|
@@ -0,0 +1,100 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class SendNode < Node
|
4
|
+
# @return [Vnode]
|
5
|
+
def receiver
|
6
|
+
children[0]
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [NameVnode]
|
10
|
+
def selector
|
11
|
+
children[1]
|
12
|
+
end
|
13
|
+
|
14
|
+
# @return [Symbol]
|
15
|
+
def selector_name
|
16
|
+
selector.name
|
17
|
+
end
|
18
|
+
|
19
|
+
# @return [Array<Vnode>]
|
20
|
+
def arguments
|
21
|
+
children.slice(2..-1)
|
22
|
+
end
|
23
|
+
|
24
|
+
# @return [Array<Vnode>]
|
25
|
+
def expanded_arguments
|
26
|
+
block_pass_arguments, arguments_without_block_pass = arguments.partition { |node| node.type == :block_pass }
|
27
|
+
if last_argument = arguments_without_block_pass.last
|
28
|
+
arguments_without_block_pass.slice(0..-2) + (last_argument.type == :hash ? last_argument.children : [last_argument]) + block_pass_arguments
|
29
|
+
else
|
30
|
+
arguments_without_block_pass.slice(0..-2) + block_pass_arguments
|
31
|
+
end
|
32
|
+
end
|
33
|
+
|
34
|
+
def keyword_argument
|
35
|
+
non_bpass_arguments = arguments.reject { |node| node.type == :block_pass }
|
36
|
+
non_bpass_arguments.last&.type == :hash ? non_bpass_arguments.last : nil
|
37
|
+
end
|
38
|
+
|
39
|
+
def block_pass_argument
|
40
|
+
arguments.last.type == :block_pass ? arguments.last : nil
|
41
|
+
end
|
42
|
+
|
43
|
+
def implicit_receiver?
|
44
|
+
receiver.empty?
|
45
|
+
end
|
46
|
+
|
47
|
+
# @return [true, false]
|
48
|
+
def on_selector?(location)
|
49
|
+
source_map.selector ? selector_range.include?(location) : false
|
50
|
+
end
|
51
|
+
|
52
|
+
# @param location [Parsing::Location]
|
53
|
+
# @return [true, false]
|
54
|
+
def on_dot?(location)
|
55
|
+
source_map.dot ? dot_range.include?(location) : false
|
56
|
+
end
|
57
|
+
|
58
|
+
# @param location [Parsing::Location]
|
59
|
+
# @return [true, false]
|
60
|
+
def on_arguments?(location)
|
61
|
+
arguments_range.include?(location)
|
62
|
+
end
|
63
|
+
|
64
|
+
# @return [Parsing::Range]
|
65
|
+
def arguments_range
|
66
|
+
@arguments_range ||=
|
67
|
+
Parsing::Range.new(
|
68
|
+
Parsing::Location.of_ast_location(source_map.selector.end),
|
69
|
+
Parsing::Location.of_ast_location(source_map.expression.end).move(row: 0, column: -1),
|
70
|
+
)
|
71
|
+
end
|
72
|
+
|
73
|
+
# @return [Parsing::Range]
|
74
|
+
def selector_range
|
75
|
+
@selector_range ||= Parsing::Range.of_ast_location(source_map.selector)
|
76
|
+
end
|
77
|
+
|
78
|
+
# @return [Parsing::Range, nil]
|
79
|
+
def dot_range
|
80
|
+
@dot_range ||= source_map.dot && Parsing::Range.of_ast_location(source_map.dot)
|
81
|
+
end
|
82
|
+
|
83
|
+
# @return [Parsing::Location, nil]
|
84
|
+
def next_location_to_dot
|
85
|
+
source_map.dot && Parsing::Range.of_ast_location(source_map.dot).end_location
|
86
|
+
end
|
87
|
+
|
88
|
+
# @return [String]
|
89
|
+
def selector_name
|
90
|
+
selector.name.to_s
|
91
|
+
end
|
92
|
+
|
93
|
+
# @param location [Parsing::Location]
|
94
|
+
# @return [Integer]
|
95
|
+
def offset_in_selector(location)
|
96
|
+
location.offset_from_begin(source_map.selector)[:column]
|
97
|
+
end
|
98
|
+
end
|
99
|
+
end
|
100
|
+
end
|
@@ -0,0 +1,34 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
# Add query methods to search expected nodes from AST.
|
4
|
+
# @see {Yoda::Parsing::Traverser::Matcher} for parameters of query methods.
|
5
|
+
# @example
|
6
|
+
# ast.query(type: :if) # => returns a if node
|
7
|
+
# ast.query(name: :hoge) # => returns a node about an object with the name
|
8
|
+
module Traversable
|
9
|
+
# @param query [Hash] (See {Yoda::Parsing::Traverser::Matcher.new} for detailed parameters)
|
10
|
+
# @return [Vnode, nil]
|
11
|
+
def query(**query)
|
12
|
+
Parsing::Traverser.new(self).query(**query)&.node
|
13
|
+
end
|
14
|
+
|
15
|
+
# @param query [Hash] (See {Yoda::Parsing::Traverser::Matcher.new} for detailed parameters)
|
16
|
+
# @return [Parsing::Traverser::ResultSet]
|
17
|
+
def query_all(**query)
|
18
|
+
Parsing::Traverser.new(self).query(**query)
|
19
|
+
end
|
20
|
+
|
21
|
+
# @param query [Hash] (See {Yoda::Parsing::Traverser::Matcher.new} for detailed parameters)
|
22
|
+
# @return [Vnode, nil]
|
23
|
+
def query_ancestor(**query)
|
24
|
+
Parsing::Traverser.new(self).query_ancestor(**query)&.node
|
25
|
+
end
|
26
|
+
|
27
|
+
# @param query [Hash] (See {Yoda::Parsing::Traverser::Matcher.new} for detailed parameters)
|
28
|
+
# @return [Parsing::Traverser::ResultSet]
|
29
|
+
def query_ancestors(**query)
|
30
|
+
Parsing::Traverser.new(self).query_ancestors(**query)
|
31
|
+
end
|
32
|
+
end
|
33
|
+
end
|
34
|
+
end
|
@@ -0,0 +1,28 @@
|
|
1
|
+
module Yoda
|
2
|
+
module AST
|
3
|
+
class ValueVnode < Vnode
|
4
|
+
# @return [Symbol]
|
5
|
+
def type
|
6
|
+
:value
|
7
|
+
end
|
8
|
+
|
9
|
+
# @return [Object]
|
10
|
+
attr_reader :value
|
11
|
+
|
12
|
+
# @param value [Object]
|
13
|
+
def initialize(name, **kwargs)
|
14
|
+
@value = value
|
15
|
+
super(**kwargs)
|
16
|
+
end
|
17
|
+
|
18
|
+
# @return [Array<Node>, nil]
|
19
|
+
def children
|
20
|
+
[]
|
21
|
+
end
|
22
|
+
|
23
|
+
def inspect_content
|
24
|
+
value
|
25
|
+
end
|
26
|
+
end
|
27
|
+
end
|
28
|
+
end
|