Class: TypeProf::Core::Source

Inherits:
BasicVertex show all
Defined in:
lib/typeprof/core/graph/vertex.rb

Instance Attribute Summary

Attributes inherited from BasicVertex

#types

Instance Method Summary collapse

Methods inherited from BasicVertex

#each_type

Constructor Details

#initialize(*tys) ⇒ Source

Returns a new instance of Source.



73
74
75
76
77
78
79
80
 
# File 'lib/typeprof/core/graph/vertex.rb', line 73

def initialize(*tys)
  types = {}
  tys.each do |ty|
    raise ty.inspect unless ty.is_a?(Type)
    types[ty] = true
  end
  super(types)
end

Instance Method Details

#add_edge(genv, nvtx) ⇒ Object 



95
96
97
 
# File 'lib/typeprof/core/graph/vertex.rb', line 95

def add_edge(genv, nvtx)
  nvtx.on_type_added(genv, self, @types.keys)
end

#new_vertex(genv, origin) ⇒ Object 



89
90
91
92
93
 
# File 'lib/typeprof/core/graph/vertex.rb', line 89

def new_vertex(genv, origin)
  nvtx = Vertex.new(origin)
  add_edge(genv, nvtx)
  nvtx
end

#on_type_added(genv, src_var, added_types) ⇒ Object 



82
83
84
 
# File 'lib/typeprof/core/graph/vertex.rb', line 82

def on_type_added(genv, src_var, added_types)
  # TODO: need to report error?
end

#on_type_removed(genv, src_var, removed_types) ⇒ Object 



86
87
 
# File 'lib/typeprof/core/graph/vertex.rb', line 86

def on_type_removed(genv, src_var, removed_types)
end

#remove_edge(genv, nvtx) ⇒ Object 



99
100
101
 
# File 'lib/typeprof/core/graph/vertex.rb', line 99

def remove_edge(genv, nvtx)
  nvtx.on_type_removed(genv, self, @types.keys)
end

#show ⇒ Object 



103
104
105
106
107
108
109
110
111
112
113
114
115
 
# File 'lib/typeprof/core/graph/vertex.rb', line 103

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

#to_s ⇒ Object Also known as: inspect 



117
118
119
 
# File 'lib/typeprof/core/graph/vertex.rb', line 117

def to_s
  "<src:#{ show }>"
end