protected class ExplicitCallGraph.ExplicitEdgeManager extends Object implements NumberedEdgeManager<CGNode>
Modifier | Constructor and Description |
---|---|
protected |
ExplicitEdgeManager() |
Modifier and Type | Method and Description |
---|---|
void |
addEdge(CGNode src,
CGNode dst) |
protected void |
addEdge(int x,
int y) |
int |
getPredNodeCount(CGNode N)
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
This method never returns null . |
int |
getSuccNodeCount(CGNode N)
Return the number of
immediate successor nodes of this Node in the Graph |
IntSet |
getSuccNodeNumbers(CGNode node) |
Iterator<CGNode> |
getSuccNodes(CGNode N)
Return an Iterator over the immediate successor nodes of n
|
boolean |
hasEdge(CGNode src,
CGNode dst) |
void |
removeAllIncidentEdges(CGNode node) |
void |
removeEdge(CGNode src,
CGNode dst) |
void |
removeIncomingEdges(CGNode node) |
void |
removeOutgoingEdges(CGNode node) |
public IntSet getSuccNodeNumbers(CGNode node)
getSuccNodeNumbers
in interface NumberedEdgeManager<CGNode>
public IntSet getPredNodeNumbers(CGNode node)
getPredNodeNumbers
in interface NumberedEdgeManager<CGNode>
public Iterator<CGNode> getPredNodes(CGNode N)
EdgeManager
Iterator
over the immediate predecessor nodes of n
This method never returns null
.getPredNodes
in interface EdgeManager<CGNode>
Iterator
over the immediate predecessor nodes of this Node.public int getPredNodeCount(CGNode N)
EdgeManager
immediate predecessor
nodes of ngetPredNodeCount
in interface EdgeManager<CGNode>
public Iterator<CGNode> getSuccNodes(CGNode N)
EdgeManager
This method never returns null
.
getSuccNodes
in interface EdgeManager<CGNode>
public int getSuccNodeCount(CGNode N)
EdgeManager
immediate successor
nodes of this Node in the GraphgetSuccNodeCount
in interface EdgeManager<CGNode>
public void addEdge(CGNode src, CGNode dst)
addEdge
in interface EdgeManager<CGNode>
public void removeEdge(CGNode src, CGNode dst)
removeEdge
in interface EdgeManager<CGNode>
protected void addEdge(int x, int y)
public void removeAllIncidentEdges(CGNode node)
removeAllIncidentEdges
in interface EdgeManager<CGNode>
public void removeIncomingEdges(CGNode node)
removeIncomingEdges
in interface EdgeManager<CGNode>
public void removeOutgoingEdges(CGNode node)
removeOutgoingEdges
in interface EdgeManager<CGNode>
public boolean hasEdge(CGNode src, CGNode dst)
hasEdge
in interface EdgeManager<CGNode>