Package com.ibm.wala.util.graph
Interface INodeWithNumberedEdges
-
- All Superinterfaces:
INodeWithNumber
- All Known Implementing Classes:
NodeWithNumberedEdges
public interface INodeWithNumberedEdges extends INodeWithNumber
Basic interface for a node which lives in one graph ... it's id is used to implement theNumberedGraphinterface.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddPred(int n)Modify the graph so that node number n is a predecessor of this nodevoidaddSucc(int n)Modify the graph so that node number n is a successor of this node@Nullable IntSetgetPredNumbers()@Nullable IntSetgetSuccNumbers()voidremoveAllIncidentEdges()remove all edges that involve this node.voidremoveIncomingEdges()remove all incoming edges to this this node.voidremoveOutgoingEdges()remove all outgoing edges to this this node.-
Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
-
-
-
Method Detail
-
getSuccNumbers
@Nullable IntSet getSuccNumbers()
- Returns:
- set of node numbers which are successors of this node
-
getPredNumbers
@Nullable IntSet getPredNumbers()
- Returns:
- set of node numbers which are predecessors of this node
-
addSucc
void addSucc(int n)
Modify the graph so that node number n is a successor of this node
-
addPred
void addPred(int n)
Modify the graph so that node number n is a predecessor of this node
-
removeAllIncidentEdges
void removeAllIncidentEdges()
remove all edges that involve this node. This must fix up the other nodes involved in each edge removed.
-
removeIncomingEdges
void removeIncomingEdges()
remove all incoming edges to this this node. This must fix up the other nodes involved in each edge removed.
-
removeOutgoingEdges
void removeOutgoingEdges()
remove all outgoing edges to this this node. This must fix up the other nodes involved in each edge removed.
-
-