Class ExplicitPredecessorsEdgeManager

java.lang.Object

com.ibm.wala.ipa.callgraph.impl.ExplicitPredecessorsEdgeManager

All Implemented Interfaces:

EdgeManager<CGNode>, NumberedEdgeManager<CGNode>

Direct Known Subclasses:

ExplicitCallGraph.ExplicitEdgeManager

public abstract class ExplicitPredecessorsEdgeManager
extends Object
implements NumberedEdgeManager<CGNode>

An abstract NumberedEdgeManager where predecessor edges are represented explicitly. The representation of successor edges is determined by concrete subclasses.

Field Summary

Fields

Modifier and Type	Field	Description
protected final IBinaryNaturalRelation	predecessors	for each y, the {x | (x,y) is an edge)
protected final IntFunction<CGNode>	toNode

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExplicitPredecessorsEdgeManager(NumberedNodeManager<CGNode> nodeManager)

Method Summary

Modifier and Type	Method	Description
int	getPredNodeCount(CGNode node)	Return the number of immediate predecessor nodes of n
IntSet	getPredNodeNumbers(CGNode node)
Iterator<CGNode>	getPredNodes(CGNode N)	Return an Iterator over the immediate predecessor nodes of n

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager

getSuccNodeNumbers

Field Details

toNode

protected final IntFunction<CGNode> toNode

predecessors

protected final IBinaryNaturalRelation predecessors

for each y, the {x | (x,y) is an edge)

Constructor Details

ExplicitPredecessorsEdgeManager

protected ExplicitPredecessorsEdgeManager(NumberedNodeManager<CGNode> nodeManager)

Method Details

getPredNodeNumbers

public IntSet getPredNodeNumbers(CGNode node)

Specified by:

getPredNodeNumbers in interface NumberedEdgeManager<CGNode>

Returns:

the numbers identifying the immediate predecessors of node

getPredNodes

public Iterator<CGNode> getPredNodes(CGNode N)

Description copied from interface: EdgeManager

Return an Iterator over the immediate predecessor nodes of n

This method never returns null.

Specified by:

getPredNodes in interface EdgeManager<CGNode>

Returns:

an Iterator over the immediate predecessor nodes of this Node.

getPredNodeCount

public int getPredNodeCount(CGNode node)

Description copied from interface: EdgeManager

Return the number of immediate predecessor nodes of n

Specified by:

getPredNodeCount in interface EdgeManager<CGNode>

Returns:

the number of immediate predecessors of n.