typeprof 0.5.4 → 0.9.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (289) hide show
  1. checksums.yaml +4 -4
  2. data/Gemfile.lock +7 -5
  3. data/doc/doc.ja.md +3 -4
  4. data/doc/doc.md +3 -4
  5. data/lib/typeprof/analyzer.rb +308 -171
  6. data/lib/typeprof/arguments.rb +14 -6
  7. data/lib/typeprof/block.rb +6 -2
  8. data/lib/typeprof/builtin.rb +230 -67
  9. data/lib/typeprof/cli.rb +33 -34
  10. data/lib/typeprof/config.rb +6 -4
  11. data/lib/typeprof/container-type.rb +159 -104
  12. data/lib/typeprof/export.rb +28 -22
  13. data/lib/typeprof/import.rb +70 -53
  14. data/lib/typeprof/iseq.rb +23 -7
  15. data/lib/typeprof/method.rb +71 -138
  16. data/lib/typeprof/type.rb +73 -15
  17. data/lib/typeprof/version.rb +1 -1
  18. data/smoke/alias.rb +5 -4
  19. data/smoke/alias2.rb +4 -4
  20. data/smoke/any1.rb +2 -1
  21. data/smoke/any2.rb +3 -2
  22. data/smoke/arguments.rb +3 -2
  23. data/smoke/arguments2.rb +11 -10
  24. data/smoke/array-each.rb +2 -1
  25. data/smoke/array-each2.rb +2 -1
  26. data/smoke/array-each3.rb +2 -1
  27. data/smoke/array-ltlt.rb +2 -1
  28. data/smoke/array-ltlt2.rb +2 -1
  29. data/smoke/array-map.rb +2 -1
  30. data/smoke/array-map2.rb +2 -1
  31. data/smoke/array-map3.rb +4 -3
  32. data/smoke/array-mul.rb +3 -2
  33. data/smoke/array-plus1.rb +2 -1
  34. data/smoke/array-plus2.rb +2 -2
  35. data/smoke/array-pop.rb +2 -1
  36. data/smoke/array-range-aref.rb +71 -0
  37. data/smoke/array-replace.rb +2 -1
  38. data/smoke/array-s-aref.rb +2 -1
  39. data/smoke/array1.rb +6 -5
  40. data/smoke/array10.rb +2 -1
  41. data/smoke/array11.rb +2 -1
  42. data/smoke/array12.rb +4 -3
  43. data/smoke/array13.rb +5 -4
  44. data/smoke/array14.rb +2 -1
  45. data/smoke/array15.rb +16 -0
  46. data/smoke/array2.rb +4 -3
  47. data/smoke/array3.rb +4 -4
  48. data/smoke/array4.rb +2 -1
  49. data/smoke/array5.rb +2 -1
  50. data/smoke/array6.rb +3 -2
  51. data/smoke/array7.rb +2 -1
  52. data/smoke/array8.rb +1 -1
  53. data/smoke/array9.rb +2 -1
  54. data/smoke/attr-module.rb +26 -0
  55. data/smoke/attr.rb +5 -5
  56. data/smoke/autoload.rb +14 -0
  57. data/smoke/backtrace.rb +4 -3
  58. data/smoke/block-ambiguous.rb +9 -8
  59. data/smoke/block-args1-rest.rb +12 -11
  60. data/smoke/block-args1.rb +11 -10
  61. data/smoke/block-args2-rest.rb +12 -11
  62. data/smoke/block-args2.rb +11 -10
  63. data/smoke/block-args3-rest.rb +14 -13
  64. data/smoke/block-args3.rb +13 -12
  65. data/smoke/block-blockarg.rb +5 -4
  66. data/smoke/block-kwarg.rb +11 -10
  67. data/smoke/block1.rb +2 -1
  68. data/smoke/block10.rb +2 -1
  69. data/smoke/block11.rb +6 -5
  70. data/smoke/block12.rb +3 -2
  71. data/smoke/block14.rb +3 -2
  72. data/smoke/block2.rb +2 -1
  73. data/smoke/block3.rb +3 -3
  74. data/smoke/block4.rb +3 -2
  75. data/smoke/block5.rb +3 -2
  76. data/smoke/block6.rb +3 -2
  77. data/smoke/block7.rb +2 -1
  78. data/smoke/block8.rb +4 -3
  79. data/smoke/block9.rb +2 -1
  80. data/smoke/blown.rb +2 -1
  81. data/smoke/break1.rb +3 -2
  82. data/smoke/break2.rb +2 -1
  83. data/smoke/break3.rb +13 -0
  84. data/smoke/case.rb +2 -1
  85. data/smoke/case2.rb +2 -1
  86. data/smoke/case3.rb +17 -0
  87. data/smoke/class-hierarchy.rb +5 -5
  88. data/smoke/class-hierarchy2.rb +3 -3
  89. data/smoke/class-new.rb +15 -0
  90. data/smoke/class_instance_var.rb +1 -1
  91. data/smoke/class_method.rb +2 -2
  92. data/smoke/class_method2.rb +2 -2
  93. data/smoke/class_method3.rb +4 -2
  94. data/smoke/constant1.rb +6 -6
  95. data/smoke/constant2.rb +5 -4
  96. data/smoke/constant3.rb +2 -1
  97. data/smoke/constant4.rb +2 -1
  98. data/smoke/context-sensitive1.rb +2 -1
  99. data/smoke/cvar.rb +6 -5
  100. data/smoke/cvar2.rb +2 -2
  101. data/smoke/define_method.rb +16 -0
  102. data/smoke/define_method2.rb +18 -0
  103. data/smoke/define_method3.rb +13 -0
  104. data/smoke/define_method3.rbs +3 -0
  105. data/smoke/define_method4.rb +15 -0
  106. data/smoke/define_method4.rbs +3 -0
  107. data/smoke/define_method5.rb +12 -0
  108. data/smoke/demo.rb +7 -6
  109. data/smoke/demo1.rb +2 -1
  110. data/smoke/demo10.rb +3 -2
  111. data/smoke/demo11.rb +2 -1
  112. data/smoke/demo2.rb +2 -1
  113. data/smoke/demo3.rb +2 -1
  114. data/smoke/demo4.rb +3 -3
  115. data/smoke/demo5.rb +1 -1
  116. data/smoke/demo6.rb +3 -3
  117. data/smoke/demo7.rb +2 -1
  118. data/smoke/demo8.rb +3 -2
  119. data/smoke/demo9.rb +3 -2
  120. data/smoke/dummy-execution1.rb +3 -2
  121. data/smoke/dummy-execution2.rb +2 -2
  122. data/smoke/dummy_element.rb +14 -0
  123. data/smoke/ensure1.rb +3 -2
  124. data/smoke/enumerator.rb +3 -2
  125. data/smoke/expandarray1.rb +2 -1
  126. data/smoke/expandarray2.rb +2 -1
  127. data/smoke/fib.rb +2 -2
  128. data/smoke/flip-flop.rb +28 -0
  129. data/smoke/flow1.rb +2 -1
  130. data/smoke/flow2.rb +2 -1
  131. data/smoke/flow3.rb +2 -1
  132. data/smoke/flow5.rb +2 -1
  133. data/smoke/flow6.rb +2 -1
  134. data/smoke/flow7.rb +2 -1
  135. data/smoke/flow8.rb +2 -1
  136. data/smoke/flow9.rb +12 -0
  137. data/smoke/freeze.rb +2 -1
  138. data/smoke/function.rb +3 -2
  139. data/smoke/gvar.rb +3 -2
  140. data/smoke/gvar2.rb +3 -2
  141. data/smoke/hash-bot.rb +12 -0
  142. data/smoke/hash-fetch.rb +4 -3
  143. data/smoke/hash-merge-bang.rb +2 -1
  144. data/smoke/hash1.rb +3 -2
  145. data/smoke/hash2.rb +2 -1
  146. data/smoke/hash3.rb +2 -1
  147. data/smoke/hash4.rb +2 -1
  148. data/smoke/hash5.rb +1 -1
  149. data/smoke/inheritance.rb +4 -4
  150. data/smoke/inheritance2.rb +2 -2
  151. data/smoke/initialize.rb +6 -5
  152. data/smoke/instance_eval.rb +2 -2
  153. data/smoke/instance_eval2.rb +10 -0
  154. data/smoke/instance_eval3.rb +25 -0
  155. data/smoke/int_times.rb +2 -1
  156. data/smoke/integer.rb +2 -1
  157. data/smoke/ivar.rb +5 -4
  158. data/smoke/ivar2.rb +4 -4
  159. data/smoke/ivar3.rb +2 -2
  160. data/smoke/kernel-class.rb +2 -1
  161. data/smoke/keyword1.rb +2 -1
  162. data/smoke/keyword2.rb +2 -1
  163. data/smoke/keyword3.rb +2 -1
  164. data/smoke/keyword4.rb +2 -1
  165. data/smoke/keyword5.rb +2 -1
  166. data/smoke/kwrest.rb +12 -0
  167. data/smoke/kwrest.rbs +3 -0
  168. data/smoke/kwsplat1.rb +5 -4
  169. data/smoke/kwsplat2.rb +2 -1
  170. data/smoke/lit-complex.rb +10 -0
  171. data/smoke/lit-encoding.rb +10 -0
  172. data/smoke/manual-rbs.rb +4 -3
  173. data/smoke/manual-rbs2.rb +2 -1
  174. data/smoke/manual-rbs3.rb +2 -2
  175. data/smoke/masgn1.rb +2 -1
  176. data/smoke/masgn2.rb +3 -2
  177. data/smoke/masgn3.rb +2 -1
  178. data/smoke/method_in_branch.rb +3 -2
  179. data/smoke/method_missing.rb +28 -0
  180. data/smoke/module1.rb +2 -2
  181. data/smoke/module2.rb +1 -1
  182. data/smoke/module3.rb +2 -2
  183. data/smoke/module4.rb +2 -2
  184. data/smoke/module5.rb +17 -0
  185. data/smoke/module6.rb +40 -0
  186. data/smoke/module_function1.rb +3 -3
  187. data/smoke/module_function2.rb +3 -3
  188. data/smoke/multiple-include.rb +1 -1
  189. data/smoke/multiple-superclass.rb +1 -1
  190. data/smoke/next1.rb +3 -2
  191. data/smoke/next2.rb +2 -1
  192. data/smoke/object-send1.rb +4 -3
  193. data/smoke/object-send2.rb +10 -0
  194. data/smoke/object-send3.rb +18 -0
  195. data/smoke/once.rb +2 -1
  196. data/smoke/optional1.rb +2 -1
  197. data/smoke/optional2.rb +2 -1
  198. data/smoke/optional3.rb +2 -1
  199. data/smoke/parameterizedd-self.rb +3 -2
  200. data/smoke/parameterizedd-self2.rb +15 -0
  201. data/smoke/pathname1.rb +2 -1
  202. data/smoke/pathname2.rb +2 -1
  203. data/smoke/pattern-match1.rb +2 -1
  204. data/smoke/pattern-match2.rb +2 -1
  205. data/smoke/printf.rb +2 -2
  206. data/smoke/proc.rb +3 -2
  207. data/smoke/proc2.rb +2 -1
  208. data/smoke/proc3.rb +2 -1
  209. data/smoke/proc4.rb +2 -1
  210. data/smoke/proc5.rb +19 -0
  211. data/smoke/public.rb +34 -0
  212. data/smoke/range.rb +2 -1
  213. data/smoke/rbs-alias.rb +2 -1
  214. data/smoke/rbs-attr.rb +6 -5
  215. data/smoke/rbs-attr2.rb +11 -0
  216. data/smoke/rbs-attr2.rbs +3 -0
  217. data/smoke/rbs-extend.rb +2 -1
  218. data/smoke/rbs-interface.rb +5 -4
  219. data/smoke/rbs-module.rb +26 -0
  220. data/smoke/rbs-module.rbs +4 -0
  221. data/smoke/rbs-opt-and-rest.rb +10 -0
  222. data/smoke/rbs-opt-and-rest.rbs +3 -0
  223. data/smoke/rbs-proc1.rb +2 -1
  224. data/smoke/rbs-proc2.rb +3 -2
  225. data/smoke/rbs-proc3.rb +2 -1
  226. data/smoke/rbs-record.rb +3 -2
  227. data/smoke/rbs-tyvar.rb +3 -2
  228. data/smoke/rbs-tyvar2.rb +3 -2
  229. data/smoke/rbs-tyvar3.rb +3 -2
  230. data/smoke/rbs-tyvar4.rb +3 -3
  231. data/smoke/rbs-tyvar5.rb +2 -1
  232. data/smoke/rbs-tyvar6.rb +18 -0
  233. data/smoke/rbs-tyvar6.rbs +12 -0
  234. data/smoke/rbs-tyvar7.rb +12 -0
  235. data/smoke/rbs-tyvar7.rbs +7 -0
  236. data/smoke/rbs-vars.rb +7 -8
  237. data/smoke/redo1.rb +3 -2
  238. data/smoke/redo2.rb +3 -2
  239. data/smoke/req-keyword.rb +2 -1
  240. data/smoke/rescue1.rb +3 -2
  241. data/smoke/rescue2.rb +3 -2
  242. data/smoke/rescue3.rb +19 -0
  243. data/smoke/rescue4.rb +17 -0
  244. data/smoke/respond_to.rb +2 -1
  245. data/smoke/rest-farg.rb +2 -1
  246. data/smoke/rest1.rb +3 -2
  247. data/smoke/rest2.rb +2 -1
  248. data/smoke/rest3.rb +7 -6
  249. data/smoke/rest4.rb +3 -2
  250. data/smoke/rest5.rb +2 -1
  251. data/smoke/rest6.rb +2 -1
  252. data/smoke/retry1.rb +3 -2
  253. data/smoke/return.rb +2 -1
  254. data/smoke/singleton_method.rb +1 -1
  255. data/smoke/step.rb +4 -3
  256. data/smoke/string-split.rb +2 -1
  257. data/smoke/struct-keyword_init.rb +20 -0
  258. data/smoke/struct.rb +1 -1
  259. data/smoke/struct2.rb +5 -4
  260. data/smoke/struct3.rb +2 -2
  261. data/smoke/struct4.rb +7 -0
  262. data/smoke/struct5.rb +16 -0
  263. data/smoke/struct6.rb +15 -0
  264. data/smoke/struct7.rb +17 -0
  265. data/smoke/stub-keyword.rb +10 -0
  266. data/smoke/super1.rb +5 -4
  267. data/smoke/super2.rb +1 -1
  268. data/smoke/super3.rb +3 -3
  269. data/smoke/super4.rb +43 -0
  270. data/smoke/super5.rb +36 -0
  271. data/smoke/svar1.rb +2 -1
  272. data/smoke/symbol-proc-attr.rb +22 -0
  273. data/smoke/symbol-proc-attr2.rb +15 -0
  274. data/smoke/symbol-proc-bot.rb +13 -0
  275. data/smoke/symbol-proc.rb +4 -3
  276. data/smoke/tap1.rb +3 -2
  277. data/smoke/toplevel.rb +2 -1
  278. data/smoke/two-map.rb +3 -2
  279. data/smoke/type_var.rb +2 -1
  280. data/smoke/typed_method.rb +2 -1
  281. data/smoke/uninitialize-var.rb +2 -1
  282. data/smoke/union-recv.rb +2 -2
  283. data/smoke/user-demo.rb +3 -3
  284. data/smoke/wrong-extend.rb +2 -2
  285. data/smoke/wrong-include.rb +2 -2
  286. data/smoke/wrong-include2.rb +17 -0
  287. data/typeprof.gemspec +1 -1
  288. metadata +61 -6
  289. data/tools/stackprof-wrapper.rb +0 -10
@@ -6,5 +6,6 @@ number?('string')
6
6
  __END__
7
7
  # Classes
8
8
  class Object
9
- def number? : (String) -> nil
9
+ private
10
+ def number?: (String) -> nil
10
11
  end
@@ -11,5 +11,6 @@ smoke/typed_method.rb:6: [error] undefined method: Object#unknown
11
11
 
12
12
  # Classes
13
13
  class Object
14
- def foo : -> Float
14
+ private
15
+ def foo: -> Float
15
16
  end
@@ -8,5 +8,6 @@ end
8
8
  __END__
9
9
  # Classes
10
10
  class Object
11
- def foo : -> nil
11
+ private
12
+ def foo: -> nil
12
13
  end
@@ -21,11 +21,11 @@ end
21
21
  __END__
22
22
  # Classes
23
23
  class SuperBase
24
- def self.foo : -> (singleton(A) | singleton(B))
24
+ def self.foo: -> (singleton(A) | singleton(B))
25
25
  end
26
26
 
27
27
  class Base < SuperBase
28
- def self.foo : -> (singleton(A) | singleton(B))
28
+ def self.foo: -> (singleton(A) | singleton(B))
29
29
  end
30
30
 
31
31
  class A < Base
@@ -9,7 +9,7 @@ end
9
9
  __END__
10
10
  # Classes
11
11
  class User
12
- attr_reader name : String | untyped
13
- attr_reader age : Integer | untyped
14
- def foo : (?name: String | untyped, ?age: Integer | untyped) -> ([String | untyped, Integer | untyped])
12
+ attr_reader name: String | untyped
13
+ attr_reader age: Integer | untyped
14
+ def foo: (?name: String | untyped, ?age: Integer | untyped) -> ([String | untyped, Integer | untyped])
15
15
  end
@@ -17,10 +17,10 @@ end
17
17
  __END__
18
18
  # Classes
19
19
  module Bar
20
- def bar : -> :bar
20
+ def bar: -> :bar
21
21
  end
22
22
 
23
23
  module Foo
24
24
  extend Bar
25
- def foo : -> :foo
25
+ def foo: -> :foo
26
26
  end
@@ -17,10 +17,10 @@ end
17
17
  __END__
18
18
  # Classes
19
19
  module Bar
20
- def bar : -> :bar
20
+ def bar: -> :bar
21
21
  end
22
22
 
23
23
  module Foo
24
24
  include Bar
25
- def foo : -> :foo
25
+ def foo: -> :foo
26
26
  end
@@ -0,0 +1,17 @@
1
+ class Foo
2
+ end
3
+
4
+ class Bar
5
+ include Foo
6
+ end
7
+
8
+ __END__
9
+ # Errors
10
+ smoke/wrong-include2.rb:5: [warning] including something that is not a module
11
+
12
+ # Classes
13
+ class Foo
14
+ end
15
+
16
+ class Bar
17
+ end
@@ -30,5 +30,5 @@ Gem::Specification.new do |spec|
30
30
  spec.executables = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
31
31
  spec.require_paths = ["lib"]
32
32
 
33
- spec.add_runtime_dependency "rbs", ">= 0.17.0"
33
+ spec.add_runtime_dependency "rbs", ">= 0.20.0"
34
34
  end
metadata CHANGED
@@ -1,14 +1,14 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: typeprof
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.5.4
4
+ version: 0.9.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Yusuke Endoh
8
8
  autorequire:
9
9
  bindir: exe
10
10
  cert_chain: []
11
- date: 2020-11-17 00:00:00.000000000 Z
11
+ date: 2020-12-07 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: rbs
@@ -16,14 +16,14 @@ dependencies:
16
16
  requirements:
17
17
  - - ">="
18
18
  - !ruby/object:Gem::Version
19
- version: 0.17.0
19
+ version: 0.20.0
20
20
  type: :runtime
21
21
  prerelease: false
22
22
  version_requirements: !ruby/object:Gem::Requirement
23
23
  requirements:
24
24
  - - ">="
25
25
  - !ruby/object:Gem::Version
26
- version: 0.17.0
26
+ version: 0.20.0
27
27
  description: |
28
28
  TypeProf performs a type analysis of non-annotated Ruby code.
29
29
 
@@ -84,6 +84,7 @@ files:
84
84
  - smoke/array-plus1.rb
85
85
  - smoke/array-plus2.rb
86
86
  - smoke/array-pop.rb
87
+ - smoke/array-range-aref.rb
87
88
  - smoke/array-replace.rb
88
89
  - smoke/array-s-aref.rb
89
90
  - smoke/array1.rb
@@ -92,6 +93,7 @@ files:
92
93
  - smoke/array12.rb
93
94
  - smoke/array13.rb
94
95
  - smoke/array14.rb
96
+ - smoke/array15.rb
95
97
  - smoke/array2.rb
96
98
  - smoke/array3.rb
97
99
  - smoke/array4.rb
@@ -100,7 +102,9 @@ files:
100
102
  - smoke/array7.rb
101
103
  - smoke/array8.rb
102
104
  - smoke/array9.rb
105
+ - smoke/attr-module.rb
103
106
  - smoke/attr.rb
107
+ - smoke/autoload.rb
104
108
  - smoke/backtrace.rb
105
109
  - smoke/block-ambiguous.rb
106
110
  - smoke/block-args1-rest.rb
@@ -129,10 +133,13 @@ files:
129
133
  - smoke/blown.rb
130
134
  - smoke/break1.rb
131
135
  - smoke/break2.rb
136
+ - smoke/break3.rb
132
137
  - smoke/case.rb
133
138
  - smoke/case2.rb
139
+ - smoke/case3.rb
134
140
  - smoke/class-hierarchy.rb
135
141
  - smoke/class-hierarchy2.rb
142
+ - smoke/class-new.rb
136
143
  - smoke/class.rb
137
144
  - smoke/class_instance_var.rb
138
145
  - smoke/class_method.rb
@@ -145,6 +152,13 @@ files:
145
152
  - smoke/context-sensitive1.rb
146
153
  - smoke/cvar.rb
147
154
  - smoke/cvar2.rb
155
+ - smoke/define_method.rb
156
+ - smoke/define_method2.rb
157
+ - smoke/define_method3.rb
158
+ - smoke/define_method3.rbs
159
+ - smoke/define_method4.rb
160
+ - smoke/define_method4.rbs
161
+ - smoke/define_method5.rb
148
162
  - smoke/demo.rb
149
163
  - smoke/demo1.rb
150
164
  - smoke/demo10.rb
@@ -159,11 +173,13 @@ files:
159
173
  - smoke/demo9.rb
160
174
  - smoke/dummy-execution1.rb
161
175
  - smoke/dummy-execution2.rb
176
+ - smoke/dummy_element.rb
162
177
  - smoke/ensure1.rb
163
178
  - smoke/enumerator.rb
164
179
  - smoke/expandarray1.rb
165
180
  - smoke/expandarray2.rb
166
181
  - smoke/fib.rb
182
+ - smoke/flip-flop.rb
167
183
  - smoke/flow1.rb
168
184
  - smoke/flow2.rb
169
185
  - smoke/flow3.rb
@@ -172,12 +188,14 @@ files:
172
188
  - smoke/flow6.rb
173
189
  - smoke/flow7.rb
174
190
  - smoke/flow8.rb
191
+ - smoke/flow9.rb
175
192
  - smoke/for.rb
176
193
  - smoke/freeze.rb
177
194
  - smoke/function.rb
178
195
  - smoke/gvar.rb
179
196
  - smoke/gvar2.rb
180
197
  - smoke/gvar2.rbs
198
+ - smoke/hash-bot.rb
181
199
  - smoke/hash-fetch.rb
182
200
  - smoke/hash-merge-bang.rb
183
201
  - smoke/hash1.rb
@@ -189,6 +207,8 @@ files:
189
207
  - smoke/inheritance2.rb
190
208
  - smoke/initialize.rb
191
209
  - smoke/instance_eval.rb
210
+ - smoke/instance_eval2.rb
211
+ - smoke/instance_eval3.rb
192
212
  - smoke/int_times.rb
193
213
  - smoke/integer.rb
194
214
  - smoke/ivar.rb
@@ -201,8 +221,12 @@ files:
201
221
  - smoke/keyword3.rb
202
222
  - smoke/keyword4.rb
203
223
  - smoke/keyword5.rb
224
+ - smoke/kwrest.rb
225
+ - smoke/kwrest.rbs
204
226
  - smoke/kwsplat1.rb
205
227
  - smoke/kwsplat2.rb
228
+ - smoke/lit-complex.rb
229
+ - smoke/lit-encoding.rb
206
230
  - smoke/manual-rbs.rb
207
231
  - smoke/manual-rbs.rbs
208
232
  - smoke/manual-rbs2.rb
@@ -213,10 +237,13 @@ files:
213
237
  - smoke/masgn2.rb
214
238
  - smoke/masgn3.rb
215
239
  - smoke/method_in_branch.rb
240
+ - smoke/method_missing.rb
216
241
  - smoke/module1.rb
217
242
  - smoke/module2.rb
218
243
  - smoke/module3.rb
219
244
  - smoke/module4.rb
245
+ - smoke/module5.rb
246
+ - smoke/module6.rb
220
247
  - smoke/module_function1.rb
221
248
  - smoke/module_function2.rb
222
249
  - smoke/multiple-include.rb
@@ -224,11 +251,14 @@ files:
224
251
  - smoke/next1.rb
225
252
  - smoke/next2.rb
226
253
  - smoke/object-send1.rb
254
+ - smoke/object-send2.rb
255
+ - smoke/object-send3.rb
227
256
  - smoke/once.rb
228
257
  - smoke/optional1.rb
229
258
  - smoke/optional2.rb
230
259
  - smoke/optional3.rb
231
260
  - smoke/parameterizedd-self.rb
261
+ - smoke/parameterizedd-self2.rb
232
262
  - smoke/pathname1.rb
233
263
  - smoke/pathname2.rb
234
264
  - smoke/pattern-match1.rb
@@ -238,15 +268,23 @@ files:
238
268
  - smoke/proc2.rb
239
269
  - smoke/proc3.rb
240
270
  - smoke/proc4.rb
271
+ - smoke/proc5.rb
272
+ - smoke/public.rb
241
273
  - smoke/range.rb
242
274
  - smoke/rbs-alias.rb
243
275
  - smoke/rbs-alias.rbs
244
276
  - smoke/rbs-attr.rb
245
277
  - smoke/rbs-attr.rbs
278
+ - smoke/rbs-attr2.rb
279
+ - smoke/rbs-attr2.rbs
246
280
  - smoke/rbs-extend.rb
247
281
  - smoke/rbs-extend.rbs
248
282
  - smoke/rbs-interface.rb
249
283
  - smoke/rbs-interface.rbs
284
+ - smoke/rbs-module.rb
285
+ - smoke/rbs-module.rbs
286
+ - smoke/rbs-opt-and-rest.rb
287
+ - smoke/rbs-opt-and-rest.rbs
250
288
  - smoke/rbs-proc1.rb
251
289
  - smoke/rbs-proc1.rbs
252
290
  - smoke/rbs-proc2.rb
@@ -264,6 +302,10 @@ files:
264
302
  - smoke/rbs-tyvar4.rb
265
303
  - smoke/rbs-tyvar5.rb
266
304
  - smoke/rbs-tyvar5.rbs
305
+ - smoke/rbs-tyvar6.rb
306
+ - smoke/rbs-tyvar6.rbs
307
+ - smoke/rbs-tyvar7.rb
308
+ - smoke/rbs-tyvar7.rbs
267
309
  - smoke/rbs-vars.rb
268
310
  - smoke/rbs-vars.rbs
269
311
  - smoke/redo1.rb
@@ -271,6 +313,8 @@ files:
271
313
  - smoke/req-keyword.rb
272
314
  - smoke/rescue1.rb
273
315
  - smoke/rescue2.rb
316
+ - smoke/rescue3.rb
317
+ - smoke/rescue4.rb
274
318
  - smoke/respond_to.rb
275
319
  - smoke/rest-farg.rb
276
320
  - smoke/rest1.rb
@@ -286,13 +330,24 @@ files:
286
330
  - smoke/singleton_method.rb
287
331
  - smoke/step.rb
288
332
  - smoke/string-split.rb
333
+ - smoke/struct-keyword_init.rb
289
334
  - smoke/struct.rb
290
335
  - smoke/struct2.rb
291
336
  - smoke/struct3.rb
337
+ - smoke/struct4.rb
338
+ - smoke/struct5.rb
339
+ - smoke/struct6.rb
340
+ - smoke/struct7.rb
341
+ - smoke/stub-keyword.rb
292
342
  - smoke/super1.rb
293
343
  - smoke/super2.rb
294
344
  - smoke/super3.rb
345
+ - smoke/super4.rb
346
+ - smoke/super5.rb
295
347
  - smoke/svar1.rb
348
+ - smoke/symbol-proc-attr.rb
349
+ - smoke/symbol-proc-attr2.rb
350
+ - smoke/symbol-proc-bot.rb
296
351
  - smoke/symbol-proc.rb
297
352
  - smoke/tap1.rb
298
353
  - smoke/toplevel.rb
@@ -304,6 +359,7 @@ files:
304
359
  - smoke/user-demo.rb
305
360
  - smoke/wrong-extend.rb
306
361
  - smoke/wrong-include.rb
362
+ - smoke/wrong-include2.rb
307
363
  - smoke/wrong-rbs.rb
308
364
  - smoke/wrong-rbs.rbs
309
365
  - testbed/ao.rb
@@ -311,7 +367,6 @@ files:
311
367
  - testbed/goodcheck-Gemfile.lock
312
368
  - tools/coverage.rb
313
369
  - tools/setup-insns-def.rb
314
- - tools/stackprof-wrapper.rb
315
370
  - typeprof.gemspec
316
371
  homepage: https://github.com/ruby/typeprof
317
372
  licenses:
@@ -334,7 +389,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
334
389
  - !ruby/object:Gem::Version
335
390
  version: '0'
336
391
  requirements: []
337
- rubygems_version: 3.1.4
392
+ rubygems_version: 3.2.0.rc.2
338
393
  signing_key:
339
394
  specification_version: 4
340
395
  summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
@@ -1,10 +0,0 @@
1
- #!/usr/bin/env ruby
2
-
3
- require "stackprof"
4
- StackProf.start(mode: :cpu, out: "stackprof-cpu.dump", raw: true, interval: 1000)
5
- begin
6
- load File.join(__dir__, "../exe/typeprof")
7
- ensure
8
- StackProf.stop
9
- StackProf.results
10
- end