typeprof 0.8.0 → 0.11.0

data/smoke/rbs-module.rbs

@@ -0,0 +1,4 @@
+module Foo
+  def self.foo: -> Integer
+  def bar: -> Integer
+end

data/smoke/rbs-opt-and-rest.rb

@@ -0,0 +1,10 @@
+def foo
+  Foo.foo
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> void
+end

data/smoke/rbs-opt-and-rest.rbs

@@ -0,0 +1,3 @@
+module Foo
+  def self.foo: (?Integer, *String) -> void
+end

data/smoke/rbs-proc1.rb

@@ -6,5 +6,5 @@ __END__
 # Classes
 class Object
   private
-  def log : -> Integer
+  def log: -> Integer
 end

data/smoke/rbs-proc2.rb

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def log1 : (untyped) -> untyped
-  def log2 : -> String
+  def log1: (untyped n) -> untyped
+  def log2: -> String
 end

data/smoke/rbs-proc3.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def log : (Foo[Integer]) -> Integer
+  def log: (Foo[Integer] foo) -> Integer
 end

data/smoke/rbs-record.rb

@@ -13,6 +13,6 @@ __END__
 # Classes
 class Object
   private
-  def test_foo : -> [Integer, String]
-  def test_bar : -> Integer
+  def test_foo: -> [Integer, String]
+  def test_bar: -> Integer
 end

data/smoke/rbs-tyvar.rb

@@ -14,6 +14,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> (Cell[Integer | String])
-  def bar : -> (Integer | String)
+  def foo: -> (Cell[Integer | String])
+  def bar: -> (Integer | String)
 end

data/smoke/rbs-tyvar2.rb

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
-  def bar : -> (:b1 | :b2)
+  def foo: -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
+  def bar: -> (:b1 | :b2)
 end

data/smoke/rbs-tyvar3.rb

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

data/smoke/rbs-tyvar4.rb

@@ -30,7 +30,8 @@ obj.foo(:b)
 __END__
 # Classes
 class Foo
-  @ivar : Array[Array[String]]
-  def initialize : (Array[Array[String]]) -> Array[Array[String]]
-  def foo : (:a | :b) -> nil
+  @ivar: Array[Array[String]]
+
+  def initialize: (Array[Array[String]] ivar) -> Array[Array[String]]
+  def foo: (:a | :b n) -> nil
 end

data/smoke/rbs-tyvar5.rb

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> Cell[Foo[:a, :b]]
+  def foo: -> Cell[Foo[:a, :b]]
 end

data/smoke/rbs-tyvar6.rb

@@ -12,7 +12,7 @@ __END__
 # Classes
 class Object
   private
-  def log1 : (Bar[String]) -> nil
-  def log2 : (Array[String]) -> nil
-  def log3 : (Integer) -> nil
+  def log1: (Bar[String] obj) -> nil
+  def log2: (Array[String] obj) -> nil
+  def log3: (Integer obj) -> nil
 end

data/smoke/rbs-tyvar7.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> Bar[Integer]
+  def foo: -> Bar[Integer]
 end

data/smoke/rbs-vars.rb

@@ -22,17 +22,17 @@ end
 
 __END__
 # Global variables
-#$gvar : :gvar_example
+#$gvar: :gvar_example
 
 # Classes
 class Object
   private
-  def gvar_test : -> :gvar_example
+  def gvar_test: -> :gvar_example
 end
 
 class Foo
-  def const_test : -> :const_example
-  def ivar_test : -> :ivar_example
-  def cvar_test : -> :cvar_example
-  def self.cvar_test2 : -> :cvar_example
+  def const_test: -> :const_example
+  def ivar_test: -> :ivar_example
+  def cvar_test: -> :cvar_example
+  def self.cvar_test2: -> :cvar_example
 end

data/smoke/redo1.rb

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

data/smoke/redo2.rb

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

data/smoke/req-keyword.rb

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

data/smoke/rescue1.rb

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : ((:sym | Integer | String)?) -> Integer
-  def bar : -> (:sym | Integer)
+  def foo: ((:sym | Integer | String)? x) -> Integer
+  def bar: -> (:sym | Integer)
 end

data/smoke/rescue2.rb

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

data/smoke/rescue3.rb

@@ -0,0 +1,20 @@
+Ary = [1, "str"]
+
+def foo
+  Ary[
+    begin
+      0
+    rescue
+      1
+    end
+  ]
+end
+
+__END__
+# Classes
+class Object
+  Ary: [Integer, String]
+
+  private
+  def foo: -> (Integer | String)
+end

data/smoke/rescue4.rb

@@ -0,0 +1,17 @@
+def log(n)
+end
+
+log(
+  begin
+    1
+  rescue
+    "str"
+  end
+)
+
+__END__
+# Classes
+class Object
+  private
+  def log: (Integer | String n) -> nil
+end

data/smoke/respond_to.rb

@@ -19,5 +19,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : (Integer | String | true) -> (Integer | String | bool)
+  def foo: (Integer | String | true n) -> (Integer | String | bool)
 end

data/smoke/rest-farg.rb

@@ -7,5 +7,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> bool
+  def foo: -> bool
 end

data/smoke/rest1.rb

@@ -21,6 +21,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : (:a | Integer | String, *Integer | String, :z | Integer | String) -> (Array[Integer | String])
-  def bar : (String, ?Integer | String, *String, String) -> Array[String]
+  def foo: (:a | Integer | String a, *Integer | String r, :z | Integer | String z) -> (Array[Integer | String])
+  def bar: (String a, ?Integer | String o, *String r, String z) -> Array[String]
 end

data/smoke/rest2.rb

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

data/smoke/rest3.rb

@@ -28,10 +28,10 @@ __END__
 # Classes
 class Object
   private
-  def foo : (*String) -> nil
-  def bar : (*Integer | String) -> nil
-  def baz : (String, *String) -> nil
-  def qux : (Integer, *String) -> nil
-  def corge : (*Integer | String, Integer | String) -> nil
-  def grault : (String, ?Integer | String, *String, String) -> nil
+  def foo: (*String r) -> nil
+  def bar: (*Integer | String r) -> nil
+  def baz: (String x, *String r) -> nil
+  def qux: (Integer x, *String r) -> nil
+  def corge: (*Integer | String r, Integer | String z) -> nil
+  def grault: (String a, ?Integer | String o, *String r, String z) -> nil
 end

data/smoke/rest4.rb

@@ -14,6 +14,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : (*:s | Integer | String) -> nil
-  def bar : (Integer, :s | String, :s | String) -> nil
+  def foo: (*:s | Integer | String a) -> nil
+  def bar: (Integer x, :s | String y, :s | String z) -> nil
 end

data/smoke/rest5.rb

@@ -7,5 +7,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : (*Integer) -> [Integer]
+  def foo: (*Integer args) -> [Integer]
 end

data/smoke/rest6.rb

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

data/smoke/retry1.rb

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def bar : (Integer | String) -> (Integer | String)
-  def foo : (Integer | String) -> (Integer | String)
+  def bar: (Integer | String x) -> (Integer | String)
+  def foo: (Integer | String x) -> (Integer | String)
 end

data/smoke/return.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> Integer
+  def foo: -> Integer
 end

data/smoke/simple.rb

@@ -0,0 +1,12 @@
+def foo(n)
+  n.to_s
+end
+
+foo(42)
+
+__END__
+# Classes
+class Object
+  private
+  def foo: (Integer n) -> String
+end

data/smoke/singleton_method.rb

@@ -8,5 +8,5 @@ end
 __END__
 # Classes
 class Object
-  V : Object
+  V: Object
 end

data/smoke/step.rb

@@ -12,7 +12,7 @@ __END__
 # Classes
 class Object
   private
-  def log1 : (Integer | Numeric) -> nil
-  def log2 : (void) -> nil
-  def log3 : (Enumerator[Integer | Numeric]) -> nil
+  def log1: (Integer | Numeric x) -> nil
+  def log2: (void x) -> nil
+  def log3: (Enumerator[Integer | Numeric] x) -> nil
 end

data/smoke/string-split.rb

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

data/smoke/struct-keyword_init.rb

@@ -0,0 +1,10 @@
+Foo = Struct.new(:a, :b, :c, keyword_init: true)
+Foo[a: 1, b: "str", c: 1.0]
+
+__END__
+# Classes
+class Foo < Struct
+  attr_accessor a(): Integer
+  attr_accessor b(): String
+  attr_accessor c(): Float
+end

data/smoke/struct.rb

@@ -6,7 +6,7 @@ Foo.new.a = 1
 __END__
 # Classes
 class AnonymousStruct_generated_1 < Struct
-  attr_accessor a() : untyped
+  attr_accessor a(): untyped
 end
 
 class Foo < AnonymousStruct_generated_1

data/smoke/struct2.rb

@@ -15,11 +15,11 @@ __END__
 # Classes
 class Object
   private
-  def gen_foobar : -> FooBar
+  def gen_foobar: -> FooBar
 end
 
 class FooBar < Struct
-  attr_accessor foo() : Integer | String
-  attr_accessor bar() : :sym?
-  def my_foo : -> (Integer | String)
+  attr_accessor foo(): Integer | String
+  attr_accessor bar(): :sym?
+  def my_foo: -> (Integer | String)
 end

data/smoke/struct3.rb

@@ -8,7 +8,7 @@ __END__
 # Classes
 class App
   class FooBar < Struct
-    attr_accessor foo() : Integer
-    attr_accessor bar() : String
+    attr_accessor foo(): Integer
+    attr_accessor bar(): String
   end
 end

data/smoke/struct4.rb

@@ -0,0 +1,7 @@
+UndefinedConstant::Foo = Struct.new(:foo)
+
+__END__
+# Classes
+class AnonymousStruct_generated_1 < Struct
+  attr_accessor foo(): untyped
+end

data/smoke/struct5.rb

@@ -0,0 +1,16 @@
+Foo = Struct.new(:foo)
+
+class Foo
+  def initialize(foo)
+    super(foo.to_s)
+  end
+end
+
+Foo.new(42)
+
+__END__
+# Classes
+class Foo < Struct
+  attr_accessor foo(): String
+  def initialize: (Integer foo) -> Foo
+end