typeprof 0.10.0 → 0.14.1
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.
- checksums.yaml +4 -4
- data/.github/workflows/main.yml +1 -1
- data/Gemfile.lock +10 -10
- data/doc/demo.md +2 -2
- data/doc/todo.md +133 -0
- data/lib/typeprof/analyzer.rb +120 -46
- data/lib/typeprof/block.rb +7 -6
- data/lib/typeprof/builtin.rb +49 -7
- data/lib/typeprof/cli.rb +5 -0
- data/lib/typeprof/config.rb +18 -14
- data/lib/typeprof/container-type.rb +24 -0
- data/lib/typeprof/export.rb +30 -15
- data/lib/typeprof/import.rb +37 -11
- data/lib/typeprof/iseq.rb +100 -41
- data/lib/typeprof/type.rb +34 -0
- data/lib/typeprof/version.rb +1 -1
- data/smoke/break4.rb +17 -0
- data/smoke/class_eval.rb +22 -0
- data/smoke/define_method7.rb +18 -0
- data/smoke/extended.rb +38 -0
- data/smoke/flow11.rb +17 -0
- data/smoke/included.rb +38 -0
- data/smoke/inherited.rb +26 -0
- data/smoke/instance_eval.rb +1 -1
- data/smoke/instance_eval4.rb +12 -0
- data/smoke/struct-keyword_init.rb +1 -1
- data/smoke/struct.rb +1 -1
- data/smoke/struct2.rb +1 -1
- data/smoke/struct3.rb +1 -1
- data/smoke/struct4.rb +1 -1
- data/smoke/struct5.rb +1 -1
- data/smoke/struct6.rb +1 -1
- data/smoke/struct7.rb +1 -1
- data/testbed/goodcheck-Gemfile.lock +1 -1
- data/typeprof.gemspec +1 -1
- metadata +14 -5
data/smoke/struct.rb
CHANGED
data/smoke/struct2.rb
CHANGED
data/smoke/struct3.rb
CHANGED
data/smoke/struct4.rb
CHANGED
data/smoke/struct5.rb
CHANGED
data/smoke/struct6.rb
CHANGED
data/smoke/struct7.rb
CHANGED
data/typeprof.gemspec
CHANGED
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.
|
4
|
+
version: 0.14.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Yusuke Endoh
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date:
|
11
|
+
date: 2021-05-18 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:
|
19
|
+
version: 1.2.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:
|
26
|
+
version: 1.2.0
|
27
27
|
description: |
|
28
28
|
TypeProf performs a type analysis of non-annotated Ruby code.
|
29
29
|
|
@@ -48,6 +48,7 @@ files:
|
|
48
48
|
- doc/doc.ja.md
|
49
49
|
- doc/doc.md
|
50
50
|
- doc/ppl2019.pdf
|
51
|
+
- doc/todo.md
|
51
52
|
- exe/typeprof
|
52
53
|
- lib/typeprof.rb
|
53
54
|
- lib/typeprof/analyzer.rb
|
@@ -137,6 +138,7 @@ files:
|
|
137
138
|
- smoke/break1.rb
|
138
139
|
- smoke/break2.rb
|
139
140
|
- smoke/break3.rb
|
141
|
+
- smoke/break4.rb
|
140
142
|
- smoke/case.rb
|
141
143
|
- smoke/case2.rb
|
142
144
|
- smoke/case3.rb
|
@@ -144,6 +146,7 @@ files:
|
|
144
146
|
- smoke/class-hierarchy2.rb
|
145
147
|
- smoke/class-new.rb
|
146
148
|
- smoke/class.rb
|
149
|
+
- smoke/class_eval.rb
|
147
150
|
- smoke/class_instance_var.rb
|
148
151
|
- smoke/class_method.rb
|
149
152
|
- smoke/class_method2.rb
|
@@ -163,6 +166,7 @@ files:
|
|
163
166
|
- smoke/define_method4.rbs
|
164
167
|
- smoke/define_method5.rb
|
165
168
|
- smoke/define_method6.rb
|
169
|
+
- smoke/define_method7.rb
|
166
170
|
- smoke/demo.rb
|
167
171
|
- smoke/demo1.rb
|
168
172
|
- smoke/demo10.rb
|
@@ -184,10 +188,12 @@ files:
|
|
184
188
|
- smoke/enumerator.rb
|
185
189
|
- smoke/expandarray1.rb
|
186
190
|
- smoke/expandarray2.rb
|
191
|
+
- smoke/extended.rb
|
187
192
|
- smoke/fib.rb
|
188
193
|
- smoke/flip-flop.rb
|
189
194
|
- smoke/flow1.rb
|
190
195
|
- smoke/flow10.rb
|
196
|
+
- smoke/flow11.rb
|
191
197
|
- smoke/flow2.rb
|
192
198
|
- smoke/flow3.rb
|
193
199
|
- smoke/flow4.rb
|
@@ -210,12 +216,15 @@ files:
|
|
210
216
|
- smoke/hash3.rb
|
211
217
|
- smoke/hash4.rb
|
212
218
|
- smoke/hash5.rb
|
219
|
+
- smoke/included.rb
|
213
220
|
- smoke/inheritance.rb
|
214
221
|
- smoke/inheritance2.rb
|
222
|
+
- smoke/inherited.rb
|
215
223
|
- smoke/initialize.rb
|
216
224
|
- smoke/instance_eval.rb
|
217
225
|
- smoke/instance_eval2.rb
|
218
226
|
- smoke/instance_eval3.rb
|
227
|
+
- smoke/instance_eval4.rb
|
219
228
|
- smoke/int_times.rb
|
220
229
|
- smoke/integer.rb
|
221
230
|
- smoke/ivar.rb
|
@@ -402,7 +411,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
402
411
|
- !ruby/object:Gem::Version
|
403
412
|
version: '0'
|
404
413
|
requirements: []
|
405
|
-
rubygems_version: 3.
|
414
|
+
rubygems_version: 3.2.15
|
406
415
|
signing_key:
|
407
416
|
specification_version: 4
|
408
417
|
summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
|