typeprof 0.1.2 → 0.4.0

data/smoke/rbs-tyvar.rbs

@@ -0,0 +1,5 @@
+class Cell[T]
+  def initialize : (T) -> void
+  def set_elem : (T) -> void
+  def get_elem : -> T
+end

data/smoke/rbs-tyvar2.rb

@@ -0,0 +1,20 @@
+def foo
+  cell = Cell.new(:a1, :b1, :c1)
+  cell.set_a(:a2)
+  cell.set_b(:b2)
+  cell.set_c(:c2)
+  cell
+end
+
+def bar
+  foo.get_b
+end
+
+bar
+
+__END__
+# Classes
+class Object
+  def foo : -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
+  def bar : -> (:b1 | :b2)
+end

data/smoke/rbs-tyvar2.rbs

@@ -0,0 +1,9 @@
+class Cell[A, B, C]
+  def initialize : (A, B, C) -> void
+  def set_a : (A) -> void
+  def set_b : (B) -> void
+  def set_c : (C) -> void
+  def get_a : -> A
+  def get_b : -> B
+  def get_c : -> C
+end

data/smoke/rbs-tyvar3.rb

@@ -0,0 +1,25 @@
+class StringFoo
+  def initialize
+    @foo = Foo.new
+  end
+
+  def set
+    @foo.set("42")
+  end
+
+  def get
+    @foo.get
+  end
+end
+
+StringFoo.new.set
+StringFoo.new.get
+
+__END__
+# Classes
+class StringFoo
+  @foo : Foo[String] | Foo[bot]
+  def initialize : -> Foo[bot]
+  def set : -> void
+  def get : -> String
+end

data/smoke/rbs-tyvar3.rbs

@@ -0,0 +1,4 @@
+class Foo[X]
+  def set: (X) -> void
+  def get: -> X
+end

data/smoke/rbs-vars.rb

@@ -0,0 +1,39 @@
+def gvar_test
+  $gvar
+end
+
+class Foo
+  def const_test
+    CONST
+  end
+
+  def ivar_test
+    @ivar
+  end
+
+  def cvar_test
+    @@cvar
+  end
+
+  def self.cvar_test2
+    @@cvar
+  end
+end
+
+__END__
+# Global variables
+#$gvar : :gvar_example
+
+# Classes
+class Object
+  def gvar_test : -> :gvar_example
+end
+
+class Foo
+# @ivar : :ivar_example
+# @@cvar : :cvar_example
+  def const_test : -> :const_example
+  def ivar_test : -> :ivar_example
+  def cvar_test : -> :cvar_example
+  def self.cvar_test2 : -> :cvar_example
+end

data/smoke/rbs-vars.rbs

@@ -0,0 +1,7 @@
+$gvar: :gvar_example
+
+class Foo
+  CONST: :const_example
+  @ivar: :ivar_example
+  @@cvar: :cvar_example
+end

data/smoke/rest1.rb

@@ -21,5 +21,5 @@ __END__
 # Classes
 class Object
   def foo : (:a | Integer | String, *Integer | String, :z | Integer | String) -> (Array[Integer | String])
-  def bar : (String, ?String, *String, String) -> Array[String]
+  def bar : (String, ?Integer | String, *String, String) -> Array[String]
 end

data/smoke/rest2.rb

@@ -26,5 +26,5 @@ foo(*a)
 __END__
 # Classes
 class Object
-  def foo : (:s | Integer | String, :s | Integer | String, :s | Integer | String) -> ([:s | Integer | String, :s | Integer | String, :s | Integer | String])
+  def foo : (Integer, String, :s) -> [Integer, String, :s]
 end

data/smoke/rest3.rb

@@ -32,5 +32,5 @@ class Object
   def baz : (String, *String) -> nil
   def qux : (Integer, *String) -> nil
   def corge : (*Integer | String, Integer | String) -> nil
-  def grault : (String, ?String, *String, String) -> nil
+  def grault : (String, ?Integer | String, *String, String) -> nil
 end

data/smoke/rest5.rb

@@ -6,5 +6,5 @@ foo(42)
 __END__
 # Classes
 class Object
-  def foo : (*Integer) -> Array[Integer]
+  def foo : (*Integer) -> [Integer]
 end

data/smoke/rest6.rb

@@ -7,5 +7,5 @@ foo("x", "x")
 __END__
 # Classes
 class Object
-  def foo : (?String, *String) -> [Array[String]]
+  def foo : (?Integer | String, *String) -> [Array[String]]
 end

data/smoke/retry1.rb

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

data/smoke/return.rb

@@ -1,5 +1,5 @@
 def foo
-  loop do |_|
+  loop do
     return 42
   end
   nil

data/smoke/singleton_method.rb

@@ -7,3 +7,6 @@ end
 
 __END__
 # Classes
+class Object
+  V : Object
+end

data/smoke/step.rb

@@ -12,6 +12,6 @@ __END__
 # Classes
 class Object
   def log1 : (Integer | Numeric) -> nil
-  def log2 : (untyped) -> nil
+  def log2 : (void) -> nil
   def log3 : (Enumerator[Integer | Numeric]) -> nil
 end

data/smoke/struct.rb

@@ -1,9 +1,13 @@
-# tentative
+# tentative: Currently, the hidden instance variable belongs to Foo, not Anonymous Struct.
+# Thus, it outputs "untyped"
 class Foo < Struct.new(:a)
 end
 Foo.new.a = 1
 __END__
 # Classes
-class (Struct) < Struct
+class (Anonymous Struct) < Struct
   attr_accessor a() : untyped
 end
+
+class Foo < (Anonymous Struct)
+end

data/smoke/struct3.rb

@@ -0,0 +1,14 @@
+class App
+  FooBar = Struct.new(:foo, :bar)
+end
+
+App::FooBar.new(1, "str")
+
+__END__
+# Classes
+class App
+  class FooBar < Struct
+    attr_accessor foo() : Integer
+    attr_accessor bar() : String
+  end
+end

data/smoke/super1.rb

@@ -37,6 +37,24 @@ class Object
   def log : (Baz) -> nil
 end
 
+class A
+end
+
+class B
+end
+
+class C
+end
+
+class X
+end
+
+class Y
+end
+
+class Z
+end
+
 class Foo
   def f : (C) -> X
 end

data/smoke/symbol-proc.rb

@@ -0,0 +1,24 @@
+def foo
+  [1, :sym, "str"].map(&:to_s)
+end
+
+class Foo
+  def foo
+    :foo
+  end
+end
+
+def bar
+  [Foo.new].map(&:foo)
+end
+
+__END__
+# Classes
+class Object
+  def foo : -> Array[String]
+  def bar : -> Array[:foo]
+end
+
+class Foo
+  def foo : -> :foo
+end

data/smoke/union-recv.rb

@@ -27,3 +27,9 @@ end
 class Base < SuperBase
   def self.foo : -> (A.class | B.class)
 end
+
+class A < Base
+end
+
+class B < Base
+end

data/smoke/user-demo.rb

@@ -0,0 +1,15 @@
+class User
+  def foo(name: "str", age: 0)
+    @name, @age = name, age
+  end
+
+  attr_reader :name, :age
+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])
+end

data/smoke/wrong-extend.rb

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

data/tools/setup-insns-def.rb

@@ -26,5 +26,5 @@ File.read(ARGV[0]).scan(r) do
   end
   INSN_TABLE[name.to_sym] = operands
 end
-target = File.join(__dir__, "../lib/type-profiler/insns-def.rb")
+target = File.join(__dir__, "../lib/typeprof/insns-def.rb")
 File.write(target, "TypeProf::INSN_TABLE = " + INSN_TABLE.pretty_inspect)

data/tools/stackprof-wrapper.rb

@@ -3,7 +3,7 @@
 require "stackprof"
 StackProf.start(mode: :cpu, out: "stackprof-cpu.dump", raw: true, interval: 1000)
 begin
-  load File.join(__dir__, "../exe/type-profiler")
+  load File.join(__dir__, "../exe/typeprof")
 ensure
   StackProf.stop
   StackProf.results

data/typeprof.gemspec

@@ -1,12 +1,20 @@
+require_relative 'lib/typeprof/version'
+
 Gem::Specification.new do |spec|
   spec.name          = "typeprof" # temporal
-  spec.version       = "0.1.2"
+  spec.version       = TypeProf::VERSION
   spec.authors       = ["Yusuke Endoh"]
   spec.email         = ["mame@ruby-lang.org"]
 
   spec.summary       = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
-  spec.description   = %q{TypeProf is a type analysis tool for Ruby code based on abstract interpretation}
-  spec.homepage      = "https://github.com/mame/ruby-type-profiler"
+  spec.description   = <<~EOD
+    TypeProf performs a type analysis of non-annotated Ruby code.
+
+    It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
+
+    This tool is planned to be bundled with Ruby 3.0.
+  EOD
+  spec.homepage      = "https://github.com/ruby/typeprof"
   spec.license       = "MIT"
   spec.required_ruby_version = Gem::Requirement.new(">= 2.7")
 
@@ -22,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.12.0"
+  spec.add_runtime_dependency "rbs", ">= 0.13.1"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.4.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-10-08 00:00:00.000000000 Z
+date: 2020-11-04 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,15 +16,20 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.12.0
+        version: 0.13.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.12.0
-description: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
+        version: 0.13.1
+description: |
+  TypeProf performs a type analysis of non-annotated Ruby code.
+
+  It abstractly executes input Ruby code in a level of types instead of values, gathers what types are passed to and returned by methods, and prints the analysis result in RBS format, a standard type description format for Ruby 3.0.
+
+  This tool is planned to be bundled with Ruby 3.0.
 email:
 - mame@ruby-lang.org
 executables:
@@ -34,19 +39,23 @@ extra_rdoc_files: []
 files:
 - ".github/workflows/main.yml"
 - ".gitignore"
-- ".gitmodules"
 - Gemfile
 - Gemfile.lock
+- LICENSE
 - README.md
 - Rakefile
+- doc/demo.md
 - doc/doc.ja.md
 - doc/doc.md
 - doc/ppl2019.pdf
 - exe/typeprof
 - lib/typeprof.rb
 - lib/typeprof/analyzer.rb
+- lib/typeprof/arguments.rb
+- lib/typeprof/block.rb
 - lib/typeprof/builtin.rb
 - lib/typeprof/cli.rb
+- lib/typeprof/config.rb
 - lib/typeprof/container-type.rb
 - lib/typeprof/export.rb
 - lib/typeprof/import.rb
@@ -55,13 +64,14 @@ files:
 - lib/typeprof/method.rb
 - lib/typeprof/type.rb
 - lib/typeprof/utils.rb
-- run.sh
+- lib/typeprof/version.rb
 - smoke/alias.rb
 - smoke/alias2.rb
 - smoke/any-cbase.rb
 - smoke/any1.rb
 - smoke/any2.rb
 - smoke/arguments.rb
+- smoke/arguments2.rb
 - smoke/array-each.rb
 - smoke/array-each2.rb
 - smoke/array-each3.rb
@@ -92,10 +102,22 @@ files:
 - smoke/array9.rb
 - smoke/attr.rb
 - smoke/backtrace.rb
+- smoke/block-ambiguous.rb
+- smoke/block-args1-rest.rb
+- smoke/block-args1.rb
+- smoke/block-args2-rest.rb
+- smoke/block-args2.rb
+- smoke/block-args3-rest.rb
+- smoke/block-args3.rb
+- smoke/block-blockarg.rb
+- smoke/block-kwarg.rb
 - smoke/block1.rb
 - smoke/block10.rb
 - smoke/block11.rb
 - smoke/block12.rb
+- smoke/block13.rb
+- smoke/block13.rbs
+- smoke/block14.rb
 - smoke/block2.rb
 - smoke/block3.rb
 - smoke/block4.rb
@@ -109,6 +131,8 @@ files:
 - smoke/break2.rb
 - smoke/case.rb
 - smoke/case2.rb
+- smoke/class-hierarchy.rb
+- smoke/class-hierarchy2.rb
 - smoke/class.rb
 - smoke/class_instance_var.rb
 - smoke/class_method.rb
@@ -147,10 +171,13 @@ files:
 - smoke/flow5.rb
 - smoke/flow6.rb
 - smoke/flow7.rb
+- smoke/flow8.rb
 - smoke/for.rb
 - smoke/freeze.rb
 - smoke/function.rb
 - smoke/gvar.rb
+- smoke/gvar2.rb
+- smoke/gvar2.rbs
 - smoke/hash-fetch.rb
 - smoke/hash1.rb
 - smoke/hash2.rb
@@ -165,6 +192,8 @@ files:
 - smoke/integer.rb
 - smoke/ivar.rb
 - smoke/ivar2.rb
+- smoke/ivar3.rb
+- smoke/ivar3.rbs
 - smoke/kernel-class.rb
 - smoke/keyword1.rb
 - smoke/keyword2.rb
@@ -177,6 +206,8 @@ files:
 - smoke/manual-rbs.rbs
 - smoke/manual-rbs2.rb
 - smoke/manual-rbs2.rbs
+- smoke/manual-rbs3.rb
+- smoke/manual-rbs3.rbs
 - smoke/masgn1.rb
 - smoke/masgn2.rb
 - smoke/masgn3.rb
@@ -195,6 +226,7 @@ files:
 - smoke/once.rb
 - smoke/optional1.rb
 - smoke/optional2.rb
+- smoke/optional3.rb
 - smoke/parameterizedd-self.rb
 - smoke/pathname1.rb
 - smoke/pathname2.rb
@@ -204,6 +236,30 @@ files:
 - smoke/proc3.rb
 - smoke/proc4.rb
 - smoke/range.rb
+- smoke/rbs-alias.rb
+- smoke/rbs-alias.rbs
+- smoke/rbs-attr.rb
+- smoke/rbs-attr.rbs
+- smoke/rbs-extend.rb
+- smoke/rbs-extend.rbs
+- smoke/rbs-interface.rb
+- smoke/rbs-interface.rbs
+- smoke/rbs-proc1.rb
+- smoke/rbs-proc1.rbs
+- smoke/rbs-proc2.rb
+- smoke/rbs-proc2.rbs
+- smoke/rbs-proc3.rb
+- smoke/rbs-proc3.rbs
+- smoke/rbs-record.rb
+- smoke/rbs-record.rbs
+- smoke/rbs-tyvar.rb
+- smoke/rbs-tyvar.rbs
+- smoke/rbs-tyvar2.rb
+- smoke/rbs-tyvar2.rbs
+- smoke/rbs-tyvar3.rb
+- smoke/rbs-tyvar3.rbs
+- smoke/rbs-vars.rb
+- smoke/rbs-vars.rbs
 - smoke/redo1.rb
 - smoke/redo2.rb
 - smoke/req-keyword.rb
@@ -226,17 +282,19 @@ files:
 - smoke/string-split.rb
 - smoke/struct.rb
 - smoke/struct2.rb
+- smoke/struct3.rb
 - smoke/super1.rb
 - smoke/super2.rb
 - smoke/super3.rb
 - smoke/svar1.rb
+- smoke/symbol-proc.rb
 - smoke/tap1.rb
 - smoke/toplevel.rb
 - smoke/two-map.rb
 - smoke/type_var.rb
 - smoke/typed_method.rb
 - smoke/union-recv.rb
-- smoke/variadic1.rb.notyet
+- smoke/user-demo.rb
 - smoke/wrong-extend.rb
 - smoke/wrong-include.rb
 - smoke/wrong-rbs.rb
@@ -248,11 +306,11 @@ files:
 - tools/setup-insns-def.rb
 - tools/stackprof-wrapper.rb
 - typeprof.gemspec
-homepage: https://github.com/mame/ruby-type-profiler
+homepage: https://github.com/ruby/typeprof
 licenses:
 - MIT
 metadata:
-  homepage_uri: https://github.com/mame/ruby-type-profiler
+  homepage_uri: https://github.com/ruby/typeprof
   source_code_uri: https://github.com/ruby/typeprof
 post_install_message: 
 rdoc_options: []