typeprof 0.5.4 → 0.9.0

data/smoke/cvar2.rb

@@ -9,9 +9,9 @@ end
 __END__
 # Classes
 class A
-  @@var : :a
+  @@var: :a
 end
 
 class B < A
-  @@var : :b
+  @@var: :b
 end

data/smoke/define_method.rb

@@ -0,0 +1,16 @@
+class Foo
+  def bar(n)
+    :BAR
+  end
+
+  define_method(:foo) do |n|
+    bar(:FOO)
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def bar: (:FOO | untyped) -> :BAR
+  def foo: (untyped) -> :BAR
+end

data/smoke/define_method2.rb

@@ -0,0 +1,18 @@
+class C
+  x = :x
+  define_method(:foo) do
+    x
+  end
+  define_method(:bar) do
+    x
+  end
+end
+
+C.new.foo
+
+__END__
+# Classes
+class C
+  def foo: -> :x
+  def bar: -> :x
+end

data/smoke/define_method3.rb

@@ -0,0 +1,13 @@
+class Foo
+  x = 1
+  define_method(:foo) {
+    @log = x
+  }
+end
+
+__END__
+# Classes
+class Foo
+  @log: Integer
+# def foo: () -> void
+end

data/smoke/define_method3.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: () -> void
+end

data/smoke/define_method4.rb

@@ -0,0 +1,15 @@
+class Foo
+  define_method(:foo) do |*messages, **kw|
+    bar(*messages, **kw)
+  end
+
+  def bar(*messages, **kw)
+  end
+end
+
+__END__
+# Classes
+class Foo
+# def foo: () -> NilClass
+  def bar: (*untyped, **Hash[untyped, untyped]) -> nil
+end

data/smoke/define_method4.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: () -> NilClass
+end

data/smoke/define_method5.rb

@@ -0,0 +1,12 @@
+class Foo
+  foo = 42
+  f = proc { foo }
+
+  define_method(:foo, &f)
+end
+
+__END__
+# Classes
+class Foo
+  def foo: -> Integer
+end

data/smoke/demo.rb

@@ -65,16 +65,17 @@ B.new.foo("str")
 __END__
 # Classes
 class Object
-  def foo : (bool) -> (Integer | String)
-  def identity : (:sym | Integer | String) -> (:sym | Integer | String)
-  def fib : (Integer) -> Integer
+  private
+  def foo: (bool) -> (Integer | String)
+  def identity: (:sym | Integer | String) -> (:sym | Integer | String)
+  def fib: (Integer) -> Integer
 end
 
 class A
-  def foo : (Integer | String) -> nil
-  def bar : (Integer | String) -> nil
+  def foo: (Integer | String) -> nil
+  def bar: (Integer | String) -> nil
 end
 
 class B < A
-  def bar : (Integer | String) -> nil
+  def bar: (Integer | String) -> nil
 end

data/smoke/demo1.rb

@@ -12,5 +12,6 @@ foo(false)
 __END__
 # Classes
 class Object
-  def foo : (bool) -> (Integer | String)
+  private
+  def foo: (bool) -> (Integer | String)
 end

data/smoke/demo10.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

data/smoke/demo11.rb

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

data/smoke/demo2.rb

@@ -10,5 +10,6 @@ my_to_s(:sym)
 __END__
 # Classes
 class Object
-  def my_to_s : (:sym | Integer | String) -> String
+  private
+  def my_to_s: (:sym | Integer | String) -> String
 end

data/smoke/demo3.rb

@@ -12,5 +12,6 @@ fib(40000)
 __END__
 # Classes
 class Object
-  def fib : (Integer) -> Integer
+  private
+  def fib: (Integer) -> Integer
 end

data/smoke/demo4.rb

@@ -18,10 +18,10 @@ B.new.foo("str")
 __END__
 # Classes
 class A
-  def foo : (Integer | String) -> nil
-  def bar : (Integer | String) -> nil
+  def foo: (Integer | String) -> nil
+  def bar: (Integer | String) -> nil
 end
 
 class B < A
-  def bar : (Integer | String) -> nil
+  def bar: (Integer | String) -> nil
 end

data/smoke/demo5.rb

@@ -9,7 +9,7 @@ B.foo(Integer)
 __END__
 # Classes
 class A
-  def self.foo : (Integer | singleton(Integer)) -> String
+  def self.foo: (Integer | singleton(Integer)) -> String
 end
 
 class B < A

data/smoke/demo6.rb

@@ -15,7 +15,7 @@ Foo.new.foo
 __END__
 # Classes
 class Foo
-  @foo : Integer | String
-  def foo= : (Integer | String) -> (Integer | String)
-  def foo : -> (Integer | String)
+  @foo: Integer | String
+  def foo=: (Integer | String) -> (Integer | String)
+  def foo: -> (Integer | String)
 end

data/smoke/demo7.rb

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

data/smoke/demo8.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/demo9.rb

@@ -11,6 +11,7 @@ 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/dummy-execution1.rb

@@ -9,6 +9,7 @@ end
 __END__
 # Classes
 class Object
-  def foo : (Integer | untyped) -> (Integer | untyped)
-  def bar : -> (Integer | untyped)
+  private
+  def foo: (Integer | untyped) -> (Integer | untyped)
+  def bar: -> (Integer | untyped)
 end

data/smoke/dummy-execution2.rb

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def foo : (Integer | untyped) -> (Integer | untyped)
-  def self.bar : -> (Integer | untyped)
+  def foo: (Integer | untyped) -> (Integer | untyped)
+  def self.bar: -> (Integer | untyped)
 end

data/smoke/dummy_element.rb

@@ -0,0 +1,14 @@
+# I'm unsure how, but this code calls ContainerType::Elements.dummy_elements
+# I should investigate the mechanism, but anyway I record this code
+
+class Foo
+  define_method(:f) {|**h| }
+end
+
+Foo.new.f
+
+__END__
+# Classes
+class Foo
+  def f: (**Hash[untyped, untyped]) -> nil
+end

data/smoke/ensure1.rb

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

data/smoke/enumerator.rb

@@ -10,6 +10,7 @@ fuga
 __END__
 # Classes
 class Object
-  def hoge : -> Enumerator[Integer]
-  def fuga : -> Enumerator[Integer]
+  private
+  def hoge: -> Enumerator[Integer]
+  def fuga: -> Enumerator[Integer]
 end

data/smoke/expandarray1.rb

@@ -18,5 +18,6 @@ smoke/expandarray1.rb:3: [error] undefined method: Object#unknown
 
 # Classes
 class Object
-  def foo : -> ([:a, [:b, :c]] | untyped)
+  private
+  def foo: -> ([:a, [:b, :c]] | untyped)
 end

data/smoke/expandarray2.rb

@@ -19,5 +19,6 @@ smoke/expandarray2.rb:3: [error] undefined method: Object#unknown
 
 # Classes
 class Object
-  def foo : -> ([:a, [:b, :c]] | untyped)
+  private
+  def foo: -> ([:a, [:b, :c]] | untyped)
 end

data/smoke/fib.rb

@@ -23,6 +23,6 @@ Fib.new.fib_rec(42)
 __END__
 # Classes
 class Fib
-  def fib_loop : (Integer) -> Integer
-  def fib_rec : (Integer) -> Integer
+  def fib_loop: (Integer) -> Integer
+  def fib_rec: (Integer) -> Integer
 end

data/smoke/flip-flop.rb

@@ -0,0 +1,28 @@
+def cond1?
+  rand < 0.5
+end
+
+def cond2?
+  rand < 0.5
+end
+
+def foo
+  while true
+    if cond1? .. cond2?
+      return 42
+    end
+    if cond1? .. cond2?
+      return "str"
+    end
+  end
+  return
+end
+
+__END__
+# Classes
+class Object
+  private
+  def cond1?: -> bool
+  def cond2?: -> bool
+  def foo: -> (Integer | String)
+end

data/smoke/flow1.rb

@@ -12,5 +12,6 @@ foo("str")
 __END__
 # Classes
 class Object
-  def foo : (Integer | String) -> (Integer | String)
+  private
+  def foo: (Integer | String) -> (Integer | String)
 end

data/smoke/flow2.rb

@@ -10,5 +10,6 @@ smoke/flow2.rb:5: [error] undefined method: Object#unknown
 
 # Classes
 class Object
-  def foo : (untyped) -> Integer
+  private
+  def foo: (untyped) -> Integer
 end

data/smoke/flow3.rb

@@ -10,5 +10,6 @@ foo(nil)
 __END__
 # Classes
 class Object
-  def foo : (Integer?) -> Integer?
+  private
+  def foo: (Integer?) -> Integer?
 end

data/smoke/flow5.rb

@@ -15,5 +15,6 @@ foo("1")
 __END__
 # Classes
 class Object
-  def foo : (Integer | String) -> Integer
+  private
+  def foo: (Integer | String) -> Integer
 end

data/smoke/flow6.rb

@@ -15,5 +15,6 @@ foo("1")
 __END__
 # Classes
 class Object
-  def foo : (Integer | String) -> String
+  private
+  def foo: (Integer | String) -> String
 end

data/smoke/flow7.rb

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

data/smoke/flow8.rb

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

data/smoke/flow9.rb

@@ -0,0 +1,12 @@
+def foo(obj)
+  if obj ? true : obj.foo(1)
+    "foo"
+  end
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: (untyped) -> String?
+end

data/smoke/freeze.rb

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

data/smoke/function.rb

@@ -11,6 +11,7 @@ one_argument(1)
 __END__
 # Classes
 class Object
-  def no_argument : -> String
-  def one_argument : (Integer) -> nil
+  private
+  def no_argument: -> String
+  def one_argument: (Integer) -> nil
 end