|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface INodeWithNumberedEdges
Basic interface for a node which lives in one graph ... it's id is used to implement the NumberedGraph interface.
| Method Summary | |
|---|---|
void |
addPred(int n)
Modify the graph so that node number n is a predecessor of this node |
void |
addSucc(int n)
Modify the graph so that node number n is a successor of this node |
IntSet |
getPredNumbers()
|
IntSet |
getSuccNumbers()
|
void |
removeAllIncidentEdges()
remove all edges that involve this node. |
void |
removeIncomingEdges()
remove all incoming edges to this this node. |
void |
removeOutgoingEdges()
remove all outgoing edges to this this node. |
| Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber |
|---|
getGraphNodeId, setGraphNodeId |
| Method Detail |
|---|
IntSet getSuccNumbers()
IntSet getPredNumbers()
void addSucc(int n)
n - void addPred(int n)
n - void removeAllIncidentEdges()
void removeIncomingEdges()
void removeOutgoingEdges()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||