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
@@ -4,8 +4,13 @@
4
4
  "description": "Static analytics tool for Ruby",
5
5
  "version": "0.0.1",
6
6
  "publisher": "tomoasleep",
7
+ "license": "MIT",
8
+ "repository": {
9
+ "type": "git",
10
+ "url": "https://github.com/tomoasleep/yoda"
11
+ },
7
12
  "engines": {
8
- "vscode": "^1.23.0"
13
+ "vscode": "^1.52.0"
9
14
  },
10
15
  "categories": [
11
16
  "Other"
@@ -13,30 +18,40 @@
13
18
  "activationEvents": [
14
19
  "onLanguage:ruby"
15
20
  ],
16
- "main": "./out/extension",
21
+ "main": "./out/extension.js",
17
22
  "contributes": {
18
- "commands": [
19
- {
20
- "command": "extension.sayHello",
21
- "title": "Hello World"
23
+ "configuration": {
24
+ "title": "Yoda",
25
+ "properties": {
26
+ "yoda.path": {
27
+ "type": [
28
+ "string",
29
+ "null"
30
+ ],
31
+ "default": null,
32
+ "description": "Specifies the path of yoda."
33
+ }
22
34
  }
23
- ]
35
+ }
24
36
  },
25
37
  "scripts": {
26
38
  "vscode:prepublish": "npm run compile",
27
39
  "compile": "tsc -p ./",
28
40
  "watch": "tsc -watch -p ./",
29
- "postinstall": "node ./node_modules/vscode/bin/install",
30
- "update-vscode": "node ./node_modules/vscode/bin/install",
31
- "test": "npm run compile && node ./node_modules/vscode/bin/test"
41
+ "test": "npm run compile && node ./out/test/runTest.js",
42
+ "package": "vsce package"
32
43
  },
33
44
  "dependencies": {
34
- "vscode": "^1.1.18",
35
- "vscode-languageclient": "^4.1.4"
45
+ "vscode-languageclient": "^7.0"
36
46
  },
37
47
  "devDependencies": {
38
- "@types/mocha": "^5.2.0",
39
- "@types/node": "^8.0.0",
40
- "typescript": "^2.9.2"
48
+ "@types/mocha": "^5.2.6",
49
+ "@types/node": "^8.10.66",
50
+ "@types/vscode": "^1.52.0",
51
+ "glob": "^7.1.4",
52
+ "mocha": "^9.1.3",
53
+ "typescript": "^4",
54
+ "vsce": "^2.6.0",
55
+ "vscode-test": "^1.5"
41
56
  }
42
57
  }
@@ -0,0 +1,13 @@
1
+ import { workspace } from 'vscode'
2
+
3
+ export function calcExecutionConfiguration() {
4
+ const yodaPathEnv = process.env.YODA_EXECUTABLE_PATH
5
+ const yodaPathConfiguration = workspace.getConfiguration("yoda").get("path") as (string | null);
6
+ const command = yodaPathEnv || yodaPathConfiguration || 'yoda'
7
+
8
+ return { command }
9
+ }
10
+
11
+ export function getTraceConfiguration (): string | null {
12
+ return workspace.getConfiguration("yoda").get("trace.server") as (string | null);
13
+ }
@@ -1,42 +1,26 @@
1
- 'use strict';
1
+ import { ExtensionContext, Disposable } from 'vscode'
2
+ import { isLanguageServerInstalled, promptForInstallTool } from './install-tools'
3
+ import { configureLanguageServer } from './language-server'
2
4
 
3
- import * as path from 'path';
4
-
5
- // The module 'vscode' contains the VS Code extensibility API
6
- // Import the module and reference it with the alias vscode in your code below
7
- import * as vscode from 'vscode';
8
- import { LanguageClient, LanguageClientOptions, ServerOptions, TransportKind } from 'vscode-languageclient';
9
- import { worker } from 'cluster';
10
- import { workspace } from 'vscode';
5
+ let disposable: Disposable
11
6
 
12
7
  // this method is called when your extension is activated
13
8
  // your extension is activated the very first time the command is executed
14
- export function activate(context: vscode.ExtensionContext) {
9
+ export async function activate(context: ExtensionContext) {
15
10
  // Use the console to output diagnostic information (console.log) and errors (console.error)
16
11
  // This line of code will only be executed once when your extension is activated
17
- console.log('Congratulations, your extension "yoda" is now active!');
18
-
19
- let execOptions = {
20
- command: 'yoda',
21
- args: ['server'],
22
- }
12
+ // console.log('Congratulations, your extension "yoda" is now active!');
23
13
 
24
- let serverOptions : ServerOptions = {
25
- run: execOptions,
26
- debug: execOptions,
14
+ if (!isLanguageServerInstalled()) {
15
+ await promptForInstallTool()
27
16
  }
28
17
 
29
- let clientOptions : LanguageClientOptions = {
30
- documentSelector: [{ scheme: 'file', language: 'ruby' }],
31
- synchronize: {
32
- configurationSection: 'yoda',
33
- fileEvents: workspace.createFileSystemWatcher('**/.rb'),
34
- }
35
- }
18
+ const languageServer = configureLanguageServer()
36
19
 
37
- let disposable = new LanguageClient('yoda', 'Yoda', serverOptions, clientOptions).start();
20
+ disposable = languageServer.start()
38
21
  }
39
22
 
40
23
  // this method is called when your extension is deactivated
41
24
  export function deactivate() {
25
+ disposable?.dispose()
42
26
  }
@@ -0,0 +1,69 @@
1
+ import * as child_process from 'child_process'
2
+
3
+ import { window } from 'vscode'
4
+ import { calcExecutionConfiguration, getTraceConfiguration } from './config'
5
+ import { outputChannel } from './status'
6
+ import { promisify } from 'util'
7
+
8
+ function execCommand(command: string, onMessage: (stdout: string | null, stderr: string | null) => void, callback: (error: Error) => void) {
9
+ const process = child_process.exec(command, callback)
10
+ process.stdout.on('data', (data) => onMessage(data.toString(), null))
11
+ process.stderr.on('data', (data) => onMessage(null, data.toString()))
12
+ }
13
+
14
+ const asyncExecCommand = promisify(execCommand)
15
+
16
+ export function isLanguageServerInstalled(): boolean {
17
+ const { command } = calcExecutionConfiguration()
18
+ try {
19
+ child_process.execSync(command, { stdio: 'ignore' });
20
+ return true
21
+ } catch (e) {
22
+ return false
23
+ }
24
+ }
25
+
26
+ export async function promptForInstallTool() {
27
+ const choises = ['Install']
28
+ const selected = await window.showInformationMessage('yoda command is not available. Please install.', ...choises)
29
+ switch (selected) {
30
+ case 'Install':
31
+ await installTool()
32
+ break;
33
+ default:
34
+ break;
35
+ }
36
+ }
37
+
38
+ async function installTool() {
39
+ outputChannel.show()
40
+ outputChannel.clear()
41
+
42
+ outputChannel.appendLine('Installing yoda...')
43
+
44
+ try {
45
+ child_process.execSync("gem list --installed --exact specific_install")
46
+ } catch (e) {
47
+ outputChannel.appendLine('gem install specific_install')
48
+ await asyncExecCommand("gem install specific_install", (stdout, stderr) => {
49
+ if (stdout) {
50
+ outputChannel.append(stdout)
51
+ }
52
+ if (stderr) {
53
+ outputChannel.append(stderr)
54
+ }
55
+ })
56
+ outputChannel.appendLine('')
57
+ }
58
+
59
+ outputChannel.appendLine('gem specific_install tomoasleep/yoda')
60
+ await asyncExecCommand("gem specific_install tomoasleep/yoda", (stdout, stderr) => {
61
+ if (stdout) {
62
+ outputChannel.append(stdout)
63
+ }
64
+ if (stderr) {
65
+ outputChannel.append(stderr)
66
+ }
67
+ })
68
+ outputChannel.appendLine('yoda is installed.')
69
+ }
@@ -0,0 +1,54 @@
1
+ import { workspace, OutputChannel, window } from 'vscode'
2
+ import { LanguageClient, LanguageClientOptions, ServerOptions } from 'vscode-languageclient/node'
3
+ import { calcExecutionConfiguration, getTraceConfiguration } from './config'
4
+ import { outputChannel } from './status'
5
+
6
+ export function configureLanguageServer(): LanguageClient {
7
+ const { command } = calcExecutionConfiguration()
8
+ const yodaTraceConfiguration = getTraceConfiguration()
9
+
10
+ const isDebug = !!(process.env.YODA_DEBUG?.length)
11
+ const isTrace = isDebug || (yodaTraceConfiguration == "verbose")
12
+
13
+ console.log(`Use yoda at ${command}`)
14
+
15
+ const logLevelOption = isTrace ? '--log-level=trace' : '--log-level=info'
16
+ const serverOptions : ServerOptions = {
17
+ run: { command, args: ['server', logLevelOption] },
18
+ debug: { command, args: ['server', logLevelOption] },
19
+ }
20
+
21
+ const clientOptions : LanguageClientOptions = {
22
+ documentSelector: [{ scheme: 'file', language: 'ruby' }],
23
+ synchronize: {
24
+ configurationSection: 'yoda',
25
+ fileEvents: workspace.createFileSystemWatcher('**/.rb'),
26
+ },
27
+ }
28
+
29
+ if (isDebug) {
30
+ const logOutputChannel: OutputChannel = {
31
+ name: 'log',
32
+ append(value: string) {
33
+ outputChannel.append(value);
34
+ console.log(value);
35
+ },
36
+ appendLine(value: string) {
37
+ outputChannel.appendLine(value);
38
+ console.log(value);
39
+ },
40
+ clear() { outputChannel.clear() },
41
+ show() { outputChannel.show() },
42
+ hide() { outputChannel.hide() },
43
+ dispose() { outputChannel.dispose() }
44
+ };
45
+
46
+ clientOptions.outputChannel = logOutputChannel
47
+ clientOptions.traceOutputChannel = logOutputChannel
48
+ } else {
49
+ clientOptions.outputChannel = outputChannel
50
+ }
51
+
52
+ return new LanguageClient('yoda', 'Yoda', serverOptions, clientOptions);
53
+ }
54
+
@@ -0,0 +1,3 @@
1
+ import { window } from 'vscode'
2
+
3
+ export const outputChannel = window.createOutputChannel('Yoda')
@@ -0,0 +1,30 @@
1
+ import * as path from 'path';
2
+
3
+ import { runTests } from 'vscode-test';
4
+
5
+ async function main() {
6
+ try {
7
+ const packageRootPath = path.resolve(__dirname, '../../');
8
+
9
+ // The folder containing the Extension Manifest package.json
10
+ // Passed to `--extensionDevelopmentPath`
11
+ const extensionDevelopmentPath = packageRootPath;
12
+
13
+ // The path to test runner
14
+ // Passed to --extensionTestsPath
15
+ const extensionTestsPath = path.resolve(__dirname, './suite');
16
+
17
+ const extensionTestsEnv = {
18
+ "YODA_EXECUTABLE_PATH": path.resolve(packageRootPath, '../../exe/yoda'),
19
+ "YODA_DEBUG": "true",
20
+ }
21
+
22
+ // Download VS Code, unzip it and run the integration test
23
+ await runTests({ extensionDevelopmentPath, extensionTestsPath, extensionTestsEnv });
24
+ } catch (err) {
25
+ console.error('Failed to run tests');
26
+ process.exit(1);
27
+ }
28
+ }
29
+
30
+ main();
@@ -1,6 +1,6 @@
1
1
  import * as vscode from 'vscode';
2
2
  import * as assert from 'assert';
3
- import { getDocUri, activate } from './helper';
3
+ import { getDocUri, activate } from '../helper';
4
4
 
5
5
  describe('Should do completion', () => {
6
6
  const docUri = getDocUri('completion.rb');
@@ -9,6 +9,7 @@ describe('Should do completion', () => {
9
9
  await testCompletion(docUri, new vscode.Position(0, 2), {
10
10
  items: [
11
11
  { label: 'Object', kind: vscode.CompletionItemKind.Class },
12
+ { label: 'ObjectSpace', kind: vscode.CompletionItemKind.Module },
12
13
  ]
13
14
  });
14
15
  })
@@ -0,0 +1,43 @@
1
+ import * as vscode from 'vscode';
2
+ import * as assert from 'assert';
3
+ import { getDocUri, activate } from '../helper';
4
+
5
+ describe('Should provide hover', () => {
6
+ const docUri = getDocUri('completion.rb');
7
+
8
+ it('show hover', async () => {
9
+ await testCompletion(docUri, new vscode.Position(0, 2), {
10
+ contents: [
11
+ {"language":"ruby","value":"Object # Object.module"},
12
+ "**Object.class**\n\n\n",
13
+ ],
14
+ range: new vscode.Range(
15
+ new vscode.Position(0, 0),
16
+ new vscode.Position(0, 6),
17
+ ),
18
+ });
19
+ })
20
+
21
+
22
+ });
23
+
24
+ async function testCompletion(
25
+ docUri: vscode.Uri,
26
+ position: vscode.Position,
27
+ expectedHover: vscode.Hover
28
+ ) {
29
+ await activate(docUri);
30
+
31
+ // Executing the command `vscode.executeCompletionItemProvider` to simulate triggering completion
32
+ // See: https://code.visualstudio.com/api/references/commands
33
+ const [actualHover] = await vscode.commands.executeCommand<vscode.Hover[]>(
34
+ 'vscode.executeHoverProvider',
35
+ docUri,
36
+ position
37
+ );
38
+
39
+ // assert.equal(actualHover.range, expectedHover.range);
40
+ expectedHover.contents.forEach((expectedItem, i) => {
41
+ assert.equal(actualHover.contents[i], expectedItem);
42
+ });
43
+ }
@@ -0,0 +1,27 @@
1
+ import * as path from 'path';
2
+ import * as Mocha from 'mocha';
3
+ import * as glob from 'glob';
4
+
5
+
6
+ export function run(testsRoot: string, callback: (error: any, failures?: number) => void): void {
7
+ const mocha = new Mocha({
8
+ ui: 'bdd',
9
+ timeout: 600000,
10
+ });
11
+
12
+ mocha.useColors(true);
13
+
14
+ glob('**/**.test.js', { cwd: testsRoot }, (error, files) => {
15
+ if (error) {
16
+ return callback(error);
17
+ }
18
+
19
+ files.forEach(file => mocha.addFile(path.resolve(testsRoot, file)));
20
+
21
+ try {
22
+ mocha.run(failures => callback(null, failures))
23
+ } catch (error) {
24
+ callback(error)
25
+ }
26
+ });
27
+ }
@@ -9,8 +9,11 @@
9
9
  "sourceMap": true,
10
10
  "rootDir": "src"
11
11
  },
12
+ "include": [
13
+ "src/**/*"
14
+ ],
12
15
  "exclude": [
13
16
  "node_modules",
14
17
  ".vscode-test"
15
18
  ]
16
- }
19
+ }
data/exe/yoda CHANGED
@@ -5,4 +5,4 @@ if Dir.exist?(File.join(__dir__, "..", ".git"))
5
5
  end
6
6
 
7
7
  require 'yoda'
8
- Yoda::Commands::Top.start(ARGV)
8
+ Yoda::Cli::Top.start(ARGV)
@@ -0,0 +1,10 @@
1
+ module Yoda
2
+ module AST
3
+ class ArrayNode < Node
4
+ # @return [Array<Vnode>]
5
+ def contents
6
+ children
7
+ end
8
+ end
9
+ end
10
+ end
@@ -0,0 +1,15 @@
1
+ module Yoda
2
+ module AST
3
+ class AssignmentNode < Node
4
+ # @return [NameVnode]
5
+ def assignee
6
+ children[0]
7
+ end
8
+
9
+ # @return [Node]
10
+ def content
11
+ children[1]
12
+ end
13
+ end
14
+ end
15
+ end
@@ -0,0 +1,20 @@
1
+ module Yoda
2
+ module AST
3
+ class BlockCallNode < Node
4
+ # @return [SendNode]
5
+ def send_clause
6
+ children[0]
7
+ end
8
+
9
+ # @return [ParametersNode]
10
+ def parameters
11
+ children[1]
12
+ end
13
+
14
+ # @return [Vnode]
15
+ def body
16
+ children[2]
17
+ end
18
+ end
19
+ end
20
+ end
@@ -0,0 +1,10 @@
1
+ module Yoda
2
+ module AST
3
+ class BlockNode < Node
4
+ # @return [Node]
5
+ def content
6
+ children[0]
7
+ end
8
+ end
9
+ end
10
+ end
@@ -0,0 +1,20 @@
1
+ module Yoda
2
+ module AST
3
+ class CaseNode < Node
4
+ # @return [Node]
5
+ def target
6
+ children[0]
7
+ end
8
+
9
+ # @return [Array<Node>]
10
+ def when_clauses
11
+ children.slice(1..-2) || []
12
+ end
13
+
14
+ # @return [Node]
15
+ def else_clause
16
+ children.last
17
+ end
18
+ end
19
+ end
20
+ end
@@ -0,0 +1,20 @@
1
+ module Yoda
2
+ module AST
3
+ class CenterOperatorNode < Node
4
+ # @return [Symbol]
5
+ def operator
6
+ type
7
+ end
8
+
9
+ # @return [Node]
10
+ def left_content
11
+ children[0]
12
+ end
13
+
14
+ # @return [Node]
15
+ def right_content
16
+ children[1]
17
+ end
18
+ end
19
+ end
20
+ end
@@ -0,0 +1,22 @@
1
+ module Yoda
2
+ module AST
3
+ class ClassNode < Node
4
+ include Namespace
5
+
6
+ # @return [ConstantNode]
7
+ def receiver
8
+ children[0]
9
+ end
10
+
11
+ # @return [Vnode]
12
+ def super_class
13
+ children[1]
14
+ end
15
+
16
+ # @return [Vnode]
17
+ def body
18
+ children[2]
19
+ end
20
+ end
21
+ end
22
+ end
@@ -0,0 +1,12 @@
1
+ require 'yoda/ast/comment_block/range_calculation'
2
+
3
+ module Yoda
4
+ module AST
5
+ class CommentBlock
6
+ # @abstract
7
+ class BasePart
8
+ include RangeCalculation
9
+ end
10
+ end
11
+ end
12
+ end
@@ -0,0 +1,58 @@
1
+ module Yoda
2
+ module AST
3
+ class CommentBlock
4
+ # @abstract
5
+ module RangeCalculation
6
+ # @!method comment_block
7
+ # @abstract
8
+ # @return [CommentBlock]
9
+
10
+ # @abstract
11
+ # @return [Integer]
12
+ def begin_index
13
+ fail NotImplementedError
14
+ end
15
+
16
+ # @abstract
17
+ # @return [Integer]
18
+ def end_index
19
+ fail NotImplementedError
20
+ end
21
+
22
+ # @return [Parsing::Location, nil]
23
+ def begin_location
24
+ @begin_location ||= comment_block.location_from_index(begin_index)
25
+ end
26
+
27
+ # @return [Parsing::Location, nil]
28
+ def end_location
29
+ @end_location ||= comment_block.location_from_index(end_index)
30
+ end
31
+
32
+ # @return [Parsing::Range, nil]
33
+ def range
34
+ if begin_location && end_location
35
+ Parsing::Range.new(begin_location, end_location)
36
+ else
37
+ nil
38
+ end
39
+ end
40
+
41
+ # @return [String, nil]
42
+ def text
43
+ if begin_location && end_location
44
+ comment_block.text.slice(Range.new(begin_index, end_index))
45
+ else
46
+ nil
47
+ end
48
+ end
49
+
50
+ # @param location [Parsing::Location]
51
+ # @return [Boolean]
52
+ def include?(location)
53
+ range&.include?(location)
54
+ end
55
+ end
56
+ end
57
+ end
58
+ end