typeprof 0.15.3 → 0.20.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (366) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/main.yml +1 -1
  3. data/Gemfile.lock +5 -5
  4. data/doc/ide.md +81 -0
  5. data/doc/typeprof-for-ide-log.png +0 -0
  6. data/doc/typeprof-for-ide.png +0 -0
  7. data/exe/typeprof +5 -1
  8. data/lib/typeprof/analyzer.rb +235 -56
  9. data/lib/typeprof/arguments.rb +1 -0
  10. data/lib/typeprof/builtin.rb +23 -23
  11. data/lib/typeprof/cli.rb +23 -5
  12. data/lib/typeprof/code-range.rb +177 -0
  13. data/lib/typeprof/config.rb +41 -20
  14. data/lib/typeprof/container-type.rb +3 -0
  15. data/lib/typeprof/export.rb +191 -15
  16. data/lib/typeprof/import.rb +33 -9
  17. data/lib/typeprof/insns-def.rb +1 -0
  18. data/lib/typeprof/iseq.rb +224 -17
  19. data/lib/typeprof/lsp.rb +884 -0
  20. data/lib/typeprof/method.rb +15 -11
  21. data/lib/typeprof/type.rb +50 -42
  22. data/lib/typeprof/utils.rb +18 -1
  23. data/lib/typeprof/version.rb +1 -1
  24. data/lib/typeprof.rb +3 -5
  25. data/typeprof-lsp +3 -0
  26. data/typeprof.gemspec +2 -2
  27. data/vscode/.gitignore +5 -0
  28. data/vscode/.vscode/launch.json +16 -0
  29. data/vscode/.vscodeignore +7 -0
  30. data/vscode/README.md +22 -0
  31. data/vscode/development.md +31 -0
  32. data/vscode/package-lock.json +3249 -0
  33. data/vscode/package.json +71 -0
  34. data/vscode/sandbox/test.rb +24 -0
  35. data/vscode/src/extension.ts +299 -0
  36. data/vscode/tsconfig.json +15 -0
  37. metadata +21 -334
  38. data/smoke/alias.rb +0 -31
  39. data/smoke/alias2.rb +0 -21
  40. data/smoke/any-cbase.rb +0 -5
  41. data/smoke/any1.rb +0 -16
  42. data/smoke/any2.rb +0 -18
  43. data/smoke/arguments.rb +0 -17
  44. data/smoke/arguments2.rb +0 -56
  45. data/smoke/array-each.rb +0 -15
  46. data/smoke/array-each2.rb +0 -16
  47. data/smoke/array-each3.rb +0 -13
  48. data/smoke/array-ltlt.rb +0 -14
  49. data/smoke/array-ltlt2.rb +0 -17
  50. data/smoke/array-map.rb +0 -12
  51. data/smoke/array-map2.rb +0 -11
  52. data/smoke/array-map3.rb +0 -23
  53. data/smoke/array-mul.rb +0 -18
  54. data/smoke/array-plus1.rb +0 -11
  55. data/smoke/array-plus2.rb +0 -16
  56. data/smoke/array-pop.rb +0 -12
  57. data/smoke/array-range-aref.rb +0 -71
  58. data/smoke/array-replace.rb +0 -13
  59. data/smoke/array-s-aref.rb +0 -12
  60. data/smoke/array1.rb +0 -27
  61. data/smoke/array10.rb +0 -15
  62. data/smoke/array11.rb +0 -14
  63. data/smoke/array12.rb +0 -25
  64. data/smoke/array13.rb +0 -31
  65. data/smoke/array14.rb +0 -14
  66. data/smoke/array15.rb +0 -16
  67. data/smoke/array2.rb +0 -28
  68. data/smoke/array3.rb +0 -26
  69. data/smoke/array4.rb +0 -15
  70. data/smoke/array5.rb +0 -14
  71. data/smoke/array6.rb +0 -17
  72. data/smoke/array7.rb +0 -14
  73. data/smoke/array8.rb +0 -13
  74. data/smoke/array9.rb +0 -13
  75. data/smoke/attr-module.rb +0 -24
  76. data/smoke/attr-vis.rb +0 -43
  77. data/smoke/attr-vis.rbs +0 -4
  78. data/smoke/attr.rb +0 -28
  79. data/smoke/autoload.rb +0 -14
  80. data/smoke/backtrace.rb +0 -33
  81. data/smoke/block-ambiguous.rb +0 -37
  82. data/smoke/block-args1-rest.rb +0 -64
  83. data/smoke/block-args1.rb +0 -60
  84. data/smoke/block-args2-rest.rb +0 -64
  85. data/smoke/block-args2.rb +0 -60
  86. data/smoke/block-args3-rest.rb +0 -75
  87. data/smoke/block-args3.rb +0 -71
  88. data/smoke/block-blockarg.rb +0 -28
  89. data/smoke/block-kwarg.rb +0 -53
  90. data/smoke/block1.rb +0 -23
  91. data/smoke/block10.rb +0 -15
  92. data/smoke/block11.rb +0 -40
  93. data/smoke/block12.rb +0 -23
  94. data/smoke/block13.rb +0 -9
  95. data/smoke/block13.rbs +0 -3
  96. data/smoke/block14.rb +0 -18
  97. data/smoke/block2.rb +0 -15
  98. data/smoke/block3.rb +0 -38
  99. data/smoke/block4.rb +0 -19
  100. data/smoke/block5.rb +0 -21
  101. data/smoke/block6.rb +0 -21
  102. data/smoke/block7.rb +0 -19
  103. data/smoke/block8.rb +0 -28
  104. data/smoke/block9.rb +0 -13
  105. data/smoke/block_given.rb +0 -37
  106. data/smoke/blown.rb +0 -13
  107. data/smoke/break1.rb +0 -19
  108. data/smoke/break2.rb +0 -16
  109. data/smoke/break3.rb +0 -13
  110. data/smoke/break4.rb +0 -17
  111. data/smoke/case.rb +0 -17
  112. data/smoke/case2.rb +0 -18
  113. data/smoke/case3.rb +0 -17
  114. data/smoke/class-hierarchy.rb +0 -54
  115. data/smoke/class-hierarchy2.rb +0 -27
  116. data/smoke/class-new.rb +0 -15
  117. data/smoke/class.rb +0 -7
  118. data/smoke/class_eval.rb +0 -22
  119. data/smoke/class_instance_var.rb +0 -9
  120. data/smoke/class_method.rb +0 -25
  121. data/smoke/class_method2.rb +0 -21
  122. data/smoke/class_method3.rb +0 -29
  123. data/smoke/constant1.rb +0 -46
  124. data/smoke/constant2.rb +0 -36
  125. data/smoke/constant3.rb +0 -10
  126. data/smoke/constant4.rb +0 -12
  127. data/smoke/context-sensitive1.rb +0 -13
  128. data/smoke/cvar.rb +0 -31
  129. data/smoke/cvar2.rb +0 -17
  130. data/smoke/define_method.rb +0 -16
  131. data/smoke/define_method2.rb +0 -18
  132. data/smoke/define_method3.rb +0 -14
  133. data/smoke/define_method3.rbs +0 -3
  134. data/smoke/define_method4.rb +0 -15
  135. data/smoke/define_method4.rbs +0 -3
  136. data/smoke/define_method5.rb +0 -12
  137. data/smoke/define_method6.rb +0 -19
  138. data/smoke/define_method7.rb +0 -18
  139. data/smoke/demo.rb +0 -81
  140. data/smoke/demo1.rb +0 -17
  141. data/smoke/demo10.rb +0 -21
  142. data/smoke/demo11.rb +0 -12
  143. data/smoke/demo2.rb +0 -15
  144. data/smoke/demo3.rb +0 -17
  145. data/smoke/demo4.rb +0 -27
  146. data/smoke/demo5.rb +0 -16
  147. data/smoke/demo6.rb +0 -22
  148. data/smoke/demo7.rb +0 -15
  149. data/smoke/demo8.rb +0 -19
  150. data/smoke/demo9.rb +0 -18
  151. data/smoke/dummy-execution1.rb +0 -15
  152. data/smoke/dummy-execution2.rb +0 -16
  153. data/smoke/dummy_element.rb +0 -14
  154. data/smoke/ensure1.rb +0 -21
  155. data/smoke/enum_for.rb +0 -15
  156. data/smoke/enum_for2.rb +0 -17
  157. data/smoke/enumerator.rb +0 -16
  158. data/smoke/expandarray1.rb +0 -23
  159. data/smoke/expandarray2.rb +0 -24
  160. data/smoke/extended.rb +0 -38
  161. data/smoke/fib.rb +0 -28
  162. data/smoke/flip-flop.rb +0 -28
  163. data/smoke/flow1.rb +0 -17
  164. data/smoke/flow10.rb +0 -17
  165. data/smoke/flow11.rb +0 -17
  166. data/smoke/flow2.rb +0 -15
  167. data/smoke/flow3.rb +0 -15
  168. data/smoke/flow4.rb +0 -5
  169. data/smoke/flow5.rb +0 -20
  170. data/smoke/flow6.rb +0 -20
  171. data/smoke/flow7.rb +0 -21
  172. data/smoke/flow8.rb +0 -14
  173. data/smoke/flow9.rb +0 -12
  174. data/smoke/for.rb +0 -9
  175. data/smoke/freeze.rb +0 -12
  176. data/smoke/function.rb +0 -17
  177. data/smoke/gvar.rb +0 -14
  178. data/smoke/gvar2.rb +0 -15
  179. data/smoke/gvar2.rbs +0 -1
  180. data/smoke/hash-bot.rb +0 -12
  181. data/smoke/hash-fetch.rb +0 -28
  182. data/smoke/hash-merge-bang.rb +0 -12
  183. data/smoke/hash1.rb +0 -20
  184. data/smoke/hash2.rb +0 -13
  185. data/smoke/hash3.rb +0 -14
  186. data/smoke/hash4.rb +0 -11
  187. data/smoke/hash5.rb +0 -14
  188. data/smoke/huge_union.rb +0 -86
  189. data/smoke/identifier_keywords.rb +0 -17
  190. data/smoke/included.rb +0 -38
  191. data/smoke/inheritance.rb +0 -34
  192. data/smoke/inheritance2.rb +0 -35
  193. data/smoke/inherited.rb +0 -26
  194. data/smoke/initialize.rb +0 -28
  195. data/smoke/instance_eval.rb +0 -18
  196. data/smoke/instance_eval2.rb +0 -10
  197. data/smoke/instance_eval3.rb +0 -25
  198. data/smoke/instance_eval4.rb +0 -12
  199. data/smoke/int_times.rb +0 -15
  200. data/smoke/integer.rb +0 -11
  201. data/smoke/ivar.rb +0 -31
  202. data/smoke/ivar2.rb +0 -30
  203. data/smoke/ivar3.rb +0 -17
  204. data/smoke/ivar3.rbs +0 -3
  205. data/smoke/ivar4.rb +0 -21
  206. data/smoke/kernel-class.rb +0 -13
  207. data/smoke/keyword1.rb +0 -12
  208. data/smoke/keyword2.rb +0 -12
  209. data/smoke/keyword3.rb +0 -12
  210. data/smoke/keyword4.rb +0 -12
  211. data/smoke/keyword5.rb +0 -16
  212. data/smoke/kwrest.rb +0 -13
  213. data/smoke/kwrest.rbs +0 -3
  214. data/smoke/kwsplat1.rb +0 -43
  215. data/smoke/kwsplat2.rb +0 -13
  216. data/smoke/lit-complex.rb +0 -10
  217. data/smoke/lit-encoding.rb +0 -10
  218. data/smoke/manual-rbs.rb +0 -29
  219. data/smoke/manual-rbs.rbs +0 -3
  220. data/smoke/manual-rbs2.rb +0 -21
  221. data/smoke/manual-rbs2.rbs +0 -8
  222. data/smoke/manual-rbs3.rb +0 -13
  223. data/smoke/manual-rbs3.rbs +0 -3
  224. data/smoke/masgn1.rb +0 -14
  225. data/smoke/masgn2.rb +0 -18
  226. data/smoke/masgn3.rb +0 -13
  227. data/smoke/method_in_branch.rb +0 -23
  228. data/smoke/method_missing.rb +0 -29
  229. data/smoke/module1.rb +0 -29
  230. data/smoke/module2.rb +0 -28
  231. data/smoke/module3.rb +0 -33
  232. data/smoke/module4.rb +0 -35
  233. data/smoke/module5.rb +0 -17
  234. data/smoke/module6.rb +0 -40
  235. data/smoke/module_function1.rb +0 -29
  236. data/smoke/module_function2.rb +0 -29
  237. data/smoke/multiple-include.rb +0 -15
  238. data/smoke/multiple-superclass.rb +0 -28
  239. data/smoke/next1.rb +0 -21
  240. data/smoke/next2.rb +0 -17
  241. data/smoke/noname.rb +0 -9
  242. data/smoke/object-send1.rb +0 -23
  243. data/smoke/object-send2.rb +0 -10
  244. data/smoke/object-send3.rb +0 -18
  245. data/smoke/once.rb +0 -13
  246. data/smoke/optional1.rb +0 -14
  247. data/smoke/optional2.rb +0 -16
  248. data/smoke/optional3.rb +0 -11
  249. data/smoke/or_raise.rb +0 -18
  250. data/smoke/parameterizedd-self.rb +0 -20
  251. data/smoke/parameterizedd-self2.rb +0 -15
  252. data/smoke/pathname1.rb +0 -14
  253. data/smoke/pathname2.rb +0 -14
  254. data/smoke/pattern-match1.rb +0 -19
  255. data/smoke/pattern-match2.rb +0 -16
  256. data/smoke/prepend1.rb +0 -33
  257. data/smoke/prepend2.rb +0 -10
  258. data/smoke/prepend2.rbs +0 -9
  259. data/smoke/primitive_method.rb +0 -19
  260. data/smoke/printf.rb +0 -20
  261. data/smoke/proc.rb +0 -20
  262. data/smoke/proc2.rb +0 -17
  263. data/smoke/proc3.rb +0 -15
  264. data/smoke/proc4.rb +0 -12
  265. data/smoke/proc5.rb +0 -19
  266. data/smoke/proc6.rb +0 -13
  267. data/smoke/proc7.rb +0 -32
  268. data/smoke/public.rb +0 -38
  269. data/smoke/range.rb +0 -14
  270. data/smoke/rbs-alias.rb +0 -10
  271. data/smoke/rbs-alias.rbs +0 -4
  272. data/smoke/rbs-attr.rb +0 -27
  273. data/smoke/rbs-attr.rbs +0 -5
  274. data/smoke/rbs-attr2.rb +0 -11
  275. data/smoke/rbs-attr2.rbs +0 -3
  276. data/smoke/rbs-extend.rb +0 -10
  277. data/smoke/rbs-extend.rbs +0 -7
  278. data/smoke/rbs-interface.rb +0 -25
  279. data/smoke/rbs-interface.rbs +0 -12
  280. data/smoke/rbs-module.rb +0 -26
  281. data/smoke/rbs-module.rbs +0 -4
  282. data/smoke/rbs-opt-and-rest.rb +0 -10
  283. data/smoke/rbs-opt-and-rest.rbs +0 -3
  284. data/smoke/rbs-proc1.rb +0 -10
  285. data/smoke/rbs-proc1.rbs +0 -3
  286. data/smoke/rbs-proc2.rb +0 -21
  287. data/smoke/rbs-proc2.rbs +0 -3
  288. data/smoke/rbs-proc3.rb +0 -14
  289. data/smoke/rbs-proc3.rbs +0 -4
  290. data/smoke/rbs-record.rb +0 -18
  291. data/smoke/rbs-record.rbs +0 -4
  292. data/smoke/rbs-tyvar.rb +0 -19
  293. data/smoke/rbs-tyvar.rbs +0 -5
  294. data/smoke/rbs-tyvar2.rb +0 -21
  295. data/smoke/rbs-tyvar2.rbs +0 -9
  296. data/smoke/rbs-tyvar3.rb +0 -18
  297. data/smoke/rbs-tyvar3.rbs +0 -5
  298. data/smoke/rbs-tyvar4.rb +0 -37
  299. data/smoke/rbs-tyvar5.rb +0 -13
  300. data/smoke/rbs-tyvar5.rbs +0 -8
  301. data/smoke/rbs-tyvar6.rb +0 -18
  302. data/smoke/rbs-tyvar6.rbs +0 -12
  303. data/smoke/rbs-tyvar7.rb +0 -12
  304. data/smoke/rbs-tyvar7.rbs +0 -7
  305. data/smoke/rbs-vars.rb +0 -35
  306. data/smoke/rbs-vars.rbs +0 -7
  307. data/smoke/redo1.rb +0 -22
  308. data/smoke/redo2.rb +0 -23
  309. data/smoke/req-keyword.rb +0 -13
  310. data/smoke/require1.rb +0 -13
  311. data/smoke/require2.rb +0 -13
  312. data/smoke/rescue1.rb +0 -21
  313. data/smoke/rescue2.rb +0 -23
  314. data/smoke/rescue3.rb +0 -20
  315. data/smoke/rescue4.rb +0 -17
  316. data/smoke/respond_to.rb +0 -23
  317. data/smoke/rest-farg.rb +0 -11
  318. data/smoke/rest1.rb +0 -26
  319. data/smoke/rest2.rb +0 -31
  320. data/smoke/rest3.rb +0 -37
  321. data/smoke/rest4.rb +0 -19
  322. data/smoke/rest5.rb +0 -11
  323. data/smoke/rest6.rb +0 -12
  324. data/smoke/retry1.rb +0 -21
  325. data/smoke/return.rb +0 -14
  326. data/smoke/reveal.rb +0 -13
  327. data/smoke/simple.rb +0 -12
  328. data/smoke/singleton_class.rb +0 -8
  329. data/smoke/singleton_method.rb +0 -12
  330. data/smoke/step.rb +0 -18
  331. data/smoke/string-split.rb +0 -12
  332. data/smoke/struct-keyword_init.rb +0 -10
  333. data/smoke/struct.rb +0 -13
  334. data/smoke/struct2.rb +0 -25
  335. data/smoke/struct3.rb +0 -14
  336. data/smoke/struct4.rb +0 -7
  337. data/smoke/struct5.rb +0 -16
  338. data/smoke/struct6.rb +0 -15
  339. data/smoke/struct7.rb +0 -17
  340. data/smoke/stub-keyword.rb +0 -10
  341. data/smoke/super1.rb +0 -69
  342. data/smoke/super2.rb +0 -16
  343. data/smoke/super3.rb +0 -20
  344. data/smoke/super4.rb +0 -45
  345. data/smoke/super5.rb +0 -38
  346. data/smoke/svar1.rb +0 -13
  347. data/smoke/symbol-proc-attr.rb +0 -22
  348. data/smoke/symbol-proc-attr2.rb +0 -15
  349. data/smoke/symbol-proc-bot.rb +0 -13
  350. data/smoke/symbol-proc.rb +0 -25
  351. data/smoke/tap1.rb +0 -18
  352. data/smoke/toplevel.rb +0 -13
  353. data/smoke/two-map.rb +0 -18
  354. data/smoke/type_var.rb +0 -11
  355. data/smoke/typed_method.rb +0 -16
  356. data/smoke/uninitialize-var.rb +0 -13
  357. data/smoke/union-recv.rb +0 -35
  358. data/smoke/user-demo.rb +0 -15
  359. data/smoke/wrong-extend.rb +0 -27
  360. data/smoke/wrong-include.rb +0 -27
  361. data/smoke/wrong-include2.rb +0 -17
  362. data/smoke/wrong-rbs.rb +0 -15
  363. data/smoke/wrong-rbs.rbs +0 -7
  364. data/testbed/ao.rb +0 -297
  365. data/testbed/diff-lcs-entrypoint.rb +0 -4
  366. data/testbed/goodcheck-Gemfile.lock +0 -51
@@ -0,0 +1,71 @@
1
+ {
2
+ "name": "ruby-typeprof",
3
+ "displayName": "Ruby TypeProf",
4
+ "version": "0.20.1",
5
+ "publisher": "mame",
6
+ "author": {
7
+ "name": "Yusuke Endoh"
8
+ },
9
+ "repository": {
10
+ "type": "git",
11
+ "url": "https://github.com/ruby/typeprof/tree/master/vscode"
12
+ },
13
+ "license": "MIT",
14
+ "categories": [
15
+ "Programming Languages"
16
+ ],
17
+ "keywords": [
18
+ "Ruby",
19
+ "language server"
20
+ ],
21
+ "engines": {
22
+ "vscode": "^1.54.0"
23
+ },
24
+ "extensionKind": [
25
+ "workspace"
26
+ ],
27
+ "activationEvents": [
28
+ "onLanguage:ruby"
29
+ ],
30
+ "contributes": {
31
+ "commands": [
32
+ {
33
+ "command": "typeprof.restart",
34
+ "title": "Restart",
35
+ "category": "TypeProf"
36
+ }
37
+ ],
38
+ "configuration": [
39
+ {
40
+ "title": "Ruby TypeProf",
41
+ "properties": {
42
+ "typeprof.server.path": {
43
+ "type": [
44
+ "null",
45
+ "string"
46
+ ],
47
+ "default": null,
48
+ "description": "Path to typeprof executable. (e.g. /usr/local/bin/bundle)"
49
+ }
50
+ }
51
+ }
52
+ ]
53
+ },
54
+ "main": "./out/src/extension",
55
+ "scripts": {
56
+ "vscode:prepublish": "tsc -p ./",
57
+ "compile": "tsc -watch -p ./",
58
+ "postinstall": "node ./node_modules/vscode/bin/install",
59
+ "test": "node ./node_modules/vscode/bin/test",
60
+ "package": "vsce package"
61
+ },
62
+ "devDependencies": {
63
+ "@types/node": "^14.14.37",
64
+ "typescript": "^4.2.3",
65
+ "vsce": "^1.103.1",
66
+ "vscode": "^1.1.37"
67
+ },
68
+ "dependencies": {
69
+ "vscode-languageclient": "^7.0.0"
70
+ }
71
+ }
@@ -0,0 +1,24 @@
1
+ class C
2
+ def initialize
3
+ end
4
+
5
+ def get_foo
6
+ :Foo_foo
7
+ end
8
+
9
+ def get_bar
10
+ :Foo_bar
11
+ end
12
+ end
13
+
14
+ class D
15
+ def get_foo
16
+ :Foo2_foo
17
+ end
18
+ end
19
+
20
+ C.new.get_foo
21
+ C.new.get_bar
22
+
23
+ x = rand < 0.5 ? C.new : D.new
24
+ x.get_foo
@@ -0,0 +1,299 @@
1
+ "use strict";
2
+
3
+ import * as vscode from "vscode";
4
+ import {
5
+ LanguageClient,
6
+ LanguageClientOptions,
7
+ ServerOptions,
8
+ } from "vscode-languageclient/node";
9
+ import * as net from "net";
10
+ import * as child_process from "child_process";
11
+ import { existsSync } from "fs";
12
+
13
+ interface Invoking {
14
+ kind: "invoking";
15
+ workspaceFolder: vscode.WorkspaceFolder;
16
+ process: child_process.ChildProcessWithoutNullStreams;
17
+ }
18
+ interface Running {
19
+ kind: "running";
20
+ workspaceFolder: vscode.WorkspaceFolder;
21
+ client: LanguageClient;
22
+ }
23
+ type State = Invoking | Running;
24
+
25
+ const CONFIGURATION_ROOT_SECTION = "typeprof";
26
+
27
+ function addToggleButton(context: vscode.ExtensionContext) {
28
+ let statusBarItem = vscode.window.createStatusBarItem(vscode.StatusBarAlignment.Right, 100);
29
+ statusBarItem.command = "typeprof.toggle";
30
+ statusBarItem.text = "TypeProf $(eye)";
31
+ statusBarItem.show();
32
+
33
+ const disposable = vscode.commands.registerCommand("typeprof.toggle",
34
+ (arg0: any, arg1: any, arg2: any, arg3: any) => {
35
+ if (statusBarItem.text == "TypeProf $(eye)") {
36
+ statusBarItem.text = "TypeProf $(eye-closed)";
37
+ vscode.commands.executeCommand("typeprof.disableSignature");
38
+ }
39
+ else {
40
+ statusBarItem.text = "TypeProf $(eye)";
41
+ vscode.commands.executeCommand("typeprof.enableSignature");
42
+ }
43
+ }
44
+ );
45
+
46
+ context.subscriptions.push(disposable);
47
+ }
48
+
49
+ function addJumpToRBS(context: vscode.ExtensionContext) {
50
+ const disposable = vscode.commands.registerCommand("typeprof.jumpToRBS",
51
+ (arg0: any, arg1: any, arg2: any, arg3: any) => {
52
+ const uri0 = vscode.Uri.parse(arg0);
53
+ const pos0 = new vscode.Position(arg1.line, arg1.character);
54
+ const uri1 = vscode.Uri.parse(arg2);
55
+ const pos1 = new vscode.Position(arg3.start.line, arg3.start.character);
56
+ const pos2 = new vscode.Position(arg3.end.line, arg3.end.character);
57
+ const range = new vscode.Range(pos1, pos2);
58
+ const loc = new vscode.Location(uri1, range);
59
+ vscode.commands.executeCommand("editor.action.peekLocations", uri0, pos0, [loc], "peek");
60
+ }
61
+ );
62
+
63
+ context.subscriptions.push(disposable);
64
+ }
65
+
66
+ function executeTypeProf(folder: vscode.WorkspaceFolder, arg: String): child_process.ChildProcessWithoutNullStreams {
67
+ const configuration = vscode.workspace.getConfiguration(CONFIGURATION_ROOT_SECTION);
68
+ const customServerPath = configuration.get<string | null>("server.path");
69
+ const cwd = folder.uri.fsPath;
70
+
71
+ let cmd: string;
72
+ if (existsSync(`${cwd}/bin/typeprof`)) {
73
+ cmd = "./bin/typeprof";
74
+ }
75
+ else if (customServerPath) {
76
+ cmd = customServerPath;
77
+ }
78
+ else if (existsSync(`${cwd}/Gemfile`)) {
79
+ cmd = "bundle exec typeprof";
80
+ }
81
+ else {
82
+ cmd = "typeprof";
83
+ }
84
+ cmd = cmd + " " + arg;
85
+
86
+ const shell = process.env.SHELL;
87
+ let typeprof: child_process.ChildProcessWithoutNullStreams;
88
+ if (shell && (shell.endsWith("bash") || shell.endsWith("zsh") || shell.endsWith("fish"))) {
89
+ typeprof = child_process.spawn(shell, ["-c", "-l", cmd], { cwd });
90
+ }
91
+ else {
92
+ typeprof = child_process.spawn(cmd, { cwd });
93
+ }
94
+
95
+ return typeprof;
96
+ }
97
+
98
+ function getTypeProfVersion(folder: vscode.WorkspaceFolder, outputChannel: vscode.OutputChannel, callback: (version: string) => void): child_process.ChildProcessWithoutNullStreams {
99
+ const typeprof = executeTypeProf(folder, "--version");
100
+ let output = "";
101
+
102
+ const log = (msg: string) => {
103
+ outputChannel.appendLine("[vscode] " + msg);
104
+ console.info(msg);
105
+ };
106
+
107
+ typeprof.stdout?.on("data", out => { output += out; });
108
+ typeprof.stderr?.on("data", (out: Buffer) => {
109
+ const str = ("" + out).trim();
110
+ for (const line of str.split("\n")) {
111
+ log("stderr: " + line);
112
+ }
113
+ });
114
+ typeprof.on("error", e => {
115
+ log(`typeprof is not supported for this folder: ${folder}`);
116
+ log(`because: ${e}`);
117
+ });
118
+ typeprof.on("exit", (code) => {
119
+ if (code == 0) {
120
+ const str = output.trim();
121
+ log(`typeprof version: ${str}`)
122
+ const version = /^typeprof (\d+).(\d+).(\d+)$/.exec(str);
123
+ if (version) {
124
+ const major = Number(version[1]);
125
+ const minor = Number(version[2]);
126
+ const _teeny = Number(version[3]);
127
+ if (major >= 1 || (major == 0 && minor >= 20)) {
128
+ callback(str);
129
+ }
130
+ else {
131
+ log(`typeprof version ${str} is too old; please use 0.20.0 or later for IDE feature`);
132
+ }
133
+ }
134
+ else {
135
+ log(`typeprof --version showed unknown message`);
136
+ }
137
+ }
138
+ else {
139
+ log(`failed to invoke typeprof: error code ${code}`);
140
+ }
141
+ typeprof.kill()
142
+ });
143
+ return typeprof;
144
+ }
145
+
146
+ function getTypeProfStream(folder: vscode.WorkspaceFolder, error: (msg: string) => void):
147
+ Promise<{ host: string; port: number; pid: number; stop: () => void }>
148
+ {
149
+ return new Promise((resolve, reject) => {
150
+ const typeprof = executeTypeProf(folder, "--lsp");
151
+
152
+ let buffer = "";
153
+ typeprof.stdout.on("data", (data) => {
154
+ buffer += data;
155
+ try {
156
+ const json = JSON.parse(data);
157
+ json["stop"] = () => typeprof.kill("SIGINT");
158
+ resolve(json);
159
+ } catch (err) {}
160
+ });
161
+
162
+ let err = "";
163
+ typeprof.stderr.on("data", (data) => {
164
+ err += data;
165
+ while (true) {
166
+ const i = err.indexOf("\n");
167
+ if (i < 0) break;
168
+ error(err.slice(0, i));
169
+ err = err.slice(i + 1);
170
+ }
171
+ });
172
+
173
+ typeprof.on("exit", (code) => reject(`error code ${code}`));
174
+ });
175
+ }
176
+
177
+ function invokeTypeProf(folder: vscode.WorkspaceFolder, outputChannel: vscode.OutputChannel): LanguageClient {
178
+ let client: LanguageClient;
179
+
180
+ const reportError = (msg: string) => client.info(msg);
181
+
182
+ const serverOptions: ServerOptions = async () => {
183
+ const { host, port, stop } = await getTypeProfStream(folder, reportError);
184
+ const socket: net.Socket = net.createConnection(port, host);
185
+ socket.on("close", (_had_error) => stop());
186
+
187
+ return {
188
+ reader: socket,
189
+ writer: socket,
190
+ };
191
+ };
192
+
193
+ const clientOptions: LanguageClientOptions = {
194
+ documentSelector: [
195
+ { scheme: "file", language: "ruby" },
196
+ { scheme: "file", language: "rbs" },
197
+ ],
198
+ outputChannel,
199
+ synchronize: {
200
+ fileEvents:
201
+ vscode.workspace.createFileSystemWatcher("{**/*.rb,**/*.rbs}"),
202
+ },
203
+ };
204
+
205
+ client = new LanguageClient("Ruby TypeProf", serverOptions, clientOptions);
206
+
207
+ return client;
208
+ }
209
+
210
+ const clientSessions: Map<vscode.WorkspaceFolder, State> = new Map();
211
+
212
+ function startTypeProf(folder: vscode.WorkspaceFolder) {
213
+ const outputChannel = vscode.window.createOutputChannel("Ruby TypeProf");
214
+ const showStatus = (msg: string) => {
215
+ outputChannel.appendLine("[vscode] " + msg);
216
+ vscode.window.setStatusBarMessage(msg, 3000);
217
+ }
218
+ outputChannel.appendLine("[vscode] Try to start TypeProf for IDE");
219
+
220
+ const typeprof = getTypeProfVersion(folder, outputChannel, (version) => {
221
+ if (!version) {
222
+ showStatus(`Ruby TypeProf is not configured; Try to add "gem 'typeprof'" to Gemfile`);
223
+ clientSessions.delete(folder);
224
+ return;
225
+ }
226
+ showStatus(`Starting Ruby TypeProf (${version})...`);
227
+ const client = invokeTypeProf(folder, outputChannel);
228
+ client.onReady()
229
+ .then(() => {
230
+ showStatus("Ruby TypeProf is running");
231
+ })
232
+ .catch((e: any) => {
233
+ showStatus(`Failed to start Ruby TypeProf: ${e}`);
234
+ });
235
+ client.start();
236
+ clientSessions.set(folder, { kind: "running", workspaceFolder: folder, client });
237
+ });
238
+
239
+ clientSessions.set(folder, { kind: "invoking", workspaceFolder: folder, process: typeprof });
240
+ }
241
+
242
+ function stopTypeProf(state: State) {
243
+ switch (state.kind) {
244
+ case "invoking":
245
+ state.process.kill();
246
+
247
+ break;
248
+ case "running":
249
+ state.client.stop();
250
+ break;
251
+ }
252
+ clientSessions.delete(state.workspaceFolder);
253
+ }
254
+
255
+ function restartTypeProf() {
256
+ vscode.workspace.workspaceFolders?.forEach((folder) => {
257
+ let state = clientSessions.get(folder);
258
+ if (state) stopTypeProf(state);
259
+ startTypeProf(folder);
260
+ });
261
+ }
262
+
263
+ function ensureTypeProf() {
264
+ if (!vscode.workspace.workspaceFolders) return;
265
+
266
+ const activeFolders = new Set(vscode.workspace.workspaceFolders);
267
+
268
+ clientSessions.forEach((state) => {
269
+ if (!activeFolders.has(state.workspaceFolder)) {
270
+ stopTypeProf(state);
271
+ }
272
+ });
273
+
274
+ activeFolders.forEach((folder) => {
275
+ if (folder.uri.scheme === "file" && !clientSessions.has(folder)) {
276
+ startTypeProf(folder);
277
+ }
278
+ });
279
+ }
280
+
281
+ function addRestartCommand(context: vscode.ExtensionContext) {
282
+ const disposable = vscode.commands.registerCommand("typeprof.restart", () => {
283
+ restartTypeProf();
284
+ });
285
+ context.subscriptions.push(disposable);
286
+ }
287
+
288
+ export function activate(context: vscode.ExtensionContext) {
289
+ addToggleButton(context);
290
+ addJumpToRBS(context);
291
+ addRestartCommand(context)
292
+ ensureTypeProf();
293
+ }
294
+
295
+ export function deactivate() {
296
+ clientSessions.forEach((state) => {
297
+ stopTypeProf(state);
298
+ });
299
+ }
@@ -0,0 +1,15 @@
1
+ {
2
+ "compilerOptions": {
3
+ "module": "commonjs",
4
+ "target": "es6",
5
+ "outDir": "out",
6
+ "lib": ["es6"],
7
+ "sourceMap": true,
8
+ "rootDir": ".",
9
+ "strict": true
10
+ },
11
+ "exclude": [
12
+ "node_modules",
13
+ ".vscode-test"
14
+ ]
15
+ }