typeprof 0.9.1 → 0.13.0

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/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/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/struct-keyword_init.rb

@@ -1,20 +1,10 @@
-# XXX: Need to support keyword_init
-Foo = Struct.new(:foo, keyword_init: true)
-
-class Foo
-  def initialize(foo:)
-    super(foo: foo.to_s)
-  end
-end
-
-Foo.new(42)
+Foo = Struct.new(:a, :b, :c, keyword_init: true)
+Foo[a: 1, b: "str", c: 1.0]
 
 __END__
-# Errors
-smoke/struct-keyword_init.rb:10: [error] wrong number of arguments (given 1, expected 0)
-
 # Classes
-class Foo < Struct
-  attr_accessor foo(): nil
-  def initialize: (foo: untyped) -> Foo
+class Foo < Struct[untyped]
+  attr_accessor a(): Integer
+  attr_accessor b(): String
+  attr_accessor c(): Float
 end

data/smoke/struct.rb

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

data/smoke/struct2.rb

@@ -18,7 +18,7 @@ class Object
   def gen_foobar: -> FooBar
 end
 
-class FooBar < Struct
+class FooBar < Struct[untyped]
   attr_accessor foo(): Integer | String
   attr_accessor bar(): :sym?
   def my_foo: -> (Integer | String)

data/smoke/struct3.rb

@@ -7,7 +7,7 @@ App::FooBar.new(1, "str")
 __END__
 # Classes
 class App
-  class FooBar < Struct
+  class FooBar < Struct[untyped]
     attr_accessor foo(): Integer
     attr_accessor bar(): String
   end

data/smoke/struct4.rb

@@ -2,6 +2,6 @@ UndefinedConstant::Foo = Struct.new(:foo)
 
 __END__
 # Classes
-class AnonymousStruct_generated_1 < Struct
+class AnonymousStruct_generated_1 < Struct[untyped]
   attr_accessor foo(): untyped
 end

data/smoke/struct5.rb

@@ -10,7 +10,7 @@ Foo.new(42)
 
 __END__
 # Classes
-class Foo < Struct
+class Foo < Struct[untyped]
   attr_accessor foo(): String
-  def initialize: (Integer) -> Foo
+  def initialize: (Integer foo) -> Foo
 end

data/smoke/struct6.rb

@@ -6,10 +6,10 @@ end
 
 __END__
 # Classes
-class AnonymousStruct_generated_1 < Struct
+class AnonymousStruct_generated_1 < Struct[untyped]
   attr_accessor foo(): untyped
 end
 
 class Foo < AnonymousStruct_generated_1
-  def initialize: (untyped) -> Foo
+  def initialize: (untyped foo) -> Foo
 end

data/smoke/struct7.rb

@@ -12,6 +12,6 @@ end
 
 __END__
 # Classes
-class Foo < Struct
+class Foo < Struct[untyped]
   def initialize: -> Foo
 end

data/smoke/super1.rb

@@ -35,7 +35,7 @@ __END__
 # Classes
 class Object
   private
-  def log: (Baz) -> nil
+  def log: (Baz x) -> nil
 end
 
 class A
@@ -57,13 +57,13 @@ class Z
 end
 
 class Foo
-  def f: (C) -> X
+  def f: (C x) -> X
 end
 
 class Bar < Foo
-  def f: (B) -> Y
+  def f: (B x) -> Y
 end
 
 class Baz < Bar
-  def f: (A) -> Z
+  def f: (A x) -> Z
 end

data/smoke/super3.rb

@@ -14,6 +14,7 @@ __END__
 # Classes
 class Foo
   @a: Integer
-  def self.new: (Integer) -> Foo
-  def initialize: (Integer) -> Integer
+
+  def self.new: (Integer a) -> Foo
+  def initialize: (Integer a) -> Integer
 end

data/smoke/super4.rb

@@ -21,23 +21,25 @@ E.new.f(:top)
 __END__
 # Classes
 module M1
-  def f: (:D) -> nil
+  def f: (:D m) -> nil
 end
 
 module M2
-  def f: (:E) -> nil
+  def f: (:E m) -> nil
 end
 
 class C
-  def f: (:M1) -> nil
+  def f: (:M1 m) -> nil
 end
 
 class D < C
   include M1
-  def f: (:M2) -> nil
+
+  def f: (:M2 m) -> nil
 end
 
 class E < D
   include M2
-  def f: (:top) -> nil
+
+  def f: (:top m) -> nil
 end

data/smoke/super5.rb

@@ -18,19 +18,21 @@ E.new.f(:top)
 __END__
 # Classes
 module M
-  def f: (:D | :E) -> nil
+  def f: (:D | :E m) -> nil
 end
 
 class C
-  def f: (:M) -> nil
+  def f: (:M m) -> nil
 end
 
 class D < C
   include M
-  def f: (:M) -> nil
+
+  def f: (:M m) -> nil
 end
 
 class E < D
   include M
-  def f: (:top) -> nil
+
+  def f: (:top m) -> nil
 end

data/smoke/symbol-proc-attr.rb

@@ -18,5 +18,5 @@ end
 
 class Foo
   attr_reader foo: Integer | untyped
-  def initialize: (Integer | untyped) -> (Integer | untyped)
+  def initialize: (Integer | untyped foo) -> (Integer | untyped)
 end

data/smoke/tap1.rb

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

data/smoke/toplevel.rb

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

data/smoke/type_var.rb

@@ -1,5 +1,5 @@
-def number?(type)
-  %w[integer float].include?(type).then { puts 1 }
+def number?(ty)
+  %w[integer float].include?(ty).then { puts 1 }
 end
 number?('string')
 
@@ -7,5 +7,5 @@ __END__
 # Classes
 class Object
   private
-  def number?: (String) -> nil
+  def number?: (String ty) -> nil
 end

data/smoke/user-demo.rb

@@ -9,7 +9,7 @@ end
 __END__
 # Classes
 class User
+  def foo: (?name: String | untyped, ?age: Integer | untyped) -> ([String | untyped, Integer | untyped])
   attr_reader name: String | untyped
   attr_reader age: Integer | untyped
-  def foo: (?name: String | untyped, ?age: Integer | untyped) -> ([String | untyped, Integer | untyped])
 end

data/smoke/wrong-extend.rb

@@ -22,5 +22,6 @@ end
 
 module Foo
   extend Bar
+
   def foo: -> :foo
 end

data/smoke/wrong-include.rb

@@ -22,5 +22,6 @@ end
 
 module Foo
   include Bar
+
   def foo: -> :foo
 end

data/smoke/wrong-include2.rb

@@ -7,7 +7,7 @@ end
 
 __END__
 # Errors
-smoke/wrong-include2.rb:5: [warning] including something that is not a module
+smoke/wrong-include2.rb:5: [warning] attempted to include/extend non-module; ignored
 
 # Classes
 class Foo

data/testbed/goodcheck-Gemfile.lock

@@ -21,7 +21,7 @@ GEM
     concurrent-ruby (1.1.7)
     i18n (1.8.5)
       concurrent-ruby (~> 1.0)
-    minitest (5.14.2)
+    minitest (5.14.3)
     minitest-reporters (1.4.2)
       ansi
       builder

data/typeprof.gemspec

@@ -30,5 +30,5 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
-  spec.add_runtime_dependency "rbs", ">= 0.20.1"
+  spec.add_runtime_dependency "rbs", ">= 1.0.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.9.1
+  version: 0.13.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-12-08 00:00:00.000000000 Z
+date: 2021-03-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.20.1
+        version: 1.0.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.20.1
+        version: 1.0.0
 description: |
   TypeProf performs a type analysis of non-annotated Ruby code.
 
@@ -48,6 +48,7 @@ files:
 - doc/doc.ja.md
 - doc/doc.md
 - doc/ppl2019.pdf
+- doc/todo.md
 - exe/typeprof
 - lib/typeprof.rb
 - lib/typeprof/analyzer.rb
@@ -103,6 +104,8 @@ files:
 - smoke/array8.rb
 - smoke/array9.rb
 - smoke/attr-module.rb
+- smoke/attr-vis.rb
+- smoke/attr-vis.rbs
 - smoke/attr.rb
 - smoke/autoload.rb
 - smoke/backtrace.rb
@@ -130,6 +133,7 @@ files:
 - smoke/block7.rb
 - smoke/block8.rb
 - smoke/block9.rb
+- smoke/block_given.rb
 - smoke/blown.rb
 - smoke/break1.rb
 - smoke/break2.rb
@@ -141,6 +145,7 @@ files:
 - smoke/class-hierarchy2.rb
 - smoke/class-new.rb
 - smoke/class.rb
+- smoke/class_eval.rb
 - smoke/class_instance_var.rb
 - smoke/class_method.rb
 - smoke/class_method2.rb
@@ -159,6 +164,8 @@ files:
 - smoke/define_method4.rb
 - smoke/define_method4.rbs
 - smoke/define_method5.rb
+- smoke/define_method6.rb
+- smoke/define_method7.rb
 - smoke/demo.rb
 - smoke/demo1.rb
 - smoke/demo10.rb
@@ -175,12 +182,16 @@ files:
 - smoke/dummy-execution2.rb
 - smoke/dummy_element.rb
 - smoke/ensure1.rb
+- smoke/enum_for.rb
+- smoke/enum_for2.rb
 - smoke/enumerator.rb
 - smoke/expandarray1.rb
 - smoke/expandarray2.rb
+- smoke/extended.rb
 - smoke/fib.rb
 - smoke/flip-flop.rb
 - smoke/flow1.rb
+- smoke/flow10.rb
 - smoke/flow2.rb
 - smoke/flow3.rb
 - smoke/flow4.rb
@@ -203,12 +214,15 @@ files:
 - smoke/hash3.rb
 - smoke/hash4.rb
 - smoke/hash5.rb
+- smoke/included.rb
 - smoke/inheritance.rb
 - smoke/inheritance2.rb
+- smoke/inherited.rb
 - smoke/initialize.rb
 - smoke/instance_eval.rb
 - smoke/instance_eval2.rb
 - smoke/instance_eval3.rb
+- smoke/instance_eval4.rb
 - smoke/int_times.rb
 - smoke/integer.rb
 - smoke/ivar.rb
@@ -264,6 +278,10 @@ files:
 - smoke/pathname2.rb
 - smoke/pattern-match1.rb
 - smoke/pattern-match2.rb
+- smoke/prepend1.rb
+- smoke/prepend2.rb
+- smoke/prepend2.rbs
+- smoke/primitive_method.rb
 - smoke/printf.rb
 - smoke/proc.rb
 - smoke/proc2.rb
@@ -327,6 +345,7 @@ files:
 - smoke/retry1.rb
 - smoke/return.rb
 - smoke/reveal.rb
+- smoke/simple.rb
 - smoke/singleton_class.rb
 - smoke/singleton_method.rb
 - smoke/step.rb
@@ -390,7 +409,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.4
+rubygems_version: 3.2.3
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation