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
@@ -2,32 +2,27 @@ module Yoda
2
2
  module Store
3
3
  module Actions
4
4
  class ImportStdLibrary
5
- # @return [Registry]
6
- attr_reader :registry
5
+ # @return [Project::Dependency::Std]
6
+ attr_reader :dep
7
7
 
8
8
  class << self
9
- # @return [true, false]
10
- def run(registry)
11
- new(registry).run
9
+ # @param dep [Project::Dependency::Std]
10
+ # @return [Objects::Patch]
11
+ def run(dep)
12
+ new(dep).run
12
13
  end
13
14
  end
14
15
 
15
- def initialize(registry)
16
- @registry = registry
16
+ # @param dep [Project::Dependency::Std]
17
+ def initialize(dep)
18
+ @dep = dep
17
19
  end
18
20
 
19
- # @return [true, false]
21
+ # @return [Objects::Patch]
20
22
  def run
21
- return false unless File.exist?(doc_path)
22
- patch = YardImporter.import(doc_path)
23
- registry.add_patch(patch)
24
- true
25
- end
26
-
27
- private
28
-
29
- def doc_path
30
- File.expand_path("~/.yoda/sources/ruby-#{RUBY_VERSION}/.yardoc-stdlib")
23
+ BuildCoreIndex.run unless BuildCoreIndex.exists?
24
+ return false unless File.exist?(dep.doc_path)
25
+ YardImporter.import(dep.doc_path)
31
26
  end
32
27
  end
33
28
  end
@@ -8,27 +8,42 @@ module Yoda
8
8
  # @return [String]
9
9
  attr_reader :file
10
10
 
11
+ # @return [String, nil]
12
+ attr_reader :content
13
+
11
14
  # @param registry [Registry]
12
15
  # @param file [String]
13
16
  # @return [void]
14
- def self.run(registry, file, root_path: nil)
15
- self.new(registry, file, root_path: root_path).run
17
+ def self.run(registry, file, content: nil, root_path: nil)
18
+ self.new(registry, file, content: content, root_path: root_path).run
19
+ end
20
+
21
+ # @param file [String]
22
+ # @return [String]
23
+ def self.patch_id_for_file(file)
24
+ YardImporter.patch_id_for_file(file)
16
25
  end
17
26
 
18
27
  # @param registry [Registry]
19
28
  # @param file [String]
20
- def initialize(registry, file, root_path: nil)
29
+ # @param content [String, nil]
30
+ def initialize(registry, file, content: nil, root_path: nil)
21
31
  @registry = registry
22
32
  @file = file
33
+ @content = content
23
34
  @root_path = root_path
24
35
  end
25
36
 
26
37
  # @return [void]
27
38
  def run
28
39
  YARD::Registry.clear
29
- YARD.parse([file])
30
- patch = YardImporter.new(file).import(YARD::Registry.all + [YARD::Registry.root]).patch
31
- registry.add_patch(patch)
40
+ if content
41
+ YARD.parse_string(content) if Yoda::Parsing.parse_with_comments(content)
42
+ else
43
+ YARD.parse([file])
44
+ end
45
+ patch = YardImporter.new(file, source_path: file).import(YARD::Registry.all + [YARD::Registry.root]).patch
46
+ registry.local_store.add_file_patch(patch)
32
47
  end
33
48
  end
34
49
  end
@@ -8,6 +8,12 @@ module Yoda
8
8
  # @return [String]
9
9
  attr_reader :root_path
10
10
 
11
+ # @param project [Project]
12
+ # @return [ReadProjectFiles]
13
+ def self.for_project(project)
14
+ new(project.registry, project.root_path)
15
+ end
16
+
11
17
  def initialize(registry, root_path)
12
18
  @registry = registry
13
19
  @root_path = root_path
@@ -29,7 +35,7 @@ module Yoda
29
35
 
30
36
  # @return [Array<String>]
31
37
  def project_files
32
- Dir.chdir(root_path) { Dir.glob("{lib,app}/**/*.rb\0ext/**/*.c\0.yoda/*.rb").map { |name| File.expand_path(name, root_path) } }
38
+ Dir.chdir(root_path) { Dir.glob(["{lib,app}/**/*.rb", "ext/**/*.c", ".yoda/*.rb"]).map { |name| File.expand_path(name, root_path) } }
33
39
  end
34
40
  end
35
41
  end
@@ -5,6 +5,7 @@ module Yoda
5
5
  require 'yoda/store/actions/import_core_library'
6
6
  require 'yoda/store/actions/import_std_library'
7
7
  require 'yoda/store/actions/import_gem'
8
+ require 'yoda/store/actions/import_project_dependencies'
8
9
  require 'yoda/store/actions/read_file'
9
10
  require 'yoda/store/actions/read_project_files'
10
11
  end
@@ -14,49 +14,88 @@ module Yoda
14
14
  end
15
15
 
16
16
  # @abstract
17
+ # @param address [String, Symbol]
18
+ # @return [Object, nil]
17
19
  def get(address)
18
20
  fail NotImplementedError
19
21
  end
20
22
 
21
23
  # @abstract
24
+ # @param address [String, Symbol]
25
+ # @param object [Object]
26
+ # @return [void]
22
27
  def put(address, object)
23
28
  fail NotImplementedError
24
29
  end
25
30
 
26
31
  # @abstract
32
+ # @param address [String, Symbol]
33
+ # @return [void]
27
34
  def delete(address)
28
35
  fail NotImplementedError
29
36
  end
30
37
 
31
38
  # @abstract
39
+ # @param address [String, Symbol]
40
+ # @return [Boolean]
32
41
  def exist?(address)
33
42
  fail NotImplementedError
34
43
  end
35
44
 
36
45
  # @abstract
46
+ # @return [Integer]
37
47
  def keys
38
48
  fail NotImplementedError
39
49
  end
40
50
 
41
51
  # @abstract
52
+ # @return [Object]
42
53
  def stats
43
54
  fail NotImplementedError
44
55
  end
45
56
 
46
57
  # @abstract
58
+ # @return [void]
47
59
  def sync
48
60
  fail NotImplementedError
49
61
  end
50
62
 
63
+ # Clear all contents in the database.
51
64
  # @abstract
65
+ # @return [void]
52
66
  def clear
53
67
  fail NotImplementedError
54
68
  end
55
69
 
70
+ # @abstract
71
+ # @return [Boolean]
72
+ def empty?
73
+ fail NotImplementedError
74
+ end
75
+
76
+ # @abstract
77
+ # @param name [String, Symbol]
78
+ # @return [Base]
79
+ def namespace(name)
80
+ fail NotImplementedError
81
+ end
82
+
83
+ # @abstract
84
+ # @return [Boolean]
85
+ def persistable?
86
+ fail NotImplementedError
87
+ end
88
+
56
89
  # @param data [Enumerator<(String, Object)>]
57
90
  # @param bar [#increment, nil]
58
91
  # @abstract
59
92
  def batch_write(data, bar)
93
+ fail NotImplementedError
94
+ end
95
+
96
+ # @return [String]
97
+ def inspect
98
+ "#<#{self.class.name}: #{self.class.type}>"
60
99
  end
61
100
  end
62
101
  end
@@ -0,0 +1,152 @@
1
+ module Yoda
2
+ module Store
3
+ module Adapters
4
+ class GdbmAdapter
5
+ class NamespaceAccessor
6
+ KEYS_ADDRESS = "%keys"
7
+
8
+ # @return [GDBM]
9
+ attr_reader :database
10
+
11
+ # @return [String, nil]
12
+ attr_reader :namespace
13
+
14
+ # @param database [GDBM]
15
+ # @param namespace [String, Symbol, nil]
16
+ def initialize(database:, namespace:)
17
+ @database = database
18
+ @namespace = namespace&.to_s
19
+ end
20
+
21
+ # @param address [String, Symbol]
22
+ # @return [Object, nil]
23
+ def get(address)
24
+ JSON.load(database[build_key(address)], symbolize_names: true)
25
+ end
26
+
27
+ # @param address [String, Symbol]
28
+ # @param object [#to_json]
29
+ # @return [void]
30
+ def put(address, object, modify_keys: true)
31
+ database[build_key(address)] = object.to_json
32
+ add_addresses([address]) if modify_keys
33
+ end
34
+
35
+ # @param address [String, Symbol]
36
+ # @return [void]
37
+ def delete(address)
38
+ database.delete(build_key(address))
39
+ end
40
+
41
+ # @abstract
42
+ # @param address [String, Symbol]
43
+ # @return [Boolean]
44
+ def exist?(address)
45
+ database.has_key?(build_key(address))
46
+ end
47
+
48
+ # @abstract
49
+ # @return [Integer]
50
+ def keys
51
+ if namespace
52
+ get(KEYS_ADDRESS) || []
53
+ else
54
+ database.keys
55
+ end
56
+ end
57
+
58
+ # @abstract
59
+ # @return [Object]
60
+ def stats
61
+ {}
62
+ end
63
+
64
+ # @abstract
65
+ # @return [void]
66
+ def sync
67
+ database.sync
68
+ end
69
+
70
+ # Clear all contents in the database.
71
+ # @abstract
72
+ # @return [void]
73
+ def clear
74
+ if namespace
75
+ keys.each do |key|
76
+ delete(key)
77
+ end
78
+ delete(KEYS_ADDRESS)
79
+ else
80
+ database.clear
81
+ end
82
+ end
83
+
84
+ # @abstract
85
+ # @return [Boolean]
86
+ def empty?
87
+ if namespace
88
+ keys.empty?
89
+ else
90
+ database.empty?
91
+ end
92
+ end
93
+
94
+ # @abstract
95
+ # @return [Boolean]
96
+ def persistable?
97
+ true
98
+ end
99
+
100
+ # @param data [Enumerator<(String, Object)>]
101
+ # @param bar [#increment, nil]
102
+ # @abstract
103
+ def batch_write(data, bar)
104
+ data.each do |(k, v)|
105
+ put(k, v, modify_keys: false)
106
+ bar&.increment
107
+ end
108
+ add_addresses(data.map(&:first).map(&:to_s).compact)
109
+ end
110
+
111
+ # @return [String]
112
+ def inspect
113
+ "#<#{self.class.name}: #{self.class.type}>"
114
+ end
115
+
116
+ private
117
+
118
+ def add_addresses(new_addresses)
119
+ return unless namespace
120
+ # not locked
121
+ database[build_key(KEYS_ADDRESS)] = (Set.new(keys) + new_addresses).to_a.to_json
122
+ end
123
+
124
+ # @param address [String, Symbol]
125
+ # @param [String]
126
+ def build_key(address)
127
+ if namespace
128
+ [namespace, address.to_s].join("/")
129
+ else
130
+ address.to_s
131
+ end
132
+ end
133
+
134
+ # @param key [String]
135
+ # @param [String, nil]
136
+ def remove_namespace_from_key(key)
137
+ if namespace
138
+ prefix = "#{namespace}/"
139
+ if key.start_with?(prefix)
140
+ key.delete_prefix(prefix)
141
+ else
142
+ nil
143
+ end
144
+ else
145
+ key
146
+ end
147
+ end
148
+ end
149
+ end
150
+ end
151
+ end
152
+ end
@@ -0,0 +1,56 @@
1
+ require 'gdbm'
2
+ require 'fileutils'
3
+ require 'yoda/store/adapters/base'
4
+
5
+ module Yoda
6
+ module Store
7
+ module Adapters
8
+ class GdbmAdapter < Base
9
+ require 'yoda/store/adapters/gdbm_adapter/namespace_accessor'
10
+
11
+ class << self
12
+ def for(path)
13
+ @pool ||= {}
14
+ @pool[path] || (@pool[path] = new(path))
15
+ end
16
+
17
+ def type
18
+ :gdbm
19
+ end
20
+ end
21
+
22
+ # @return [DBM]
23
+ attr_reader :database
24
+ private :database
25
+
26
+ extend Forwardable
27
+ delegate [:get, :batch_write, :put, :delete, :exists, :keys, :clear, :empty?, :persistable?] => :root
28
+
29
+ # @param path [String]
30
+ def initialize(path)
31
+ dirname = File.dirname(path)
32
+ FileUtils.mkdir_p(dirname) unless Dir.exist?(dirname)
33
+ @path = path
34
+ @database = GDBM.open(path, 0666, GDBM::NOLOCK)
35
+ end
36
+
37
+ def root
38
+ @root ||= NamespaceAccessor.new(database: database, namespace: nil)
39
+ end
40
+
41
+ # @param namespace [String, Symbol]
42
+ # @return [NamespaceAccessor]
43
+ def namespace_for(name)
44
+ @namespaces ||= {}
45
+ @namespaces[name.to_sym] ||= NamespaceAccessor.new(database: database, namespace: name)
46
+ end
47
+ alias :namespace :namespace_for
48
+
49
+ # @return [String]
50
+ def inspect
51
+ "#<#{self.class.name}: #{self.class.type}>"
52
+ end
53
+ end
54
+ end
55
+ end
56
+ end
@@ -0,0 +1,34 @@
1
+ require 'forwardable'
2
+
3
+ module Yoda
4
+ module Store
5
+ module Adapters
6
+ class LazyAdapter < Base
7
+ class << self
8
+ def for(path, type)
9
+ @pool ||= {}
10
+ @pool[path] || (@pool[path] = new(path))
11
+ end
12
+
13
+ def type
14
+ :lazy
15
+ end
16
+ end
17
+
18
+ extend Forwardable
19
+
20
+ delegate %i(get put delete exist keys stats sync clear batch_write) => :adapter
21
+
22
+ # @param path [String] represents the path to store db.
23
+ def initialize(path)
24
+ @path = path
25
+ end
26
+
27
+ # @return [Adapters::Base]
28
+ def adapter
29
+ @adapter ||= Adapters.for(path)
30
+ end
31
+ end
32
+ end
33
+ end
34
+ end
@@ -60,11 +60,21 @@ module Yoda
60
60
  db.member?(address.to_s)
61
61
  end
62
62
 
63
+ # @param name [String]
64
+ # @return [MemoryAdapter]
65
+ def namespace(name)
66
+ namespaces[name.to_s] ||= MemoryAdapter.new
67
+ end
68
+
63
69
  # @return [Array<String>]
64
70
  def keys
65
71
  db.keys
66
72
  end
67
73
 
74
+ def empty?
75
+ db.empty?
76
+ end
77
+
68
78
  def stats
69
79
  "No stats"
70
80
  end
@@ -75,6 +85,17 @@ module Yoda
75
85
 
76
86
  def sync
77
87
  end
88
+
89
+ def persistable?
90
+ false
91
+ end
92
+
93
+ private
94
+
95
+ # @return [Hash{String => MemoryAdapter}]
96
+ def namespaces
97
+ @namespaces ||= {}
98
+ end
78
99
  end
79
100
  end
80
101
  end
@@ -2,13 +2,21 @@ module Yoda
2
2
  module Store
3
3
  module Adapters
4
4
  require 'yoda/store/adapters/base'
5
- require 'yoda/store/adapters/leveldb_adapter'
6
- require 'yoda/store/adapters/lmdb_adapter'
5
+ require 'yoda/store/adapters/gdbm_adapter'
7
6
  require 'yoda/store/adapters/memory_adapter'
8
7
 
9
- # @return [Base.class]
8
+ # @return [Class<Base>]
10
9
  def self.default_adapter_class
11
- LmdbAdapter
10
+ GdbmAdapter
11
+ end
12
+
13
+ # @param path [String, nil]
14
+ def self.for(path)
15
+ if path
16
+ default_adapter_class.for(path + ".#{default_adapter_class.type}")
17
+ else
18
+ MemoryAdapter.new
19
+ end
12
20
  end
13
21
  end
14
22
  end
@@ -0,0 +1,43 @@
1
+ require 'yaml'
2
+
3
+ module Yoda
4
+ module Store
5
+ class Config
6
+ # @param yaml_str [String]
7
+ def self.from_yaml_data(yaml_str)
8
+ new(YAML.load(yaml_str, symbolize_names: true) || {})
9
+ end
10
+
11
+ # @param path [String]
12
+ def self.at(path)
13
+ new(YAML.load(File.read(path), symbolize_names: true) || {})
14
+ end
15
+
16
+ # @param contents [Hash]
17
+ def initialize(contents)
18
+ @contents = contents
19
+ Logger.trace("Config: #{contents}")
20
+ end
21
+
22
+ # @return [Array<String>]
23
+ def ignored_gems
24
+ @ignored_gems ||= (@contents[:gems] || []).select { |gem_data| gem_data[:ignore] }.map { |gem_data| gem_data[:name] }
25
+ end
26
+
27
+ # @return [Array<String>]
28
+ def rbs_signature_paths
29
+ @contents.dig(:rbs, :signature) || []
30
+ end
31
+
32
+ # @return [Array<String>]
33
+ def rbs_repository_paths
34
+ @contents.dig(:rbs, :repository) || []
35
+ end
36
+
37
+ # @return [Array<String>]
38
+ def rbs_libraries
39
+ @contents.dig(:rbs, :library) || []
40
+ end
41
+ end
42
+ end
43
+ end
@@ -0,0 +1,131 @@
1
+ module Yoda
2
+ module Store
3
+ class FileTree
4
+ # @return [String, nil]
5
+ attr_reader :base_path
6
+
7
+ # @param base_path [String, nil]
8
+ def initialize(base_path:)
9
+ @base_path = base_path ? File.absolute_path(base_path) : nil
10
+ end
11
+
12
+ def open_at(path)
13
+ normalized_path = normalize_path(path)
14
+ content = read_at(normalized_path)
15
+ notify_changed(path: normalized_path, content: content)
16
+ content
17
+ end
18
+
19
+ # @param path [String]
20
+ # @return [String, nil]
21
+ def read_at(path)
22
+ editing_content[normalize_path(path)] || read_real_at(path)
23
+ end
24
+
25
+ # @param path [String]
26
+ # @return [String, nil]
27
+ def read_real_at(path)
28
+ if File.file?(path)
29
+ File.read(path)
30
+ else
31
+ nil
32
+ end
33
+ end
34
+
35
+ # @param path [String]
36
+ # @param content [String]
37
+ def set_editing_at(path, content)
38
+ normalized_path = normalize_path(path)
39
+ editing_content[normalized_path] = content
40
+ notify_changed(path: normalized_path, content: content)
41
+ end
42
+
43
+ # @param path [String]
44
+ # @return [Boolean]
45
+ def editing_at?(path)
46
+ editing_content.has_key?(normalize_path(path))
47
+ end
48
+
49
+ # @param path [String]
50
+ # @return [void]
51
+ def clear_editing_at(path)
52
+ normalized_path = normalize_path(path)
53
+ editing_content.delete(normalized_path)
54
+ notify_changed(path: normalized_path, content: read_real_at(normalized_path))
55
+ end
56
+
57
+ # @param path [String]
58
+ # @return [void]
59
+ def mark_deleted(path)
60
+ normalized_path = normalize_path(path)
61
+ editing_content.delete(normalized_path)
62
+ notify_changed(path: normalized_path, content: nil)
63
+ end
64
+
65
+ # @param path [String]
66
+ # @return [String]
67
+ def normalize_path(path)
68
+ if base_path
69
+ File.expand_path(path, base_path)
70
+ else
71
+ File.absolute_path(path)
72
+ end
73
+ end
74
+
75
+ # @param path [String]
76
+ # @return [Boolean]
77
+ def subpath?(path)
78
+ if base_path
79
+ File.fnmatch(File.join(base_path, "**/*"), path)
80
+ else
81
+ false
82
+ end
83
+ end
84
+
85
+ # @yield [path:, content:]
86
+ # @yieldparam path [String]
87
+ # @yieldparam content [String, nil]
88
+ def on_change(&handler)
89
+ changed_events.listen(&handler)
90
+ end
91
+
92
+ private
93
+
94
+ # @param path [String]
95
+ # @param content [String, nil]
96
+ def notify_changed(path:, content:)
97
+ changed_events.notify(path: path, content: content)
98
+ end
99
+
100
+ # @return [Hash{String => String}]
101
+ def editing_content
102
+ @editing_content ||= Concurrent::Map.new
103
+ end
104
+
105
+ # @return [EventSet]
106
+ def changed_events
107
+ @changed_events ||= EventSet.new
108
+ end
109
+
110
+ class EventSet
111
+ # @return [Array<#call>]
112
+ attr_reader :listeners
113
+
114
+ def initialize
115
+ @listeners = []
116
+ end
117
+
118
+ # @param listener [#call]
119
+ def listen(&listener)
120
+ listeners << listener
121
+ end
122
+
123
+ def notify(**kwargs)
124
+ listeners.each do |listener|
125
+ listener.call(**kwargs)
126
+ end
127
+ end
128
+ end
129
+ end
130
+ end
131
+ end