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.
Files changed (389) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/test.yml +23 -0
  3. data/.gitignore +1 -1
  4. data/.rspec +1 -0
  5. data/Gemfile +2 -0
  6. data/README.md +23 -11
  7. data/Rakefile +32 -0
  8. data/bin/bench +12 -0
  9. data/bin/local +7 -0
  10. data/client/atom/.gitignore +1 -0
  11. data/{package.json → client/atom/package.json} +1 -1
  12. data/{yarn.lock → client/atom/yarn.lock} +0 -0
  13. data/client/vscode/.gitignore +1 -1
  14. data/client/vscode/.vscode/launch.json +0 -11
  15. data/client/vscode/.vscode/settings.json +5 -1
  16. data/client/vscode/LICENSE.txt +21 -0
  17. data/client/vscode/README.md +4 -55
  18. data/client/vscode/package-lock.json +4195 -1360
  19. data/client/vscode/package.json +30 -15
  20. data/client/vscode/src/config.ts +13 -0
  21. data/client/vscode/src/extension.ts +11 -27
  22. data/client/vscode/src/install-tools.ts +69 -0
  23. data/client/vscode/src/language-server.ts +54 -0
  24. data/client/vscode/src/status.ts +3 -0
  25. data/client/vscode/src/test/runTest.ts +30 -0
  26. data/client/vscode/src/test/{completion.test.ts → suite/completion.test.ts} +2 -1
  27. data/client/vscode/src/test/suite/hover.test.ts +43 -0
  28. data/client/vscode/src/test/suite/index.ts +27 -0
  29. data/client/vscode/tsconfig.json +4 -1
  30. data/exe/yoda +1 -1
  31. data/lib/yoda/ast/array_node.rb +10 -0
  32. data/lib/yoda/ast/assignment_node.rb +15 -0
  33. data/lib/yoda/ast/block_call_node.rb +20 -0
  34. data/lib/yoda/ast/block_node.rb +10 -0
  35. data/lib/yoda/ast/case_node.rb +20 -0
  36. data/lib/yoda/ast/center_operator_node.rb +20 -0
  37. data/lib/yoda/ast/class_node.rb +22 -0
  38. data/lib/yoda/ast/comment_block/base_part.rb +12 -0
  39. data/lib/yoda/ast/comment_block/range_calculation.rb +58 -0
  40. data/lib/yoda/ast/comment_block/tag_part.rb +88 -0
  41. data/lib/yoda/ast/comment_block/tag_text_name_part.rb +35 -0
  42. data/lib/yoda/ast/comment_block/tag_text_type_part.rb +52 -0
  43. data/lib/yoda/ast/comment_block/text_part.rb +28 -0
  44. data/lib/yoda/ast/comment_block/token.rb +44 -0
  45. data/lib/yoda/ast/comment_block.rb +119 -0
  46. data/lib/yoda/ast/conditional_loop_node.rb +15 -0
  47. data/lib/yoda/ast/constant_assignment_node.rb +20 -0
  48. data/lib/yoda/ast/constant_base_node.rb +42 -0
  49. data/lib/yoda/ast/constant_node.rb +53 -0
  50. data/lib/yoda/ast/def_node.rb +27 -0
  51. data/lib/yoda/ast/def_singleton_node.rb +32 -0
  52. data/lib/yoda/ast/empty_vnode.rb +24 -0
  53. data/lib/yoda/ast/ensure_node.rb +15 -0
  54. data/lib/yoda/ast/for_node.rb +20 -0
  55. data/lib/yoda/ast/hash_node.rb +10 -0
  56. data/lib/yoda/ast/if_node.rb +20 -0
  57. data/lib/yoda/ast/interpolation_text_node.rb +10 -0
  58. data/lib/yoda/ast/kwsplat_node.rb +10 -0
  59. data/lib/yoda/ast/left_operator_node.rb +15 -0
  60. data/lib/yoda/ast/literal_node.rb +18 -0
  61. data/lib/yoda/ast/method_traversable.rb +22 -0
  62. data/lib/yoda/ast/module_node.rb +17 -0
  63. data/lib/yoda/ast/multiple_left_hand_side_node.rb +31 -0
  64. data/lib/yoda/ast/name_vnode.rb +28 -0
  65. data/lib/yoda/ast/namespace.rb +36 -0
  66. data/lib/yoda/ast/namespace_traversable.rb +39 -0
  67. data/lib/yoda/ast/node.rb +52 -0
  68. data/lib/yoda/ast/optional_parameter_node.rb +20 -0
  69. data/lib/yoda/ast/pair_node.rb +15 -0
  70. data/lib/yoda/ast/parameter_node.rb +25 -0
  71. data/lib/yoda/ast/parameters_node.rb +62 -0
  72. data/lib/yoda/ast/rescue_clause_node.rb +20 -0
  73. data/lib/yoda/ast/rescue_node.rb +20 -0
  74. data/lib/yoda/ast/root_vnode.rb +48 -0
  75. data/lib/yoda/ast/send_node.rb +100 -0
  76. data/lib/yoda/ast/singleton_class_node.rb +17 -0
  77. data/lib/yoda/ast/special_call_node.rb +10 -0
  78. data/lib/yoda/ast/traversable.rb +34 -0
  79. data/lib/yoda/ast/value_vnode.rb +28 -0
  80. data/lib/yoda/ast/variable_node.rb +15 -0
  81. data/lib/yoda/ast/vnode.rb +170 -0
  82. data/lib/yoda/ast/when_node.rb +15 -0
  83. data/lib/yoda/ast.rb +140 -0
  84. data/lib/yoda/cli/analyze_deps.rb +102 -0
  85. data/lib/yoda/{commands → cli}/base.rb +1 -1
  86. data/lib/yoda/{commands → cli}/complete.rb +12 -9
  87. data/lib/yoda/cli/console.rb +17 -0
  88. data/lib/yoda/{commands → cli}/file_cursor_parsable.rb +1 -1
  89. data/lib/yoda/{commands → cli}/infer.rb +4 -4
  90. data/lib/yoda/cli.rb +117 -0
  91. data/lib/yoda/has_services.rb +40 -0
  92. data/lib/yoda/instrument.rb +14 -5
  93. data/lib/yoda/logger.rb +4 -2
  94. data/lib/yoda/missing_delegatable.rb +34 -0
  95. data/lib/yoda/model/completion_item.rb +43 -11
  96. data/lib/yoda/model/descriptions/base.rb +11 -0
  97. data/lib/yoda/model/descriptions/comment_token_description.rb +46 -0
  98. data/lib/yoda/model/descriptions/function_description.rb +19 -2
  99. data/lib/yoda/model/descriptions/node_description.rb +19 -8
  100. data/lib/yoda/model/descriptions/variable_description.rb +41 -0
  101. data/lib/yoda/model/descriptions.rb +2 -0
  102. data/lib/yoda/model/environment/accessor_interface.rb +43 -0
  103. data/lib/yoda/model/environment/instance_accessor.rb +121 -0
  104. data/lib/yoda/model/environment/namespace_members.rb +104 -0
  105. data/lib/yoda/model/environment/singleton_accessor.rb +66 -0
  106. data/lib/yoda/model/environment/value_factory.rb +151 -0
  107. data/lib/yoda/model/environment/value_resolve_context.rb +62 -0
  108. data/lib/yoda/model/environment/with_cache.rb +14 -0
  109. data/lib/yoda/model/environment.rb +122 -0
  110. data/lib/yoda/model/function_signatures/base.rb +22 -2
  111. data/lib/yoda/model/function_signatures/constructor.rb +17 -1
  112. data/lib/yoda/model/function_signatures/method.rb +18 -2
  113. data/lib/yoda/model/function_signatures/overload.rb +17 -1
  114. data/lib/yoda/model/function_signatures/parameter_list.rb +17 -0
  115. data/lib/yoda/model/function_signatures/rbs_method.rb +91 -0
  116. data/lib/yoda/model/function_signatures/type_builder.rb +63 -31
  117. data/lib/yoda/model/function_signatures/wrapper.rb +46 -0
  118. data/lib/yoda/model/function_signatures.rb +2 -0
  119. data/lib/yoda/model/lexical_context.rb +40 -0
  120. data/lib/yoda/model/node_signatures/base.rb +42 -0
  121. data/lib/yoda/model/node_signatures/const.rb +20 -0
  122. data/lib/yoda/model/node_signatures/method_definition.rb +20 -0
  123. data/lib/yoda/model/node_signatures/node.rb +11 -0
  124. data/lib/yoda/model/node_signatures/send.rb +20 -0
  125. data/lib/yoda/model/node_signatures.rb +35 -0
  126. data/lib/yoda/model/parameters/base.rb +14 -0
  127. data/lib/yoda/model/parameters/binder.rb +148 -0
  128. data/lib/yoda/model/parameters/multiple.rb +36 -0
  129. data/lib/yoda/model/parameters/named.rb +20 -0
  130. data/lib/yoda/model/parameters/unnamed.rb +12 -0
  131. data/lib/yoda/model/parameters.rb +11 -0
  132. data/lib/yoda/model/path.rb +16 -0
  133. data/lib/yoda/model/primary_source_inferencer.rb +34 -0
  134. data/lib/yoda/model/scoped_path.rb +13 -2
  135. data/lib/yoda/model/{types → type_expressions}/any_type.rb +7 -3
  136. data/lib/yoda/model/{types → type_expressions}/base.rb +10 -3
  137. data/lib/yoda/model/{types → type_expressions}/duck_type.rb +8 -2
  138. data/lib/yoda/model/type_expressions/function_type/parameter.rb +95 -0
  139. data/lib/yoda/model/{types → type_expressions}/function_type.rb +61 -70
  140. data/lib/yoda/model/type_expressions/generator.rb +28 -0
  141. data/lib/yoda/model/{types → type_expressions}/generic_type.rb +17 -2
  142. data/lib/yoda/model/{types → type_expressions}/instance_type.rb +10 -2
  143. data/lib/yoda/model/{types → type_expressions}/module_type.rb +7 -1
  144. data/lib/yoda/model/type_expressions/self_type.rb +38 -0
  145. data/lib/yoda/model/{types → type_expressions}/sequence_type.rb +6 -1
  146. data/lib/yoda/model/{types → type_expressions}/union_type.rb +7 -3
  147. data/lib/yoda/model/{types → type_expressions}/unknown_type.rb +6 -1
  148. data/lib/yoda/model/{types → type_expressions}/value_type.rb +17 -1
  149. data/lib/yoda/model/type_expressions/void_type.rb +37 -0
  150. data/lib/yoda/model/type_expressions.rb +40 -0
  151. data/lib/yoda/model/values/base.rb +23 -8
  152. data/lib/yoda/model/values/empty_value.rb +39 -0
  153. data/lib/yoda/model/values/instance_value.rb +24 -43
  154. data/lib/yoda/model/values/intersection_value.rb +48 -0
  155. data/lib/yoda/model/values/literal_value.rb +23 -0
  156. data/lib/yoda/model/values/union_value.rb +50 -0
  157. data/lib/yoda/model/values.rb +5 -1
  158. data/lib/yoda/model/yard_type_parser.rb +35 -0
  159. data/lib/yoda/model.rb +7 -2
  160. data/lib/yoda/parsing/comment_tokenizer.rb +21 -4
  161. data/lib/yoda/parsing/location.rb +1 -1
  162. data/lib/yoda/parsing/node_objects/args_node.rb +85 -0
  163. data/lib/yoda/parsing/node_objects/const_node.rb +3 -3
  164. data/lib/yoda/parsing/node_objects/mlhs_node.rb +31 -0
  165. data/lib/yoda/parsing/node_objects.rb +2 -0
  166. data/lib/yoda/parsing/parser.rb +44 -5
  167. data/lib/yoda/parsing/query/current_comment_token_query.rb +4 -3
  168. data/lib/yoda/parsing/query/current_commenting_node_query.rb +7 -7
  169. data/lib/yoda/parsing/scopes/base.rb +1 -1
  170. data/lib/yoda/parsing/scopes/builder.rb +1 -1
  171. data/lib/yoda/parsing/source_cutter.rb +6 -2
  172. data/lib/yoda/parsing/traverser/matcher.rb +65 -0
  173. data/lib/yoda/parsing/traverser/query_interface.rb +68 -0
  174. data/lib/yoda/parsing/traverser/result_set.rb +37 -0
  175. data/lib/yoda/parsing/traverser.rb +29 -0
  176. data/lib/yoda/parsing/type_parser.rb +24 -20
  177. data/lib/yoda/parsing.rb +27 -1
  178. data/lib/yoda/presentation/code_completion/constant.rb +27 -0
  179. data/lib/yoda/server/lifecycle_handler.rb +81 -4
  180. data/lib/yoda/server/notifier.rb +131 -0
  181. data/lib/yoda/server/providers/completion.rb +31 -17
  182. data/lib/yoda/server/providers/definition.rb +38 -10
  183. data/lib/yoda/server/providers/hover.rb +26 -10
  184. data/lib/yoda/server/providers/reportable_progress.rb +75 -0
  185. data/lib/yoda/server/providers/signature.rb +20 -7
  186. data/lib/yoda/server/providers/text_document_did_change.rb +1 -1
  187. data/lib/yoda/server/providers/text_document_did_open.rb +1 -1
  188. data/lib/yoda/server/providers/with_timeout.rb +36 -0
  189. data/lib/yoda/server/providers/workspace_did_change_workspace_folders.rb +33 -0
  190. data/lib/yoda/server/providers/workspace_did_create_files.rb +21 -0
  191. data/lib/yoda/server/providers/workspace_did_delete_files.rb +21 -0
  192. data/lib/yoda/server/providers/workspace_did_rename_files.rb +22 -0
  193. data/lib/yoda/server/providers/workspace_symbol.rb +82 -0
  194. data/lib/yoda/server/providers.rb +12 -0
  195. data/lib/yoda/server/root_handler.rb +27 -23
  196. data/lib/yoda/server/rootless_workspace.rb +62 -0
  197. data/lib/yoda/server/scheduler.rb +50 -0
  198. data/lib/yoda/server/session.rb +71 -25
  199. data/lib/yoda/server/uri_decoder.rb +16 -0
  200. data/lib/yoda/server/workspace.rb +117 -0
  201. data/lib/yoda/server.rb +9 -2
  202. data/lib/yoda/services/code_completion/base_provider.rb +52 -0
  203. data/lib/yoda/{evaluation → services}/code_completion/const_provider.rb +35 -25
  204. data/lib/yoda/services/code_completion/keyword_provider.rb +67 -0
  205. data/lib/yoda/services/code_completion/local_variable_provider.rb +51 -0
  206. data/lib/yoda/{evaluation → services}/code_completion/method_provider.rb +14 -32
  207. data/lib/yoda/services/code_completion.rb +74 -0
  208. data/lib/yoda/{evaluation → services}/comment_completion/base_provider.rb +11 -6
  209. data/lib/yoda/{evaluation → services}/comment_completion/param_provider.rb +1 -1
  210. data/lib/yoda/{evaluation → services}/comment_completion/tag_provider.rb +1 -1
  211. data/lib/yoda/{evaluation → services}/comment_completion/type_provider.rb +6 -5
  212. data/lib/yoda/{evaluation → services}/comment_completion.rb +13 -13
  213. data/lib/yoda/services/current_node_explain/comment_signature.rb +77 -0
  214. data/lib/yoda/services/current_node_explain.rb +72 -0
  215. data/lib/yoda/services/evaluator.rb +44 -0
  216. data/lib/yoda/services/signature_discovery.rb +74 -0
  217. data/lib/yoda/services.rb +9 -0
  218. data/lib/yoda/store/actions/build_core_index.rb +38 -9
  219. data/lib/yoda/store/actions/import_core_library.rb +14 -19
  220. data/lib/yoda/store/actions/import_gem.rb +65 -33
  221. data/lib/yoda/store/actions/import_project_dependencies.rb +47 -0
  222. data/lib/yoda/store/actions/import_std_library.rb +13 -18
  223. data/lib/yoda/store/actions/read_file.rb +21 -6
  224. data/lib/yoda/store/actions/read_project_files.rb +7 -1
  225. data/lib/yoda/store/actions.rb +1 -0
  226. data/lib/yoda/store/adapters/base.rb +39 -0
  227. data/lib/yoda/store/adapters/gdbm_adapter/namespace_accessor.rb +152 -0
  228. data/lib/yoda/store/adapters/gdbm_adapter.rb +56 -0
  229. data/lib/yoda/store/adapters/lazy_adapter.rb +34 -0
  230. data/lib/yoda/store/adapters/memory_adapter.rb +21 -0
  231. data/lib/yoda/store/adapters.rb +12 -4
  232. data/lib/yoda/store/config.rb +43 -0
  233. data/lib/yoda/store/file_tree.rb +131 -0
  234. data/lib/yoda/store/objects/base.rb +73 -4
  235. data/lib/yoda/store/objects/class_object.rb +16 -7
  236. data/lib/yoda/store/objects/connected_delegation.rb +25 -0
  237. data/lib/yoda/store/objects/libraries_status.rb +67 -0
  238. data/lib/yoda/store/objects/library/core.rb +72 -0
  239. data/lib/yoda/store/objects/library/gem.rb +141 -0
  240. data/lib/yoda/store/objects/library/std.rb +72 -0
  241. data/lib/yoda/store/objects/library/with_registry.rb +28 -0
  242. data/lib/yoda/store/objects/library.rb +24 -0
  243. data/lib/yoda/store/objects/map.rb +61 -0
  244. data/lib/yoda/store/objects/merger.rb +96 -12
  245. data/lib/yoda/store/objects/meta_class_object.rb +28 -1
  246. data/lib/yoda/store/objects/method_object.rb +39 -6
  247. data/lib/yoda/store/objects/module_object.rb +3 -0
  248. data/lib/yoda/store/objects/namespace_object.rb +38 -1
  249. data/lib/yoda/store/objects/overload.rb +1 -1
  250. data/lib/yoda/store/objects/patch.rb +56 -12
  251. data/lib/yoda/store/objects/patch_set.rb +58 -26
  252. data/lib/yoda/store/objects/serializable.rb +17 -2
  253. data/lib/yoda/store/objects/serializable_set.rb +23 -0
  254. data/lib/yoda/store/objects/tag.rb +1 -1
  255. data/lib/yoda/store/objects/value_object.rb +5 -1
  256. data/lib/yoda/store/objects.rb +5 -1
  257. data/lib/yoda/store/project/dependency.rb +83 -0
  258. data/lib/yoda/store/project/file_finder.rb +101 -0
  259. data/lib/yoda/store/project/rbs_loader.rb +41 -0
  260. data/lib/yoda/store/project/setuper.rb +68 -0
  261. data/lib/yoda/store/project.rb +99 -41
  262. data/lib/yoda/store/query/ancestor_tree.rb +126 -0
  263. data/lib/yoda/store/query/associators/associate_ancestors.rb +5 -78
  264. data/lib/yoda/store/query/associators/associate_methods.rb +11 -8
  265. data/lib/yoda/store/query/constant_member_set.rb +33 -0
  266. data/lib/yoda/store/query/find_constant.rb +23 -6
  267. data/lib/yoda/store/query/find_meta_class.rb +1 -1
  268. data/lib/yoda/store/query/find_method.rb +12 -25
  269. data/lib/yoda/store/query/find_signature.rb +11 -3
  270. data/lib/yoda/store/query/find_workspace_objects.rb +36 -0
  271. data/lib/yoda/store/query/method_member_set.rb +50 -0
  272. data/lib/yoda/store/query.rb +4 -0
  273. data/lib/yoda/store/registry/cache.rb +65 -0
  274. data/lib/yoda/store/registry/composer.rb +47 -0
  275. data/lib/yoda/store/registry/index.rb +116 -0
  276. data/lib/yoda/store/registry/library_registry.rb +69 -0
  277. data/lib/yoda/store/registry/library_registry_set.rb +133 -0
  278. data/lib/yoda/store/registry/local_store.rb +38 -0
  279. data/lib/yoda/store/registry/project_registry.rb +72 -0
  280. data/lib/yoda/store/registry.rb +25 -89
  281. data/lib/yoda/store/transformers/core_visibility.rb +61 -0
  282. data/lib/yoda/store/transformers.rb +7 -0
  283. data/lib/yoda/store/version_store.rb +71 -0
  284. data/lib/yoda/store/yard_importer.rb +22 -20
  285. data/lib/yoda/store.rb +15 -1
  286. data/lib/yoda/typing/constant_resolver/cbase_query.rb +14 -0
  287. data/lib/yoda/typing/constant_resolver/member_query.rb +27 -0
  288. data/lib/yoda/typing/constant_resolver/node_tracer.rb +36 -0
  289. data/lib/yoda/typing/constant_resolver/query.rb +59 -0
  290. data/lib/yoda/typing/constant_resolver/relative_base_query.rb +14 -0
  291. data/lib/yoda/typing/constant_resolver.rb +105 -0
  292. data/lib/yoda/typing/contexts/base_context.rb +83 -0
  293. data/lib/yoda/typing/contexts/block_context.rb +14 -0
  294. data/lib/yoda/typing/contexts/context_derivation.rb +59 -0
  295. data/lib/yoda/typing/contexts/method_context.rb +14 -0
  296. data/lib/yoda/typing/contexts/namespace_block_context.rb +29 -0
  297. data/lib/yoda/typing/contexts/namespace_context.rb +14 -0
  298. data/lib/yoda/typing/contexts.rb +25 -0
  299. data/lib/yoda/typing/environment.rb +1 -1
  300. data/lib/yoda/typing/inferencer/arguments.rb +38 -0
  301. data/lib/yoda/typing/inferencer/arguments_binder.rb +24 -0
  302. data/lib/yoda/typing/inferencer/ast_traverser.rb +408 -0
  303. data/lib/yoda/typing/inferencer/method_resolver.rb +81 -0
  304. data/lib/yoda/typing/inferencer/object_resolver.rb +55 -0
  305. data/lib/yoda/typing/inferencer/parameter_binder.rb +176 -0
  306. data/lib/yoda/typing/inferencer/tracer.rb +177 -0
  307. data/lib/yoda/typing/inferencer/type_binding.rb +46 -0
  308. data/lib/yoda/typing/inferencer.rb +52 -0
  309. data/lib/yoda/typing/node_info.rb +78 -0
  310. data/lib/yoda/typing/relation.rb +2 -2
  311. data/lib/yoda/typing/traces/base.rb +2 -2
  312. data/lib/yoda/typing/traces/normal.rb +3 -3
  313. data/lib/yoda/typing/traces/send.rb +4 -4
  314. data/lib/yoda/typing/tree/base.rb +46 -0
  315. data/lib/yoda/typing/tree/begin.rb +15 -0
  316. data/lib/yoda/typing/tree/block.rb +12 -0
  317. data/lib/yoda/typing/tree/case.rb +29 -0
  318. data/lib/yoda/typing/tree/class_tree.rb +31 -0
  319. data/lib/yoda/typing/tree/const.rb +12 -0
  320. data/lib/yoda/typing/tree/constant_assignment.rb +12 -0
  321. data/lib/yoda/typing/tree/defined.rb +11 -0
  322. data/lib/yoda/typing/tree/escape.rb +12 -0
  323. data/lib/yoda/typing/tree/for.rb +8 -0
  324. data/lib/yoda/typing/tree/hash_body.rb +36 -0
  325. data/lib/yoda/typing/tree/if.rb +17 -0
  326. data/lib/yoda/typing/tree/literal.rb +46 -0
  327. data/lib/yoda/typing/tree/literal_with_interpolation.rb +21 -0
  328. data/lib/yoda/typing/tree/logical_assignment.rb +16 -0
  329. data/lib/yoda/typing/tree/logical_operator.rb +15 -0
  330. data/lib/yoda/typing/tree/method.rb +43 -0
  331. data/lib/yoda/typing/tree/module_tree.rb +31 -0
  332. data/lib/yoda/typing/tree/multiple_assignment.rb +20 -0
  333. data/lib/yoda/typing/tree/rescue_body.rb +12 -0
  334. data/lib/yoda/typing/tree/self.rb +11 -0
  335. data/lib/yoda/typing/tree/send.rb +71 -0
  336. data/lib/yoda/typing/tree/singleton_method.rb +47 -0
  337. data/lib/yoda/typing/tree/super.rb +12 -0
  338. data/lib/yoda/typing/tree/variable.rb +20 -0
  339. data/lib/yoda/typing/tree/variable_assignment.rb +20 -0
  340. data/lib/yoda/typing/tree/while.rb +12 -0
  341. data/lib/yoda/typing/tree/yield.rb +12 -0
  342. data/lib/yoda/typing/tree.rb +96 -0
  343. data/lib/yoda/typing/types/any.rb +15 -0
  344. data/lib/yoda/typing/types/associative_array.rb +28 -0
  345. data/lib/yoda/typing/types/base.rb +25 -0
  346. data/lib/yoda/typing/types/converter.rb +67 -0
  347. data/lib/yoda/typing/types/function.rb +68 -0
  348. data/lib/yoda/typing/types/generator.rb +306 -0
  349. data/lib/yoda/typing/types/generic.rb +29 -0
  350. data/lib/yoda/typing/types/instance.rb +30 -0
  351. data/lib/yoda/typing/types/instance_type.rb +74 -0
  352. data/lib/yoda/typing/types/method.rb +39 -0
  353. data/lib/yoda/typing/types/rbs_type_wrapper_interface.rb +44 -0
  354. data/lib/yoda/typing/types/singleton_type.rb +75 -0
  355. data/lib/yoda/typing/types/tuple.rb +24 -0
  356. data/lib/yoda/typing/types/type.rb +60 -0
  357. data/lib/yoda/typing/types/union.rb +38 -0
  358. data/lib/yoda/typing/types/var.rb +38 -0
  359. data/lib/yoda/typing/types.rb +24 -0
  360. data/lib/yoda/typing.rb +5 -2
  361. data/lib/yoda/version.rb +1 -1
  362. data/lib/yoda.rb +6 -2
  363. data/scripts/benchmark.rb +1 -1
  364. data/yoda-language-server.gemspec +16 -15
  365. metadata +334 -110
  366. data/.travis.yml +0 -8
  367. data/client/vscode/src/test/index.ts +0 -24
  368. data/lib/yoda/commands/setup.rb +0 -51
  369. data/lib/yoda/commands.rb +0 -69
  370. data/lib/yoda/evaluation/code_completion/base_provider.rb +0 -57
  371. data/lib/yoda/evaluation/code_completion/variable_provider.rb +0 -18
  372. data/lib/yoda/evaluation/code_completion.rb +0 -65
  373. data/lib/yoda/evaluation/current_node_explain.rb +0 -71
  374. data/lib/yoda/evaluation/evaluator.rb +0 -105
  375. data/lib/yoda/evaluation/signature_discovery.rb +0 -85
  376. data/lib/yoda/evaluation.rb +0 -9
  377. data/lib/yoda/model/node_signature.rb +0 -43
  378. data/lib/yoda/model/types.rb +0 -84
  379. data/lib/yoda/model/values/module_value.rb +0 -72
  380. data/lib/yoda/parsing/source_analyzer.rb +0 -59
  381. data/lib/yoda/server/file_store.rb +0 -57
  382. data/lib/yoda/store/adapters/leveldb_adapter.rb +0 -80
  383. data/lib/yoda/store/adapters/lmdb_adapter.rb +0 -113
  384. data/lib/yoda/store/objects/project_status.rb +0 -169
  385. data/lib/yoda/store/project/cache.rb +0 -78
  386. data/lib/yoda/store/project/library_doc_loader.rb +0 -114
  387. data/lib/yoda/typing/context.rb +0 -96
  388. data/lib/yoda/typing/evaluator.rb +0 -259
  389. data/scripts/build_core_index.sh +0 -16
@@ -4,9 +4,8 @@ module Yoda
4
4
  module Store
5
5
  module Query
6
6
  module Associators
7
+ # @deprecated Use {AncestorTree} instead.
7
8
  class AssociateAncestors
8
- class CircularReferenceError < StandardError; end
9
-
10
9
  # @return [Registry]
11
10
  attr_reader :registry
12
11
 
@@ -16,84 +15,12 @@ module Yoda
16
15
  end
17
16
 
18
17
  # @param obj [Objects::Base]
18
+ # @return [Enumerator<Objects::NamespaceObject>]
19
19
  def associate(obj)
20
20
  if obj.is_a?(Objects::NamespaceObject)
21
- obj.ancestors = Enumerator.new do |yielder|
22
- Processor.new(registry).process(obj).each { |klass| yielder << klass }
23
- end
24
- end
25
- end
26
-
27
- private
28
-
29
- class Processor
30
- # @return [Registry]
31
- attr_reader :registry
32
-
33
- # @param registry [Registry]
34
- def initialize(registry)
35
- @registry = registry
36
- end
37
-
38
-
39
- # @return [Set<Objects::Base>]
40
- def met
41
- @met ||= Set.new
42
- end
43
-
44
- # @param scope [Objects::NamespaceObject]
45
- # @return [Enumerator<Objects::NamespaceObject>]
46
- def process(scope)
47
- fail CircularReferenceError, scope if met.include?(scope)
48
- met.add(scope)
49
-
50
- Enumerator.new do |yielder|
51
- if scope.is_a?(Objects::NamespaceObject)
52
- yielder << scope
53
- find_mixins(scope).each { |mixin| yielder << mixin }
54
-
55
- if scope.is_a?(Objects::MetaClassObject)
56
- find_metaclass_superclass_ancestors(scope).each { |obj| yielder << obj }
57
- elsif scope.is_a?(Objects::ClassObject)
58
- find_superclass_ancestors(scope).each { |obj| yielder << obj }
59
- end
60
- end
61
- end
62
- end
63
-
64
- # @param obj [Objects::NamespaceObject]
65
- # @return [Enumerator<Objects::NamespaceObject>]
66
- def find_mixins(obj)
67
- Enumerator.new do |yielder|
68
- obj.mixin_addresses.each do |address|
69
- if el = registry.find(address.to_s)
70
- yielder << el
71
- end
72
- end
73
- end
74
- end
75
-
76
- # @param obj [Objects::ClassObject]
77
- # @return [Enumerator<Objects::NamespaceObject>]
78
- def find_superclass_ancestors(obj)
79
- if obj.superclass_path && super_class = FindConstant.new(registry).find(obj.superclass_path)
80
- process(super_class)
81
- else
82
- []
83
- end
84
- end
85
-
86
- # @param obj [Objects::MetaClassObject]
87
- # @return [Enumerator<Objects::NamespaceObject>]
88
- def find_metaclass_superclass_ancestors(obj)
89
- base_class = registry.find(obj.base_class_address)
90
- if base_class && base_class.is_a?(Objects::ClassObject) && base_class.superclass_path
91
- (meta_class = FindMetaClass.new(registry).find(base_class.superclass_path || 'Object')) ? process(meta_class) : []
92
- elsif base_class
93
- (class_object = registry.find('Class')) ? process(class_object) : []
94
- else
95
- []
96
- end
21
+ AncestorTree.new(registry: registry, object: obj).ancestors
22
+ else
23
+ []
97
24
  end
98
25
  end
99
26
  end
@@ -12,23 +12,26 @@ module Yoda
12
12
  end
13
13
 
14
14
  # @param obj [Object::Base]
15
+ # @return [Enumerator<Objects::MethodObject>]
15
16
  def associate(obj)
16
- if obj.is_a?(Objects::NamespaceObject)
17
- AssociateMethods.new(registry).associate(obj)
18
- obj.methods = Enumerator.new do |yielder|
17
+ if obj.namespace?
18
+ Enumerator.new do |yielder|
19
19
  name_set = Set.new
20
20
 
21
- obj.ancestors.each do |ancestor|
21
+ AssociateAncestors.new(registry).associate(obj).each do |ancestor|
22
22
  ancestor.instance_method_addresses.each do |method_address|
23
23
  method_name = Objects::MethodObject.name_of_path(method_address)
24
- next name_set.has_key?(method_name)
25
- name_set.add(method_name)
26
- if el = registry.find(method_address)
27
- yielder << el
24
+ if !name_set.member?(method_name)
25
+ name_set.add(method_name)
26
+ if el = registry.get(method_address)
27
+ yielder << el
28
+ end
28
29
  end
29
30
  end
30
31
  end
31
32
  end
33
+ else
34
+ []
32
35
  end
33
36
  end
34
37
  end
@@ -0,0 +1,33 @@
1
+ module Yoda
2
+ module Store
3
+ module Query
4
+ class ConstantMemberSet
5
+ # @return [Registry]
6
+ attr_reader :registry
7
+
8
+ # @return [Objects::NamespaceObject]
9
+ attr_reader :object
10
+
11
+ # @param object [Objects::NamespaceObject]
12
+ # @param registry [Registry]
13
+ def initialize(registry:, object:)
14
+ @registry = registry
15
+ @object = object
16
+ end
17
+
18
+ # @param name [String]
19
+ # @return [Objects::Base, nil]
20
+ def find(name, **kwargs)
21
+ scoped_path = Model::ScopedPath.new([object.path], name)
22
+ FindConstant.new(registry).find(scoped_path, **kwargs)
23
+ end
24
+
25
+ # @param name [String]
26
+ # @return [Enumerator<Objects::Base>]
27
+ def select(name, **kwargs)
28
+ FindConstant.new(registry).select_by_base_and_pattern(base: object, pattern: name)
29
+ end
30
+ end
31
+ end
32
+ end
33
+ end
@@ -7,9 +7,27 @@ module Yoda
7
7
  def find(path)
8
8
  lexical_scope_paths = lexical_scopes_of(path)
9
9
  base_name, *constant_names = path_of(path).split
10
- base_namespace = select_base_namespace(base_name, lexical_scope_paths).first
10
+ # if path start with '::', base_name becomes ''.
11
+ base_namespace_key = base_name == '' ? 'Object' : base_name
12
+ base_namespace = select_base_namespace(base_namespace_key, lexical_scope_paths).first
11
13
 
12
- find_constant(constant_names.join('::'), base_namespace)
14
+ if constant_names.empty?
15
+ # When the path does not contain separator (`::`)
16
+ base_namespace
17
+ else
18
+ if base_namespace
19
+ find_constant(constant_names.join('::'), base_namespace)
20
+ else
21
+ nil
22
+ end
23
+ end
24
+ end
25
+
26
+ # @param base [Store::Object]
27
+ # @param pattern [RegExp]
28
+ # @return [Enumerator<Objects::Base>]
29
+ def select_by_base_and_pattern(base:, pattern:)
30
+ select_constants_from_ancestors(base, pattern)
13
31
  end
14
32
 
15
33
  # @param path [String, Model::Path, Model::ScopedPath]
@@ -60,7 +78,7 @@ module Yoda
60
78
  # @return [Objects::Base, nil]
61
79
  def find_constant(name, namespace = nil)
62
80
  constant_names = path_of(name).split
63
- namespace = registry.find('Object') unless namespace
81
+ namespace = registry.get('Object') unless namespace
64
82
  constant_names.reduce(namespace) do |namespace, name|
65
83
  # @todo resolve its value if namespace is ValueObject
66
84
  if namespace && namespace.is_a?(Objects::NamespaceObject)
@@ -78,8 +96,7 @@ module Yoda
78
96
  Enumerator.new do |yielder|
79
97
  met = Set.new
80
98
 
81
- Associators::AssociateAncestors.new(registry).associate(scope)
82
- scope.ancestors.each do |ancestor|
99
+ Associators::AssociateAncestors.new(registry).associate(scope).each do |ancestor|
83
100
  select_child_constants(ancestor, name).each do |obj|
84
101
  next if met.include?(obj.name)
85
102
  met.add(obj.name)
@@ -96,7 +113,7 @@ module Yoda
96
113
  Enumerator.new do |yielder|
97
114
  if scope.is_a?(Objects::NamespaceObject)
98
115
  scope.constant_addresses.select { |address| match_name?(Model::Path.new(address).basename, name) }.each do |address|
99
- obj = registry.find(address)
116
+ obj = registry.get(address)
100
117
  yielder << obj if obj
101
118
  end
102
119
  end
@@ -6,7 +6,7 @@ module Yoda
6
6
  # @return [Objects::NamespaceObject, nil]
7
7
  def find(path)
8
8
  constant = FindConstant.new(registry).find(path)
9
- if constant && meta_class = registry.find(Objects::MetaClassObject.address_of(constant.path))
9
+ if constant && meta_class = registry.get(constant.meta_class_address)
10
10
  meta_class
11
11
  else
12
12
  nil
@@ -2,7 +2,7 @@ module Yoda
2
2
  module Store
3
3
  module Query
4
4
  class FindMethod < Base
5
- # @param namespace [Objects::Namespace]
5
+ # @param namespace [Objects::NamespaceObject]
6
6
  # @param method_name [String, Regexp]
7
7
  # @param visibility [Array<Symbol>, nil]
8
8
  # @return [Objects::MethodObject, nil]
@@ -15,7 +15,14 @@ module Yoda
15
15
  # @param visibility [Array<Symbol>, nil]
16
16
  # @return [Array<Objects::MethodObject>]
17
17
  def select(namespace, method_name, visibility: nil)
18
- lazy_select(namespace, method_name, visibility: nil).to_a
18
+ lazy_select(namespace, method_name, visibility: visibility).to_a
19
+ end
20
+
21
+ # @param namespace [Objects::Namespace]
22
+ # @param visibility [Array<Symbol>, nil]
23
+ # @return [Enumerator<Objects::MethodObject>]
24
+ def all(namespace, visibility: nil)
25
+ lazy_select(namespace, //, visibility: visibility)
19
26
  end
20
27
 
21
28
  private
@@ -27,29 +34,9 @@ module Yoda
27
34
  def lazy_select(namespace, expected, visibility: nil)
28
35
  visibility ||= %i(public private protected)
29
36
  Enumerator.new do |yielder|
30
- met = Set.new
31
-
32
- all_method_addresses(namespace).each do |address|
33
- name = Objects::MethodObject.name_of_path(address)
34
- if match_name?(name, expected)
35
- next if met.include?(name)
36
- if el = registry.find(address)
37
- met.add(name)
38
- yielder << el if visibility.include?(el.visibility)
39
- end
40
- end
41
- end
42
- end
43
- end
44
-
45
- # @param namespace [Objects::Namespace]
46
- # @return [Enumerator<Objects::MethodObject>]
47
- def all_method_addresses(namespace)
48
- Enumerator.new do |yielder|
49
- Associators::AssociateAncestors.new(registry).associate(namespace)
50
- namespace.ancestors.each do |ancestor|
51
- ancestor.instance_method_addresses.each do |address|
52
- yielder << address
37
+ Associators::AssociateMethods.new(registry).associate(namespace).each do |method|
38
+ if match_name?(method.name, expected) && visibility.include?(method.visibility)
39
+ yielder << method
53
40
  end
54
41
  end
55
42
  end
@@ -5,9 +5,17 @@ module Yoda
5
5
  # @param namespace [Objects::NamespaceObject]
6
6
  # @param method_name [String, Regexp]
7
7
  # @param visibility [Array<Symbol>, nil]
8
- # @return [Array<Objects::MethodObject>]
8
+ # @return [Array<Model::FunctionSignatures::Base>]
9
9
  def select(namespace, method_name, visibility: nil)
10
- FindMethod.new(registry).select(namespace, method_name, visibility: visibility).map { |el| build(namespace, el) }.flatten
10
+ FindMethod.new(registry).select(namespace, method_name, visibility: visibility).flat_map { |el| build(namespace, el) }
11
+ end
12
+
13
+ # @param namespaces [Array<Objects::NamespaceObject>]
14
+ # @param method_name [String, Regexp]
15
+ # @param visibility [Array<Symbol>, nil]
16
+ # @return [Array<Objects::MethodObject>]
17
+ def select_on_multiple(namespaces, method_name, visibility: nil)
18
+ namespaces.flat_map { |namespace| select(namespace, method_name, visibility: visibility) }
11
19
  end
12
20
 
13
21
  private
@@ -30,7 +38,7 @@ module Yoda
30
38
  # @return [FunctionSignatures::Constructor, nil]
31
39
  def try_to_build_constructor(receiver, method_object)
32
40
  if method_object.path == 'Class#new' && receiver.is_a?(Store::Objects::MetaClassObject) && receiver.path != 'Class'
33
- base_class = registry.find(receiver.base_class_address) || return
41
+ base_class = registry.get(receiver.base_class_address) || return
34
42
  initialize_object = FindMethod.new(registry).find(base_class, 'initialize') || return
35
43
  Model::FunctionSignatures::Constructor.new(base_class, initialize_object)
36
44
  else
@@ -0,0 +1,36 @@
1
+ module Yoda
2
+ module Store
3
+ module Query
4
+ class FindWorkspaceObjects < Base
5
+ # @param query [String]
6
+ # @return [Enumerator<Objects::Base>]
7
+ def select(query)
8
+ lazy_select(query)
9
+ end
10
+
11
+ private
12
+
13
+ # @param query [String]
14
+ # @return [Enumerator::Lazy<Objects::Base>]
15
+ def lazy_select(query)
16
+ registry.local_store.registry.items.lazy.select do |item|
17
+ item.primary_source && fuzzy_match?(item.name, query)
18
+ end
19
+ end
20
+
21
+ # @param name [String]
22
+ # @param query [String, Regexp]
23
+ # @return [true, false]
24
+ def fuzzy_match?(name, query)
25
+ left_chars = query.chars
26
+ name.each_char do |c|
27
+ break if left_chars.empty?
28
+ left_chars.shift if c == left_chars.first
29
+ end
30
+
31
+ left_chars.empty?
32
+ end
33
+ end
34
+ end
35
+ end
36
+ end
@@ -0,0 +1,50 @@
1
+ module Yoda
2
+ module Store
3
+ module Query
4
+ class MethodMemberSet
5
+ # @return [Registry]
6
+ attr_reader :registry
7
+
8
+ # @return [Objects::NamespaceObject]
9
+ attr_reader :object
10
+
11
+ # @param object [Objects::NamespaceObject]
12
+ # @param registry [Registry]
13
+ # @param origin [AncestorTree]
14
+ def initialize(registry:, object:)
15
+ @registry = registry
16
+ @object = object
17
+ end
18
+
19
+ # @return [Enumerator<Objects::MethodObject>]
20
+ def to_enum(**kwargs)
21
+ FindMethod.new(registry).all(object, **kwargs)
22
+ end
23
+
24
+ # @param method_name [String, Regexp]
25
+ # @return [Objects::MethodObject, nil]
26
+ def find(method_name, **kwargs)
27
+ FindMethod.new(registry).find(object, method_name, **kwargs)
28
+ end
29
+
30
+ # @param method_name [String, Regexp]
31
+ # @return [Enumerator<Objects::MethodObject>]
32
+ def select(method_name, **kwargs)
33
+ FindMethod.new(registry).select(object, method_name, **kwargs)
34
+ end
35
+
36
+ # @param method_name [String, Regexp]
37
+ # @return [Model::FunctionSignatures::Base]
38
+ def find_signature(method_name, **kwargs)
39
+ FindSignature.new(registry).select(object, method_name, **kwargs).first
40
+ end
41
+
42
+ # @param method_name [String, Regexp]
43
+ # @return [Array<Model::FunctionSignatures::Base>]
44
+ def select_signature(method_name, **kwargs)
45
+ FindSignature.new(registry).select(object, method_name, **kwargs)
46
+ end
47
+ end
48
+ end
49
+ end
50
+ end
@@ -6,7 +6,11 @@ module Yoda
6
6
  require 'yoda/store/query/find_meta_class'
7
7
  require 'yoda/store/query/find_method'
8
8
  require 'yoda/store/query/find_signature'
9
+ require 'yoda/store/query/find_workspace_objects'
9
10
  require 'yoda/store/query/associators'
11
+ require 'yoda/store/query/ancestor_tree'
12
+ require 'yoda/store/query/constant_member_set'
13
+ require 'yoda/store/query/method_member_set'
10
14
  end
11
15
  end
12
16
  end
@@ -0,0 +1,65 @@
1
+ require 'concurrent'
2
+ require 'forwardable'
3
+
4
+ module Yoda
5
+ module Store
6
+ # Registry Cache is a cache layer for {Registry}.
7
+ # This class intended to reduce patch calculations of {PatchSet#patch}.
8
+ class Registry::Cache
9
+ class RegistryWrapper
10
+ extend Forwardable
11
+ include MissingDelegatable
12
+
13
+ delegate_missing :registry
14
+
15
+ attr_reader :registry
16
+
17
+ def initialize(registry, cache = Registry::Cache.new)
18
+ @registry = registry
19
+ @cache = cache
20
+ end
21
+
22
+ def get(key)
23
+ @cache.fetch_or_calc(key) do
24
+ @registry.get(key)
25
+ end
26
+ end
27
+
28
+ def clear_cache
29
+ @cache.delete_all
30
+ end
31
+ end
32
+
33
+ def initialize
34
+ @data = Concurrent::Map.new
35
+ end
36
+
37
+ # @param key [String, Symbol]
38
+ def fetch_or_calc(key)
39
+ if cache = data.get(key.to_sym)
40
+ return cache
41
+ end
42
+ yield.tap { |value| data.put_if_absent(key.to_sym, value) }
43
+ end
44
+
45
+ # @param key [String, Symbol]
46
+ def delete(key)
47
+ data.delete(key.to_sym)
48
+ end
49
+
50
+ def delete_all
51
+ data.clear
52
+ end
53
+
54
+ # @param patch [Objects::Patch]
55
+ def clear_from_patch(patch)
56
+ patch.keys.each { |key| delete(key) }
57
+ end
58
+
59
+ private
60
+
61
+ # @return [Concurrent::Map]
62
+ attr_reader :data
63
+ end
64
+ end
65
+ end
@@ -0,0 +1,47 @@
1
+ module Yoda
2
+ module Store
3
+ class Registry::Composer
4
+ # @return [Symbol]
5
+ attr_reader :id
6
+
7
+ # @return [Hash{Symbol => Registry}]
8
+ attr_reader :registries
9
+
10
+ def initialize(id:, registries: [])
11
+ @id = id
12
+ @registries = registries.map { |registry| [registry.id, registry] }.to_h
13
+ end
14
+
15
+ def add_registry(registry)
16
+ registries[registry.id] = registry
17
+ end
18
+
19
+ def remove_registry(registry)
20
+ registries.delete(registry.id)
21
+ end
22
+
23
+ def get(address, registry_ids: nil)
24
+ target_registries = registry_ids ? registry_ids.map { |id| get_registry(id) }.compact : all_registries
25
+ objects_in_registry = target_registries.map { |registry| registry.get(address) }.compact
26
+ objects_in_registry.empty? ? nil : Objects::Merger.new(objects_in_registry).merged_instance
27
+ end
28
+
29
+ # @return [Set]
30
+ def keys
31
+ registries.values.map(&:keys).reduce(Set.new) { |memo, keys| memo + keys }
32
+ end
33
+
34
+ def get_registry(key)
35
+ registries[key]
36
+ end
37
+
38
+ def has_registry(key)
39
+ registries.has_key?(key)
40
+ end
41
+
42
+ def all_registries
43
+ registries.values.compact
44
+ end
45
+ end
46
+ end
47
+ end
@@ -0,0 +1,116 @@
1
+ require 'set'
2
+ require 'forwardable'
3
+
4
+ module Yoda
5
+ module Store
6
+ class Registry::Index
7
+ class ComposerWrapper
8
+ extend Forwardable
9
+ include MissingDelegatable
10
+
11
+ delegate_missing :composer
12
+
13
+ # @return [Registry::Index]
14
+ attr_reader :index
15
+
16
+ # @return [Registry::Composer]
17
+ attr_reader :composer
18
+
19
+ # @param index [Registry::Index]
20
+ # @param composer [Registry::Composer]
21
+ def initialize(index:, composer:)
22
+ fail TypeError, "index must be an instance of Registry::Index but #{index}" unless index.is_a?(Registry::Index)
23
+ fail TypeError, "composer must be an instance of Registry::Composer but #{composer}" unless composer.is_a?(Registry::Composer)
24
+ @index = index
25
+ @composer = composer
26
+ end
27
+
28
+ # @param [String, Symbol]
29
+ # @return [Objects::Addressable]
30
+ def get(address)
31
+ composer.get(address, registry_ids: index.get(address))
32
+ end
33
+
34
+ def add_registry(registry)
35
+ if old_registry = composer.get_registry(registry.id)
36
+ index.remove_registry(old_registry)
37
+ end
38
+ composer.add_registry(registry)
39
+ index.add_registry(registry)
40
+ end
41
+
42
+ def remove_registry(registry)
43
+ composer.remove_registry(registry)
44
+ index.remove_registry(registry)
45
+ end
46
+
47
+ def keys
48
+ index.keys
49
+ end
50
+
51
+ # @return [Enumerator<Object>]
52
+ def items
53
+ Enumerator.new do |y|
54
+ keys.each do |key|
55
+ value = get(key)
56
+ if value
57
+ y << value
58
+ else
59
+ Logger.warn("Not found value in registry for the key: #{key}")
60
+ end
61
+ end
62
+ end
63
+ end
64
+ end
65
+
66
+ # @return [Hash]
67
+ attr_reader :content
68
+
69
+ # @return [Set]
70
+ attr_reader :registry_ids
71
+
72
+ def initialize(content: {}, registry_ids: Set.new)
73
+ @content = content
74
+ @registry_ids = Set.new(registry_ids)
75
+ end
76
+
77
+ # @param address [String, Symbol]
78
+ # @return [Set<Symbol>]
79
+ def get(address)
80
+ content[address.to_sym] ||= Objects::SerializableSet.new
81
+ end
82
+
83
+ # @param address [String, Symbol]
84
+ # @param registry_id [String, Symbol]
85
+ def add(address, registry_id)
86
+ content[address.to_sym] ||= Objects::SerializableSet.new
87
+ content[address.to_sym].add(registry_id)
88
+ content[address.to_sym].select! { |id| registry_ids.member?(id) }
89
+ end
90
+
91
+ # @param address [String, Symbol]
92
+ # @param registry_id [String, Symbol]
93
+ def remove(address, registry_id)
94
+ content[address.to_sym] ||= Objects::SerializableSet.new
95
+ content[address.to_sym].delete(registry_id)
96
+ end
97
+
98
+ def keys
99
+ Set.new(content.keys)
100
+ end
101
+
102
+ def add_registry(registry)
103
+ registry_ids.add(registry.id)
104
+ registry.keys.each { |key| add(key, registry.id) }
105
+ end
106
+
107
+ def remove_registry(registry)
108
+ registry_ids.delete(registry.id)
109
+ end
110
+
111
+ def wrap(composer)
112
+ ComposerWrapper.new(composer: composer, index: self)
113
+ end
114
+ end
115
+ end
116
+ end