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 theNumberedGraph
interface.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addPred(int n)
Modify the graph so that node number n is a predecessor of this nodevoid
addSucc(int n)
Modify the graph so that node number n is a successor of this nodeIntSet
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
-
getSuccNumbers
IntSet getSuccNumbers()
- Returns:
- set of node numbers which are successors of this node
-
getPredNumbers
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.
-
-