yoda-language-server 0.7.0 → 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/location.rb +1 -1
- 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 +16 -7
- 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 +96 -12
- 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 +56 -12
- data/lib/yoda/store/objects/patch_set.rb +58 -26
- 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 +5 -78
- data/lib/yoda/store/query/associators/associate_methods.rb +11 -8
- data/lib/yoda/store/query/constant_member_set.rb +33 -0
- data/lib/yoda/store/query/find_constant.rb +23 -6
- data/lib/yoda/store/query/find_meta_class.rb +1 -1
- data/lib/yoda/store/query/find_method.rb +12 -25
- 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 +65 -0
- 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 -89
- 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 +22 -20
- data/lib/yoda/store.rb +15 -1
- 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 -110
- 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,69 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Store
|
3
|
+
class Registry::LibraryRegistry
|
4
|
+
class << self
|
5
|
+
# @param library [Objects::Library]
|
6
|
+
def for_library(library)
|
7
|
+
adapter = Adapters.for(library.registry_path)
|
8
|
+
namespace = adapter.namespace(library.name)
|
9
|
+
|
10
|
+
if namespace.empty?
|
11
|
+
patch = library.create_patch
|
12
|
+
patch && compress_and_save(patch: patch, adapter: namespace)
|
13
|
+
end
|
14
|
+
|
15
|
+
new(id: library.id, adapter: namespace)
|
16
|
+
end
|
17
|
+
|
18
|
+
private
|
19
|
+
|
20
|
+
# Store patch set data to the database.
|
21
|
+
# old data in the database are discarded.
|
22
|
+
# @param patch [Objects::Patch]
|
23
|
+
# @param adapter [Adapters::Base]
|
24
|
+
def compress_and_save(patch:, adapter:)
|
25
|
+
el_keys = patch.keys
|
26
|
+
progress = Instrument::Progress.new(el_keys.length) { |length:, index:| Instrument.instance.registry_dump(index: index, length: length) }
|
27
|
+
|
28
|
+
data = Enumerator.new do |yielder|
|
29
|
+
el_keys.each { |key| yielder << [key, patch.get(key)] }
|
30
|
+
end
|
31
|
+
|
32
|
+
adapter.batch_write(data, progress)
|
33
|
+
Logger.info "saved #{el_keys.length} keys."
|
34
|
+
end
|
35
|
+
end
|
36
|
+
|
37
|
+
# @return [String]
|
38
|
+
attr_reader :id
|
39
|
+
|
40
|
+
# @return [Adapters::Base]
|
41
|
+
attr_reader :adapter
|
42
|
+
|
43
|
+
# @param id [String]
|
44
|
+
# @param adapter [Adapters::Base]
|
45
|
+
def initialize(id:, adapter:)
|
46
|
+
@id = id
|
47
|
+
@adapter = adapter
|
48
|
+
end
|
49
|
+
|
50
|
+
def get(path)
|
51
|
+
adapter.get(path)
|
52
|
+
end
|
53
|
+
|
54
|
+
# @param path [String]
|
55
|
+
# @return [true, false]
|
56
|
+
def has_key?(path)
|
57
|
+
adapter.exists?(path)
|
58
|
+
end
|
59
|
+
|
60
|
+
def persistable?
|
61
|
+
adapter.persistable?
|
62
|
+
end
|
63
|
+
|
64
|
+
def keys
|
65
|
+
@keys ||= Set.new(adapter.keys.map(&:to_s) || [])
|
66
|
+
end
|
67
|
+
end
|
68
|
+
end
|
69
|
+
end
|
@@ -0,0 +1,133 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Store
|
3
|
+
module Registry
|
4
|
+
class LibraryRegistrySet
|
5
|
+
STATUS_KEY = '%library_status'
|
6
|
+
PERSISTABLE_LIBRARY_STORE_INDEX_KEY = '%persistable_library_store_index'
|
7
|
+
|
8
|
+
# @return [Project]
|
9
|
+
attr_reader :project
|
10
|
+
|
11
|
+
# @return [Adapters::Base]
|
12
|
+
attr_reader :adapter
|
13
|
+
private :adapter
|
14
|
+
|
15
|
+
# @return [Proc, nil]
|
16
|
+
attr_reader :on_change
|
17
|
+
|
18
|
+
# @param project [Project]
|
19
|
+
# @param adapter [Adapters::Base]
|
20
|
+
# @param on_change [Proc, nil]
|
21
|
+
def initialize(project:, adapter:, on_change: nil)
|
22
|
+
fail TypeError, adapter unless adapter.is_a?(Adapters::Base)
|
23
|
+
@project = project
|
24
|
+
@adapter = adapter
|
25
|
+
@on_change = on_change
|
26
|
+
end
|
27
|
+
|
28
|
+
# @return [Registry::Composer]
|
29
|
+
def registry
|
30
|
+
Registry::Composer.new(id: :libraries, registries: [persistable_library_store, volatile_library_store])
|
31
|
+
end
|
32
|
+
|
33
|
+
# @param add [Array<Objects::Library::Core, Objects::Library::Gem, Objects::Library::Std>]
|
34
|
+
# @param remove [Array<Objects::Library::Core, Objects::Library::Gem, Objects::Library::Std>]
|
35
|
+
def modify(add:, remove:)
|
36
|
+
add = add.map { |library| library.with_project_connection(project: project) }
|
37
|
+
remove = remove.map { |library| library.with_project_connection(project: project) }
|
38
|
+
|
39
|
+
remove.each do |library|
|
40
|
+
if registry = library.registry
|
41
|
+
persistable_library_store.remove_registry(registry)
|
42
|
+
volatile_library_store.remove_registry(registry)
|
43
|
+
status.remove_library(library)
|
44
|
+
end
|
45
|
+
end
|
46
|
+
add.each do |library|
|
47
|
+
if registry = library.registry
|
48
|
+
if registry.persistable?
|
49
|
+
persistable_library_store.add_registry(registry)
|
50
|
+
else
|
51
|
+
volatile_library_store.add_registry(registry)
|
52
|
+
end
|
53
|
+
status.add_library(library)
|
54
|
+
end
|
55
|
+
end
|
56
|
+
on_change&.call
|
57
|
+
save
|
58
|
+
end
|
59
|
+
|
60
|
+
# @param library [Library::Core, Library::Std, Library::Gem]
|
61
|
+
def add(library)
|
62
|
+
library = library.with_project_connection(project: project)
|
63
|
+
add_library_registry(library.registry)
|
64
|
+
status.add_library(library)
|
65
|
+
save
|
66
|
+
end
|
67
|
+
|
68
|
+
# @param library [Library::Core, Library::Std, Library::Gem]
|
69
|
+
def remove(library)
|
70
|
+
library = library.with_project_connection(project: project)
|
71
|
+
remove_library_registry(library.registry)
|
72
|
+
status.remove_library(library)
|
73
|
+
save
|
74
|
+
end
|
75
|
+
|
76
|
+
# @return [Objects::LibrariesStatus::Connected]
|
77
|
+
def status
|
78
|
+
@status ||= (adapter.get(STATUS_KEY) || Objects::LibrariesStatus.new).with_project_connection(project: project)
|
79
|
+
end
|
80
|
+
|
81
|
+
def save
|
82
|
+
persistable_library_store_index_content.save
|
83
|
+
adapter.put(STATUS_KEY, status)
|
84
|
+
end
|
85
|
+
|
86
|
+
private
|
87
|
+
|
88
|
+
def add_library_registry(registry)
|
89
|
+
if registry.persistable?
|
90
|
+
persistable_library_store.add_registry(registry)
|
91
|
+
else
|
92
|
+
volatile_library_store.add_registry(registry)
|
93
|
+
end
|
94
|
+
|
95
|
+
on_change&.call
|
96
|
+
save
|
97
|
+
end
|
98
|
+
|
99
|
+
def remove_library_registry(registry)
|
100
|
+
persistable_library_store.remove_registry(registry)
|
101
|
+
volatile_library_store.remove_registry(registry)
|
102
|
+
on_change&.call
|
103
|
+
save
|
104
|
+
end
|
105
|
+
|
106
|
+
def persistable_library_store
|
107
|
+
@persistable_library_store ||= begin
|
108
|
+
library_composer = Registry::Composer.new(id: :persistable_library, registries: status.registries.select(&:persistable?))
|
109
|
+
persistable_library_store_index.wrap(library_composer)
|
110
|
+
end
|
111
|
+
end
|
112
|
+
|
113
|
+
def persistable_library_store_index
|
114
|
+
@persistable_library_store_index ||= Registry::Index.new(content: persistable_library_store_index_content, registry_ids: status.libraries.map(&:id))
|
115
|
+
end
|
116
|
+
|
117
|
+
def persistable_library_store_index_content
|
118
|
+
@persistable_library_store_index_content ||= Objects::Map.new(path: PERSISTABLE_LIBRARY_STORE_INDEX_KEY, adapter: adapter)
|
119
|
+
end
|
120
|
+
|
121
|
+
def volatile_library_store
|
122
|
+
@volatile_library_store ||= begin
|
123
|
+
Registry::Composer.new(id: :volatile_library, registries: status.registries.reject(&:persistable?))
|
124
|
+
end
|
125
|
+
end
|
126
|
+
|
127
|
+
def inspect
|
128
|
+
"#<#{self.class.name}: @adapter=#{adapter.inspect}>"
|
129
|
+
end
|
130
|
+
end
|
131
|
+
end
|
132
|
+
end
|
133
|
+
end
|
@@ -0,0 +1,38 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Store
|
3
|
+
module Registry
|
4
|
+
class LocalStore
|
5
|
+
# @return [Proc, nil]
|
6
|
+
attr_reader :on_change
|
7
|
+
|
8
|
+
# @param on_change [Proc, nil]
|
9
|
+
def initialize(on_change: nil)
|
10
|
+
@on_change = on_change
|
11
|
+
end
|
12
|
+
|
13
|
+
# @return [Registry::Index::ComposerWrapper]
|
14
|
+
def registry
|
15
|
+
@registry ||= Registry::Index.new.wrap(Registry::Composer.new(id: :local))
|
16
|
+
end
|
17
|
+
|
18
|
+
# @param patch [Objects::Patch]
|
19
|
+
def add_file_patch(patch)
|
20
|
+
registry.add_registry(patch)
|
21
|
+
on_change&.call
|
22
|
+
end
|
23
|
+
|
24
|
+
# @param patch [Objects::Patch, String, Symbol]
|
25
|
+
def remove_file_patch(patch)
|
26
|
+
registry.remove_registry(patch)
|
27
|
+
on_change&.call
|
28
|
+
end
|
29
|
+
|
30
|
+
# @param patch [String, Symbol]
|
31
|
+
# @return [Objects::Patch, nil]
|
32
|
+
def find_file_patch(id)
|
33
|
+
registry.get_registry(id)
|
34
|
+
end
|
35
|
+
end
|
36
|
+
end
|
37
|
+
end
|
38
|
+
end
|
@@ -0,0 +1,72 @@
|
|
1
|
+
require 'forwardable'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module Store
|
5
|
+
class Registry::ProjectRegistry
|
6
|
+
extend Forwardable
|
7
|
+
include HasServices
|
8
|
+
|
9
|
+
service(:constant_finder) { Query::FindConstant.new(self) }
|
10
|
+
service(:meta_class_finder) { Query::FindMetaClass.new(self) }
|
11
|
+
service(:method_finder) { Query::FindMethod.new(self) }
|
12
|
+
service(:signature_finder) { Query::FindSignature.new(self) }
|
13
|
+
|
14
|
+
delegate %i(get has_key? keys) => :root_store
|
15
|
+
|
16
|
+
attr_reader :project
|
17
|
+
|
18
|
+
class << self
|
19
|
+
# @param project [Project]
|
20
|
+
def for_project(project)
|
21
|
+
new(project)
|
22
|
+
end
|
23
|
+
end
|
24
|
+
|
25
|
+
# @param project [Project]
|
26
|
+
def initialize(project)
|
27
|
+
fail TypeError, project unless project.is_a?(Project)
|
28
|
+
@project = project
|
29
|
+
end
|
30
|
+
|
31
|
+
def root_store
|
32
|
+
@root_store ||= begin
|
33
|
+
Registry::Cache::RegistryWrapper.new(
|
34
|
+
Registry::Composer.new(id: :root, registries: [local_store.registry, libraries.registry]),
|
35
|
+
)
|
36
|
+
end
|
37
|
+
end
|
38
|
+
|
39
|
+
# @return [LibraryRegistrySet]
|
40
|
+
def libraries
|
41
|
+
@libraries ||= Registry::LibraryRegistrySet.new(project: project, adapter: adapter, on_change: -> { clear_cache })
|
42
|
+
end
|
43
|
+
|
44
|
+
# @return [LocalStore]
|
45
|
+
def local_store
|
46
|
+
@local_store ||= Registry::LocalStore.new(on_change: -> { clear_cache })
|
47
|
+
end
|
48
|
+
|
49
|
+
# @return [Adapters::Base]
|
50
|
+
def adapter
|
51
|
+
@adapter ||= begin
|
52
|
+
Adapters.for(project.project_registry_path)
|
53
|
+
end
|
54
|
+
end
|
55
|
+
|
56
|
+
# @param pp [PP]
|
57
|
+
def pretty_print(pp)
|
58
|
+
pp.object_group(self) do
|
59
|
+
pp.breakable
|
60
|
+
pp.text "@adapter="
|
61
|
+
pp.pp adapter
|
62
|
+
end
|
63
|
+
end
|
64
|
+
|
65
|
+
private
|
66
|
+
|
67
|
+
def clear_cache
|
68
|
+
root_store.clear_cache
|
69
|
+
end
|
70
|
+
end
|
71
|
+
end
|
72
|
+
end
|
data/lib/yoda/store/registry.rb
CHANGED
@@ -1,101 +1,37 @@
|
|
1
|
-
require
|
2
|
-
require 'yard'
|
1
|
+
require "digest"
|
3
2
|
|
4
3
|
module Yoda
|
5
4
|
module Store
|
6
|
-
|
7
|
-
|
8
|
-
|
9
|
-
|
10
|
-
|
11
|
-
|
12
|
-
|
13
|
-
|
14
|
-
@adapter = adapter
|
15
|
-
end
|
16
|
-
|
17
|
-
# @return [Objects::ProjectStatus, nil]
|
18
|
-
def project_status
|
19
|
-
lock.with_read_lock do
|
20
|
-
adapter&.exist?(PROJECT_STATUS_KEY) && adapter.get(PROJECT_STATUS_KEY)
|
21
|
-
end
|
22
|
-
end
|
23
|
-
|
24
|
-
# @param new_project_status [Objects::ProjectStatus]
|
25
|
-
def save_project_status(new_project_status)
|
26
|
-
lock.with_write_lock do
|
27
|
-
adapter.put(PROJECT_STATUS_KEY, new_project_status)
|
28
|
-
end
|
29
|
-
end
|
5
|
+
module Registry
|
6
|
+
require 'yoda/store/registry/cache'
|
7
|
+
require 'yoda/store/registry/composer'
|
8
|
+
require 'yoda/store/registry/index'
|
9
|
+
require 'yoda/store/registry/library_registry_set'
|
10
|
+
require 'yoda/store/registry/library_registry'
|
11
|
+
require 'yoda/store/registry/local_store'
|
12
|
+
require 'yoda/store/registry/project_registry'
|
30
13
|
|
31
|
-
# @
|
32
|
-
|
33
|
-
|
34
|
-
|
35
|
-
|
36
|
-
|
37
|
-
|
38
|
-
|
14
|
+
# @note This number must be updated when breaking change is added.
|
15
|
+
REGISTRY_VERSION = 6
|
16
|
+
|
17
|
+
class << self
|
18
|
+
def registry_name
|
19
|
+
@registry_name ||= begin
|
20
|
+
digest = Digest::SHA256.new
|
21
|
+
digest.update(RUBY_VERSION)
|
22
|
+
digest.update(REGISTRY_VERSION.to_s)
|
23
|
+
digest.update(Adapters.default_adapter_class.type.to_s)
|
24
|
+
digest.hexdigest
|
39
25
|
end
|
40
26
|
end
|
41
|
-
end
|
42
|
-
|
43
|
-
# @param patch [Patch]
|
44
|
-
def add_patch(patch)
|
45
|
-
lock.with_write_lock do
|
46
|
-
patch_set.register(patch)
|
47
|
-
end
|
48
|
-
end
|
49
27
|
|
50
|
-
|
51
|
-
|
52
|
-
|
53
|
-
|
54
|
-
|
28
|
+
# @param project [Project]
|
29
|
+
# @param memory [Boolean]
|
30
|
+
# @return [Registry]
|
31
|
+
def for_project(project)
|
32
|
+
ProjectRegistry.for_project(project)
|
55
33
|
end
|
56
34
|
end
|
57
|
-
|
58
|
-
def clear
|
59
|
-
lock.with_write_lock do
|
60
|
-
adapter.clear
|
61
|
-
end
|
62
|
-
end
|
63
|
-
|
64
|
-
# Store patch set data to the database.
|
65
|
-
# old data in the database are discarded.
|
66
|
-
def compress_and_save
|
67
|
-
return unless adapter
|
68
|
-
lock.with_write_lock do
|
69
|
-
el_keys = patch_set.keys
|
70
|
-
progress = Instrument::Progress.new(el_keys.length) { |length:, index:| Instrument.instance.registry_dump(index: index, length: length) }
|
71
|
-
|
72
|
-
data = Enumerator.new do |yielder|
|
73
|
-
el_keys.each { |key| yielder << [key, patch_set.find(key)] }
|
74
|
-
end
|
75
|
-
|
76
|
-
adapter.batch_write(data, progress)
|
77
|
-
adapter.sync
|
78
|
-
Logger.info "saved #{el_keys.length} keys."
|
79
|
-
@patch_set = Objects::PatchSet.new
|
80
|
-
end
|
81
|
-
end
|
82
|
-
|
83
|
-
private
|
84
|
-
|
85
|
-
# @return [Adapters::LmdbAdapter, nil]
|
86
|
-
attr_reader :adapter
|
87
|
-
|
88
|
-
# @return [Objects::PatchSet]
|
89
|
-
attr_reader :patch_set
|
90
|
-
|
91
|
-
# @return [Concurrent::ReentrantReadWriteLock]
|
92
|
-
def lock
|
93
|
-
@lock ||= Concurrent::ReentrantReadWriteLock.new
|
94
|
-
end
|
95
|
-
|
96
|
-
def keys
|
97
|
-
Set.new(adapter&.keys.map(&:to_s) || []).union(patch_set.keys)
|
98
|
-
end
|
99
35
|
end
|
100
36
|
end
|
101
37
|
end
|
@@ -0,0 +1,61 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Store
|
3
|
+
module Transformers
|
4
|
+
# YARD parses some kernel methods as public.
|
5
|
+
# This class fixes these visibilities.
|
6
|
+
class CoreVisibility
|
7
|
+
# @param patch [Objects::Patch]
|
8
|
+
# @return [Objects::Patch]
|
9
|
+
def self.transform(patch)
|
10
|
+
new(patch).transformed_patch
|
11
|
+
end
|
12
|
+
|
13
|
+
# @return [Objects::Patch]
|
14
|
+
attr_reader :patch
|
15
|
+
|
16
|
+
# @param patch [Objects::Patch]
|
17
|
+
def initialize(patch)
|
18
|
+
@patch = patch
|
19
|
+
end
|
20
|
+
|
21
|
+
# @return [Objects::Patch]
|
22
|
+
def transformed_patch
|
23
|
+
@transformed_patch = begin
|
24
|
+
if patch.has_key?(:Kernel)
|
25
|
+
create_patch
|
26
|
+
else
|
27
|
+
patch
|
28
|
+
end
|
29
|
+
end
|
30
|
+
end
|
31
|
+
|
32
|
+
private
|
33
|
+
|
34
|
+
# @return [Objects::Patch]
|
35
|
+
def create_patch
|
36
|
+
new_patch = Objects::Patch.new(patch.id)
|
37
|
+
|
38
|
+
patch.keys.each do |key|
|
39
|
+
new_patch.register(transform_object(patch.get(key)))
|
40
|
+
end
|
41
|
+
|
42
|
+
new_patch
|
43
|
+
end
|
44
|
+
|
45
|
+
# @param object [Objects::Base]
|
46
|
+
# @return [Objects::Base]
|
47
|
+
def transform_object(object)
|
48
|
+
if object.kind == :method && object.namespace_path == "Kernel"
|
49
|
+
if Kernel.private_instance_methods.include?(object.name.to_sym)
|
50
|
+
Objects::MethodObject.new(**object.to_h, visibility: :private)
|
51
|
+
else
|
52
|
+
object
|
53
|
+
end
|
54
|
+
else
|
55
|
+
object
|
56
|
+
end
|
57
|
+
end
|
58
|
+
end
|
59
|
+
end
|
60
|
+
end
|
61
|
+
end
|
@@ -0,0 +1,71 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Store
|
3
|
+
# Return paths for each Ruby version.
|
4
|
+
class VersionStore
|
5
|
+
SOURCE_PATH_BASE = File.expand_path("~/.yoda/sources")
|
6
|
+
REGISTRY_PATH_BASE = File.expand_path('~/.yoda/registry')
|
7
|
+
|
8
|
+
# @return [VersionStore]
|
9
|
+
def self.for_current_version
|
10
|
+
new(RUBY_VERSION)
|
11
|
+
end
|
12
|
+
|
13
|
+
attr_reader :ruby_version
|
14
|
+
|
15
|
+
# @param version [String]
|
16
|
+
def initialize(ruby_version)
|
17
|
+
@ruby_version = ruby_version
|
18
|
+
end
|
19
|
+
|
20
|
+
# Return the path to store the version's Ruby.
|
21
|
+
# @return [String]
|
22
|
+
def ruby_source_path
|
23
|
+
File.join(SOURCE_PATH_BASE, "ruby-#{ruby_version}")
|
24
|
+
end
|
25
|
+
|
26
|
+
# Return the path to store yard document index of the core library.
|
27
|
+
# @return [String]
|
28
|
+
def core_yardoc_path
|
29
|
+
File.join(ruby_source_path, '.yardoc')
|
30
|
+
end
|
31
|
+
|
32
|
+
# Return the path to store yard document index of the standard library.
|
33
|
+
# @return [String]
|
34
|
+
def stdlib_yardoc_path
|
35
|
+
File.join(ruby_source_path, '.yardoc-stdlib')
|
36
|
+
end
|
37
|
+
|
38
|
+
# Return the path to store registries.
|
39
|
+
# @return [String]
|
40
|
+
def registries_path
|
41
|
+
File.join(REGISTRY_PATH_BASE, ruby_version)
|
42
|
+
end
|
43
|
+
|
44
|
+
# Return the path to store registry of the gem.
|
45
|
+
# @param name [String]
|
46
|
+
# @param version [String]
|
47
|
+
# @return [String]
|
48
|
+
def registry_path_for_gem(name:, version:)
|
49
|
+
library_registry_path
|
50
|
+
end
|
51
|
+
|
52
|
+
# Return the path to store registry of the core library.
|
53
|
+
# @return [String]
|
54
|
+
def registry_path_for_core
|
55
|
+
library_registry_path
|
56
|
+
end
|
57
|
+
|
58
|
+
# Return the path to store registry of the standard library.
|
59
|
+
# @return [String]
|
60
|
+
def registry_path_for_stdlib
|
61
|
+
library_registry_path
|
62
|
+
end
|
63
|
+
|
64
|
+
# Return the path to store registry of whole library
|
65
|
+
# @return [String]
|
66
|
+
def library_registry_path
|
67
|
+
File.join(registries_path, Registry.registry_name, "library")
|
68
|
+
end
|
69
|
+
end
|
70
|
+
end
|
71
|
+
end
|