typeprof 0.5.4 → 0.9.0

data/smoke/method_in_branch.rb

@@ -16,7 +16,8 @@ bar
 __END__
 # Classes
 class Object
-  def foo : -> nil
-  def bar : -> Integer
+  private
+  def foo: -> nil
+  def bar: -> Integer
           | -> String
 end

data/smoke/method_missing.rb

@@ -0,0 +1,28 @@
+class D
+  def foo(x, y, z)
+  end
+end
+
+class C
+  def initialize(x)
+    @target = x
+  end
+
+  def method_missing(m, *args)
+    @target.send(m, *args)
+  end
+end
+
+C.new(D.new).foo(:X, :Y, :Z)
+
+__END__
+# Classes
+class D
+  def foo: (:X, :Y, :Z) -> nil
+end
+
+class C
+  @target: D
+  def initialize: (D) -> D
+  def method_missing: (:foo, *:X | :Y | :Z) -> nil
+end

data/smoke/module1.rb

@@ -20,8 +20,8 @@ C.new.bar
 __END__
 # Classes
 module M
-  def foo : -> :foo
-  def bar : -> :bar
+  def foo: -> :foo
+  def bar: -> :bar
 end
 
 class C

data/smoke/module2.rb

@@ -16,7 +16,7 @@ C.new.foo
 __END__
 # Classes
 module M1
-  def foo : -> :foo
+  def foo: -> :foo
 end
 
 module M2

data/smoke/module3.rb

@@ -20,11 +20,11 @@ C.new.foo
 __END__
 # Classes
 module M1
-  def foo : -> :m1
+  def foo: -> :m1
 end
 
 module M2
-  def foo : -> :m2
+  def foo: -> :m2
 end
 
 class C

data/smoke/module4.rb

@@ -21,12 +21,12 @@ C.foo
 __END__
 # Classes
 module M2
-  def foo : -> :m2_foo
+  def foo: -> :m2_foo
 end
 
 module M1
   extend M2
-  def foo : -> :m1_foo
+  def foo: -> :m1_foo
 end
 
 class C

data/smoke/module5.rb

@@ -0,0 +1,17 @@
+module Foo
+  Module.new do
+    include Foo
+    extend Foo
+  end
+end
+
+Foo.foo
+__END__
+# Errors
+smoke/module5.rb:8: [error] undefined method: singleton(Foo)#foo
+
+# Classes
+module Foo
+  include Foo
+  extend Foo
+end

data/smoke/module6.rb

@@ -0,0 +1,40 @@
+module A
+end
+
+module B
+  include A
+end
+
+module A
+  include B
+end
+
+class C
+  include A
+end
+
+def log
+  C.new.foo
+end
+
+__END__
+# Errors
+smoke/module6.rb:17: [error] undefined method: C#foo
+
+# Classes
+class Object
+  private
+  def log: -> untyped
+end
+
+module A
+  include B
+end
+
+module B
+  include A
+end
+
+class C
+  include A
+end

data/smoke/module_function1.rb

@@ -18,11 +18,11 @@ Bar.new.bar
 __END__
 # Classes
 module Foo
-  def foo : (:x | :y) -> (:x | :y)
-  def self.foo : (:x | :y) -> (:x | :y)
+  def foo: (:x | :y) -> (:x | :y)
+  def self.foo: (:x | :y) -> (:x | :y)
 end
 
 class Bar
   include Foo
-  def bar : -> (:x | :y)
+  def bar: -> (:x | :y)
 end

data/smoke/module_function2.rb

@@ -18,11 +18,11 @@ Bar.new.bar
 __END__
 # Classes
 module Foo
-  def foo : (:x | :y) -> (:x | :y)
-  def self.foo : (:x | :y) -> (:x | :y)
+  def foo: (:x | :y) -> (:x | :y)
+  def self.foo: (:x | :y) -> (:x | :y)
 end
 
 class Bar
   include Foo
-  def bar : -> (:x | :y)
+  def bar: -> (:x | :y)
 end

data/smoke/multiple-include.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Foo
   include Comparable
-  def foo : -> nil
+  def foo: -> nil
 end

data/smoke/multiple-superclass.rb

@@ -15,7 +15,7 @@ smoke/multiple-superclass.rb:9: [warning] superclass is not a class; Object is u
 
 # Classes
 class Object
-  Base : singleton(A) | singleton(B)
+  Base: singleton(A) | singleton(B)
 end
 
 class A

data/smoke/next1.rb

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

data/smoke/next2.rb

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

data/smoke/object-send1.rb

@@ -16,7 +16,8 @@ dispatch(:bar)
 __END__
 # Classes
 class Object
-  def foo : (Integer) -> Integer
-  def bar : (Integer) -> Integer
-  def dispatch : (:bar | :foo) -> Integer
+  private
+  def foo: (Integer) -> Integer
+  def bar: (Integer) -> Integer
+  def dispatch: (:bar | :foo) -> Integer
 end

data/smoke/object-send2.rb

@@ -0,0 +1,10 @@
+def foo
+  nil.send
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> untyped
+end

data/smoke/object-send3.rb

@@ -0,0 +1,18 @@
+class Foo
+  include Enumerable
+end
+
+def log
+  Foo.new.send(*:cycle)
+end
+
+__END__
+# Classes
+class Object
+  private
+  def log: -> Enumerator[untyped]
+end
+
+class Foo
+  include Enumerable
+end

data/smoke/once.rb

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

data/smoke/optional1.rb

@@ -9,5 +9,6 @@ foo("A", "B", "C", "Z")
 __END__
 # Classes
 class Object
-  def foo : (String, ?Integer | String, ?Integer | String, String) -> ([String, Integer | String, Integer | String, String])
+  private
+  def foo: (String, ?Integer | String, ?Integer | String, String) -> ([String, Integer | String, Integer | String, String])
 end

data/smoke/optional2.rb

@@ -11,5 +11,6 @@ foo("A", "B", "C", "D", "E", "Z")
 __END__
 # Classes
 class Object
-  def foo : (String, ?Integer | String, ?Integer | String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
+  private
+  def foo: (String, ?Integer | String, ?Integer | String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
 end

data/smoke/optional3.rb

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

data/smoke/parameterizedd-self.rb

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

data/smoke/parameterizedd-self2.rb

@@ -0,0 +1,15 @@
+class Object
+  def foo
+    # The receiver is considered as an empty array
+    self[0]
+  end
+end
+
+# The elements are dropped when it is passed as a receiver (to avoid state explosion)
+[0].foo
+
+__END__
+# Classes
+class Object
+  def foo: -> nil
+end

data/smoke/pathname1.rb

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

data/smoke/pathname2.rb

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

data/smoke/pattern-match1.rb

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

data/smoke/pattern-match2.rb

@@ -11,5 +11,6 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> [:A, :B]
+  private
+  def foo: -> [:A, :B]
 end

data/smoke/printf.rb

@@ -15,6 +15,6 @@ F.new.bar
 __END__
 # Classes
 class F
-  def foo : -> nil
-  def bar : -> nil
+  def foo: -> nil
+  def bar: -> nil
 end

data/smoke/proc.rb

@@ -14,6 +14,7 @@ bar
 __END__
 # Classes
 class Object
-  def foo : -> Integer
-  def bar : -> String
+  private
+  def foo: -> Integer
+  def bar: -> String
 end

data/smoke/proc2.rb

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

data/smoke/proc3.rb

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

data/smoke/proc4.rb

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

data/smoke/proc5.rb

@@ -0,0 +1,19 @@
+def foo(&blk)
+  $blk = blk
+  nil
+end
+
+foo {}
+foo {|arg| }
+
+$blk.call(42)
+
+__END__
+# Global variables
+$blk: ^(?Integer) -> nil
+
+# Classes
+class Object
+  private
+  def foo: { (Integer) -> nil } -> nil
+end

data/smoke/public.rb

@@ -0,0 +1,34 @@
+class Foo
+  def foo
+  end
+
+  private
+
+  def bar
+  end
+
+  public
+
+  def baz
+  end
+
+  private def qux
+  end
+
+  def corge
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def foo: -> nil
+  private
+  def bar: -> nil
+  public
+  def baz: -> nil
+  private
+  def qux: -> nil
+  public
+  def corge: -> nil
+end