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)
EdgeManagerIterator 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)
EdgeManagerimmediate 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)
EdgeManagerimmediate 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>