yoda-language-server 0.7.1 → 0.9.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/CHANGELOG.md +9 -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 +4299 -1373
- data/client/vscode/package.json +40 -15
- data/client/vscode/src/check-versions.ts +55 -0
- data/client/vscode/src/config.ts +20 -0
- data/client/vscode/src/extension.ts +12 -27
- data/client/vscode/src/install-tools.ts +109 -0
- data/client/vscode/src/language-server.ts +59 -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 +31 -0
- data/client/vscode/src/test/suite/index.ts +26 -0
- data/client/vscode/src/utils.ts +11 -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 +21 -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/concurrent_writer.rb +1 -1
- data/lib/yoda/server/lifecycle_handler.rb +125 -25
- data/lib/yoda/server/notifier.rb +79 -1
- 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 +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 +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 → 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 +71 -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 +22 -20
- 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 +337 -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,104 @@
|
|
1
|
+
require 'forwardable'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module Model
|
5
|
+
class Environment
|
6
|
+
class NamespaceMembers
|
7
|
+
# @return [AccessorInterface]
|
8
|
+
attr_reader :accessor
|
9
|
+
|
10
|
+
# @return [Environment]
|
11
|
+
attr_reader :environment
|
12
|
+
|
13
|
+
# @param accessor [AccessorInterface]
|
14
|
+
# @param environment [Environment]
|
15
|
+
def initialize(accessor:, environment:)
|
16
|
+
@accessor = accessor
|
17
|
+
@environment = environment
|
18
|
+
end
|
19
|
+
|
20
|
+
# @param name [String, Symbol, Regexp]
|
21
|
+
# @param visibility [Array<:private, :public, :protected>]
|
22
|
+
# @return [Enumerator<FunctionSignatures::Base>]
|
23
|
+
def select_method(name, visibility:)
|
24
|
+
rbs_method_signatures = begin
|
25
|
+
method_defs = filter_rbs_methods(name, visibility: visibility)
|
26
|
+
method_defs.flat_map do |method_def|
|
27
|
+
method_def.defs.map do |type_def|
|
28
|
+
FunctionSignatures::RbsMethod.new(
|
29
|
+
rbs_definition: accessor.rbs_definition,
|
30
|
+
rbs_method_definition: method_def,
|
31
|
+
rbs_method_typedef: type_def,
|
32
|
+
)
|
33
|
+
end
|
34
|
+
end
|
35
|
+
end
|
36
|
+
|
37
|
+
stored_signatures = stored_method_members&.select_signature(name, visibility: visibility) || []
|
38
|
+
|
39
|
+
(rbs_method_signatures + stored_signatures).map { |sig| sig.wrap(environment) }
|
40
|
+
end
|
41
|
+
|
42
|
+
# @param name [String, Symbol]
|
43
|
+
# @return [Array<Symbol>]
|
44
|
+
def select_constant_paths(name, **)
|
45
|
+
# TODO: Search RBS
|
46
|
+
stored_consts = stored_constant_members&.select(name) || []
|
47
|
+
stored_consts.map(&:path)
|
48
|
+
end
|
49
|
+
|
50
|
+
# @param name [String, Symbol]
|
51
|
+
# @return [RBS::Types::t]
|
52
|
+
def select_constant_type(name, **)
|
53
|
+
paths = select_constant_paths(name)
|
54
|
+
|
55
|
+
types = paths.flat_map do |path|
|
56
|
+
name = accessor.environment.resolve_rbs_type_name(path)
|
57
|
+
name && RBS::Types::ClassSingleton.new(
|
58
|
+
name: name,
|
59
|
+
location: nil,
|
60
|
+
)
|
61
|
+
end.compact
|
62
|
+
|
63
|
+
if types.empty?
|
64
|
+
RBS::Types::Bases::Any.new(location: nil)
|
65
|
+
else
|
66
|
+
RBS::Types::Union.new(types: types, location: nil)
|
67
|
+
end
|
68
|
+
end
|
69
|
+
|
70
|
+
private
|
71
|
+
|
72
|
+
# @param pattern [String, Symbol, Regexp]
|
73
|
+
# @param visibility [Array<:private, :public, :protected>]
|
74
|
+
# @return [Array<RBS::Definition::Method>]
|
75
|
+
def filter_rbs_methods(pattern, visibility:)
|
76
|
+
return [] unless rbs_methods
|
77
|
+
if pattern.is_a?(Regexp)
|
78
|
+
rbs_methods.select do |key, value|
|
79
|
+
key.to_s.match?(pattern) && visibility.include?(value.accessibility)
|
80
|
+
end.map { |(key, value)| value }
|
81
|
+
else
|
82
|
+
meth = rbs_methods[pattern.to_sym]
|
83
|
+
meth && visibility.include?(meth.accessibility) ? [meth] : []
|
84
|
+
end
|
85
|
+
end
|
86
|
+
|
87
|
+
# @return [Hash<Symbol => RBS::Definition::Method>]
|
88
|
+
def rbs_methods
|
89
|
+
accessor.rbs_definition&.methods
|
90
|
+
end
|
91
|
+
|
92
|
+
# @return [Store::Query::MethodMemberSet, nil]
|
93
|
+
def stored_method_members
|
94
|
+
accessor.class_object&.method_members
|
95
|
+
end
|
96
|
+
|
97
|
+
# @return [Store::Query::ConstantMemberSet, nil]
|
98
|
+
def stored_constant_members
|
99
|
+
accessor.self_object&.constant_members
|
100
|
+
end
|
101
|
+
end
|
102
|
+
end
|
103
|
+
end
|
104
|
+
end
|
@@ -0,0 +1,66 @@
|
|
1
|
+
require 'forwardable'
|
2
|
+
|
3
|
+
require 'yoda/model/environment/accessor_interface'
|
4
|
+
require 'yoda/model/environment/with_cache'
|
5
|
+
|
6
|
+
module Yoda
|
7
|
+
module Model
|
8
|
+
class Environment
|
9
|
+
class SingletonAccessor
|
10
|
+
extend Forwardable
|
11
|
+
include AccessorInterface
|
12
|
+
include WithCache
|
13
|
+
|
14
|
+
# @return [InstanceAccessor, SingletonAccessor]
|
15
|
+
attr_reader :instance_accessor
|
16
|
+
|
17
|
+
delegate [:rbs_definition_builder, :environment] => :instance_accessor
|
18
|
+
|
19
|
+
# @param instance_accessor [InstanceAccessor, SingletonAccessor]
|
20
|
+
def initialize(instance_accessor)
|
21
|
+
@instance_accessor = instance_accessor
|
22
|
+
end
|
23
|
+
|
24
|
+
# @return [NamespaceMembers]
|
25
|
+
def members
|
26
|
+
@members ||= NamespaceMembers.new(accessor: self, environment: environment)
|
27
|
+
end
|
28
|
+
|
29
|
+
# @return [SingletonAccessor]
|
30
|
+
def singleton_accessor
|
31
|
+
SingletonAccessor.new(self)
|
32
|
+
end
|
33
|
+
|
34
|
+
# @return [RBS::Definition, nil]
|
35
|
+
def rbs_definition
|
36
|
+
with_cache(:rbs_definition) do
|
37
|
+
if instance_accessor.rbs_definition
|
38
|
+
if instance_accessor.rbs_definition.self_type.is_a?(RBS::Types::ClassInstance)
|
39
|
+
rbs_definition_builder.build_singleton(instance_accessor.rbs_definition.type_name)
|
40
|
+
else
|
41
|
+
# Interface or Singleton
|
42
|
+
nil
|
43
|
+
end
|
44
|
+
else
|
45
|
+
nil
|
46
|
+
end
|
47
|
+
end
|
48
|
+
end
|
49
|
+
|
50
|
+
# @return [Store::Objects::MetaClassObject::Connected, nil]
|
51
|
+
def class_object
|
52
|
+
with_cache(:class_object) do
|
53
|
+
instance_accessor.class_object&.meta_class
|
54
|
+
end
|
55
|
+
end
|
56
|
+
|
57
|
+
# @return [Store::Objects::MetaClassObject::Connected, nil]
|
58
|
+
def self_object
|
59
|
+
with_cache(:self_object) do
|
60
|
+
instance_accessor.class_object
|
61
|
+
end
|
62
|
+
end
|
63
|
+
end
|
64
|
+
end
|
65
|
+
end
|
66
|
+
end
|
@@ -0,0 +1,151 @@
|
|
1
|
+
require 'rbs'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module Model
|
5
|
+
class Environment
|
6
|
+
# Environment can instanciate {Values::Base} objects from rbs types
|
7
|
+
class ValueFactory
|
8
|
+
# @return [Environment]
|
9
|
+
attr_reader :environment
|
10
|
+
|
11
|
+
# @param project [Store::Project]
|
12
|
+
def self.from_environment(environment)
|
13
|
+
new(environment: environment)
|
14
|
+
end
|
15
|
+
|
16
|
+
# @param environment [Environment]
|
17
|
+
def initialize(environment:)
|
18
|
+
@environment = environment
|
19
|
+
end
|
20
|
+
|
21
|
+
# @param type [RBS::Types::Bases::Base, RBS::Types::Variable, RBS::Types::ClassSingleton, RBS::Types::Interface, RBS::Types::ClassInstance, RBS::Types::Alias, RBS::Types::Tuple, RBS::Types::Record, RBS::Types::Optional, RBS::Types::Union, RBS::Types::Intersection, RBS::Types::Function, RBS::Types::Block, RBS::Types::Proc, RBS::Types::Literal, ValueResolveContext::WrappedType]
|
22
|
+
# @return [Values::Base, nil]
|
23
|
+
def resolve_value_by_rbs_type(type, context: ValueResolveContext.empty)
|
24
|
+
return resolve_value_by_rbs_type(type.wrapped_type, context: type.context) if type.respond_to?(:act_as_type_wrapper?)
|
25
|
+
|
26
|
+
case type
|
27
|
+
when RBS::Types::Bases::Any
|
28
|
+
Values::EmptyValue.new
|
29
|
+
when RBS::Types::Bases::Top
|
30
|
+
# TODO: Implement as everything.
|
31
|
+
Values::EmptyValue.new
|
32
|
+
when RBS::Types::Bases::Bottom
|
33
|
+
Values::EmptyValue.new
|
34
|
+
when RBS::Types::Bases::Void
|
35
|
+
Values::EmptyValue.new
|
36
|
+
when RBS::Types::Bases::Bool
|
37
|
+
Values::UnionValue.new(
|
38
|
+
resolve_instance_by_rbs_type_name(TypeName("::TrueClass")),
|
39
|
+
resolve_instance_by_rbs_type_name(TypeName("::FalseClass")),
|
40
|
+
)
|
41
|
+
when RBS::Types::Bases::Nil
|
42
|
+
resolve_instance_by_rbs_type_name(TypeName("::NilClass"))
|
43
|
+
when RBS::Types::ClassSingleton
|
44
|
+
resolve_singleton_by_rbs_type_name(type.name)
|
45
|
+
when RBS::Types::ClassInstance
|
46
|
+
resolve_instance_by_rbs_type_name(type.name, args: type.args)
|
47
|
+
when RBS::Types::Interface
|
48
|
+
args = type.args.map {|arg| resolve_value_by_rbs_type(arg, context: context) }
|
49
|
+
|
50
|
+
resolve_interface_by_rbs_type_name(type.name, args: type.args)
|
51
|
+
when RBS::Types::Union
|
52
|
+
Values::UnionValue.new(
|
53
|
+
*type.types.flat_map { |ty| resolve_value_by_rbs_type(ty, context: context) }
|
54
|
+
)
|
55
|
+
when RBS::Types::Optional
|
56
|
+
Values::UnionValue.new(
|
57
|
+
resolve_value_by_rbs_type(type.type),
|
58
|
+
resolve_instance_by_rbs_type_name(TypeName("::NilClass")),
|
59
|
+
)
|
60
|
+
when RBS::Types::Intersection
|
61
|
+
Values::IntersectionValue.new(
|
62
|
+
*type.types.map { |ty| resolve_value_by_rbs_type(ty, context: context) }
|
63
|
+
)
|
64
|
+
when RBS::Types::Literal
|
65
|
+
literal_instance(type.literal)
|
66
|
+
when RBS::Types::Tuple
|
67
|
+
# TODO: Implement as tuple
|
68
|
+
# Values::Tuple.new(value_lists: type.types.map { |ty| resolve_value_by_rbs_type(ty) })
|
69
|
+
|
70
|
+
resolve_instance_by_rbs_type_name(TypeName("::Array"))
|
71
|
+
when RBS::Types::Record
|
72
|
+
# TODO: Implement as record
|
73
|
+
# Values::Tuple.new(values_map: type.fields.map { |(key, value)| [key, resolve_value_by_rbs_type(value)] }.to_h)
|
74
|
+
resolve_instance_by_rbs_type_name(TypeName("::Hash"))
|
75
|
+
when RBS::Types::Proc
|
76
|
+
# TODO: Implement as proc
|
77
|
+
# Values::Proc.new("::Proc", type_args: type)
|
78
|
+
resolve_instance_by_rbs_type_name(TypeName("::Proc"))
|
79
|
+
when RBS::Types::Alias
|
80
|
+
rbs_alias = environment.rbs_environment.alias_decls[type.name]&.decl
|
81
|
+
|
82
|
+
if rbs_alias
|
83
|
+
resolve_value_by_rbs_type(rbs_alias.type)
|
84
|
+
else
|
85
|
+
Values::EmptyValue.new
|
86
|
+
end
|
87
|
+
when RBS::Types::Variable
|
88
|
+
Logger.warn("Value factory does not has proper information to convert #{type}.")
|
89
|
+
Values::EmptyValue.new
|
90
|
+
when RBS::Types::Bases::Self
|
91
|
+
if context.self_type
|
92
|
+
resolve_value_by_rbs_type(context.self_type)
|
93
|
+
else
|
94
|
+
Logger.warn("Value factory does not has proper information to convert #{type}.")
|
95
|
+
Values::EmptyValue.new
|
96
|
+
end
|
97
|
+
when RBS::Types::Bases::Class
|
98
|
+
if context.self_type
|
99
|
+
resolve_value_by_rbs_type(context.self_type).singleton_class_value
|
100
|
+
else
|
101
|
+
Logger.warn("Value factory does not has proper information to convert #{type}.")
|
102
|
+
Values::EmptyValue.new
|
103
|
+
end
|
104
|
+
when RBS::Types::Bases::Instance
|
105
|
+
if context.self_type
|
106
|
+
resolve_value_by_rbs_type(context.self_type).instance_value
|
107
|
+
else
|
108
|
+
Logger.warn("Value factory does not has proper information to convert #{type}.")
|
109
|
+
Values::EmptyValue.new
|
110
|
+
end
|
111
|
+
else
|
112
|
+
raise "Unexpected type given: #{type}"
|
113
|
+
end
|
114
|
+
end
|
115
|
+
|
116
|
+
private
|
117
|
+
|
118
|
+
# @param rbs_type_name [RBS::TypeName]
|
119
|
+
# @param args [Array<RBS::Types::t]
|
120
|
+
# @return [Values::InstanceValue]
|
121
|
+
def resolve_instance_by_rbs_type_name(rbs_type_name, args: [])
|
122
|
+
accessor = InstanceAccessor.new(environment: environment, path: rbs_type_name.to_s, type_args: args)
|
123
|
+
Values::InstanceValue.new(accessor)
|
124
|
+
end
|
125
|
+
|
126
|
+
# @param rbs_type_name [RBS::TypeName]
|
127
|
+
# @param args [RBS::Types::t]
|
128
|
+
# @return [Values::InstanceValue]
|
129
|
+
def resolve_singleton_by_rbs_type_name(rbs_type_name, args: [])
|
130
|
+
accessor = InstanceAccessor.new(environment: environment, path: rbs_type_name.to_s, type_args: args).singleton_accessor
|
131
|
+
Values::InstanceValue.new(accessor)
|
132
|
+
end
|
133
|
+
|
134
|
+
# @param rbs_type_name [RBS::TypeName]
|
135
|
+
# @param args [RBS::Types::t]
|
136
|
+
# @return [Valuess::InstanceValue]
|
137
|
+
def resolve_interface_by_rbs_type_name(rbs_type_name, args: [])
|
138
|
+
accessor = InstanceAccessor.new(environment: environment, path: rbs_type_name.to_s, type_args: args)
|
139
|
+
Values::InstanceValue.new(accessor)
|
140
|
+
end
|
141
|
+
|
142
|
+
def literal_instance(literal)
|
143
|
+
type_name = TypeName(literal.class.name)
|
144
|
+
value = resolve_instance_by_rbs_type_name(type_name)
|
145
|
+
|
146
|
+
Values::LiteralValue.new(value: value, literal: literal)
|
147
|
+
end
|
148
|
+
end
|
149
|
+
end
|
150
|
+
end
|
151
|
+
end
|
@@ -0,0 +1,62 @@
|
|
1
|
+
require 'delegate'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module Model
|
5
|
+
class Environment
|
6
|
+
class ValueResolveContext
|
7
|
+
# @return [ValueResolveContext]
|
8
|
+
def self.empty
|
9
|
+
new
|
10
|
+
end
|
11
|
+
|
12
|
+
# @return [RBS::Types::t, nil]
|
13
|
+
attr_reader :self_type
|
14
|
+
|
15
|
+
# @param self_type [RBS::Types::t, nil]
|
16
|
+
def initialize(self_type: nil)
|
17
|
+
@self_type = self_type
|
18
|
+
end
|
19
|
+
|
20
|
+
# @param type [RBS::Types::t]
|
21
|
+
def wrap(type)
|
22
|
+
WrappedType.new(type, context: self)
|
23
|
+
end
|
24
|
+
|
25
|
+
class WrappedType < SimpleDelegator
|
26
|
+
# @return [ValueResolveContext]
|
27
|
+
attr_reader :context
|
28
|
+
|
29
|
+
# @param type [RBS::Types::t]
|
30
|
+
# @param context [ValueResolveContext]
|
31
|
+
def initialize(type, context:)
|
32
|
+
@context = context
|
33
|
+
super(type)
|
34
|
+
end
|
35
|
+
|
36
|
+
def act_as_type_wrapper?
|
37
|
+
wrapped_type
|
38
|
+
end
|
39
|
+
|
40
|
+
# @return [WrappedType]
|
41
|
+
def propage_context_to(another_type)
|
42
|
+
context.wrap(another_type)
|
43
|
+
end
|
44
|
+
|
45
|
+
# @param type [RBS::Types::t]
|
46
|
+
def wrapped_type
|
47
|
+
__getobj__
|
48
|
+
end
|
49
|
+
|
50
|
+
# @param pp [PP]
|
51
|
+
def pretty_print(pp)
|
52
|
+
pp.object_group(self) do
|
53
|
+
pp.breakable
|
54
|
+
pp.text "type:"
|
55
|
+
pp.pp wrapped_type
|
56
|
+
end
|
57
|
+
end
|
58
|
+
end
|
59
|
+
end
|
60
|
+
end
|
61
|
+
end
|
62
|
+
end
|
@@ -0,0 +1,14 @@
|
|
1
|
+
module Yoda
|
2
|
+
module Model
|
3
|
+
class Environment
|
4
|
+
module WithCache
|
5
|
+
# @param with_cache [Symbol]
|
6
|
+
def with_cache(cache_name)
|
7
|
+
cache_key = :"@#{cache_name}"
|
8
|
+
return instance_variable_get(cache_key) if instance_variable_defined?(cache_key)
|
9
|
+
instance_variable_set(cache_key, yield)
|
10
|
+
end
|
11
|
+
end
|
12
|
+
end
|
13
|
+
end
|
14
|
+
end
|
@@ -0,0 +1,122 @@
|
|
1
|
+
require 'rbs'
|
2
|
+
|
3
|
+
module Yoda
|
4
|
+
module Model
|
5
|
+
# Environment can resolve constants from type expressions.
|
6
|
+
class Environment
|
7
|
+
require 'yoda/model/environment/accessor_interface'
|
8
|
+
require 'yoda/model/environment/instance_accessor'
|
9
|
+
require 'yoda/model/environment/namespace_members'
|
10
|
+
require 'yoda/model/environment/singleton_accessor'
|
11
|
+
require 'yoda/model/environment/value_factory'
|
12
|
+
require 'yoda/model/environment/value_resolve_context'
|
13
|
+
require 'yoda/model/environment/with_cache'
|
14
|
+
|
15
|
+
|
16
|
+
# @param project [Store::Project]
|
17
|
+
def self.from_project(project)
|
18
|
+
new(registry: project.registry, rbs_environment: project.rbs_environment)
|
19
|
+
end
|
20
|
+
|
21
|
+
# @param registry [Store::Registry::ProjectRegistry, nil]
|
22
|
+
# @param rbs_environment [RBS::Environment, nil]
|
23
|
+
# @return [Environment]
|
24
|
+
def self.build(registry: nil, rbs_environment: nil)
|
25
|
+
# TODO: Allow to make registry parameter empty
|
26
|
+
registry ||= Yoda::Store::Project.temporal.registry
|
27
|
+
rbs_environment ||= RBS::Environment.new
|
28
|
+
new(registry: registry, rbs_environment: rbs_environment)
|
29
|
+
end
|
30
|
+
|
31
|
+
# @return [Store::Registry::ProjectRegistry]
|
32
|
+
attr_reader :registry
|
33
|
+
|
34
|
+
# @return [RBS::Environment]
|
35
|
+
attr_reader :rbs_environment
|
36
|
+
|
37
|
+
# @param registry [Store::Registry::ProjectRegistry]
|
38
|
+
# @param rbs_environment [RBS::Environment]
|
39
|
+
def initialize(registry:, rbs_environment:)
|
40
|
+
@registry = registry
|
41
|
+
@rbs_environment = rbs_environment
|
42
|
+
end
|
43
|
+
|
44
|
+
# @param rbs_type [RBS::Types::Bases::Base, RBS::Types::Variable, RBS::Types::ClassSingleton, RBS::Types::Interface, RBS::Types::ClassInstance, RBS::Types::Alias, RBS::Types::Tuple, RBS::Types::Record, RBS::Types::Optional, RBS::Types::Union, RBS::Types::Intersection, RBS::Types::Function, RBS::Types::Block, RBS::Types::Proc, RBS::Types::Literal]
|
45
|
+
# @return [Values::Base, nil]
|
46
|
+
def resolve_value_by_rbs_type(rbs_type)
|
47
|
+
ValueFactory.from_environment(self).resolve_value_by_rbs_type(rbs_type)
|
48
|
+
end
|
49
|
+
|
50
|
+
# @param type_expression [TypeExpression]
|
51
|
+
# @return [RBS::Types::Bases::Base, RBS::Types::Variable, RBS::Types::ClassSingleton, RBS::Types::Interface, RBS::Types::ClassInstance, RBS::Types::Alias, RBS::Types::Tuple, RBS::Types::Record, RBS::Types::Optional, RBS::Types::Union, RBS::Types::Intersection, RBS::Types::Function, RBS::Types::Block, RBS::Types::Proc, RBS::Types::Literal]
|
52
|
+
def resolve_rbs_type(type_expression)
|
53
|
+
type_expression.to_rbs_type(self)
|
54
|
+
end
|
55
|
+
|
56
|
+
# Return {RBS::TypeName} for the instance of the given path.
|
57
|
+
# @param path [ScopedPath, Path, String]
|
58
|
+
# @return [RBS::TypeName, nil]
|
59
|
+
def resolve_rbs_type_name(path)
|
60
|
+
scoped_path = ScopedPath.build(path)
|
61
|
+
# TODO: ask both registry in lexical priority
|
62
|
+
object = resolve_constant(scoped_path)
|
63
|
+
return TypeName(object.path).absolute! if object
|
64
|
+
rbs_type_name_resolver.resolve(TypeName(scoped_path.path.to_s), context: scoped_path.lexical_context.to_rbs_context)
|
65
|
+
end
|
66
|
+
|
67
|
+
# @param key [String, Path, ScopedPath]
|
68
|
+
# @return [Store::Objects::Base, nil]
|
69
|
+
def resolve_constant(key)
|
70
|
+
Store::Query::FindConstant.new(registry).find(key)&.with_connection(registry: registry)
|
71
|
+
end
|
72
|
+
|
73
|
+
# @param key [String, Path, ScopedPath]
|
74
|
+
# @return [Store::Objects::MetaClassObject, nil]
|
75
|
+
def resolve_singleton_class(key)
|
76
|
+
Store::Query::FindMetaClass.new(registry).find(key)&.with_connection(registry: registry)
|
77
|
+
end
|
78
|
+
|
79
|
+
# @param type_name [RBS::TypeName]
|
80
|
+
# @param return [RBS::AST::Declarations::Class, nil]
|
81
|
+
def resolve_rbs_class_decl(type_name)
|
82
|
+
rbs_environment.class_decls[type_name]
|
83
|
+
end
|
84
|
+
|
85
|
+
# @param type_name [RBS::TypeName]
|
86
|
+
# @param return [RBS::AST::Declarations::Interface, nil]
|
87
|
+
def resolve_rbs_interface_decl(type_name)
|
88
|
+
rbs_environment.interface_decls[type_name]&.decl
|
89
|
+
end
|
90
|
+
|
91
|
+
# @param type_name [RBS::TypeName]
|
92
|
+
# @param return [RBS::AST::Declarations::Constant, nil]
|
93
|
+
def resolve_rbs_constant_decl(type_name)
|
94
|
+
environment.rbs_environment.constant_decls[type_name]&.decl
|
95
|
+
end
|
96
|
+
|
97
|
+
# @param pp [PP]
|
98
|
+
def pretty_print(pp)
|
99
|
+
pp.object_group(self) do
|
100
|
+
pp.breakable
|
101
|
+
pp.text "@rbs_environment="
|
102
|
+
pp.pp rbs_environment
|
103
|
+
pp.comma_breakable
|
104
|
+
pp.text "@registry="
|
105
|
+
pp.pp registry
|
106
|
+
end
|
107
|
+
end
|
108
|
+
|
109
|
+
private
|
110
|
+
|
111
|
+
# @param scoped_path [ScopedPath]
|
112
|
+
def resolve_rbs_decl(scoped_path)
|
113
|
+
type_name = resolve_type_name(scoped_path)
|
114
|
+
end
|
115
|
+
|
116
|
+
def rbs_type_name_resolver
|
117
|
+
@rbs_type_name_resolver ||= RBS::TypeNameResolver.from_env(rbs_environment)
|
118
|
+
end
|
119
|
+
|
120
|
+
end
|
121
|
+
end
|
122
|
+
end
|
@@ -4,11 +4,18 @@ module Yoda
|
|
4
4
|
# @abstract
|
5
5
|
class Base
|
6
6
|
# @abstract
|
7
|
-
# @return [
|
7
|
+
# @return [TypeExpressions::FunctionType]
|
8
8
|
def type
|
9
9
|
fail NotImplementedError
|
10
10
|
end
|
11
11
|
|
12
|
+
# @abstract
|
13
|
+
# @param env [Environment]
|
14
|
+
# @return [RBS::MethodType]
|
15
|
+
def rbs_type(env)
|
16
|
+
fail NotImplementedError
|
17
|
+
end
|
18
|
+
|
12
19
|
# @abstract
|
13
20
|
# @return [Symbol]
|
14
21
|
def visibility
|
@@ -33,6 +40,12 @@ module Yoda
|
|
33
40
|
fail NotImplementedError
|
34
41
|
end
|
35
42
|
|
43
|
+
# @abstract
|
44
|
+
# @return [Array<Store::Objects::Tag>]
|
45
|
+
def tags
|
46
|
+
fail NotImplementedError
|
47
|
+
end
|
48
|
+
|
36
49
|
# @abstract
|
37
50
|
# @return [ParameterList]
|
38
51
|
def parameters
|
@@ -51,11 +64,18 @@ module Yoda
|
|
51
64
|
end
|
52
65
|
|
53
66
|
# @abstract
|
54
|
-
# @
|
67
|
+
# @param param [String]
|
68
|
+
# @return [TypeExpressions::Base, nil]
|
55
69
|
def parameter_type_of(param)
|
56
70
|
fail NotImplementedError
|
57
71
|
end
|
58
72
|
|
73
|
+
# @param env [Environment]
|
74
|
+
# @return [Wrapper]
|
75
|
+
def wrap(env)
|
76
|
+
Wrapper.new(environment: env, signature: self)
|
77
|
+
end
|
78
|
+
|
59
79
|
private
|
60
80
|
|
61
81
|
# @return [Formatter]
|
@@ -17,6 +17,17 @@ module Yoda
|
|
17
17
|
type_builder.type
|
18
18
|
end
|
19
19
|
|
20
|
+
# @param env [Environment]
|
21
|
+
# @return [RBS::MethodType]
|
22
|
+
def rbs_type(env)
|
23
|
+
RBS::MethodType.new(
|
24
|
+
type_params: [],
|
25
|
+
type: type.to_rbs_type(env),
|
26
|
+
block: nil,
|
27
|
+
location: nil,
|
28
|
+
)
|
29
|
+
end
|
30
|
+
|
20
31
|
def name
|
21
32
|
'new'
|
22
33
|
end
|
@@ -38,6 +49,11 @@ module Yoda
|
|
38
49
|
initialize_method.document
|
39
50
|
end
|
40
51
|
|
52
|
+
# @return [Array<Store::Objects::Tag>]
|
53
|
+
def tags
|
54
|
+
initialize_method.tag_list
|
55
|
+
end
|
56
|
+
|
41
57
|
# @return [Array<(String, Integer, Integer)>]
|
42
58
|
def sources
|
43
59
|
initialize_method.sources
|
@@ -53,7 +69,7 @@ module Yoda
|
|
53
69
|
initialize_method.primary_source
|
54
70
|
end
|
55
71
|
|
56
|
-
# @return [
|
72
|
+
# @return [TypeExpressions::Base, nil]
|
57
73
|
def parameter_type_of(param)
|
58
74
|
type_builder.type_of(param)
|
59
75
|
end
|
@@ -2,7 +2,7 @@ module Yoda
|
|
2
2
|
module Model
|
3
3
|
module FunctionSignatures
|
4
4
|
class Method < Base
|
5
|
-
# @
|
5
|
+
# @return [Store::Objects::MethodObject]
|
6
6
|
attr_reader :method_object
|
7
7
|
|
8
8
|
# @param method_object [Store::Objects::MethodObject]
|
@@ -31,11 +31,27 @@ module Yoda
|
|
31
31
|
@method_object.document
|
32
32
|
end
|
33
33
|
|
34
|
-
# @return [
|
34
|
+
# @return [Array<Store::Objects::Tag>]
|
35
|
+
def tags
|
36
|
+
method_object.tag_list
|
37
|
+
end
|
38
|
+
|
39
|
+
# @return [TypeExpressions::FunctionType]
|
35
40
|
def type
|
36
41
|
type_builder.type
|
37
42
|
end
|
38
43
|
|
44
|
+
# @param env [Environment]
|
45
|
+
# @return [RBS::MethodType]
|
46
|
+
def rbs_type(env)
|
47
|
+
RBS::MethodType.new(
|
48
|
+
type_params: [],
|
49
|
+
type: type.to_rbs_type(env),
|
50
|
+
block: nil,
|
51
|
+
location: nil,
|
52
|
+
)
|
53
|
+
end
|
54
|
+
|
39
55
|
# @return [Array<(String, Integer, Integer)>]
|
40
56
|
def sources
|
41
57
|
method_object.source
|
@@ -37,11 +37,27 @@ module Yoda
|
|
37
37
|
overload.document || method_object.document
|
38
38
|
end
|
39
39
|
|
40
|
-
# @return [
|
40
|
+
# @return [Array<Store::Objects::Tag>]
|
41
|
+
def tags
|
42
|
+
overload.tag_list || method_object.tag_list
|
43
|
+
end
|
44
|
+
|
45
|
+
# @return [TypeExpressions::FunctionType]
|
41
46
|
def type
|
42
47
|
@type = type_builder.type
|
43
48
|
end
|
44
49
|
|
50
|
+
# @param env [Environment]
|
51
|
+
# @return [RBS::MethodType]
|
52
|
+
def rbs_type(env)
|
53
|
+
RBS::MethodType.new(
|
54
|
+
type_params: [],
|
55
|
+
type: type.to_rbs_type(env),
|
56
|
+
block: nil,
|
57
|
+
location: nil,
|
58
|
+
)
|
59
|
+
end
|
60
|
+
|
45
61
|
# @return [Array<(String, Integer, Integer)>]
|
46
62
|
def sources
|
47
63
|
method_object.sources
|