typeprof 0.8.0 → 0.11.0

data/smoke/struct6.rb

@@ -0,0 +1,15 @@
+class Foo < Struct.new(:foo)
+  def initialize(foo)
+    super(foo.to_s)
+  end
+end
+
+__END__
+# Classes
+class AnonymousStruct_generated_1 < Struct
+  attr_accessor foo(): untyped
+end
+
+class Foo < AnonymousStruct_generated_1
+  def initialize: (untyped foo) -> Foo
+end

data/smoke/struct7.rb

@@ -0,0 +1,17 @@
+# I'm unsure how this is useful
+# This test just checks if TypeProf raises no exception
+
+class Foo < Struct
+end
+
+class Foo
+  def initialize
+    super
+  end
+end
+
+__END__
+# Classes
+class Foo < Struct
+  def initialize: -> Foo
+end

data/smoke/stub-keyword.rb

@@ -0,0 +1,10 @@
+def foo(age: nil)
+end
+
+foo(age: 1)
+__END__
+# Classes
+class Object
+  private
+  def foo: (?age: Integer?) -> nil
+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/super2.rb

@@ -12,5 +12,5 @@ smoke/super2.rb:3: [error] no superclass method: Foo#f
 
 # Classes
 class Foo
-  def f : -> untyped
+  def f: -> untyped
 end

data/smoke/super3.rb

@@ -13,7 +13,8 @@ Foo.new(1)
 __END__
 # Classes
 class Foo
-  @a : Integer
-  def self.new : (Integer) -> Foo
-  def initialize : (Integer) -> Integer
+  @a: 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/svar1.rb

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> [String?, String?]
+  def foo: -> [String?, String?]
 end

data/smoke/symbol-proc-attr.rb

@@ -0,0 +1,22 @@
+class Foo
+  attr_reader :foo
+  def initialize(foo)
+    @foo = foo
+  end
+end
+
+def log
+  [Foo.new(42)].map(&:foo)
+end
+
+__END__
+# Classes
+class Object
+  private
+  def log: -> (Array[Integer | untyped])
+end
+
+class Foo
+  attr_reader foo: Integer | untyped
+  def initialize: (Integer | untyped foo) -> (Integer | untyped)
+end

data/smoke/symbol-proc-attr2.rb

@@ -0,0 +1,15 @@
+class Foo
+  attr_reader :foo
+  def initialize
+    @foo = [42]
+  end
+end
+
+[Foo.new].flat_map(&:foo)
+
+__END__
+# Classes
+class Foo
+  attr_reader foo: [Integer]
+  def initialize: -> [Integer]
+end

data/smoke/symbol-proc-bot.rb

@@ -0,0 +1,13 @@
+# This method call invokes (bottom type).boo, so the analysis may terminate
+# Currently, SymbolBlock translates bot receiver to any type
+[].each(&:boo)
+
+def foo
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> nil
+end

data/smoke/symbol-proc.rb

@@ -16,10 +16,10 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> Array[String]
-  def bar : -> Array[:foo]
+  def foo: -> Array[String]
+  def bar: -> Array[:foo]
 end
 
 class Foo
-  def foo : -> :foo
+  def foo: -> :foo
 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/two-map.rb

@@ -13,6 +13,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> Array[String]
-  def bar : -> Array[Integer]
+  def foo: -> Array[String]
+  def bar: -> Array[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/typed_method.rb

@@ -12,5 +12,5 @@ smoke/typed_method.rb:6: [error] undefined method: Object#unknown
 # Classes
 class Object
   private
-  def foo : -> Float
+  def foo: -> Float
 end

data/smoke/uninitialize-var.rb

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

data/smoke/union-recv.rb

@@ -21,11 +21,11 @@ end
 __END__
 # Classes
 class SuperBase
-  def self.foo : -> (singleton(A) | singleton(B))
+  def self.foo: -> (singleton(A) | singleton(B))
 end
 
 class Base < SuperBase
-  def self.foo : -> (singleton(A) | singleton(B))
+  def self.foo: -> (singleton(A) | singleton(B))
 end
 
 class A < Base

data/smoke/user-demo.rb

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

data/smoke/wrong-extend.rb

@@ -17,10 +17,11 @@ end
 __END__
 # Classes
 module Bar
-  def bar : -> :bar
+  def bar: -> :bar
 end
 
 module Foo
   extend Bar
-  def foo : -> :foo
+
+  def foo: -> :foo
 end

data/smoke/wrong-include.rb

@@ -17,10 +17,11 @@ end
 __END__
 # Classes
 module Bar
-  def bar : -> :bar
+  def bar: -> :bar
 end
 
 module Foo
   include Bar
-  def foo : -> :foo
+
+  def foo: -> :foo
 end

data/smoke/wrong-include2.rb

@@ -0,0 +1,17 @@
+class Foo
+end
+
+class Bar
+  include Foo
+end
+
+__END__
+# Errors
+smoke/wrong-include2.rb:5: [warning] attempted to include/extend non-module; ignored
+
+# Classes
+class Foo
+end
+
+class Bar
+end

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.17.0"
+  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.8.0
+  version: 0.11.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-12-01 00:00:00.000000000 Z
+date: 2020-12-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.17.0
+        version: 1.0.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.17.0
+        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
@@ -93,6 +94,7 @@ files:
 - smoke/array12.rb
 - smoke/array13.rb
 - smoke/array14.rb
+- smoke/array15.rb
 - smoke/array2.rb
 - smoke/array3.rb
 - smoke/array4.rb
@@ -101,6 +103,9 @@ files:
 - smoke/array7.rb
 - 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
@@ -128,13 +133,17 @@ files:
 - smoke/block7.rb
 - smoke/block8.rb
 - smoke/block9.rb
+- smoke/block_given.rb
 - smoke/blown.rb
 - smoke/break1.rb
 - smoke/break2.rb
+- smoke/break3.rb
 - smoke/case.rb
 - smoke/case2.rb
+- smoke/case3.rb
 - smoke/class-hierarchy.rb
 - smoke/class-hierarchy2.rb
+- smoke/class-new.rb
 - smoke/class.rb
 - smoke/class_instance_var.rb
 - smoke/class_method.rb
@@ -149,6 +158,12 @@ files:
 - smoke/cvar2.rb
 - smoke/define_method.rb
 - smoke/define_method2.rb
+- smoke/define_method3.rb
+- smoke/define_method3.rbs
+- smoke/define_method4.rb
+- smoke/define_method4.rbs
+- smoke/define_method5.rb
+- smoke/define_method6.rb
 - smoke/demo.rb
 - smoke/demo1.rb
 - smoke/demo10.rb
@@ -163,12 +178,17 @@ files:
 - smoke/demo9.rb
 - smoke/dummy-execution1.rb
 - 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/fib.rb
+- smoke/flip-flop.rb
 - smoke/flow1.rb
+- smoke/flow10.rb
 - smoke/flow2.rb
 - smoke/flow3.rb
 - smoke/flow4.rb
@@ -176,12 +196,14 @@ files:
 - smoke/flow6.rb
 - smoke/flow7.rb
 - smoke/flow8.rb
+- smoke/flow9.rb
 - smoke/for.rb
 - smoke/freeze.rb
 - smoke/function.rb
 - smoke/gvar.rb
 - smoke/gvar2.rb
 - smoke/gvar2.rbs
+- smoke/hash-bot.rb
 - smoke/hash-fetch.rb
 - smoke/hash-merge-bang.rb
 - smoke/hash1.rb
@@ -193,12 +215,15 @@ files:
 - smoke/inheritance2.rb
 - smoke/initialize.rb
 - smoke/instance_eval.rb
+- smoke/instance_eval2.rb
+- smoke/instance_eval3.rb
 - smoke/int_times.rb
 - smoke/integer.rb
 - smoke/ivar.rb
 - smoke/ivar2.rb
 - smoke/ivar3.rb
 - smoke/ivar3.rbs
+- smoke/ivar4.rb
 - smoke/kernel-class.rb
 - smoke/keyword1.rb
 - smoke/keyword2.rb
@@ -209,6 +234,8 @@ files:
 - smoke/kwrest.rbs
 - smoke/kwsplat1.rb
 - smoke/kwsplat2.rb
+- smoke/lit-complex.rb
+- smoke/lit-encoding.rb
 - smoke/manual-rbs.rb
 - smoke/manual-rbs.rbs
 - smoke/manual-rbs2.rb
@@ -224,6 +251,8 @@ files:
 - smoke/module2.rb
 - smoke/module3.rb
 - smoke/module4.rb
+- smoke/module5.rb
+- smoke/module6.rb
 - smoke/module_function1.rb
 - smoke/module_function2.rb
 - smoke/multiple-include.rb
@@ -231,6 +260,8 @@ files:
 - smoke/next1.rb
 - smoke/next2.rb
 - smoke/object-send1.rb
+- smoke/object-send2.rb
+- smoke/object-send3.rb
 - smoke/once.rb
 - smoke/optional1.rb
 - smoke/optional2.rb
@@ -241,11 +272,17 @@ 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
 - smoke/proc3.rb
 - smoke/proc4.rb
+- smoke/proc5.rb
+- smoke/public.rb
 - smoke/range.rb
 - smoke/rbs-alias.rb
 - smoke/rbs-alias.rbs
@@ -257,6 +294,10 @@ files:
 - smoke/rbs-extend.rbs
 - smoke/rbs-interface.rb
 - smoke/rbs-interface.rbs
+- smoke/rbs-module.rb
+- smoke/rbs-module.rbs
+- smoke/rbs-opt-and-rest.rb
+- smoke/rbs-opt-and-rest.rbs
 - smoke/rbs-proc1.rb
 - smoke/rbs-proc1.rbs
 - smoke/rbs-proc2.rb
@@ -285,6 +326,8 @@ files:
 - smoke/req-keyword.rb
 - smoke/rescue1.rb
 - smoke/rescue2.rb
+- smoke/rescue3.rb
+- smoke/rescue4.rb
 - smoke/respond_to.rb
 - smoke/rest-farg.rb
 - smoke/rest1.rb
@@ -296,19 +339,29 @@ files:
 - smoke/retry1.rb
 - smoke/return.rb
 - smoke/reveal.rb
+- smoke/simple.rb
 - smoke/singleton_class.rb
 - smoke/singleton_method.rb
 - smoke/step.rb
 - smoke/string-split.rb
+- smoke/struct-keyword_init.rb
 - smoke/struct.rb
 - smoke/struct2.rb
 - smoke/struct3.rb
+- smoke/struct4.rb
+- smoke/struct5.rb
+- smoke/struct6.rb
+- smoke/struct7.rb
+- smoke/stub-keyword.rb
 - smoke/super1.rb
 - smoke/super2.rb
 - smoke/super3.rb
 - smoke/super4.rb
 - smoke/super5.rb
 - smoke/svar1.rb
+- smoke/symbol-proc-attr.rb
+- smoke/symbol-proc-attr2.rb
+- smoke/symbol-proc-bot.rb
 - smoke/symbol-proc.rb
 - smoke/tap1.rb
 - smoke/toplevel.rb
@@ -320,6 +373,7 @@ files:
 - smoke/user-demo.rb
 - smoke/wrong-extend.rb
 - smoke/wrong-include.rb
+- smoke/wrong-include2.rb
 - smoke/wrong-rbs.rb
 - smoke/wrong-rbs.rbs
 - testbed/ao.rb
@@ -327,7 +381,6 @@ files:
 - testbed/goodcheck-Gemfile.lock
 - tools/coverage.rb
 - tools/setup-insns-def.rb
-- tools/stackprof-wrapper.rb
 - typeprof.gemspec
 homepage: https://github.com/ruby/typeprof
 licenses:
@@ -350,7 +403,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.0.rc.2
+rubygems_version: 3.2.3
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation