polyglot.visit
Class FlowGraph.Edge
java.lang.Object
polyglot.visit.FlowGraph.Edge
- Enclosing class:
- FlowGraph
public static class FlowGraph.Edge
- extends java.lang.Object
This class represents an edge in the flow graph. The target of the edge
is either the head or the tail of the edge, depending on how the Edge is
used. Thus, the target field in Edges in the collection Peer.preds is the
source Peer, while the target field in Edges in the collection Peer.succs
is the destination Peer of edges.
Each Edge has an EdgeKey, which identifies when flow uses that edge in
the flow graph. See EdgeKey for more information.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
key
protected FlowGraph.EdgeKey key
target
protected FlowGraph.Peer target
FlowGraph.Edge
protected FlowGraph.Edge(FlowGraph.EdgeKey key,
FlowGraph.Peer target)
getKey
public FlowGraph.EdgeKey getKey()
getTarget
public FlowGraph.Peer getTarget()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object