polyglot.visit

Class FlowGraph.Edge<FlowItem extends DataFlow.Item>

java.lang.Object

polyglot.visit.FlowGraph.Edge<FlowItem>

Enclosing class:

FlowGraph<FlowItem extends DataFlow.Item>

public static class FlowGraph.Edge<FlowItem extends DataFlow.Item>
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

Fields

Modifier and Type	Field and Description
protected FlowGraph.EdgeKey	key
protected FlowGraph.Peer<FlowItem>	target

Constructor Summary

Constructors

Constructor and Description
FlowGraph.Edge(FlowGraph.EdgeKey key, FlowGraph.Peer<FlowItem> target)

Method Summary

Methods

Modifier and Type	Method and Description
FlowGraph.EdgeKey	getKey()
FlowGraph.Peer<FlowItem>	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<FlowItem extends DataFlow.Item> target

Constructor Detail

FlowGraph.Edge

public FlowGraph.Edge(FlowGraph.EdgeKey key,
              FlowGraph.Peer<FlowItem> target)

Method Detail

getKey

public FlowGraph.EdgeKey getKey()

getTarget

public FlowGraph.Peer<FlowItem> getTarget()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object