typeprof 0.15.3 → 0.20.3

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.15.3
+  version: 0.20.3
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-09-07 00:00:00.000000000 Z
+date: 2021-11-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.3.1
+        version: 1.6.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.3.1
+        version: 1.6.2
 description: |
   TypeProf performs a type analysis of non-annotated Ruby code.
 
@@ -47,8 +47,11 @@ files:
 - doc/demo.md
 - doc/doc.ja.md
 - doc/doc.md
+- doc/ide.md
 - doc/ppl2019.pdf
 - doc/todo.md
+- doc/typeprof-for-ide-log.png
+- doc/typeprof-for-ide.png
 - exe/typeprof
 - lib/typeprof.rb
 - lib/typeprof/analyzer.rb
@@ -56,348 +59,32 @@ files:
 - lib/typeprof/block.rb
 - lib/typeprof/builtin.rb
 - lib/typeprof/cli.rb
+- lib/typeprof/code-range.rb
 - lib/typeprof/config.rb
 - lib/typeprof/container-type.rb
 - lib/typeprof/export.rb
 - lib/typeprof/import.rb
 - lib/typeprof/insns-def.rb
 - lib/typeprof/iseq.rb
+- lib/typeprof/lsp.rb
 - lib/typeprof/method.rb
 - lib/typeprof/type.rb
 - lib/typeprof/utils.rb
 - 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
-- smoke/array-ltlt.rb
-- smoke/array-ltlt2.rb
-- smoke/array-map.rb
-- smoke/array-map2.rb
-- smoke/array-map3.rb
-- smoke/array-mul.rb
-- smoke/array-plus1.rb
-- smoke/array-plus2.rb
-- smoke/array-pop.rb
-- smoke/array-range-aref.rb
-- smoke/array-replace.rb
-- smoke/array-s-aref.rb
-- smoke/array1.rb
-- smoke/array10.rb
-- smoke/array11.rb
-- smoke/array12.rb
-- smoke/array13.rb
-- smoke/array14.rb
-- smoke/array15.rb
-- smoke/array2.rb
-- smoke/array3.rb
-- smoke/array4.rb
-- smoke/array5.rb
-- smoke/array6.rb
-- 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
-- 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
-- smoke/block5.rb
-- smoke/block6.rb
-- 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/break4.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_eval.rb
-- smoke/class_instance_var.rb
-- smoke/class_method.rb
-- smoke/class_method2.rb
-- smoke/class_method3.rb
-- smoke/constant1.rb
-- smoke/constant2.rb
-- smoke/constant3.rb
-- smoke/constant4.rb
-- smoke/context-sensitive1.rb
-- smoke/cvar.rb
-- 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/define_method7.rb
-- smoke/demo.rb
-- smoke/demo1.rb
-- smoke/demo10.rb
-- smoke/demo11.rb
-- smoke/demo2.rb
-- smoke/demo3.rb
-- smoke/demo4.rb
-- smoke/demo5.rb
-- smoke/demo6.rb
-- smoke/demo7.rb
-- smoke/demo8.rb
-- 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/extended.rb
-- smoke/fib.rb
-- smoke/flip-flop.rb
-- smoke/flow1.rb
-- smoke/flow10.rb
-- smoke/flow11.rb
-- smoke/flow2.rb
-- smoke/flow3.rb
-- smoke/flow4.rb
-- smoke/flow5.rb
-- 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
-- smoke/hash2.rb
-- smoke/hash3.rb
-- smoke/hash4.rb
-- smoke/hash5.rb
-- smoke/huge_union.rb
-- smoke/identifier_keywords.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
-- smoke/ivar2.rb
-- smoke/ivar3.rb
-- smoke/ivar3.rbs
-- smoke/ivar4.rb
-- smoke/kernel-class.rb
-- smoke/keyword1.rb
-- smoke/keyword2.rb
-- smoke/keyword3.rb
-- smoke/keyword4.rb
-- smoke/keyword5.rb
-- smoke/kwrest.rb
-- 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
-- smoke/manual-rbs2.rbs
-- smoke/manual-rbs3.rb
-- smoke/manual-rbs3.rbs
-- smoke/masgn1.rb
-- smoke/masgn2.rb
-- smoke/masgn3.rb
-- smoke/method_in_branch.rb
-- smoke/method_missing.rb
-- smoke/module1.rb
-- 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
-- smoke/multiple-superclass.rb
-- smoke/next1.rb
-- smoke/next2.rb
-- smoke/noname.rb
-- smoke/object-send1.rb
-- smoke/object-send2.rb
-- smoke/object-send3.rb
-- smoke/once.rb
-- smoke/optional1.rb
-- smoke/optional2.rb
-- smoke/optional3.rb
-- smoke/or_raise.rb
-- smoke/parameterizedd-self.rb
-- smoke/parameterizedd-self2.rb
-- smoke/pathname1.rb
-- 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/proc6.rb
-- smoke/proc7.rb
-- smoke/public.rb
-- smoke/range.rb
-- smoke/rbs-alias.rb
-- smoke/rbs-alias.rbs
-- smoke/rbs-attr.rb
-- smoke/rbs-attr.rbs
-- smoke/rbs-attr2.rb
-- smoke/rbs-attr2.rbs
-- smoke/rbs-extend.rb
-- 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
-- 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-tyvar4.rb
-- smoke/rbs-tyvar5.rb
-- smoke/rbs-tyvar5.rbs
-- smoke/rbs-tyvar6.rb
-- smoke/rbs-tyvar6.rbs
-- smoke/rbs-tyvar7.rb
-- smoke/rbs-tyvar7.rbs
-- smoke/rbs-vars.rb
-- smoke/rbs-vars.rbs
-- smoke/redo1.rb
-- smoke/redo2.rb
-- smoke/req-keyword.rb
-- smoke/require1.rb
-- smoke/require2.rb
-- smoke/rescue1.rb
-- smoke/rescue2.rb
-- smoke/rescue3.rb
-- smoke/rescue4.rb
-- smoke/respond_to.rb
-- smoke/rest-farg.rb
-- smoke/rest1.rb
-- smoke/rest2.rb
-- smoke/rest3.rb
-- smoke/rest4.rb
-- smoke/rest5.rb
-- smoke/rest6.rb
-- 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
-- smoke/two-map.rb
-- smoke/type_var.rb
-- smoke/typed_method.rb
-- smoke/uninitialize-var.rb
-- smoke/union-recv.rb
-- 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
-- testbed/diff-lcs-entrypoint.rb
-- testbed/goodcheck-Gemfile.lock
 - tools/coverage.rb
 - tools/setup-insns-def.rb
+- typeprof-lsp
 - typeprof.gemspec
+- vscode/.gitignore
+- vscode/.vscode/launch.json
+- vscode/.vscodeignore
+- vscode/README.md
+- vscode/development.md
+- vscode/package-lock.json
+- vscode/package.json
+- vscode/sandbox/test.rb
+- vscode/src/extension.ts
+- vscode/tsconfig.json
 homepage: https://github.com/ruby/typeprof
 licenses:
 - MIT
@@ -419,7 +106,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.15
+rubygems_version: 3.3.0.dev
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation

data/smoke/alias.rb

@@ -1,31 +0,0 @@
-def foo(x)
-  x
-end
-
-alias bar foo
-
-class Test
-  def baz(x)
-    x
-  end
-
-  alias qux baz
-end
-
-foo(1)
-bar("str")
-Test.new.baz(1)
-Test.new.qux("str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String x) -> (Integer | String)
-  alias bar foo
-end
-
-class Test
-  def baz: (Integer | String x) -> (Integer | String)
-  alias qux baz
-end

data/smoke/alias2.rb

@@ -1,21 +0,0 @@
-class Foo
-  class << self
-    alias [] new
-  end
-
-  def initialize(a, b, c)
-    @a, @b, @c = a, b, c
-  end
-end
-
-Foo[:x, :y, :z]
-__END__
-# Classes
-class Foo
-  @a: :x
-  @b: :y
-  @c: :z
-
-  alias self.[] self.new
-  def initialize: (:x a, :y b, :z c) -> void
-end

data/smoke/any-cbase.rb

@@ -1,5 +0,0 @@
-class Unknown::Foo
-end
-
-__END__
-# Classes

data/smoke/any1.rb

@@ -1,16 +0,0 @@
-def foo
-  x = 1.undefined_method
-  x.undefined_method2
-end
-
-foo
-
-__END__
-# Errors
-smoke/any1.rb:2: [error] undefined method: Integer#undefined_method
-
-# Classes
-class Object
-  private
-  def foo: -> untyped
-end

data/smoke/any2.rb

@@ -1,18 +0,0 @@
-def foo
-  yield
-end
-def bar
-  yield
-  1
-end
-
-foo
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> untyped
-  def bar: -> Integer
-end

data/smoke/arguments.rb

@@ -1,17 +0,0 @@
-def foo(x)
-end
-def bar(x)
-end
-
-bar(foo(1, 2))
-
-__END__
-# Errors
-smoke/arguments.rb:6: [error] wrong number of arguments (given 2, expected 1)
-
-# Classes
-class Object
-  private
-  def foo: (untyped x) -> nil
-  def bar: (untyped x) -> nil
-end

data/smoke/arguments2.rb

@@ -1,56 +0,0 @@
-def f1
-end
-f1
-
-def f2(x, y, z)
-end
-f2(:x, :y, :z)
-
-def f3(x = "str", y = "str")
-end
-f3
-
-def f4(*r)
-end
-f4(:a, :b, :c)
-
-def f5(x, y = "str", z)
-end
-f5(:x, :z)
-
-def f6(k:)
-end
-f6(k: :kk)
-
-def f7(k: 42)
-end
-f7
-
-def f8(k: "str")
-end
-f8
-
-def f9(**kw)
-end
-f9(k: :kk)
-
-def f10(&blk)
-  blk.call(1)
-end
-f10 {|n| }
-
-__END__
-# Classes
-class Object
-  private
-  def f1: -> nil
-  def f2: (:x x, :y y, :z z) -> nil
-  def f3: (?String x, ?String y) -> nil
-  def f4: (*:a | :b | :c r) -> nil
-  def f5: (:x x, ?String y, :z z) -> nil
-  def f6: (k: :kk) -> nil
-  def f7: (?k: Integer) -> nil
-  def f8: (?k: String) -> nil
-  def f9: (**:kk) -> nil
-  def f10: { (Integer) -> nil } -> nil
-end

data/smoke/array-each.rb

@@ -1,15 +0,0 @@
-def log(x)
-end
-
-[1, "str", :sym].each do |x|
-  log(x)
-end
-
-log(nil)
-
-__END__
-# Classes
-class Object
-  private
-  def log: ((:sym | Integer | String)? x) -> nil
-end

data/smoke/array-each2.rb

@@ -1,16 +0,0 @@
-def foo
-  x = nil
-  [1, "str"].each do |y|
-    x = y
-  end
-  x
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> ((Integer | String)?)
-end

data/smoke/array-each3.rb

@@ -1,13 +0,0 @@
-def log(x)
-end
-
-[].each do |x|
-  log(x)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def log: (bot x) -> nil
-end

data/smoke/array-ltlt.rb

@@ -1,14 +0,0 @@
-def foo
-  a = []
-  a << 1
-  a << "str"
-  a
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> (Array[Integer | String])
-end

data/smoke/array-ltlt2.rb

@@ -1,17 +0,0 @@
-def foo
-  a = []
-  while true
-    a << 1
-    a << "str"
-    break if rand < 0.5
-  end
-  a
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> (Array[Integer | String])
-end

data/smoke/array-map.rb

@@ -1,12 +0,0 @@
-def foo(a)
-  a.map {|n| n.to_s }
-end
-
-foo([1, 2, 3])
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ([Integer, Integer, Integer] a) -> Array[String]
-end

data/smoke/array-map2.rb

@@ -1,11 +0,0 @@
-def foo(a)
-  a.map {|n| rand < 0.5 ? n.to_s : n }
-end
-
-foo([1, 2, 3])
-__END__
-# Classes
-class Object
-  private
-  def foo: ([Integer, Integer, Integer] a) -> (Array[Integer | String])
-end