typeprof 0.9.1 → 0.9.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 481ba91ab18504fff44772720b462a9fa302e4eecddb559c3a5942710e081fa9
-  data.tar.gz: 288ddfd1d6c9e198ea62e6564addf40ce851c91337801db44f2957c98b9f58f5
+  metadata.gz: 93a881a8e59226faae21acac435131d5961c85ab6c95192ae1261329a87fb6e1
+  data.tar.gz: 8165e47acb1e8d9770922b2ac10487d18ff1b4fd1efa5d4ab8f6f0b11aa15433
 SHA512:
-  metadata.gz: 7f1eefdf5e92e2fa79a03979e36dd810ffcb337c426035acc384473e45fe6201487e8354608b4b87582515561b214e3ef339edd19e3980fab2873e6bc24cb9c5
-  data.tar.gz: cd74500c47328634ab7991911f795e7ea9b5cc47c15e3540c7796b39c2d1d83661cd50b45623e92cf1f33cbf1e83c4c8b5796a5e5332c8e1f475d3f1d26c043c
+  metadata.gz: 43d0bc36fa68827aed7026cc7a52ca37b49d2c042bbaa32bffc9773afad296b81e27b5b4f97b31f24ff4030269f215034568175cae2c4a14bdc4bad8b502172f
+  data.tar.gz: 898d79a93ceae32f71b1c0fe0b9f2aa6a90477fbee58a582da91fe5e6f4e521062cb99549f8ae709d1f26f854a4b2765cdd455282fcdfa0ab9918c9015647ec9

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    typeprof (0.9.1)
+    typeprof (0.9.2)
       rbs (>= 0.20.1)
 
 GEM

data/lib/typeprof/analyzer.rb

@@ -117,6 +117,30 @@ module TypeProf
     end
   end
 
+  class TopStaticEnv
+    include Utils::StructuralEquality
+
+    def recv_ty
+      Type.bot
+    end
+
+    def blk_ty
+      Type.nil
+    end
+
+    def mod_func
+      false
+    end
+
+    def pub_meth
+      true
+    end
+
+    def merge(other)
+      raise unless other.is_a?(TopStaticEnv)
+    end
+  end
+
   class Env
     include Utils::StructuralEquality
 

data/lib/typeprof/config.rb

@@ -69,7 +69,7 @@ module TypeProf
 
     prologue_ctx = Context.new(nil, nil, nil)
     prologue_ep = ExecutionPoint.new(prologue_ctx, -1, nil)
-    prologue_env = Env.new(StaticEnv.new(:top, Type.nil, false, true), [], [], Utils::HashWrapper.new({}))
+    prologue_env = Env.new(TopStaticEnv.new, [], [], Utils::HashWrapper.new({}))
 
     Config.rb_files.each do |rb|
       if rb.is_a?(Array) # [String name, String content]

data/lib/typeprof/export.rb

@@ -293,13 +293,13 @@ module TypeProf
         first = false
       end
       class_data.explicit_methods.each do |method_name, sigs|
-        sigs = sigs.sort.join("\n" + indent + "#" + " " * (method_name.size + 6) + "| ")
+        sigs = sigs.sort.join("\n" + indent + "#" + " " * (method_name.size + 5) + "| ")
         output.puts indent + "# def #{ method_name }: #{ sigs }"
         first = false
       end
       prev_pub_meth = true
       class_data.iseq_methods.each do |method_name, (pub_meth, sigs)|
-        sigs = sigs.sort.join("\n" + indent + " " * (method_name.size + 7) + "| ")
+        sigs = sigs.sort.join("\n" + indent + " " * (method_name.size + 6) + "| ")
         if prev_pub_meth != pub_meth
           output.puts indent + "  #{ pub_meth ? "public" : "private" }"
           prev_pub_meth = pub_meth

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.9.1"
+  VERSION = "0.9.2"
 end

data/smoke/manual-rbs.rb

@@ -21,7 +21,7 @@ __END__
 # Classes
 class Object
 # def foo: (Integer) -> Integer
-#         | (String) -> String
+#        | (String) -> String
   private
   def ret_int: -> Integer
   def ret_str: -> String

data/smoke/method_in_branch.rb

@@ -19,5 +19,5 @@ class Object
   private
   def foo: -> nil
   def bar: -> Integer
-          | -> String
+         | -> 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) -> String
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.9.1
+  version: 0.9.2
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-12-08 00:00:00.000000000 Z
+date: 2020-12-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -327,6 +327,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 +391,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.4
+rubygems_version: 3.2.0.rc.2
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation