yoda-language-server 0.7.2 → 0.8.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (387) 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/node_objects/args_node.rb +85 -0
  162. data/lib/yoda/parsing/node_objects/const_node.rb +3 -3
  163. data/lib/yoda/parsing/node_objects/mlhs_node.rb +31 -0
  164. data/lib/yoda/parsing/node_objects.rb +2 -0
  165. data/lib/yoda/parsing/parser.rb +44 -5
  166. data/lib/yoda/parsing/query/current_comment_token_query.rb +4 -3
  167. data/lib/yoda/parsing/query/current_commenting_node_query.rb +7 -7
  168. data/lib/yoda/parsing/scopes/base.rb +1 -1
  169. data/lib/yoda/parsing/scopes/builder.rb +1 -1
  170. data/lib/yoda/parsing/source_cutter.rb +6 -2
  171. data/lib/yoda/parsing/traverser/matcher.rb +65 -0
  172. data/lib/yoda/parsing/traverser/query_interface.rb +68 -0
  173. data/lib/yoda/parsing/traverser/result_set.rb +37 -0
  174. data/lib/yoda/parsing/traverser.rb +29 -0
  175. data/lib/yoda/parsing/type_parser.rb +24 -20
  176. data/lib/yoda/parsing.rb +27 -1
  177. data/lib/yoda/presentation/code_completion/constant.rb +27 -0
  178. data/lib/yoda/server/lifecycle_handler.rb +81 -4
  179. data/lib/yoda/server/notifier.rb +131 -0
  180. data/lib/yoda/server/providers/completion.rb +31 -17
  181. data/lib/yoda/server/providers/definition.rb +38 -10
  182. data/lib/yoda/server/providers/hover.rb +26 -10
  183. data/lib/yoda/server/providers/reportable_progress.rb +75 -0
  184. data/lib/yoda/server/providers/signature.rb +20 -7
  185. data/lib/yoda/server/providers/text_document_did_change.rb +1 -1
  186. data/lib/yoda/server/providers/text_document_did_open.rb +1 -1
  187. data/lib/yoda/server/providers/with_timeout.rb +36 -0
  188. data/lib/yoda/server/providers/workspace_did_change_workspace_folders.rb +33 -0
  189. data/lib/yoda/server/providers/workspace_did_create_files.rb +21 -0
  190. data/lib/yoda/server/providers/workspace_did_delete_files.rb +21 -0
  191. data/lib/yoda/server/providers/workspace_did_rename_files.rb +22 -0
  192. data/lib/yoda/server/providers/workspace_symbol.rb +82 -0
  193. data/lib/yoda/server/providers.rb +12 -0
  194. data/lib/yoda/server/root_handler.rb +27 -23
  195. data/lib/yoda/server/rootless_workspace.rb +62 -0
  196. data/lib/yoda/server/scheduler.rb +50 -0
  197. data/lib/yoda/server/session.rb +71 -25
  198. data/lib/yoda/server/uri_decoder.rb +16 -0
  199. data/lib/yoda/server/workspace.rb +117 -0
  200. data/lib/yoda/server.rb +9 -2
  201. data/lib/yoda/services/code_completion/base_provider.rb +52 -0
  202. data/lib/yoda/{evaluation → services}/code_completion/const_provider.rb +35 -25
  203. data/lib/yoda/services/code_completion/keyword_provider.rb +67 -0
  204. data/lib/yoda/services/code_completion/local_variable_provider.rb +51 -0
  205. data/lib/yoda/{evaluation → services}/code_completion/method_provider.rb +14 -32
  206. data/lib/yoda/services/code_completion.rb +74 -0
  207. data/lib/yoda/{evaluation → services}/comment_completion/base_provider.rb +11 -6
  208. data/lib/yoda/{evaluation → services}/comment_completion/param_provider.rb +1 -1
  209. data/lib/yoda/{evaluation → services}/comment_completion/tag_provider.rb +1 -1
  210. data/lib/yoda/{evaluation → services}/comment_completion/type_provider.rb +6 -5
  211. data/lib/yoda/{evaluation → services}/comment_completion.rb +13 -13
  212. data/lib/yoda/services/current_node_explain/comment_signature.rb +77 -0
  213. data/lib/yoda/services/current_node_explain.rb +72 -0
  214. data/lib/yoda/services/evaluator.rb +44 -0
  215. data/lib/yoda/services/signature_discovery.rb +74 -0
  216. data/lib/yoda/services.rb +9 -0
  217. data/lib/yoda/store/actions/build_core_index.rb +38 -9
  218. data/lib/yoda/store/actions/import_core_library.rb +14 -19
  219. data/lib/yoda/store/actions/import_gem.rb +65 -33
  220. data/lib/yoda/store/actions/import_project_dependencies.rb +47 -0
  221. data/lib/yoda/store/actions/import_std_library.rb +13 -18
  222. data/lib/yoda/store/actions/read_file.rb +21 -6
  223. data/lib/yoda/store/actions/read_project_files.rb +7 -1
  224. data/lib/yoda/store/actions.rb +1 -0
  225. data/lib/yoda/store/adapters/base.rb +39 -0
  226. data/lib/yoda/store/adapters/gdbm_adapter/namespace_accessor.rb +152 -0
  227. data/lib/yoda/store/adapters/gdbm_adapter.rb +56 -0
  228. data/lib/yoda/store/adapters/lazy_adapter.rb +34 -0
  229. data/lib/yoda/store/adapters/memory_adapter.rb +21 -0
  230. data/lib/yoda/store/adapters.rb +12 -4
  231. data/lib/yoda/store/config.rb +43 -0
  232. data/lib/yoda/store/file_tree.rb +131 -0
  233. data/lib/yoda/store/objects/base.rb +73 -4
  234. data/lib/yoda/store/objects/class_object.rb +10 -1
  235. data/lib/yoda/store/objects/connected_delegation.rb +25 -0
  236. data/lib/yoda/store/objects/libraries_status.rb +67 -0
  237. data/lib/yoda/store/objects/library/core.rb +72 -0
  238. data/lib/yoda/store/objects/library/gem.rb +141 -0
  239. data/lib/yoda/store/objects/library/std.rb +72 -0
  240. data/lib/yoda/store/objects/library/with_registry.rb +28 -0
  241. data/lib/yoda/store/objects/library.rb +24 -0
  242. data/lib/yoda/store/objects/map.rb +61 -0
  243. data/lib/yoda/store/objects/merger.rb +6 -5
  244. data/lib/yoda/store/objects/meta_class_object.rb +28 -1
  245. data/lib/yoda/store/objects/method_object.rb +39 -6
  246. data/lib/yoda/store/objects/module_object.rb +3 -0
  247. data/lib/yoda/store/objects/namespace_object.rb +38 -1
  248. data/lib/yoda/store/objects/overload.rb +1 -1
  249. data/lib/yoda/store/objects/patch.rb +53 -10
  250. data/lib/yoda/store/objects/serializable.rb +17 -2
  251. data/lib/yoda/store/objects/serializable_set.rb +23 -0
  252. data/lib/yoda/store/objects/tag.rb +1 -1
  253. data/lib/yoda/store/objects/value_object.rb +5 -1
  254. data/lib/yoda/store/objects.rb +5 -1
  255. data/lib/yoda/store/project/dependency.rb +83 -0
  256. data/lib/yoda/store/project/file_finder.rb +101 -0
  257. data/lib/yoda/store/project/rbs_loader.rb +41 -0
  258. data/lib/yoda/store/project/setuper.rb +68 -0
  259. data/lib/yoda/store/project.rb +99 -41
  260. data/lib/yoda/store/query/ancestor_tree.rb +126 -0
  261. data/lib/yoda/store/query/associators/associate_ancestors.rb +2 -83
  262. data/lib/yoda/store/query/associators/associate_methods.rb +2 -2
  263. data/lib/yoda/store/query/constant_member_set.rb +33 -0
  264. data/lib/yoda/store/query/find_constant.rb +22 -4
  265. data/lib/yoda/store/query/find_meta_class.rb +1 -1
  266. data/lib/yoda/store/query/find_method.rb +9 -2
  267. data/lib/yoda/store/query/find_signature.rb +11 -3
  268. data/lib/yoda/store/query/find_workspace_objects.rb +36 -0
  269. data/lib/yoda/store/query/method_member_set.rb +50 -0
  270. data/lib/yoda/store/query.rb +4 -0
  271. data/lib/yoda/store/{registry_cache.rb → registry/cache.rb} +26 -1
  272. data/lib/yoda/store/registry/composer.rb +47 -0
  273. data/lib/yoda/store/registry/index.rb +116 -0
  274. data/lib/yoda/store/registry/library_registry.rb +69 -0
  275. data/lib/yoda/store/registry/library_registry_set.rb +133 -0
  276. data/lib/yoda/store/registry/local_store.rb +38 -0
  277. data/lib/yoda/store/registry/project_registry.rb +72 -0
  278. data/lib/yoda/store/registry.rb +25 -97
  279. data/lib/yoda/store/transformers/core_visibility.rb +61 -0
  280. data/lib/yoda/store/transformers.rb +7 -0
  281. data/lib/yoda/store/version_store.rb +71 -0
  282. data/lib/yoda/store/yard_importer.rb +13 -13
  283. data/lib/yoda/store.rb +15 -2
  284. data/lib/yoda/typing/constant_resolver/cbase_query.rb +14 -0
  285. data/lib/yoda/typing/constant_resolver/member_query.rb +27 -0
  286. data/lib/yoda/typing/constant_resolver/node_tracer.rb +36 -0
  287. data/lib/yoda/typing/constant_resolver/query.rb +59 -0
  288. data/lib/yoda/typing/constant_resolver/relative_base_query.rb +14 -0
  289. data/lib/yoda/typing/constant_resolver.rb +105 -0
  290. data/lib/yoda/typing/contexts/base_context.rb +83 -0
  291. data/lib/yoda/typing/contexts/block_context.rb +14 -0
  292. data/lib/yoda/typing/contexts/context_derivation.rb +59 -0
  293. data/lib/yoda/typing/contexts/method_context.rb +14 -0
  294. data/lib/yoda/typing/contexts/namespace_block_context.rb +29 -0
  295. data/lib/yoda/typing/contexts/namespace_context.rb +14 -0
  296. data/lib/yoda/typing/contexts.rb +25 -0
  297. data/lib/yoda/typing/environment.rb +1 -1
  298. data/lib/yoda/typing/inferencer/arguments.rb +38 -0
  299. data/lib/yoda/typing/inferencer/arguments_binder.rb +24 -0
  300. data/lib/yoda/typing/inferencer/ast_traverser.rb +408 -0
  301. data/lib/yoda/typing/inferencer/method_resolver.rb +81 -0
  302. data/lib/yoda/typing/inferencer/object_resolver.rb +55 -0
  303. data/lib/yoda/typing/inferencer/parameter_binder.rb +176 -0
  304. data/lib/yoda/typing/inferencer/tracer.rb +177 -0
  305. data/lib/yoda/typing/inferencer/type_binding.rb +46 -0
  306. data/lib/yoda/typing/inferencer.rb +52 -0
  307. data/lib/yoda/typing/node_info.rb +78 -0
  308. data/lib/yoda/typing/relation.rb +2 -2
  309. data/lib/yoda/typing/traces/base.rb +2 -2
  310. data/lib/yoda/typing/traces/normal.rb +3 -3
  311. data/lib/yoda/typing/traces/send.rb +4 -4
  312. data/lib/yoda/typing/tree/base.rb +46 -0
  313. data/lib/yoda/typing/tree/begin.rb +15 -0
  314. data/lib/yoda/typing/tree/block.rb +12 -0
  315. data/lib/yoda/typing/tree/case.rb +29 -0
  316. data/lib/yoda/typing/tree/class_tree.rb +31 -0
  317. data/lib/yoda/typing/tree/const.rb +12 -0
  318. data/lib/yoda/typing/tree/constant_assignment.rb +12 -0
  319. data/lib/yoda/typing/tree/defined.rb +11 -0
  320. data/lib/yoda/typing/tree/escape.rb +12 -0
  321. data/lib/yoda/typing/tree/for.rb +8 -0
  322. data/lib/yoda/typing/tree/hash_body.rb +36 -0
  323. data/lib/yoda/typing/tree/if.rb +17 -0
  324. data/lib/yoda/typing/tree/literal.rb +46 -0
  325. data/lib/yoda/typing/tree/literal_with_interpolation.rb +21 -0
  326. data/lib/yoda/typing/tree/logical_assignment.rb +16 -0
  327. data/lib/yoda/typing/tree/logical_operator.rb +15 -0
  328. data/lib/yoda/typing/tree/method.rb +43 -0
  329. data/lib/yoda/typing/tree/module_tree.rb +31 -0
  330. data/lib/yoda/typing/tree/multiple_assignment.rb +20 -0
  331. data/lib/yoda/typing/tree/rescue_body.rb +12 -0
  332. data/lib/yoda/typing/tree/self.rb +11 -0
  333. data/lib/yoda/typing/tree/send.rb +71 -0
  334. data/lib/yoda/typing/tree/singleton_method.rb +47 -0
  335. data/lib/yoda/typing/tree/super.rb +12 -0
  336. data/lib/yoda/typing/tree/variable.rb +20 -0
  337. data/lib/yoda/typing/tree/variable_assignment.rb +20 -0
  338. data/lib/yoda/typing/tree/while.rb +12 -0
  339. data/lib/yoda/typing/tree/yield.rb +12 -0
  340. data/lib/yoda/typing/tree.rb +96 -0
  341. data/lib/yoda/typing/types/any.rb +15 -0
  342. data/lib/yoda/typing/types/associative_array.rb +28 -0
  343. data/lib/yoda/typing/types/base.rb +25 -0
  344. data/lib/yoda/typing/types/converter.rb +67 -0
  345. data/lib/yoda/typing/types/function.rb +68 -0
  346. data/lib/yoda/typing/types/generator.rb +306 -0
  347. data/lib/yoda/typing/types/generic.rb +29 -0
  348. data/lib/yoda/typing/types/instance.rb +30 -0
  349. data/lib/yoda/typing/types/instance_type.rb +74 -0
  350. data/lib/yoda/typing/types/method.rb +39 -0
  351. data/lib/yoda/typing/types/rbs_type_wrapper_interface.rb +44 -0
  352. data/lib/yoda/typing/types/singleton_type.rb +75 -0
  353. data/lib/yoda/typing/types/tuple.rb +24 -0
  354. data/lib/yoda/typing/types/type.rb +60 -0
  355. data/lib/yoda/typing/types/union.rb +38 -0
  356. data/lib/yoda/typing/types/var.rb +38 -0
  357. data/lib/yoda/typing/types.rb +24 -0
  358. data/lib/yoda/typing.rb +5 -2
  359. data/lib/yoda/version.rb +1 -1
  360. data/lib/yoda.rb +6 -2
  361. data/scripts/benchmark.rb +1 -1
  362. data/yoda-language-server.gemspec +16 -15
  363. metadata +334 -111
  364. data/.travis.yml +0 -8
  365. data/client/vscode/src/test/index.ts +0 -24
  366. data/lib/yoda/commands/setup.rb +0 -51
  367. data/lib/yoda/commands.rb +0 -69
  368. data/lib/yoda/evaluation/code_completion/base_provider.rb +0 -57
  369. data/lib/yoda/evaluation/code_completion/variable_provider.rb +0 -18
  370. data/lib/yoda/evaluation/code_completion.rb +0 -65
  371. data/lib/yoda/evaluation/current_node_explain.rb +0 -71
  372. data/lib/yoda/evaluation/evaluator.rb +0 -105
  373. data/lib/yoda/evaluation/signature_discovery.rb +0 -85
  374. data/lib/yoda/evaluation.rb +0 -9
  375. data/lib/yoda/model/node_signature.rb +0 -43
  376. data/lib/yoda/model/types.rb +0 -84
  377. data/lib/yoda/model/values/module_value.rb +0 -72
  378. data/lib/yoda/parsing/source_analyzer.rb +0 -59
  379. data/lib/yoda/server/file_store.rb +0 -57
  380. data/lib/yoda/store/adapters/leveldb_adapter.rb +0 -80
  381. data/lib/yoda/store/adapters/lmdb_adapter.rb +0 -113
  382. data/lib/yoda/store/objects/project_status.rb +0 -169
  383. data/lib/yoda/store/project/cache.rb +0 -78
  384. data/lib/yoda/store/project/library_doc_loader.rb +0 -114
  385. data/lib/yoda/typing/context.rb +0 -96
  386. data/lib/yoda/typing/evaluator.rb +0 -259
  387. data/scripts/build_core_index.sh +0 -16
metadata CHANGED
@@ -1,127 +1,127 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: yoda-language-server
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.7.2
4
+ version: 0.8.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Tomoya Chiba
8
8
  autorequire:
9
9
  bindir: exe
10
10
  cert_chain: []
11
- date: 2018-10-20 00:00:00.000000000 Z
11
+ date: 2022-03-21 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: yard
15
15
  requirement: !ruby/object:Gem::Requirement
16
16
  requirements:
17
- - - "~>"
17
+ - - ">="
18
18
  - !ruby/object:Gem::Version
19
- version: 0.9.11
19
+ version: '0'
20
20
  type: :runtime
21
21
  prerelease: false
22
22
  version_requirements: !ruby/object:Gem::Requirement
23
23
  requirements:
24
- - - "~>"
24
+ - - ">="
25
25
  - !ruby/object:Gem::Version
26
- version: 0.9.11
26
+ version: '0'
27
27
  - !ruby/object:Gem::Dependency
28
28
  name: thor
29
29
  requirement: !ruby/object:Gem::Requirement
30
30
  requirements:
31
- - - "~>"
31
+ - - ">="
32
32
  - !ruby/object:Gem::Version
33
- version: 0.20.0
33
+ version: '0'
34
34
  type: :runtime
35
35
  prerelease: false
36
36
  version_requirements: !ruby/object:Gem::Requirement
37
37
  requirements:
38
- - - "~>"
38
+ - - ">="
39
39
  - !ruby/object:Gem::Version
40
- version: 0.20.0
40
+ version: '0'
41
41
  - !ruby/object:Gem::Dependency
42
42
  name: parslet
43
43
  requirement: !ruby/object:Gem::Requirement
44
44
  requirements:
45
- - - "~>"
45
+ - - ">="
46
46
  - !ruby/object:Gem::Version
47
- version: '1.8'
47
+ version: '0'
48
48
  type: :runtime
49
49
  prerelease: false
50
50
  version_requirements: !ruby/object:Gem::Requirement
51
51
  requirements:
52
- - - "~>"
52
+ - - ">="
53
53
  - !ruby/object:Gem::Version
54
- version: '1.8'
54
+ version: '0'
55
55
  - !ruby/object:Gem::Dependency
56
56
  name: parser
57
57
  requirement: !ruby/object:Gem::Requirement
58
58
  requirements:
59
- - - "~>"
59
+ - - ">="
60
60
  - !ruby/object:Gem::Version
61
- version: '2.0'
61
+ version: '0'
62
62
  type: :runtime
63
63
  prerelease: false
64
64
  version_requirements: !ruby/object:Gem::Requirement
65
65
  requirements:
66
- - - "~>"
66
+ - - ">="
67
67
  - !ruby/object:Gem::Version
68
- version: '2.0'
68
+ version: '0'
69
69
  - !ruby/object:Gem::Dependency
70
70
  name: unparser
71
71
  requirement: !ruby/object:Gem::Requirement
72
72
  requirements:
73
- - - "~>"
73
+ - - ">="
74
74
  - !ruby/object:Gem::Version
75
- version: 0.2.6
75
+ version: '0'
76
76
  type: :runtime
77
77
  prerelease: false
78
78
  version_requirements: !ruby/object:Gem::Requirement
79
79
  requirements:
80
- - - "~>"
80
+ - - ">="
81
81
  - !ruby/object:Gem::Version
82
- version: 0.2.6
82
+ version: '0'
83
83
  - !ruby/object:Gem::Dependency
84
84
  name: language_server-protocol
85
85
  requirement: !ruby/object:Gem::Requirement
86
86
  requirements:
87
- - - "~>"
87
+ - - ">="
88
88
  - !ruby/object:Gem::Version
89
- version: 3.12.0.0
89
+ version: '0'
90
90
  type: :runtime
91
91
  prerelease: false
92
92
  version_requirements: !ruby/object:Gem::Requirement
93
93
  requirements:
94
- - - "~>"
94
+ - - ">="
95
95
  - !ruby/object:Gem::Version
96
- version: 3.12.0.0
96
+ version: '0'
97
97
  - !ruby/object:Gem::Dependency
98
- name: leveldb
98
+ name: rbs
99
99
  requirement: !ruby/object:Gem::Requirement
100
100
  requirements:
101
101
  - - "~>"
102
102
  - !ruby/object:Gem::Version
103
- version: 0.1.9
103
+ version: '2.0'
104
104
  type: :runtime
105
105
  prerelease: false
106
106
  version_requirements: !ruby/object:Gem::Requirement
107
107
  requirements:
108
108
  - - "~>"
109
109
  - !ruby/object:Gem::Version
110
- version: 0.1.9
110
+ version: '2.0'
111
111
  - !ruby/object:Gem::Dependency
112
- name: lmdb
112
+ name: gdbm
113
113
  requirement: !ruby/object:Gem::Requirement
114
114
  requirements:
115
- - - "~>"
115
+ - - ">="
116
116
  - !ruby/object:Gem::Version
117
- version: 0.4.8
117
+ version: '0'
118
118
  type: :runtime
119
119
  prerelease: false
120
120
  version_requirements: !ruby/object:Gem::Requirement
121
121
  requirements:
122
- - - "~>"
122
+ - - ">="
123
123
  - !ruby/object:Gem::Version
124
- version: 0.4.8
124
+ version: '0'
125
125
  - !ruby/object:Gem::Dependency
126
126
  name: ruby-progressbar
127
127
  requirement: !ruby/object:Gem::Requirement
@@ -142,28 +142,42 @@ dependencies:
142
142
  requirements:
143
143
  - - "~>"
144
144
  - !ruby/object:Gem::Version
145
- version: 1.0.0
145
+ version: 1.1.0
146
146
  type: :runtime
147
147
  prerelease: false
148
148
  version_requirements: !ruby/object:Gem::Requirement
149
149
  requirements:
150
150
  - - "~>"
151
+ - !ruby/object:Gem::Version
152
+ version: 1.1.0
153
+ - !ruby/object:Gem::Dependency
154
+ name: rubyzip
155
+ requirement: !ruby/object:Gem::Requirement
156
+ requirements:
157
+ - - ">="
158
+ - !ruby/object:Gem::Version
159
+ version: 1.0.0
160
+ type: :runtime
161
+ prerelease: false
162
+ version_requirements: !ruby/object:Gem::Requirement
163
+ requirements:
164
+ - - ">="
151
165
  - !ruby/object:Gem::Version
152
166
  version: 1.0.0
153
167
  - !ruby/object:Gem::Dependency
154
168
  name: bundler
155
169
  requirement: !ruby/object:Gem::Requirement
156
170
  requirements:
157
- - - "~>"
171
+ - - ">="
158
172
  - !ruby/object:Gem::Version
159
- version: '1.16'
173
+ version: '0'
160
174
  type: :development
161
175
  prerelease: false
162
176
  version_requirements: !ruby/object:Gem::Requirement
163
177
  requirements:
164
- - - "~>"
178
+ - - ">="
165
179
  - !ruby/object:Gem::Version
166
- version: '1.16'
180
+ version: '0'
167
181
  - !ruby/object:Gem::Dependency
168
182
  name: rake
169
183
  requirement: !ruby/object:Gem::Requirement
@@ -182,72 +196,72 @@ dependencies:
182
196
  name: rspec
183
197
  requirement: !ruby/object:Gem::Requirement
184
198
  requirements:
185
- - - "~>"
199
+ - - ">="
186
200
  - !ruby/object:Gem::Version
187
- version: '3.0'
201
+ version: '0'
188
202
  type: :development
189
203
  prerelease: false
190
204
  version_requirements: !ruby/object:Gem::Requirement
191
205
  requirements:
192
- - - "~>"
206
+ - - ">="
193
207
  - !ruby/object:Gem::Version
194
- version: '3.0'
208
+ version: '0'
195
209
  - !ruby/object:Gem::Dependency
196
210
  name: rspec-benchmark
197
211
  requirement: !ruby/object:Gem::Requirement
198
212
  requirements:
199
- - - "~>"
213
+ - - ">="
200
214
  - !ruby/object:Gem::Version
201
- version: '0.3'
215
+ version: '0'
202
216
  type: :development
203
217
  prerelease: false
204
218
  version_requirements: !ruby/object:Gem::Requirement
205
219
  requirements:
206
- - - "~>"
220
+ - - ">="
207
221
  - !ruby/object:Gem::Version
208
- version: '0.3'
222
+ version: '0'
209
223
  - !ruby/object:Gem::Dependency
210
224
  name: pry
211
225
  requirement: !ruby/object:Gem::Requirement
212
226
  requirements:
213
- - - "~>"
227
+ - - ">="
214
228
  - !ruby/object:Gem::Version
215
- version: '0.11'
229
+ version: '0'
216
230
  type: :development
217
231
  prerelease: false
218
232
  version_requirements: !ruby/object:Gem::Requirement
219
233
  requirements:
220
- - - "~>"
234
+ - - ">="
221
235
  - !ruby/object:Gem::Version
222
- version: '0.11'
236
+ version: '0'
223
237
  - !ruby/object:Gem::Dependency
224
238
  name: pry-rescue
225
239
  requirement: !ruby/object:Gem::Requirement
226
240
  requirements:
227
- - - "~>"
241
+ - - ">="
228
242
  - !ruby/object:Gem::Version
229
- version: '1.4'
243
+ version: '0'
230
244
  type: :development
231
245
  prerelease: false
232
246
  version_requirements: !ruby/object:Gem::Requirement
233
247
  requirements:
234
- - - "~>"
248
+ - - ">="
235
249
  - !ruby/object:Gem::Version
236
- version: '1.4'
250
+ version: '0'
237
251
  - !ruby/object:Gem::Dependency
238
252
  name: pry-stack_explorer
239
253
  requirement: !ruby/object:Gem::Requirement
240
254
  requirements:
241
- - - "~>"
255
+ - - ">="
242
256
  - !ruby/object:Gem::Version
243
- version: '0.4'
257
+ version: '0'
244
258
  type: :development
245
259
  prerelease: false
246
260
  version_requirements: !ruby/object:Gem::Requirement
247
261
  requirements:
248
- - - "~>"
262
+ - - ">="
249
263
  - !ruby/object:Gem::Version
250
- version: '0.4'
264
+ version: '0'
251
265
  - !ruby/object:Gem::Dependency
252
266
  name: stackprof
253
267
  requirement: !ruby/object:Gem::Requirement
@@ -270,65 +284,129 @@ executables:
270
284
  extensions: []
271
285
  extra_rdoc_files: []
272
286
  files:
287
+ - ".github/workflows/test.yml"
273
288
  - ".gitignore"
274
289
  - ".rspec"
275
- - ".travis.yml"
276
290
  - Gemfile
277
291
  - LICENSE.txt
278
292
  - README.md
279
293
  - Rakefile
294
+ - bin/bench
280
295
  - bin/console
296
+ - bin/local
281
297
  - bin/setup
298
+ - client/atom/.gitignore
282
299
  - client/atom/main.js
300
+ - client/atom/package.json
301
+ - client/atom/yarn.lock
283
302
  - client/vscode/.gitignore
284
303
  - client/vscode/.vscode/launch.json
285
304
  - client/vscode/.vscode/settings.json
286
305
  - client/vscode/.vscode/tasks.json
287
306
  - client/vscode/.vscodeignore
288
307
  - client/vscode/CHANGELOG.md
308
+ - client/vscode/LICENSE.txt
289
309
  - client/vscode/README.md
290
310
  - client/vscode/package-lock.json
291
311
  - client/vscode/package.json
312
+ - client/vscode/src/config.ts
292
313
  - client/vscode/src/extension.ts
293
- - client/vscode/src/test/completion.test.ts
314
+ - client/vscode/src/install-tools.ts
315
+ - client/vscode/src/language-server.ts
316
+ - client/vscode/src/status.ts
294
317
  - client/vscode/src/test/helper.ts
295
- - client/vscode/src/test/index.ts
318
+ - client/vscode/src/test/runTest.ts
319
+ - client/vscode/src/test/suite/completion.test.ts
320
+ - client/vscode/src/test/suite/hover.test.ts
321
+ - client/vscode/src/test/suite/index.ts
296
322
  - client/vscode/testFixture/completion.rb
297
323
  - client/vscode/tsconfig.json
298
324
  - client/vscode/vsc-extension-quickstart.md
299
325
  - exe/yoda
300
326
  - lib/yoda.rb
301
- - lib/yoda/commands.rb
302
- - lib/yoda/commands/base.rb
303
- - lib/yoda/commands/complete.rb
304
- - lib/yoda/commands/file_cursor_parsable.rb
305
- - lib/yoda/commands/infer.rb
306
- - lib/yoda/commands/setup.rb
327
+ - lib/yoda/ast.rb
328
+ - lib/yoda/ast/array_node.rb
329
+ - lib/yoda/ast/assignment_node.rb
330
+ - lib/yoda/ast/block_call_node.rb
331
+ - lib/yoda/ast/block_node.rb
332
+ - lib/yoda/ast/case_node.rb
333
+ - lib/yoda/ast/center_operator_node.rb
334
+ - lib/yoda/ast/class_node.rb
335
+ - lib/yoda/ast/comment_block.rb
336
+ - lib/yoda/ast/comment_block/base_part.rb
337
+ - lib/yoda/ast/comment_block/range_calculation.rb
338
+ - lib/yoda/ast/comment_block/tag_part.rb
339
+ - lib/yoda/ast/comment_block/tag_text_name_part.rb
340
+ - lib/yoda/ast/comment_block/tag_text_type_part.rb
341
+ - lib/yoda/ast/comment_block/text_part.rb
342
+ - lib/yoda/ast/comment_block/token.rb
343
+ - lib/yoda/ast/conditional_loop_node.rb
344
+ - lib/yoda/ast/constant_assignment_node.rb
345
+ - lib/yoda/ast/constant_base_node.rb
346
+ - lib/yoda/ast/constant_node.rb
347
+ - lib/yoda/ast/def_node.rb
348
+ - lib/yoda/ast/def_singleton_node.rb
349
+ - lib/yoda/ast/empty_vnode.rb
350
+ - lib/yoda/ast/ensure_node.rb
351
+ - lib/yoda/ast/for_node.rb
352
+ - lib/yoda/ast/hash_node.rb
353
+ - lib/yoda/ast/if_node.rb
354
+ - lib/yoda/ast/interpolation_text_node.rb
355
+ - lib/yoda/ast/kwsplat_node.rb
356
+ - lib/yoda/ast/left_operator_node.rb
357
+ - lib/yoda/ast/literal_node.rb
358
+ - lib/yoda/ast/method_traversable.rb
359
+ - lib/yoda/ast/module_node.rb
360
+ - lib/yoda/ast/multiple_left_hand_side_node.rb
361
+ - lib/yoda/ast/name_vnode.rb
362
+ - lib/yoda/ast/namespace.rb
363
+ - lib/yoda/ast/namespace_traversable.rb
364
+ - lib/yoda/ast/node.rb
365
+ - lib/yoda/ast/optional_parameter_node.rb
366
+ - lib/yoda/ast/pair_node.rb
367
+ - lib/yoda/ast/parameter_node.rb
368
+ - lib/yoda/ast/parameters_node.rb
369
+ - lib/yoda/ast/rescue_clause_node.rb
370
+ - lib/yoda/ast/rescue_node.rb
371
+ - lib/yoda/ast/root_vnode.rb
372
+ - lib/yoda/ast/send_node.rb
373
+ - lib/yoda/ast/singleton_class_node.rb
374
+ - lib/yoda/ast/special_call_node.rb
375
+ - lib/yoda/ast/traversable.rb
376
+ - lib/yoda/ast/value_vnode.rb
377
+ - lib/yoda/ast/variable_node.rb
378
+ - lib/yoda/ast/vnode.rb
379
+ - lib/yoda/ast/when_node.rb
380
+ - lib/yoda/cli.rb
381
+ - lib/yoda/cli/analyze_deps.rb
382
+ - lib/yoda/cli/base.rb
383
+ - lib/yoda/cli/complete.rb
384
+ - lib/yoda/cli/console.rb
385
+ - lib/yoda/cli/file_cursor_parsable.rb
386
+ - lib/yoda/cli/infer.rb
307
387
  - lib/yoda/errors.rb
308
- - lib/yoda/evaluation.rb
309
- - lib/yoda/evaluation/code_completion.rb
310
- - lib/yoda/evaluation/code_completion/base_provider.rb
311
- - lib/yoda/evaluation/code_completion/const_provider.rb
312
- - lib/yoda/evaluation/code_completion/method_provider.rb
313
- - lib/yoda/evaluation/code_completion/variable_provider.rb
314
- - lib/yoda/evaluation/comment_completion.rb
315
- - lib/yoda/evaluation/comment_completion/base_provider.rb
316
- - lib/yoda/evaluation/comment_completion/param_provider.rb
317
- - lib/yoda/evaluation/comment_completion/tag_provider.rb
318
- - lib/yoda/evaluation/comment_completion/type_provider.rb
319
- - lib/yoda/evaluation/current_node_explain.rb
320
- - lib/yoda/evaluation/evaluator.rb
321
- - lib/yoda/evaluation/signature_discovery.rb
388
+ - lib/yoda/has_services.rb
322
389
  - lib/yoda/instrument.rb
323
390
  - lib/yoda/logger.rb
391
+ - lib/yoda/missing_delegatable.rb
324
392
  - lib/yoda/model.rb
325
393
  - lib/yoda/model/completion_item.rb
326
394
  - lib/yoda/model/descriptions.rb
327
395
  - lib/yoda/model/descriptions/base.rb
396
+ - lib/yoda/model/descriptions/comment_token_description.rb
328
397
  - lib/yoda/model/descriptions/function_description.rb
329
398
  - lib/yoda/model/descriptions/node_description.rb
330
399
  - lib/yoda/model/descriptions/value_description.rb
400
+ - lib/yoda/model/descriptions/variable_description.rb
331
401
  - lib/yoda/model/descriptions/word_description.rb
402
+ - lib/yoda/model/environment.rb
403
+ - lib/yoda/model/environment/accessor_interface.rb
404
+ - lib/yoda/model/environment/instance_accessor.rb
405
+ - lib/yoda/model/environment/namespace_members.rb
406
+ - lib/yoda/model/environment/singleton_accessor.rb
407
+ - lib/yoda/model/environment/value_factory.rb
408
+ - lib/yoda/model/environment/value_resolve_context.rb
409
+ - lib/yoda/model/environment/with_cache.rb
332
410
  - lib/yoda/model/function_signatures.rb
333
411
  - lib/yoda/model/function_signatures/base.rb
334
412
  - lib/yoda/model/function_signatures/constructor.rb
@@ -336,33 +414,58 @@ files:
336
414
  - lib/yoda/model/function_signatures/method.rb
337
415
  - lib/yoda/model/function_signatures/overload.rb
338
416
  - lib/yoda/model/function_signatures/parameter_list.rb
417
+ - lib/yoda/model/function_signatures/rbs_method.rb
339
418
  - lib/yoda/model/function_signatures/type_builder.rb
340
- - lib/yoda/model/node_signature.rb
419
+ - lib/yoda/model/function_signatures/wrapper.rb
420
+ - lib/yoda/model/lexical_context.rb
421
+ - lib/yoda/model/node_signatures.rb
422
+ - lib/yoda/model/node_signatures/base.rb
423
+ - lib/yoda/model/node_signatures/const.rb
424
+ - lib/yoda/model/node_signatures/method_definition.rb
425
+ - lib/yoda/model/node_signatures/node.rb
426
+ - lib/yoda/model/node_signatures/send.rb
427
+ - lib/yoda/model/parameters.rb
428
+ - lib/yoda/model/parameters/base.rb
429
+ - lib/yoda/model/parameters/binder.rb
430
+ - lib/yoda/model/parameters/multiple.rb
431
+ - lib/yoda/model/parameters/named.rb
432
+ - lib/yoda/model/parameters/unnamed.rb
341
433
  - lib/yoda/model/path.rb
434
+ - lib/yoda/model/primary_source_inferencer.rb
342
435
  - lib/yoda/model/scoped_path.rb
343
- - lib/yoda/model/types.rb
344
- - lib/yoda/model/types/any_type.rb
345
- - lib/yoda/model/types/base.rb
346
- - lib/yoda/model/types/duck_type.rb
347
- - lib/yoda/model/types/function_type.rb
348
- - lib/yoda/model/types/generic_type.rb
349
- - lib/yoda/model/types/instance_type.rb
350
- - lib/yoda/model/types/module_type.rb
351
- - lib/yoda/model/types/sequence_type.rb
352
- - lib/yoda/model/types/union_type.rb
353
- - lib/yoda/model/types/unknown_type.rb
354
- - lib/yoda/model/types/value_type.rb
436
+ - lib/yoda/model/type_expressions.rb
437
+ - lib/yoda/model/type_expressions/any_type.rb
438
+ - lib/yoda/model/type_expressions/base.rb
439
+ - lib/yoda/model/type_expressions/duck_type.rb
440
+ - lib/yoda/model/type_expressions/function_type.rb
441
+ - lib/yoda/model/type_expressions/function_type/parameter.rb
442
+ - lib/yoda/model/type_expressions/generator.rb
443
+ - lib/yoda/model/type_expressions/generic_type.rb
444
+ - lib/yoda/model/type_expressions/instance_type.rb
445
+ - lib/yoda/model/type_expressions/module_type.rb
446
+ - lib/yoda/model/type_expressions/self_type.rb
447
+ - lib/yoda/model/type_expressions/sequence_type.rb
448
+ - lib/yoda/model/type_expressions/union_type.rb
449
+ - lib/yoda/model/type_expressions/unknown_type.rb
450
+ - lib/yoda/model/type_expressions/value_type.rb
451
+ - lib/yoda/model/type_expressions/void_type.rb
355
452
  - lib/yoda/model/values.rb
356
453
  - lib/yoda/model/values/base.rb
454
+ - lib/yoda/model/values/empty_value.rb
357
455
  - lib/yoda/model/values/instance_value.rb
358
- - lib/yoda/model/values/module_value.rb
456
+ - lib/yoda/model/values/intersection_value.rb
457
+ - lib/yoda/model/values/literal_value.rb
458
+ - lib/yoda/model/values/union_value.rb
459
+ - lib/yoda/model/yard_type_parser.rb
359
460
  - lib/yoda/parsing.rb
360
461
  - lib/yoda/parsing/ast_traversable.rb
361
462
  - lib/yoda/parsing/comment_tokenizer.rb
362
463
  - lib/yoda/parsing/location.rb
363
464
  - lib/yoda/parsing/node_objects.rb
465
+ - lib/yoda/parsing/node_objects/args_node.rb
364
466
  - lib/yoda/parsing/node_objects/const_node.rb
365
467
  - lib/yoda/parsing/node_objects/method_definition.rb
468
+ - lib/yoda/parsing/node_objects/mlhs_node.rb
366
469
  - lib/yoda/parsing/node_objects/namespace.rb
367
470
  - lib/yoda/parsing/node_objects/send_node.rb
368
471
  - lib/yoda/parsing/parser.rb
@@ -382,14 +485,17 @@ files:
382
485
  - lib/yoda/parsing/scopes/method_definition.rb
383
486
  - lib/yoda/parsing/scopes/module_definition.rb
384
487
  - lib/yoda/parsing/scopes/root.rb
385
- - lib/yoda/parsing/source_analyzer.rb
386
488
  - lib/yoda/parsing/source_cutter.rb
489
+ - lib/yoda/parsing/traverser.rb
490
+ - lib/yoda/parsing/traverser/matcher.rb
491
+ - lib/yoda/parsing/traverser/query_interface.rb
492
+ - lib/yoda/parsing/traverser/result_set.rb
387
493
  - lib/yoda/parsing/type_parser.rb
494
+ - lib/yoda/presentation/code_completion/constant.rb
388
495
  - lib/yoda/runner.rb
389
496
  - lib/yoda/server.rb
390
497
  - lib/yoda/server/concurrent_writer.rb
391
498
  - lib/yoda/server/deserializer.rb
392
- - lib/yoda/server/file_store.rb
393
499
  - lib/yoda/server/lifecycle_handler.rb
394
500
  - lib/yoda/server/notifier.rb
395
501
  - lib/yoda/server/providers.rb
@@ -397,29 +503,68 @@ files:
397
503
  - lib/yoda/server/providers/completion.rb
398
504
  - lib/yoda/server/providers/definition.rb
399
505
  - lib/yoda/server/providers/hover.rb
506
+ - lib/yoda/server/providers/reportable_progress.rb
400
507
  - lib/yoda/server/providers/signature.rb
401
508
  - lib/yoda/server/providers/text_document_did_change.rb
402
509
  - lib/yoda/server/providers/text_document_did_open.rb
403
510
  - lib/yoda/server/providers/text_document_did_save.rb
511
+ - lib/yoda/server/providers/with_timeout.rb
512
+ - lib/yoda/server/providers/workspace_did_change_workspace_folders.rb
513
+ - lib/yoda/server/providers/workspace_did_create_files.rb
514
+ - lib/yoda/server/providers/workspace_did_delete_files.rb
515
+ - lib/yoda/server/providers/workspace_did_rename_files.rb
516
+ - lib/yoda/server/providers/workspace_symbol.rb
404
517
  - lib/yoda/server/root_handler.rb
518
+ - lib/yoda/server/rootless_workspace.rb
519
+ - lib/yoda/server/scheduler.rb
405
520
  - lib/yoda/server/session.rb
521
+ - lib/yoda/server/uri_decoder.rb
522
+ - lib/yoda/server/workspace.rb
523
+ - lib/yoda/services.rb
524
+ - lib/yoda/services/code_completion.rb
525
+ - lib/yoda/services/code_completion/base_provider.rb
526
+ - lib/yoda/services/code_completion/const_provider.rb
527
+ - lib/yoda/services/code_completion/keyword_provider.rb
528
+ - lib/yoda/services/code_completion/local_variable_provider.rb
529
+ - lib/yoda/services/code_completion/method_provider.rb
530
+ - lib/yoda/services/comment_completion.rb
531
+ - lib/yoda/services/comment_completion/base_provider.rb
532
+ - lib/yoda/services/comment_completion/param_provider.rb
533
+ - lib/yoda/services/comment_completion/tag_provider.rb
534
+ - lib/yoda/services/comment_completion/type_provider.rb
535
+ - lib/yoda/services/current_node_explain.rb
536
+ - lib/yoda/services/current_node_explain/comment_signature.rb
537
+ - lib/yoda/services/evaluator.rb
538
+ - lib/yoda/services/signature_discovery.rb
406
539
  - lib/yoda/store.rb
407
540
  - lib/yoda/store/actions.rb
408
541
  - lib/yoda/store/actions/build_core_index.rb
409
542
  - lib/yoda/store/actions/import_core_library.rb
410
543
  - lib/yoda/store/actions/import_gem.rb
544
+ - lib/yoda/store/actions/import_project_dependencies.rb
411
545
  - lib/yoda/store/actions/import_std_library.rb
412
546
  - lib/yoda/store/actions/read_file.rb
413
547
  - lib/yoda/store/actions/read_project_files.rb
414
548
  - lib/yoda/store/adapters.rb
415
549
  - lib/yoda/store/adapters/base.rb
416
- - lib/yoda/store/adapters/leveldb_adapter.rb
417
- - lib/yoda/store/adapters/lmdb_adapter.rb
550
+ - lib/yoda/store/adapters/gdbm_adapter.rb
551
+ - lib/yoda/store/adapters/gdbm_adapter/namespace_accessor.rb
552
+ - lib/yoda/store/adapters/lazy_adapter.rb
418
553
  - lib/yoda/store/adapters/memory_adapter.rb
554
+ - lib/yoda/store/config.rb
555
+ - lib/yoda/store/file_tree.rb
419
556
  - lib/yoda/store/objects.rb
420
557
  - lib/yoda/store/objects/addressable.rb
421
558
  - lib/yoda/store/objects/base.rb
422
559
  - lib/yoda/store/objects/class_object.rb
560
+ - lib/yoda/store/objects/connected_delegation.rb
561
+ - lib/yoda/store/objects/libraries_status.rb
562
+ - lib/yoda/store/objects/library.rb
563
+ - lib/yoda/store/objects/library/core.rb
564
+ - lib/yoda/store/objects/library/gem.rb
565
+ - lib/yoda/store/objects/library/std.rb
566
+ - lib/yoda/store/objects/library/with_registry.rb
567
+ - lib/yoda/store/objects/map.rb
423
568
  - lib/yoda/store/objects/merger.rb
424
569
  - lib/yoda/store/objects/meta_class_object.rb
425
570
  - lib/yoda/store/objects/method_object.rb
@@ -429,43 +574,122 @@ files:
429
574
  - lib/yoda/store/objects/patch.rb
430
575
  - lib/yoda/store/objects/patch_set.rb
431
576
  - lib/yoda/store/objects/patchable.rb
432
- - lib/yoda/store/objects/project_status.rb
433
577
  - lib/yoda/store/objects/serializable.rb
578
+ - lib/yoda/store/objects/serializable_set.rb
434
579
  - lib/yoda/store/objects/tag.rb
435
580
  - lib/yoda/store/objects/value_object.rb
436
581
  - lib/yoda/store/project.rb
437
- - lib/yoda/store/project/cache.rb
438
- - lib/yoda/store/project/library_doc_loader.rb
582
+ - lib/yoda/store/project/dependency.rb
583
+ - lib/yoda/store/project/file_finder.rb
584
+ - lib/yoda/store/project/rbs_loader.rb
585
+ - lib/yoda/store/project/setuper.rb
439
586
  - lib/yoda/store/query.rb
587
+ - lib/yoda/store/query/ancestor_tree.rb
440
588
  - lib/yoda/store/query/associators.rb
441
589
  - lib/yoda/store/query/associators/associate_ancestors.rb
442
590
  - lib/yoda/store/query/associators/associate_methods.rb
443
591
  - lib/yoda/store/query/base.rb
592
+ - lib/yoda/store/query/constant_member_set.rb
444
593
  - lib/yoda/store/query/find_constant.rb
445
594
  - lib/yoda/store/query/find_meta_class.rb
446
595
  - lib/yoda/store/query/find_method.rb
447
596
  - lib/yoda/store/query/find_signature.rb
597
+ - lib/yoda/store/query/find_workspace_objects.rb
598
+ - lib/yoda/store/query/method_member_set.rb
448
599
  - lib/yoda/store/registry.rb
449
- - lib/yoda/store/registry_cache.rb
600
+ - lib/yoda/store/registry/cache.rb
601
+ - lib/yoda/store/registry/composer.rb
602
+ - lib/yoda/store/registry/index.rb
603
+ - lib/yoda/store/registry/library_registry.rb
604
+ - lib/yoda/store/registry/library_registry_set.rb
605
+ - lib/yoda/store/registry/local_store.rb
606
+ - lib/yoda/store/registry/project_registry.rb
607
+ - lib/yoda/store/transformers.rb
608
+ - lib/yoda/store/transformers/core_visibility.rb
609
+ - lib/yoda/store/version_store.rb
450
610
  - lib/yoda/store/yard_importer.rb
451
611
  - lib/yoda/typing.rb
452
- - lib/yoda/typing/context.rb
612
+ - lib/yoda/typing/constant_resolver.rb
613
+ - lib/yoda/typing/constant_resolver/cbase_query.rb
614
+ - lib/yoda/typing/constant_resolver/member_query.rb
615
+ - lib/yoda/typing/constant_resolver/node_tracer.rb
616
+ - lib/yoda/typing/constant_resolver/query.rb
617
+ - lib/yoda/typing/constant_resolver/relative_base_query.rb
618
+ - lib/yoda/typing/contexts.rb
619
+ - lib/yoda/typing/contexts/base_context.rb
620
+ - lib/yoda/typing/contexts/block_context.rb
621
+ - lib/yoda/typing/contexts/context_derivation.rb
622
+ - lib/yoda/typing/contexts/method_context.rb
623
+ - lib/yoda/typing/contexts/namespace_block_context.rb
624
+ - lib/yoda/typing/contexts/namespace_context.rb
453
625
  - lib/yoda/typing/environment.rb
454
- - lib/yoda/typing/evaluator.rb
626
+ - lib/yoda/typing/inferencer.rb
627
+ - lib/yoda/typing/inferencer/arguments.rb
628
+ - lib/yoda/typing/inferencer/arguments_binder.rb
629
+ - lib/yoda/typing/inferencer/ast_traverser.rb
630
+ - lib/yoda/typing/inferencer/method_resolver.rb
631
+ - lib/yoda/typing/inferencer/object_resolver.rb
632
+ - lib/yoda/typing/inferencer/parameter_binder.rb
633
+ - lib/yoda/typing/inferencer/tracer.rb
634
+ - lib/yoda/typing/inferencer/type_binding.rb
455
635
  - lib/yoda/typing/lexical_scope.rb
636
+ - lib/yoda/typing/node_info.rb
456
637
  - lib/yoda/typing/relation.rb
457
638
  - lib/yoda/typing/traces.rb
458
639
  - lib/yoda/typing/traces/base.rb
459
640
  - lib/yoda/typing/traces/normal.rb
460
641
  - lib/yoda/typing/traces/send.rb
642
+ - lib/yoda/typing/tree.rb
643
+ - lib/yoda/typing/tree/base.rb
644
+ - lib/yoda/typing/tree/begin.rb
645
+ - lib/yoda/typing/tree/block.rb
646
+ - lib/yoda/typing/tree/case.rb
647
+ - lib/yoda/typing/tree/class_tree.rb
648
+ - lib/yoda/typing/tree/const.rb
649
+ - lib/yoda/typing/tree/constant_assignment.rb
650
+ - lib/yoda/typing/tree/defined.rb
651
+ - lib/yoda/typing/tree/escape.rb
652
+ - lib/yoda/typing/tree/for.rb
653
+ - lib/yoda/typing/tree/hash_body.rb
654
+ - lib/yoda/typing/tree/if.rb
655
+ - lib/yoda/typing/tree/literal.rb
656
+ - lib/yoda/typing/tree/literal_with_interpolation.rb
657
+ - lib/yoda/typing/tree/logical_assignment.rb
658
+ - lib/yoda/typing/tree/logical_operator.rb
659
+ - lib/yoda/typing/tree/method.rb
660
+ - lib/yoda/typing/tree/module_tree.rb
661
+ - lib/yoda/typing/tree/multiple_assignment.rb
662
+ - lib/yoda/typing/tree/rescue_body.rb
663
+ - lib/yoda/typing/tree/self.rb
664
+ - lib/yoda/typing/tree/send.rb
665
+ - lib/yoda/typing/tree/singleton_method.rb
666
+ - lib/yoda/typing/tree/super.rb
667
+ - lib/yoda/typing/tree/variable.rb
668
+ - lib/yoda/typing/tree/variable_assignment.rb
669
+ - lib/yoda/typing/tree/while.rb
670
+ - lib/yoda/typing/tree/yield.rb
671
+ - lib/yoda/typing/types.rb
672
+ - lib/yoda/typing/types/any.rb
673
+ - lib/yoda/typing/types/associative_array.rb
674
+ - lib/yoda/typing/types/base.rb
675
+ - lib/yoda/typing/types/converter.rb
676
+ - lib/yoda/typing/types/function.rb
677
+ - lib/yoda/typing/types/generator.rb
678
+ - lib/yoda/typing/types/generic.rb
679
+ - lib/yoda/typing/types/instance.rb
680
+ - lib/yoda/typing/types/instance_type.rb
681
+ - lib/yoda/typing/types/method.rb
682
+ - lib/yoda/typing/types/rbs_type_wrapper_interface.rb
683
+ - lib/yoda/typing/types/singleton_type.rb
684
+ - lib/yoda/typing/types/tuple.rb
685
+ - lib/yoda/typing/types/type.rb
686
+ - lib/yoda/typing/types/union.rb
687
+ - lib/yoda/typing/types/var.rb
461
688
  - lib/yoda/version.rb
462
689
  - lib/yoda/yard_extensions.rb
463
690
  - lib/yoda/yard_extensions/sig_directive.rb
464
691
  - lib/yoda/yard_extensions/type_tag.rb
465
- - package.json
466
692
  - scripts/benchmark.rb
467
- - scripts/build_core_index.sh
468
- - yarn.lock
469
693
  - yoda-language-server.gemspec
470
694
  homepage: https://github.com/tomoasleep/yoda
471
695
  licenses:
@@ -486,8 +710,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
486
710
  - !ruby/object:Gem::Version
487
711
  version: '0'
488
712
  requirements: []
489
- rubyforge_project:
490
- rubygems_version: 2.7.3
713
+ rubygems_version: 3.2.22
491
714
  signing_key:
492
715
  specification_version: 4
493
716
  summary: Ruby completion engine