typeprof 0.7.0 → 0.10.0

data/smoke/block7.rb

@@ -14,5 +14,6 @@ smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
 
 # Classes
 class Object
-  def foo : -> untyped
+  private
+  def foo: -> untyped
 end

data/smoke/block8.rb

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

data/smoke/block9.rb

@@ -8,5 +8,6 @@ foo { }
 __END__
 # Classes
 class Object
-  def foo : { -> nil } -> Integer
+  private
+  def foo: { -> nil } -> Integer
 end

data/smoke/block_given.rb

@@ -0,0 +1,37 @@
+def foo
+  block_given?
+end
+
+foo {}
+
+def bar
+  block_given?
+end
+
+bar
+
+def baz
+  block_given?
+end
+
+baz {}
+baz
+
+def qux
+  block_given?
+end
+
+qux(&unknown)
+
+__END__
+# Errors
+smoke/block_given.rb:24: [error] undefined method: Object#unknown
+
+# Classes
+class Object
+  private
+  def foo: { -> nil } -> true
+  def bar: -> false
+  def baz: ?{ -> nil } -> bool
+  def qux: -> bool
+end

data/smoke/blown.rb

@@ -8,5 +8,6 @@ foo { }
 __END__
 # Classes
 class Object
-  def foo : { -> nil } -> [^-> nil]
+  private
+  def foo: { -> nil } -> [^-> nil]
 end

data/smoke/break1.rb

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

data/smoke/break2.rb

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

data/smoke/break3.rb

@@ -0,0 +1,13 @@
+def foo
+  begin
+  rescue
+    break 42
+  end while true
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Integer
+end

data/smoke/case.rb

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

data/smoke/case2.rb

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

data/smoke/case3.rb

@@ -0,0 +1,17 @@
+def foo
+  case
+  when *[]
+    return 1
+  when false
+    return 1.0
+  when rand < 0.5
+    return "str"
+  end
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> ((Integer | String)?)
+end

data/smoke/class-hierarchy.rb

@@ -25,7 +25,7 @@ end
 __END__
 # Classes
 class Object
-  A : Integer
+  A: Integer
 end
 
 module Lib
@@ -37,18 +37,18 @@ module Lib
 end
 
 module App
-  CONST3 : Foo::Bar
+  CONST3: Foo::Bar
 
   class Foo < Lib::Base
-    CONST1 : Foo
+    CONST1: Foo
     include Lib::Mod
 
     class Bar
-      CONST2 : Bar
+      CONST2: Bar
     end
   end
 
   class Baz < Foo
-    CONST4 : Foo::Bar
+    CONST4: Foo::Bar
   end
 end

data/smoke/class-hierarchy2.rb

@@ -19,9 +19,9 @@ __END__
 class A
   class B
     class C
-      def get_a : -> A
-      def get_b : -> B
-      def get_c : -> C
+      def get_a: -> A
+      def get_b: -> B
+      def get_c: -> C
     end
   end
 end

data/smoke/class-new.rb

@@ -0,0 +1,15 @@
+Foo = Class.new
+Foo::Bar = 1
+Foo.extend(Enumerable)
+Foo.include(Enumerable)
+class Foo::Baz
+end
+Foo.send(:private, :foo)
+
+# XXX: should be supported better
+
+__END__
+# Classes
+class Object
+  Foo: Class
+end

data/smoke/class_instance_var.rb

@@ -5,5 +5,5 @@ end
 __END__
 # Classes
 class Foo
-  self.@foo : Integer
+  self.@foo: Integer
 end

data/smoke/class_method.rb

@@ -20,6 +20,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo : (Integer) -> Integer
-  def self.bar : (String) -> String
+  def self.foo: (Integer x) -> Integer
+  def self.bar: (String x) -> String
 end

data/smoke/class_method2.rb

@@ -16,6 +16,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo : (Integer) -> Integer
-  def self.bar : (String) -> String
+  def self.foo: (Integer | String x) -> (Integer | String)
+  alias self.bar self.foo
 end

data/smoke/class_method3.rb

@@ -19,9 +19,11 @@ v.foo
 __END__
 # Classes
 class ForWin
-  def self.foo : -> nil
+  private
+  def self.foo: -> nil
 end
 
 class ForLinux
-  def self.foo : -> nil
+  private
+  def self.foo: -> nil
 end

data/smoke/constant1.rb

@@ -31,16 +31,16 @@ Foo::Bar.new.get4 # Integer
 __END__
 # Classes
 class Object
-  CONST : Integer
+  CONST: Integer
 end
 
 class Foo
-  CONST : String
+  CONST: String
 
   class Bar
-    def get1 : -> String
-    def get2 : -> Integer
-    def get3 : -> Integer
-    def get4 : -> Integer
+    def get1: -> String
+    def get2: -> Integer
+    def get3: -> Integer
+    def get4: -> Integer
   end
 end

data/smoke/constant2.rb

@@ -24,11 +24,13 @@ smoke/constant2.rb:15: [warning] already initialized constant Object::BAR
 
 # Classes
 class Object
-  BAR : String
-  def foo : (Integer | untyped) -> nil
-  def log : (String) -> nil
+  BAR: String
+
+  private
+  def foo: (Integer | untyped x) -> nil
+  def log: (String x) -> nil
 end
 
 class C
-  def foo : -> nil
+  def foo: -> nil
 end

data/smoke/constant3.rb

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

data/smoke/constant4.rb

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

data/smoke/context-sensitive1.rb

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

data/smoke/cvar.rb

@@ -18,12 +18,14 @@ A.new.foo
 __END__
 # Classes
 class Object
-  def log1 : (Integer) -> nil
-  def log2 : (Integer) -> nil
+  private
+  def log1: (Integer x) -> nil
+  def log2: (Integer x) -> nil
 end
 
 class A
-  FOO : Integer
-  @@var : Integer
-  def foo : -> nil
+  FOO: Integer
+  @@var: Integer
+
+  def foo: -> nil
 end

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

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def bar : (:FOO | untyped) -> :BAR
-  def foo : (untyped) -> :BAR
+  def bar: (:FOO | untyped n) -> :BAR
+  def foo: (untyped n) -> :BAR
 end

data/smoke/define_method2.rb

@@ -13,6 +13,6 @@ C.new.foo
 __END__
 # Classes
 class C
-  def foo : -> :x
-  def bar : -> :x
+  def foo: -> :x
+  def bar: -> :x
 end

data/smoke/define_method3.rb

@@ -0,0 +1,14 @@
+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 messages, **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/define_method6.rb

@@ -0,0 +1,19 @@
+class A
+  %i[a b].each.with_index { |sym, i| define_method(sym) { i } }
+end
+
+def foo
+  A.new.a + A.new.b
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Integer
+end
+
+class A
+  def a: -> Integer
+  def b: -> Integer
+end