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.

Field Summary

protected FlowGraph.EdgeKey	key
protected FlowGraph.Peer	target

Constructor Summary

protected

FlowGraph.Edge(FlowGraph.EdgeKey key, FlowGraph.Peer target)

Method Summary

FlowGraph.EdgeKey	getKey()
FlowGraph.Peer	getTarget()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

key

protected FlowGraph.EdgeKey key

target

protected FlowGraph.Peer target

Constructor Detail

FlowGraph.Edge

protected FlowGraph.Edge(FlowGraph.EdgeKey key,
                         FlowGraph.Peer target)

Method Detail

getKey

public FlowGraph.EdgeKey getKey()

getTarget

public FlowGraph.Peer getTarget()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object