INodeWithNumberedEdges (com.ibm.wala.util 1.5.2 API)

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 the NumberedGraph interface.

Method Summary

Modifier and Type

Method

Description

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 Details
- 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.