class TypeProf::Core::TypeReadBox

Attributes

node[R]

rbs_type[R]

ret[R]

Public Class Methods

new(node, genv, rbs_type) click to toggle source

Calls superclass method TypeProf::Core::Box::new

# File typeprof-0.30.1/lib/typeprof/core/graph/box.rb, line 80
def initialize(node, genv, rbs_type)
  super(node)
  @rbs_type = rbs_type
  @ret = Vertex.new(node)
  genv.add_run(self)
end

Public Instance Methods

run0(genv, changes) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/graph/box.rb, line 89
def run0(genv, changes)
  vtx = @rbs_type.covariant_vertex(genv, changes, {})
  changes.add_edge(genv, vtx, @ret)
end