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