typeprof 0.7.0 → 0.10.0

data/smoke/attr-vis.rb

@@ -0,0 +1,43 @@
+class Foo
+  def initialize
+    @foo = 42
+  end
+
+  private
+  attr_accessor :foo
+
+  public
+  def get_foo
+    foo
+  end
+  def set_foo(arg)
+    self.foo = arg
+  end
+  def get_bar
+    bar
+  end
+  def set_bar(arg)
+    self.bar = arg
+  end
+end
+
+Foo.new.set_foo("str")
+Foo.new.set_bar("str")
+
+__END__
+# Errors
+smoke/attr-vis.rb:20: [warning] inconsistent assignment to RBS-declared variable
+
+# Classes
+class Foo
+  def initialize: -> Integer
+
+  private
+  attr_accessor foo: Integer | String
+
+  public
+  def get_foo: -> (Integer | String)
+  def set_foo: (String arg) -> String
+  def get_bar: -> Integer
+  def set_bar: (String arg) -> String
+end

data/smoke/attr-vis.rbs

@@ -0,0 +1,4 @@
+class Foo
+  private
+  attr_accessor bar: Integer
+end

data/smoke/attr.rb

@@ -20,9 +20,9 @@ foo.c = :ccc
 __END__
 # Classes
 class Foo
-  attr_reader a : :aaa
-  attr_writer b : :bbb
-  attr_accessor c : :ccc
-  def initialize : (:aaa) -> :aaa
-  def get_b : -> :bbb
+  def initialize: (:aaa a) -> :aaa
+  attr_reader a: :aaa
+  attr_writer b: :bbb
+  def get_b: -> :bbb
+  attr_accessor c: :ccc
 end

data/smoke/autoload.rb

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> Pathname
+  private
+  def foo: -> Pathname
 end

data/smoke/backtrace.rb

@@ -26,7 +26,8 @@ smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
 
 # Classes
 class Object
-  def foo : -> untyped
-  def bar : -> untyped
-  def baz : -> untyped
+  private
+  def foo: -> untyped
+  def bar: -> untyped
+  def baz: -> untyped
 end

data/smoke/block-ambiguous.rb

@@ -25,12 +25,13 @@ f4 {|x,| log4(x) }
 __END__
 # Classes
 class Object
-  def f1 : { (:a, :b, :c) -> nil } -> nil
-  def log1 : (:a) -> nil
-  def f2 : { (:a, :b, :c) -> nil } -> nil
-  def log2 : (:a) -> nil
-  def f3 : { ([:a, :b, :c]) -> nil } -> nil
-  def log3 : ([:a, :b, :c]) -> nil
-  def f4 : { ([:a, :b, :c]) -> nil } -> nil
-  def log4 : (:a) -> nil
+  private
+  def f1: { (:a, :b, :c) -> nil } -> nil
+  def log1: (:a x) -> nil
+  def f2: { (:a, :b, :c) -> nil } -> nil
+  def log2: (:a x) -> nil
+  def f3: { ([:a, :b, :c]) -> nil } -> nil
+  def log3: ([:a, :b, :c] x) -> nil
+  def f4: { ([:a, :b, :c]) -> nil } -> nil
+  def log4: (:a x) -> nil
 end

data/smoke/block-args1-rest.rb

@@ -48,15 +48,17 @@ end
 __END__
 # Classes
 class Object
-  StringArray : Array[String]
-  def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
-  def log1 : (String, :opt | String, String) -> nil
-  def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)
-  def log2 : (:a, :opt | String, String) -> nil
-  def f3 : { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, :b | String) -> nil)
-  def log3 : (:a, :b | :opt, :b | String) -> nil
-  def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
-  def log4 : (:a, :b | :opt, :b | :c) -> nil
-  def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
-  def log5 : (:a, :b | :opt, :b | :c) -> nil
+  StringArray: Array[String]
+
+  private
+  def f1: { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
+  def log1: (String a, :opt | String o, String c) -> nil
+  def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)
+  def log2: (:a a, :opt | String o, String c) -> nil
+  def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, :b | String) -> nil)
+  def log3: (:a a, :b | :opt o, :b | String c) -> nil
+  def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
+  def log4: (:a a, :b | :opt o, :b | :c c) -> nil
+  def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, :b | :c) -> nil)
+  def log5: (:a a, :b | :opt o, :b | :c c) -> nil
 end

data/smoke/block-args1.rb

@@ -46,14 +46,15 @@ end
 __END__
 # Classes
 class Object
-  def f1 : { -> nil } -> ^(nil, ?:opt, nil) -> nil
-  def log1 : (nil, :opt, nil) -> nil
-  def f2 : { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil
-  def log2 : (:a, :opt, nil) -> nil
-  def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, :b) -> nil
-  def log3 : (:a, :opt, :b) -> nil
-  def f4 : { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
-  def log4 : (:a, :b | :opt, :c) -> nil
-  def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
-  def log5 : (:a, :b | :opt, :c) -> nil
+  private
+  def f1: { -> nil } -> ^(nil, ?:opt, nil) -> nil
+  def log1: (nil a, :opt o, nil c) -> nil
+  def f2: { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil
+  def log2: (:a a, :opt o, nil c) -> nil
+  def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, :b) -> nil
+  def log3: (:a a, :opt o, :b c) -> nil
+  def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
+  def log4: (:a a, :b | :opt o, :c c) -> nil
+  def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, :c) -> nil)
+  def log5: (:a a, :b | :opt o, :c c) -> nil
 end

data/smoke/block-args2-rest.rb

@@ -48,15 +48,17 @@ end
 __END__
 # Classes
 class Object
-  StringArray : Array[String]
-  def f1 : { (*String) -> nil } -> ^(String, *String, String) -> nil
-  def log1 : (String, Array[String], String) -> nil
-  def f2 : { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil
-  def log2 : (:a, Array[String], String) -> nil
-  def f3 : { (:a, :b, *String) -> nil } -> (^(:a, *:b | String, :b | String) -> nil)
-  def log3 : (:a, Array[:b | String], :b | String) -> nil
-  def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, *:b | :c | String, :c | String) -> nil)
-  def log4 : (:a, Array[:b | :c | String], :c | String) -> nil
-  def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, *:b | :c | :d | String, :d | String) -> nil)
-  def log5 : (:a, Array[:b | :c | :d | String], :d | String) -> nil
+  StringArray: Array[String]
+
+  private
+  def f1: { (*String) -> nil } -> ^(String, *String, String) -> nil
+  def log1: (String a, Array[String] r, String c) -> nil
+  def f2: { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil
+  def log2: (:a a, Array[String] r, String c) -> nil
+  def f3: { (:a, :b, *String) -> nil } -> (^(:a, *:b | String, :b | String) -> nil)
+  def log3: (:a a, Array[:b | String] r, :b | String c) -> nil
+  def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, *:b | :c | String, :c | String) -> nil)
+  def log4: (:a a, Array[:b | :c | String] r, :c | String c) -> nil
+  def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, *:b | :c | :d | String, :d | String) -> nil)
+  def log5: (:a a, Array[:b | :c | :d | String] r, :d | String c) -> nil
 end

data/smoke/block-args2.rb

@@ -46,14 +46,15 @@ end
 __END__
 # Classes
 class Object
-  def f1 : { -> nil } -> ^(nil, *bot, nil) -> nil
-  def log1 : (nil, Array[bot], nil) -> nil
-  def f2 : { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
-  def log2 : (:a, Array[bot], nil) -> nil
-  def f3 : { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
-  def log3 : (:a, Array[bot], :b) -> nil
-  def f4 : { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
-  def log4 : (:a, [:b], :c) -> nil
-  def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
-  def log5 : (:a, [:b, :c], :d) -> nil
+  private
+  def f1: { -> nil } -> ^(nil, *bot, nil) -> nil
+  def log1: (nil a, Array[bot] r, nil c) -> nil
+  def f2: { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
+  def log2: (:a a, Array[bot] r, nil c) -> nil
+  def f3: { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
+  def log3: (:a a, Array[bot] r, :b c) -> nil
+  def f4: { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
+  def log4: (:a a, [:b] r, :c c) -> nil
+  def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
+  def log5: (:a a, [:b, :c] r, :d c) -> nil
 end

data/smoke/block-args3-rest.rb

@@ -57,17 +57,19 @@ end
 __END__
 # Classes
 class Object
-  StringArray : Array[String]
-  def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
-  def log1 : (String, :opt | String, Array[String], String) -> nil
-  def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
-  def log2 : (:a, :opt | String, Array[String], String) -> nil
-  def f3 : { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
-  def log3 : (:a, :b | :opt, Array[String], :b | String) -> nil
-  def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
-  def log4 : (:a, :b | :opt, Array[:c | String], :c | String) -> nil
-  def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
-  def log5 : (:a, :b | :opt, Array[:c | :d | String], :d | String) -> nil
-  def f6 : { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
-  def log6 : (:a, :b | :opt, Array[:c | :d | :e | String], :e | String) -> nil
+  StringArray: Array[String]
+
+  private
+  def f1: { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
+  def log1: (String a, :opt | String o, Array[String] r, String c) -> nil
+  def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
+  def log2: (:a a, :opt | String o, Array[String] r, String c) -> nil
+  def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
+  def log3: (:a a, :b | :opt o, Array[String] r, :b | String c) -> nil
+  def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
+  def log4: (:a a, :b | :opt o, Array[:c | String] r, :c | String c) -> nil
+  def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
+  def log5: (:a a, :b | :opt o, Array[:c | :d | String] r, :d | String c) -> nil
+  def f6: { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
+  def log6: (:a a, :b | :opt o, Array[:c | :d | :e | String] r, :e | String c) -> nil
 end

data/smoke/block-args3.rb

@@ -55,16 +55,17 @@ end
 __END__
 # Classes
 class Object
-  def f1 : { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
-  def log1 : (nil, :opt, Array[bot], nil) -> nil
-  def f2 : { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
-  def log2 : (:a, :opt, Array[bot], nil) -> nil
-  def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
-  def log3 : (:a, :opt, Array[bot], :b) -> nil
-  def f4 : { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
-  def log4 : (:a, :b | :opt, Array[bot], :c) -> nil
-  def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
-  def log5 : (:a, :b | :opt, [:c], :d) -> nil
-  def f6 : { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
-  def log6 : (:a, :b | :opt, [:c, :d], :e) -> nil
+  private
+  def f1: { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
+  def log1: (nil a, :opt o, Array[bot] r, nil c) -> nil
+  def f2: { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
+  def log2: (:a a, :opt o, Array[bot] r, nil c) -> nil
+  def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
+  def log3: (:a a, :opt o, Array[bot] r, :b c) -> nil
+  def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
+  def log4: (:a a, :b | :opt o, Array[bot] r, :c c) -> nil
+  def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
+  def log5: (:a a, :b | :opt o, [:c] r, :d c) -> nil
+  def f6: { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
+  def log6: (:a a, :b | :opt o, [:c, :d] r, :e c) -> nil
 end

data/smoke/block-blockarg.rb

@@ -20,8 +20,9 @@ end
 __END__
 # Classes
 class Object
-  def log1 : (:a) -> nil
-  def log2 : (:b) -> nil
-  def log3 : (:c) -> nil
-  def f : { -> :c } -> :d
+  private
+  def log1: (:a x) -> nil
+  def log2: (:b x) -> nil
+  def log3: (:c x) -> nil
+  def f: { -> :c } -> :d
 end

data/smoke/block-kwarg.rb

@@ -39,14 +39,15 @@ smoke/block-kwarg.rb:31: [error] no argument for required keywords
 
 # Classes
 class Object
-  def f1 : { -> nil } -> nil
-  def log1 : (Integer) -> nil
-  def f2 : { -> nil } -> nil
-  def log2 : (:opt | Integer) -> nil
-  def f3 : { -> nil } -> nil
-  def log3 : (Integer | String) -> nil
-  def f4 : { -> nil } -> nil
-  def log4 : ({k: Integer}) -> nil
-  def f5 : { -> nil } -> untyped
-  def f6 : { -> nil } -> untyped
+  private
+  def f1: { -> nil } -> nil
+  def log1: (Integer n) -> nil
+  def f2: { -> nil } -> nil
+  def log2: (:opt | Integer n) -> nil
+  def f3: { -> nil } -> nil
+  def log3: (Integer | String n) -> nil
+  def f4: { -> nil } -> nil
+  def log4: ({k: Integer} kwrest) -> nil
+  def f5: { -> nil } -> untyped
+  def f6: { -> nil } -> untyped
 end

data/smoke/block1.rb

@@ -18,5 +18,6 @@ end
 __END__
 # Classes
 class Object
-  def foo : (:sym | String) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
+  private
+  def foo: (:sym | String x) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
 end

data/smoke/block10.rb

@@ -10,5 +10,6 @@ foo([1], ["str"])
 __END__
 # Classes
 class Object
-  def foo : ([Integer], [String]) -> ([Integer | String])
+  private
+  def foo: ([Integer] ary1, [String] ary2) -> ([Integer | String])
 end

data/smoke/block11.rb

@@ -31,9 +31,10 @@ bar
 __END__
 # Classes
 class Object
-  def log1 : (Integer?) -> nil
-  def log2 : (Integer?) -> nil
-  def foo : -> Integer?
-  def test_yield : { -> nil } -> nil
-  def bar : -> Integer?
+  private
+  def log1: (Integer? x) -> nil
+  def log2: (Integer? x) -> nil
+  def foo: -> Integer?
+  def test_yield: { -> nil } -> nil
+  def bar: -> Integer?
 end

data/smoke/block12.rb

@@ -17,6 +17,7 @@ bar
 __END__
 # Classes
 class Object
-  def foo : -> [:foo]
-  def bar : -> [:bar]
+  private
+  def foo: -> [:foo]
+  def bar: -> [:bar]
 end

data/smoke/block14.rb

@@ -9,9 +9,10 @@ $blk.call(42)
 
 __END__
 # Global variables
-$blk : ^(Integer) -> nil
+$blk: ^(Integer) -> nil
 
 # Classes
 class Object
-  def foo : { (Integer) -> nil } -> nil
+  private
+  def foo: { (Integer) -> nil } -> nil
 end

data/smoke/block2.rb

@@ -10,5 +10,6 @@ end
 __END__
 # Classes
 class Object
-  def foo : (Integer) { (Integer) -> String } -> String
+  private
+  def foo: (Integer x) { (Integer) -> String } -> String
 end

data/smoke/block3.rb

@@ -26,13 +26,13 @@ Bar.new.bar
 __END__
 # Classes
 class Common
-  def func : (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
+  def func: (:sym | String x) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
 end
 
 class Foo
-  def foo : -> (:sym2 | Integer)
+  def foo: -> (:sym2 | Integer)
 end
 
 class Bar
-  def bar : -> (:sym2 | Integer)
+  def bar: -> (:sym2 | Integer)
 end

data/smoke/block4.rb

@@ -13,6 +13,7 @@ bar(&blk)
 __END__
 # Classes
 class Object
-  def foo : { (:sym | String) -> (:sym | String) } -> (:sym | String)
-  def bar : { (:sym | String) -> (:sym | String) } -> (:sym | String)
+  private
+  def foo: { (:sym | String) -> (:sym | String) } -> (:sym | String)
+  def bar: { (:sym | String) -> (:sym | String) } -> (:sym | String)
 end

data/smoke/block5.rb

@@ -14,6 +14,8 @@ end
 __END__
 # Classes
 class Object
-  F : ^(Integer) -> String
-  def foo : { (:sym) -> String } -> String
+  F: ^(Integer) -> String
+
+  private
+  def foo: { (:sym) -> String } -> String
 end

data/smoke/block6.rb

@@ -15,6 +15,7 @@ foo
 __END__
 # Classes
 class Object
-  def bar : { -> String } -> String
-  def foo : -> (Integer | String)
+  private
+  def bar: { -> String } -> String
+  def foo: -> (Integer | String)
 end