typeprof 0.9.1 → 0.13.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/main.yml +1 -1
- data/Gemfile.lock +6 -5
- data/doc/demo.md +2 -2
- data/doc/todo.md +133 -0
- data/lib/typeprof/analyzer.rb +163 -77
- data/lib/typeprof/block.rb +39 -4
- data/lib/typeprof/builtin.rb +195 -70
- data/lib/typeprof/cli.rb +7 -0
- data/lib/typeprof/config.rb +30 -14
- data/lib/typeprof/container-type.rb +24 -0
- data/lib/typeprof/export.rb +134 -74
- data/lib/typeprof/import.rb +87 -39
- data/lib/typeprof/iseq.rb +23 -4
- data/lib/typeprof/method.rb +29 -7
- data/lib/typeprof/type.rb +75 -13
- data/lib/typeprof/version.rb +1 -1
- data/smoke/alias.rb +4 -4
- data/smoke/alias2.rb +3 -1
- data/smoke/arguments.rb +2 -2
- data/smoke/arguments2.rb +5 -5
- data/smoke/array-each.rb +1 -1
- data/smoke/array-each3.rb +1 -1
- data/smoke/array-map.rb +1 -1
- data/smoke/array-map2.rb +1 -1
- data/smoke/array-map3.rb +3 -3
- data/smoke/array-mul.rb +2 -2
- data/smoke/array-plus1.rb +1 -1
- data/smoke/array-plus2.rb +1 -0
- data/smoke/array-range-aref.rb +11 -11
- data/smoke/array-replace.rb +1 -1
- data/smoke/array1.rb +5 -5
- data/smoke/array10.rb +1 -1
- data/smoke/array11.rb +1 -1
- data/smoke/array12.rb +1 -1
- data/smoke/array14.rb +1 -1
- data/smoke/array15.rb +1 -1
- data/smoke/array2.rb +2 -2
- data/smoke/array3.rb +1 -0
- data/smoke/array6.rb +2 -1
- data/smoke/array8.rb +1 -1
- data/smoke/array9.rb +1 -1
- data/smoke/attr-module.rb +1 -0
- data/smoke/attr-vis.rb +43 -0
- data/smoke/attr-vis.rbs +4 -0
- data/smoke/attr.rb +2 -2
- data/smoke/block-ambiguous.rb +4 -4
- data/smoke/block-args1-rest.rb +6 -5
- data/smoke/block-args1.rb +5 -5
- data/smoke/block-args2-rest.rb +6 -5
- data/smoke/block-args2.rb +5 -5
- data/smoke/block-args3-rest.rb +7 -6
- data/smoke/block-args3.rb +6 -6
- data/smoke/block-blockarg.rb +3 -3
- data/smoke/block-kwarg.rb +4 -4
- data/smoke/block1.rb +1 -1
- data/smoke/block10.rb +1 -1
- data/smoke/block11.rb +2 -2
- data/smoke/block2.rb +1 -1
- data/smoke/block3.rb +1 -1
- data/smoke/block5.rb +1 -0
- data/smoke/block_given.rb +37 -0
- data/smoke/class_eval.rb +22 -0
- data/smoke/class_method.rb +2 -2
- data/smoke/class_method2.rb +2 -2
- data/smoke/constant2.rb +3 -2
- data/smoke/context-sensitive1.rb +1 -1
- data/smoke/cvar.rb +3 -2
- data/smoke/define_method.rb +2 -2
- data/smoke/define_method3.rb +1 -0
- data/smoke/define_method4.rb +1 -1
- data/smoke/define_method6.rb +19 -0
- data/smoke/define_method7.rb +18 -0
- data/smoke/demo.rb +6 -6
- data/smoke/demo1.rb +1 -1
- data/smoke/demo11.rb +1 -1
- data/smoke/demo2.rb +1 -1
- data/smoke/demo3.rb +1 -1
- data/smoke/demo4.rb +3 -3
- data/smoke/demo5.rb +1 -1
- data/smoke/demo6.rb +2 -1
- data/smoke/demo7.rb +1 -1
- data/smoke/demo9.rb +1 -0
- data/smoke/dummy-execution1.rb +1 -1
- data/smoke/dummy-execution2.rb +1 -1
- data/smoke/dummy_element.rb +1 -1
- data/smoke/ensure1.rb +1 -1
- data/smoke/enum_for.rb +15 -0
- data/smoke/enum_for2.rb +17 -0
- data/smoke/extended.rb +38 -0
- data/smoke/fib.rb +2 -2
- data/smoke/flow1.rb +1 -1
- data/smoke/flow10.rb +17 -0
- data/smoke/flow2.rb +1 -1
- data/smoke/flow3.rb +1 -1
- data/smoke/flow5.rb +1 -1
- data/smoke/flow6.rb +1 -1
- data/smoke/flow7.rb +1 -1
- data/smoke/flow8.rb +1 -1
- data/smoke/flow9.rb +1 -1
- data/smoke/function.rb +1 -1
- data/smoke/gvar.rb +1 -1
- data/smoke/gvar2.rb +1 -1
- data/smoke/hash-fetch.rb +3 -3
- data/smoke/included.rb +38 -0
- data/smoke/inheritance.rb +4 -4
- data/smoke/inherited.rb +26 -0
- data/smoke/initialize.rb +3 -2
- data/smoke/instance_eval.rb +2 -2
- data/smoke/instance_eval4.rb +12 -0
- data/smoke/int_times.rb +1 -1
- data/smoke/integer.rb +1 -1
- data/smoke/ivar.rb +3 -2
- data/smoke/ivar2.rb +2 -2
- data/smoke/ivar3.rb +2 -1
- data/smoke/ivar4.rb +1 -0
- data/smoke/kernel-class.rb +1 -1
- data/smoke/keyword4.rb +1 -1
- data/smoke/kwrest.rb +1 -0
- data/smoke/kwsplat1.rb +2 -2
- data/smoke/kwsplat2.rb +1 -1
- data/smoke/manual-rbs.rb +2 -1
- data/smoke/manual-rbs3.rb +1 -0
- data/smoke/method_in_branch.rb +1 -1
- data/smoke/method_missing.rb +4 -3
- data/smoke/module3.rb +1 -1
- data/smoke/module4.rb +1 -0
- data/smoke/module5.rb +1 -1
- data/smoke/module_function1.rb +3 -2
- data/smoke/module_function2.rb +3 -2
- data/smoke/multiple-include.rb +1 -0
- data/smoke/next1.rb +1 -1
- data/smoke/object-send1.rb +3 -3
- data/smoke/optional1.rb +1 -1
- data/smoke/optional2.rb +1 -1
- data/smoke/optional3.rb +1 -1
- data/smoke/parameterizedd-self.rb +2 -1
- data/smoke/prepend1.rb +33 -0
- data/smoke/prepend2.rb +10 -0
- data/smoke/prepend2.rbs +9 -0
- data/smoke/primitive_method.rb +19 -0
- data/smoke/proc4.rb +1 -1
- data/smoke/public.rb +4 -0
- data/smoke/range.rb +1 -1
- data/smoke/rbs-attr.rb +2 -2
- data/smoke/rbs-proc2.rb +1 -1
- data/smoke/rbs-proc3.rb +1 -1
- data/smoke/rbs-tyvar4.rb +3 -2
- data/smoke/rbs-tyvar6.rb +3 -3
- data/smoke/redo1.rb +1 -1
- data/smoke/redo2.rb +1 -1
- data/smoke/rescue1.rb +1 -1
- data/smoke/rescue2.rb +1 -1
- data/smoke/rescue3.rb +1 -0
- data/smoke/rescue4.rb +1 -1
- data/smoke/respond_to.rb +1 -1
- data/smoke/rest1.rb +2 -2
- data/smoke/rest2.rb +1 -1
- data/smoke/rest3.rb +6 -6
- data/smoke/rest4.rb +2 -2
- data/smoke/rest5.rb +1 -1
- data/smoke/rest6.rb +1 -1
- data/smoke/retry1.rb +2 -2
- data/smoke/simple.rb +12 -0
- data/smoke/step.rb +3 -3
- data/smoke/struct-keyword_init.rb +6 -16
- 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 +2 -2
- data/smoke/struct6.rb +2 -2
- data/smoke/struct7.rb +1 -1
- data/smoke/super1.rb +4 -4
- data/smoke/super3.rb +3 -2
- data/smoke/super4.rb +7 -5
- data/smoke/super5.rb +6 -4
- data/smoke/symbol-proc-attr.rb +1 -1
- data/smoke/tap1.rb +2 -2
- data/smoke/toplevel.rb +1 -1
- data/smoke/type_var.rb +3 -3
- data/smoke/user-demo.rb +1 -1
- data/smoke/wrong-extend.rb +1 -0
- data/smoke/wrong-include.rb +1 -0
- data/smoke/wrong-include2.rb +1 -1
- data/testbed/goodcheck-Gemfile.lock +1 -1
- data/typeprof.gemspec +1 -1
- metadata +24 -5
data/smoke/dummy-execution2.rb
CHANGED
data/smoke/dummy_element.rb
CHANGED
data/smoke/ensure1.rb
CHANGED
data/smoke/enum_for.rb
ADDED
data/smoke/enum_for2.rb
ADDED
@@ -0,0 +1,17 @@
|
|
1
|
+
class Foo
|
2
|
+
def int_and_str_enum
|
3
|
+
return enum_for(__method__) unless block_given?
|
4
|
+
|
5
|
+
yield 1
|
6
|
+
yield 2
|
7
|
+
yield 3
|
8
|
+
|
9
|
+
1.0
|
10
|
+
end
|
11
|
+
end
|
12
|
+
|
13
|
+
__END__
|
14
|
+
# Classes
|
15
|
+
class Foo
|
16
|
+
def int_and_str_enum: ?{ (Integer) -> untyped } -> (Enumerator[Integer, untyped] | Float)
|
17
|
+
end
|
data/smoke/extended.rb
ADDED
@@ -0,0 +1,38 @@
|
|
1
|
+
module Foo
|
2
|
+
@extended = []
|
3
|
+
def self.extended(klass)
|
4
|
+
@extended << klass
|
5
|
+
end
|
6
|
+
end
|
7
|
+
|
8
|
+
class C
|
9
|
+
extend Foo
|
10
|
+
end
|
11
|
+
|
12
|
+
class D
|
13
|
+
extend Foo
|
14
|
+
end
|
15
|
+
|
16
|
+
class E
|
17
|
+
extend Foo
|
18
|
+
end
|
19
|
+
|
20
|
+
__END__
|
21
|
+
# Classes
|
22
|
+
module Foo
|
23
|
+
self.@extended: Array[singleton(C) | singleton(D) | singleton(E)]
|
24
|
+
|
25
|
+
def self.extended: (singleton(C) | singleton(D) | singleton(E) klass) -> (Array[singleton(C) | singleton(D) | singleton(E)])
|
26
|
+
end
|
27
|
+
|
28
|
+
class C
|
29
|
+
extend Foo
|
30
|
+
end
|
31
|
+
|
32
|
+
class D
|
33
|
+
extend Foo
|
34
|
+
end
|
35
|
+
|
36
|
+
class E
|
37
|
+
extend Foo
|
38
|
+
end
|
data/smoke/fib.rb
CHANGED
data/smoke/flow1.rb
CHANGED
data/smoke/flow10.rb
ADDED
data/smoke/flow2.rb
CHANGED
data/smoke/flow3.rb
CHANGED
data/smoke/flow5.rb
CHANGED
data/smoke/flow6.rb
CHANGED
data/smoke/flow7.rb
CHANGED
data/smoke/flow8.rb
CHANGED
data/smoke/flow9.rb
CHANGED
data/smoke/function.rb
CHANGED
data/smoke/gvar.rb
CHANGED
data/smoke/gvar2.rb
CHANGED
data/smoke/hash-fetch.rb
CHANGED
@@ -22,7 +22,7 @@ __END__
|
|
22
22
|
# Classes
|
23
23
|
class Object
|
24
24
|
private
|
25
|
-
def foo: ({a: :A, b: :B}) -> (:A | :B)
|
26
|
-
def bar: ({a: :A, b: :B}) -> (:A | :B | :C)
|
27
|
-
def baz: ({a: :A, b: :B}) -> ([:A | :B | :C, (:a | :b)?])
|
25
|
+
def foo: ({a: :A, b: :B} h) -> (:A | :B)
|
26
|
+
def bar: ({a: :A, b: :B} h) -> (:A | :B | :C)
|
27
|
+
def baz: ({a: :A, b: :B} h) -> ([:A | :B | :C, (:a | :b)?])
|
28
28
|
end
|
data/smoke/included.rb
ADDED
@@ -0,0 +1,38 @@
|
|
1
|
+
module Foo
|
2
|
+
@included = []
|
3
|
+
def self.included(klass)
|
4
|
+
@included << klass
|
5
|
+
end
|
6
|
+
end
|
7
|
+
|
8
|
+
class C
|
9
|
+
include Foo
|
10
|
+
end
|
11
|
+
|
12
|
+
class D
|
13
|
+
include Foo
|
14
|
+
end
|
15
|
+
|
16
|
+
class E
|
17
|
+
include Foo
|
18
|
+
end
|
19
|
+
|
20
|
+
__END__
|
21
|
+
# Classes
|
22
|
+
module Foo
|
23
|
+
self.@included: Array[singleton(C) | singleton(D) | singleton(E)]
|
24
|
+
|
25
|
+
def self.included: (singleton(C) | singleton(D) | singleton(E) klass) -> (Array[singleton(C) | singleton(D) | singleton(E)])
|
26
|
+
end
|
27
|
+
|
28
|
+
class C
|
29
|
+
include Foo
|
30
|
+
end
|
31
|
+
|
32
|
+
class D
|
33
|
+
include Foo
|
34
|
+
end
|
35
|
+
|
36
|
+
class E
|
37
|
+
include Foo
|
38
|
+
end
|
data/smoke/inheritance.rb
CHANGED
@@ -24,11 +24,11 @@ B.test("str")
|
|
24
24
|
__END__
|
25
25
|
# Classes
|
26
26
|
class A
|
27
|
-
def foo: (Integer | String) -> nil
|
28
|
-
def bar: (Integer | String) -> nil
|
29
|
-
def self.test: (Integer | String) -> nil
|
27
|
+
def foo: (Integer | String x) -> nil
|
28
|
+
def bar: (Integer | String x) -> nil
|
29
|
+
def self.test: (Integer | String x) -> nil
|
30
30
|
end
|
31
31
|
|
32
32
|
class B < A
|
33
|
-
def bar: ((Integer | String)?) -> nil
|
33
|
+
def bar: ((Integer | String)? x) -> nil
|
34
34
|
end
|
data/smoke/inherited.rb
ADDED
@@ -0,0 +1,26 @@
|
|
1
|
+
class Foo
|
2
|
+
@inherited = []
|
3
|
+
def self.inherited(klass)
|
4
|
+
@inherited << klass
|
5
|
+
end
|
6
|
+
end
|
7
|
+
|
8
|
+
class Bar < Foo
|
9
|
+
end
|
10
|
+
|
11
|
+
class Baz < Foo
|
12
|
+
end
|
13
|
+
|
14
|
+
__END__
|
15
|
+
# Classes
|
16
|
+
class Foo
|
17
|
+
self.@inherited: Array[singleton(Bar) | singleton(Baz)]
|
18
|
+
|
19
|
+
def self.inherited: (singleton(Bar) | singleton(Baz) klass) -> (Array[singleton(Bar) | singleton(Baz)])
|
20
|
+
end
|
21
|
+
|
22
|
+
class Bar < Foo
|
23
|
+
end
|
24
|
+
|
25
|
+
class Baz < Foo
|
26
|
+
end
|
data/smoke/initialize.rb
CHANGED
@@ -16,12 +16,13 @@ __END__
|
|
16
16
|
# Classes
|
17
17
|
class Object
|
18
18
|
private
|
19
|
-
def log: (A) -> nil
|
19
|
+
def log: (A x) -> nil
|
20
20
|
end
|
21
21
|
|
22
22
|
class A
|
23
23
|
@int: Integer
|
24
24
|
@str: String
|
25
25
|
@val: (Integer | String)?
|
26
|
-
|
26
|
+
|
27
|
+
def initialize: ((Integer | String)? x) -> ((Integer | String)?)
|
27
28
|
end
|
data/smoke/instance_eval.rb
CHANGED
data/smoke/int_times.rb
CHANGED
data/smoke/integer.rb
CHANGED
data/smoke/ivar.rb
CHANGED
@@ -20,11 +20,12 @@ __END__
|
|
20
20
|
# Classes
|
21
21
|
class Object
|
22
22
|
private
|
23
|
-
def log: (Integer | String) -> nil
|
23
|
+
def log: (Integer | String x) -> nil
|
24
24
|
end
|
25
25
|
|
26
26
|
class Foo
|
27
27
|
@foo: Integer | String
|
28
|
-
|
28
|
+
|
29
|
+
def foo=: (Integer | String x) -> (Integer | String)
|
29
30
|
def foo: -> (Integer | String)
|
30
31
|
end
|
data/smoke/ivar2.rb
CHANGED
@@ -23,8 +23,8 @@ Foo.new.set
|
|
23
23
|
__END__
|
24
24
|
# Classes
|
25
25
|
class Foo
|
26
|
-
attr_reader array: Array[:sym | Integer | String]
|
27
|
-
attr_reader hash: {a: Integer, b: String, c: :sym}
|
28
26
|
def initialize: -> Hash[bot, bot]
|
29
27
|
def set: -> :sym
|
28
|
+
attr_reader array: Array[:sym | Integer | String]
|
29
|
+
attr_reader hash: {a: Integer, b: String, c: :sym}
|
30
30
|
end
|
data/smoke/ivar3.rb
CHANGED
@@ -7,10 +7,11 @@ end
|
|
7
7
|
|
8
8
|
__END__
|
9
9
|
# Errors
|
10
|
-
smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared
|
10
|
+
smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared variable
|
11
11
|
|
12
12
|
# Classes
|
13
13
|
class Foo
|
14
14
|
@bar: String
|
15
|
+
|
15
16
|
def initialize: -> String
|
16
17
|
end
|
data/smoke/ivar4.rb
CHANGED
data/smoke/kernel-class.rb
CHANGED
data/smoke/keyword4.rb
CHANGED