typeprof 0.9.1 → 0.13.0

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.9.1"
+  VERSION = "0.13.0"
 end

data/smoke/alias.rb

@@ -21,11 +21,11 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer) -> Integer
-  def bar: (String) -> String
+  def foo: (Integer | String x) -> (Integer | String)
+  alias bar foo
 end
 
 class Test
-  def baz: (Integer) -> Integer
-  def qux: (String) -> String
+  def baz: (Integer | String x) -> (Integer | String)
+  alias qux baz
 end

data/smoke/alias2.rb

@@ -15,5 +15,7 @@ class Foo
   @a: :x
   @b: :y
   @c: :z
-  def initialize: (:x, :y, :z) -> [:x, :y, :z]
+
+  alias self.[] self.new
+  def initialize: (:x a, :y b, :z c) -> [:x, :y, :z]
 end

data/smoke/arguments.rb

@@ -12,6 +12,6 @@ smoke/arguments.rb:6: [error] wrong number of arguments (given 2, expected 1)
 # Classes
 class Object
   private
-  def foo: (untyped) -> nil
-  def bar: (untyped) -> nil
+  def foo: (untyped x) -> nil
+  def bar: (untyped x) -> nil
 end

data/smoke/arguments2.rb

@@ -44,13 +44,13 @@ __END__
 class Object
   private
   def f1: -> nil
-  def f2: (:x, :y, :z) -> nil
-  def f3: (?String, ?String) -> nil
-  def f4: (*:a | :b | :c) -> nil
-  def f5: (:x, ?String, :z) -> nil
+  def f2: (:x x, :y y, :z z) -> nil
+  def f3: (?String x, ?String y) -> nil
+  def f4: (*:a | :b | :c r) -> nil
+  def f5: (:x x, ?String y, :z z) -> nil
   def f6: (k: :kk) -> nil
   def f7: (?k: Integer) -> nil
   def f8: (?k: String) -> nil
-  def f9: (**{k: :kk}) -> nil
+  def f9: (**:kk) -> nil
   def f10: { (Integer) -> nil } -> nil
 end

data/smoke/array-each.rb

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Object
   private
-  def log: ((:sym | Integer | String)?) -> nil
+  def log: ((:sym | Integer | String)? x) -> nil
 end

data/smoke/array-each3.rb

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def log: (bot) -> nil
+  def log: (bot x) -> nil
 end

data/smoke/array-map.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([Integer, Integer, Integer]) -> Array[String]
+  def foo: ([Integer, Integer, Integer] a) -> Array[String]
 end

data/smoke/array-map2.rb

@@ -7,5 +7,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([Integer, Integer, Integer]) -> (Array[Integer | String])
+  def foo: ([Integer, Integer, Integer] a) -> (Array[Integer | String])
 end

data/smoke/array-map3.rb

@@ -17,7 +17,7 @@ __END__
 # Classes
 class Object
   private
-  def map_test: ([Integer, Integer, Integer]) -> Array[String]
-  def map_bang_test: ([Integer, Integer, Integer]) -> (Array[Integer | String])
-  def map_bang_test_known_bug: ([Integer, Integer, Integer]) -> [Integer, Integer, Integer]
+  def map_test: ([Integer, Integer, Integer] a) -> Array[String]
+  def map_bang_test: ([Integer, Integer, Integer] a) -> (Array[Integer | String])
+  def map_bang_test_known_bug: ([Integer, Integer, Integer] a) -> [Integer, Integer, Integer]
 end

data/smoke/array-mul.rb

@@ -13,6 +13,6 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([Integer, Integer, Integer]) -> Array[Integer]
-  def bar: ([Integer, Integer, Integer]) -> String
+  def foo: ([Integer, Integer, Integer] a) -> Array[Integer]
+  def bar: ([Integer, Integer, Integer] a) -> String
 end

data/smoke/array-plus1.rb

@@ -7,5 +7,5 @@ __END__
 # Classes
 class Object
   private
-  def log: (Array[:sym | Integer | String]) -> nil
+  def log: (Array[:sym | Integer | String] x) -> nil
 end

data/smoke/array-plus2.rb

@@ -11,5 +11,6 @@ __END__
 # Classes
 class Foo
   @var: Array[Integer]
+
   def foo: -> Array[Integer]
 end

data/smoke/array-range-aref.rb

@@ -57,15 +57,15 @@ __END__
 # Classes
 class Object
   private
-  def f1: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f2: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f3: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f4: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f5: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f6: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f7: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f8: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f9: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def f10: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
-  def dispatch: (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
+  def f1: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f2: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f3: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f4: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f5: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f6: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f7: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f8: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f9: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def f10: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
+  def dispatch: (*:a | :b | :c | :d | :e ary) -> (Array[:a | :b | :c | :d | :e])
 end

data/smoke/array-replace.rb

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([Integer, Integer, Integer]) -> (Array[Integer | String])
+  def foo: ([Integer, Integer, Integer] a) -> (Array[Integer | String])
 end

data/smoke/array1.rb

@@ -19,9 +19,9 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([Integer, String]) -> Integer
-  def bar: (Integer) -> nil
-  def baz: (String) -> nil
-  def qux: (nil) -> nil
-  def quux: (Integer | String) -> nil
+  def foo: ([Integer, String] a) -> Integer
+  def bar: (Integer n) -> nil
+  def baz: (String n) -> nil
+  def qux: (nil n) -> nil
+  def quux: (Integer | String n) -> nil
 end

data/smoke/array10.rb

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: ([:a, :b, :c]) -> :a
+  def foo: ([:a, :b, :c] a) -> :a
 end

data/smoke/array11.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def array: (Array[Integer] | Hash[Integer, Integer] | String) -> (Array[Hash[Integer, Integer] | Integer | String])
+  def array: (Array[Integer] | Hash[Integer, Integer] | String obj) -> (Array[Hash[Integer, Integer] | Integer | String])
 end

data/smoke/array12.rb

@@ -19,7 +19,7 @@ __END__
 # Classes
 class Object
   private
-  def bar: ([Integer]) -> nil
+  def bar: ([Integer] x) -> nil
   def test_yield: { -> nil } -> nil
   def foo: -> [Integer]
 end

data/smoke/array14.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def f: (:a, :b, :c) -> :c
+  def f: (:a a, :b b, :c c) -> :c
 end

data/smoke/array15.rb

@@ -12,5 +12,5 @@ Foo.new[1] = "str"
 __END__
 # Classes
 class Foo
-  def []=: (*Integer | String) -> Array[bot]
+  def []=: (*Integer | String args) -> Array[bot]
 end

data/smoke/array2.rb

@@ -23,6 +23,6 @@ __END__
 class Object
   private
   def foo: -> [[String]]
-  def bar: ([[Integer]]) -> [[String]]
-  def log: ([[Integer]]) -> nil
+  def bar: ([[Integer]] a) -> [[String]]
+  def log: ([[Integer]] a) -> nil
 end

data/smoke/array3.rb

@@ -19,6 +19,7 @@ __END__
 # Classes
 class Foo
   @ary: [Integer, String?, :sym]
+
   def initialize: -> [Integer, String, :sym]
   def foo: -> String?
   def bar: -> nil

data/smoke/array6.rb

@@ -11,6 +11,7 @@ __END__
 # Classes
 class Object
   ARY: Array[bot]
+
   private
-  def foo: (Integer, String) -> Array[bot]
+  def foo: (Integer i, String v) -> Array[bot]
 end

data/smoke/array8.rb

@@ -9,5 +9,5 @@ end
 __END__
 # Classes
 class Foo
-  def self.foo: (Array[bot]) -> Array[bot]
+  def self.foo: (Array[bot] a) -> Array[bot]
 end

data/smoke/array9.rb

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Array[:a | :b | :c]) -> nil
+  def foo: (Array[:a | :b | :c] a) -> nil
 end

data/smoke/attr-module.rb

@@ -16,6 +16,7 @@ __END__
 # Classes
 module Foo
   self.@foo: Integer
+
   attr_accessor foo: untyped
   attr_accessor self.foo: Integer
 end

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
+  def initialize: (:aaa a) -> :aaa
   attr_reader a: :aaa
   attr_writer b: :bbb
-  attr_accessor c: :ccc
-  def initialize: (:aaa) -> :aaa
   def get_b: -> :bbb
+  attr_accessor c: :ccc
 end

data/smoke/block-ambiguous.rb

@@ -27,11 +27,11 @@ __END__
 class Object
   private
   def f1: { (:a, :b, :c) -> nil } -> nil
-  def log1: (:a) -> nil
+  def log1: (:a x) -> nil
   def f2: { (:a, :b, :c) -> nil } -> nil
-  def log2: (:a) -> nil
+  def log2: (:a x) -> nil
   def f3: { ([:a, :b, :c]) -> nil } -> nil
-  def log3: ([:a, :b, :c]) -> nil
+  def log3: ([:a, :b, :c] x) -> nil
   def f4: { ([:a, :b, :c]) -> nil } -> nil
-  def log4: (:a) -> nil
+  def log4: (:a x) -> nil
 end

data/smoke/block-args1-rest.rb

@@ -49,15 +49,16 @@ __END__
 # Classes
 class Object
   StringArray: Array[String]
+
   private
   def f1: { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
-  def log1: (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, :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, :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, :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, :b | :opt, :b | :c) -> nil
+  def log5: (:a a, :b | :opt o, :b | :c c) -> nil
 end

data/smoke/block-args1.rb

@@ -48,13 +48,13 @@ __END__
 class Object
   private
   def f1: { -> nil } -> ^(nil, ?:opt, nil) -> nil
-  def log1: (nil, :opt, nil) -> nil
+  def log1: (nil a, :opt o, nil c) -> nil
   def f2: { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil
-  def log2: (: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, :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, :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, :b | :opt, :c) -> nil
+  def log5: (:a a, :b | :opt o, :c c) -> nil
 end

data/smoke/block-args2-rest.rb

@@ -49,15 +49,16 @@ __END__
 # Classes
 class Object
   StringArray: Array[String]
+
   private
   def f1: { (*String) -> nil } -> ^(String, *String, String) -> nil
-  def log1: (String, Array[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, Array[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, Array[: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, Array[: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, Array[: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

@@ -48,13 +48,13 @@ __END__
 class Object
   private
   def f1: { -> nil } -> ^(nil, *bot, nil) -> nil
-  def log1: (nil, Array[bot], nil) -> nil
+  def log1: (nil a, Array[bot] r, nil c) -> nil
   def f2: { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
-  def log2: (:a, Array[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, Array[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, [: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, [:b, :c], :d) -> nil
+  def log5: (:a a, [:b, :c] r, :d c) -> nil
 end