typeprof 0.21.11 → 0.30.0

data/lib/typeprof/core/type.rb

@@ -0,0 +1,348 @@
+module TypeProf::Core
+  class Type
+    # This new method does memoize creation of types
+    #: (GlobalEnv, *untyped) -> instance
+    def self.new(genv, *args)
+      genv.type_table[[self] + args] ||= super(genv, *args)
+    end
+
+    def self.strip_parens(s)
+      #s =~ /\A\((.*)\)\z/ ? $1 : s
+      s.start_with?("(") && s.end_with?(")") ? s[1..-2] || raise : s
+    end
+
+    def self.default_param_map(genv, ty)
+      ty = ty.base_type(genv)
+      instance_ty = ty.is_a?(Type::Instance) ? ty : Type::Instance.new(genv, ty.mod, []) # TODO: type params
+      singleton_ty = ty.is_a?(Type::Instance) ? Type::Singleton.new(genv, ty.mod) : ty
+      {
+        "*self": Source.new(ty),
+        "*instance": Source.new(instance_ty),
+        "*class": Source.new(singleton_ty),
+      }
+    end
+
+    class Singleton < Type
+      #: (GlobalEnv, ModuleEntity) -> void
+      def initialize(genv, mod)
+        raise unless mod.is_a?(ModuleEntity)
+        # TODO: type_param
+        @mod = mod
+      end
+
+      attr_reader :mod
+
+      def base_type(_)
+        self
+      end
+
+      def check_match(genv, changes, vtx)
+        vtx.each_type do |other_ty|
+          case other_ty
+          when Singleton
+            other_mod = other_ty.mod
+            if other_mod.module?
+              # TODO: implement
+            else
+              mod = @mod
+              while mod
+                return true if mod == other_mod
+                changes.add_depended_superclass(mod)
+                mod = mod.superclass
+              end
+            end
+          when Instance
+            base_ty = @mod.module? ? genv.mod_type : genv.cls_type
+            return true if base_ty.check_match(genv, changes, Source.new(other_ty))
+          end
+        end
+        return false
+      end
+
+      def show
+        "singleton(#{ @mod.show_cpath })"
+      end
+
+      def get_instance_type(genv)
+        params = @mod.type_params
+        Instance.new(genv, @mod, params ? params.map { Source.new } : [])
+      end
+    end
+
+    class Instance < Type
+      #: (GlobalEnv, ModuleEntity, ::Array[Vertex]) -> void
+      def initialize(genv, mod, args)
+        raise mod.class.to_s unless mod.is_a?(ModuleEntity)
+        @mod = mod
+        @args = args
+        raise unless @args.is_a?(::Array)
+      end
+
+      attr_reader :mod, :args
+
+      def base_type(_)
+        self
+      end
+
+      def check_match(genv, changes, vtx)
+        vtx.each_type do |other_ty|
+          case other_ty
+          when Instance
+            ty = self
+            while ty
+              if ty.mod == other_ty.mod
+                args_all_match = true
+                ty.args.zip(other_ty.args) do |arg, other_arg|
+                  unless arg.check_match(genv, changes, other_arg)
+                    args_all_match = false
+                    break
+                  end
+                end
+                return true if args_all_match
+              end
+              changes.add_depended_superclass(ty.mod)
+
+              if other_ty.mod.module?
+                return true if check_match_included_modules(genv, changes, ty, other_ty)
+              end
+
+              ty = genv.get_superclass_type(ty, changes, {})
+            end
+          end
+        end
+        return false
+      end
+
+      def check_match_included_modules(genv, changes, ty, other_ty)
+        ty.mod.included_modules.each do |inc_decl, inc_mod|
+          if inc_decl.is_a?(AST::SigIncludeNode) && inc_mod.type_params
+            inc_ty = genv.get_instance_type(inc_mod, inc_decl.args, changes, {}, ty)
+          else
+            type_params = inc_mod.type_params.map {|ty_param| Source.new() } # TODO: better support
+            inc_ty = Type::Instance.new(genv, inc_mod, type_params)
+          end
+          if inc_ty.mod == other_ty.mod
+            args_all_match = true
+            inc_ty.args.zip(other_ty.args) do |arg, other_arg|
+              if other_arg && !arg.check_match(genv, changes, other_arg)
+                args_all_match = false
+                break
+              end
+            end
+            return true if args_all_match
+          end
+          changes.add_depended_superclass(inc_ty.mod)
+
+          return true if check_match_included_modules(genv, changes, inc_ty, other_ty)
+        end
+        return false
+      end
+
+      def show
+        case @mod.cpath
+        when [:NilClass] then "nil"
+        when [:TrueClass] then "true"
+        when [:FalseClass] then "false"
+        else
+          "#{ @mod.show_cpath }#{ @args.empty? ? "" : "[#{ @args.map {|arg| Type.strip_parens(arg.show) }.join(", ") }]" }"
+        end
+      end
+    end
+
+    class Array < Type
+      #: (GlobalEnv, ::Array[Vertex], Instance) -> void
+      def initialize(genv, elems, base_type)
+        @elems = elems
+        @base_type = base_type
+        raise unless base_type.is_a?(Instance)
+      end
+
+      attr_reader :elems
+
+      def get_elem(genv, idx = nil)
+        if idx && @elems
+          @elems[idx] || Source.new(genv.nil_type)
+        else
+          @base_type.args.first
+        end
+      end
+
+      def splat_assign(genv, lefts, rest_elem, rights)
+        edges = []
+        state = :left
+        j = nil
+        @elems.each_with_index do |elem, i|
+          case state
+          when :left
+            if i < lefts.size
+              edges << [elem, lefts[i]]
+            else
+              break unless rest_elem
+              state = :rest
+              redo
+            end
+          when :rest
+            if @elems.size - i > rights.size
+              edges << [elem, rest_elem]
+            else
+              state = :right
+              j = i
+              redo
+            end
+          when :right
+            edges << [elem, rights[i - j]]
+          end
+        end
+        edges
+      end
+
+      def base_type(genv)
+        @base_type
+      end
+
+      def check_match(genv, changes, vtx)
+        vtx.each_type do |other_ty|
+          if other_ty.is_a?(Array)
+            if @elems.size == other_ty.elems.size
+              match = true
+              @elems.zip(other_ty.elems) do |elem, other_elem|
+                unless elem.check_match(genv, changes, other_elem)
+                  match = false
+                  break
+                end
+              end
+              return true if match
+            end
+          end
+        end
+        @base_type.check_match(genv, changes, vtx)
+      end
+
+      def show
+        if @elems
+          "[#{ @elems.map {|e| Type.strip_parens(e.show) }.join(", ") }]"
+        else
+          "#{ @base_type.mod.show_cpath }[#{ Type.strip_parens(@unified_elem.show) }]"
+        end
+      end
+    end
+
+    class Hash < Type
+      #: (GlobalEnv, ::Array[Vertex], Instance) -> void
+      def initialize(genv, literal_pairs, base_type)
+        @literal_pairs = literal_pairs
+        @base_type = base_type
+        raise unless base_type.is_a?(Instance)
+      end
+
+      def get_key
+        @base_type.args[0]
+      end
+
+      def get_value(key = nil)
+        @literal_pairs[key] || @base_type.args[1]
+      end
+
+      def base_type(genv)
+        @base_type
+      end
+
+      def check_match(genv, changes, vtx)
+        # TODO: implement
+        @base_type.check_match(genv, changes, vtx)
+      end
+
+      def show
+        @base_type.show
+      end
+    end
+
+    class Proc < Type
+      def initialize(genv, block)
+        @block = block
+      end
+
+      attr_reader :block
+
+      def base_type(genv)
+        genv.proc_type
+      end
+
+      def check_match(genv, changes, vtx)
+        genv.proc_type.check_match(genv, changes, vtx)
+      end
+
+      def show
+        "<Proc>"
+      end
+    end
+
+    class Symbol < Type
+      #: (GlobalEnv, ::Symbol) -> void
+      def initialize(genv, sym)
+        @sym = sym
+      end
+
+      attr_reader :sym
+
+      def base_type(genv)
+        genv.symbol_type
+      end
+
+      def check_match(genv, changes, vtx)
+        vtx.each_type do |other_ty|
+          case other_ty
+          when Symbol
+            return true if @sym == other_ty.sym
+          when Instance
+            return true if genv.symbol_type.check_match(genv, changes, Source.new(other_ty))
+          end
+        end
+        return false
+      end
+
+      def show
+        @sym.inspect
+      end
+    end
+
+    class Bot < Type
+      def initialize(genv)
+      end
+
+      def base_type(genv)
+        genv.obj_type
+      end
+
+      def check_match(genv, changes, vtx)
+        return true
+      end
+
+      def show
+        "bot"
+      end
+    end
+
+    class Var < Type
+      #: (GlobalEnv, ::Symbol, Vertex) -> void
+      def initialize(genv, name, vtx)
+        @name = name
+        @vtx = vtx
+      end
+
+      attr_reader :name, :vtx
+
+      def base_type(genv)
+        genv.obj_type # Is this ok?
+      end
+
+      def check_match(genv, changes, vtx)
+        true # should implement a better support...
+      end
+
+      def show
+        "var[#{ @name }]"
+      end
+    end
+  end
+end

data/lib/typeprof/core/util.rb

@@ -0,0 +1,81 @@
+module TypeProf::Core
+  class Set
+    def self.[](*elems)
+      h = Hash.new(false)
+      elems.each {|elem| h[elem] = true }
+      new(h)
+    end
+
+    def initialize(hash)
+      @hash = hash
+    end
+
+    def internal_hash = @hash
+
+    def dup
+      Set.new(@hash.dup)
+    end
+
+    def <<(elem)
+      raise if @hash.include?(elem)
+      @hash[elem] = true
+      self
+    end
+
+    def include?(elem)
+      @hash[elem]
+    end
+
+    def merge(set)
+      raise NotImplementedError
+    end
+
+    def each(&blk)
+      @hash.each_key(&blk)
+    end
+
+    def empty?
+      @hash.empty?
+    end
+
+    def delete(elem)
+      raise unless @hash.include?(elem)
+      @hash.delete(elem)
+    end
+
+    def clear
+      @hash.clear
+    end
+
+    def to_a
+      @hash.keys
+    end
+
+    def size
+      @hash.size
+    end
+
+    def -(other)
+      h = @hash.dup
+      other.each do |elem|
+        h.delete(elem)
+      end
+      Set.new(h)
+    end
+
+    def pretty_print(q)
+      q.text "Set["
+      q.group do
+        q.nest(1) do
+          @hash.each_key do |elem|
+            q.breakable ""
+            q.pp elem
+            q.text ","
+          end
+        end
+        q.breakable ""
+      end
+      q.text "]"
+    end
+  end
+end

data/lib/typeprof/core.rb

@@ -0,0 +1,32 @@
+require "rbs"
+require "prism"
+require_relative "core/util"
+require_relative "core/ast"
+require_relative "core/ast/base"
+require_relative "core/ast/module"
+require_relative "core/ast/method"
+require_relative "core/ast/call"
+require_relative "core/ast/control"
+require_relative "core/ast/const"
+require_relative "core/ast/variable"
+require_relative "core/ast/value"
+require_relative "core/ast/misc"
+require_relative "core/ast/meta"
+require_relative "core/ast/pattern"
+require_relative "core/ast/sig_decl"
+require_relative "core/ast/sig_type"
+require_relative "core/type"
+require_relative "core/env"
+require_relative "core/env/method_entity"
+require_relative "core/env/module_entity"
+require_relative "core/env/type_alias_entity"
+require_relative "core/env/value_entity"
+require_relative "core/env/method"
+require_relative "core/env/static_read"
+require_relative "core/graph"
+require_relative "core/graph/change_set"
+require_relative "core/graph/vertex"
+require_relative "core/graph/filter"
+require_relative "core/graph/box"
+require_relative "core/builtin"
+require_relative "core/service"

data/lib/typeprof/diagnostic.rb

@@ -0,0 +1,35 @@
+module TypeProf
+  class Diagnostic
+    def initialize(node, meth, msg)
+      @node = node
+      @meth = meth
+      @msg = msg
+      @severity = :error # TODO: keyword argument
+      @tags = nil # TODO: keyword argument
+    end
+
+    def reuse(new_node)
+      @node = new_node
+    end
+
+    attr_reader :msg, :severity
+
+    def code_range
+      @node.send(@meth)
+    end
+
+    SEVERITY = { error: 1, warning: 2, info: 3, hint: 4 }
+    TAG = { unnecessary: 1, deprecated: 2 }
+
+    def to_lsp
+      json = {
+        range: code_range.to_lsp,
+        source: "TypeProf",
+        message: @msg,
+      }
+      json[:severity] = SEVERITY[@severity] if @severity
+      json[:tags] = @tags.map {|tag| TAG[tag] } if @tags
+      json
+    end
+  end
+end