class TypeProf::Core::Source

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 90
def initialize(*tys)
  types = {}
  tys.each do |ty|
    raise ty.inspect unless ty.is_a?(Type)
    types[ty] = true
  end
  super(types)
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 112
def add_edge(genv, nvtx)
  nvtx.on_type_added(genv, self, @types.keys)
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 106
def new_vertex(genv, origin)
  nvtx = Vertex.new(origin)
  add_edge(genv, nvtx)
  nvtx
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 99
def on_type_added(genv, src_var, added_types)
  # TODO: need to report error?
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 103
def on_type_removed(genv, src_var, removed_types)
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 116
def remove_edge(genv, nvtx)
  nvtx.on_type_removed(genv, self, @types.keys)
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 120
def show
  Fiber[:show_rec] ||= Set[]
  if Fiber[:show_rec].include?(self)
    "...(recursive)..."
  else
    begin
      Fiber[:show_rec] << self
      @types.empty? ? "untyped" : @types.keys.map {|ty| ty.show }.sort.join(" | ")
    ensure
      Fiber[:show_rec].delete(self) || raise
    end
  end
end

# File typeprof-0.30.1/lib/typeprof/core/graph/vertex.rb, line 134
def to_s
  "<src:#{ show }>"
end