Class AbstractNumberedGraph<T>

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<T>

com.ibm.wala.util.graph.AbstractNumberedGraph<T>

All Implemented Interfaces:

EdgeManager<T>, Graph<T>, NodeManager<T>, NumberedEdgeManager<T>, NumberedGraph<T>, NumberedNodeManager<T>, Iterable<T>

Direct Known Subclasses:

AbstractNumberedLabeledGraph, BasicCallGraph, ControlDependenceGraph, DelegatingCFG, DelegatingNumberedGraph, EdgeFilteredNumberedGraph, InvertedNumberedGraph, PrunedCFG, SDG, SlowSparseNumberedGraph, SparseNumberedGraph

public abstract class AbstractNumberedGraph<T>
extends AbstractGraph<T>
implements NumberedGraph<T>

Basic functionality for a graph that delegates node and edge management, and tracks node numbers

Constructor Summary

Constructors

Constructor	Description
AbstractNumberedGraph()

Method Summary

Modifier and Type	Method	Description
protected abstract NumberedEdgeManager<T>	getEdgeManager()
int	getMaxNumber()
T	getNode(int number)
protected abstract NumberedNodeManager<T>	getNodeManager()
int	getNumber(@Nullable T N)
IntSet	getPredNodeNumbers(@Nullable T node)
IntSet	getSuccNodeNumbers(@Nullable T node)
Iterator<T>	iterateNodes(IntSet s)

Methods inherited from class AbstractGraph

addEdge, addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, nodeString, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toString

Modifier and Type	Method	Description
void	addEdge(T src, T dst)
void	addNode(T n)	add a node to this graph
boolean	containsNode(T n)
protected String	edgeString(T from, T to)
int	getNumberOfNodes()
int	getPredNodeCount(T n)	Return the number of immediate predecessor nodes of n
Iterator<T>	getPredNodes(T n)	Return an Iterator over the immediate predecessor nodes of n
int	getSuccNodeCount(T n)	Return the number of immediate successor nodes of this Node in the Graph
Iterator<T>	getSuccNodes(T n)	Return an Iterator over the immediate successor nodes of n
boolean	hasEdge(T src, T dst)
Iterator<T>	iterator()
protected String	nodeString(T n, boolean forEdge)
void	removeAllIncidentEdges(T node)
void	removeEdge(T src, T dst)
void	removeIncomingEdges(T node)
void	removeNode(T n)	remove a node from this graph
void	removeNodeAndEdges(T N)	remove a node and all its incident edges
void	removeOutgoingEdges(T node)
Stream<T>	stream()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

AbstractNumberedGraph

public AbstractNumberedGraph()

Method Details

getNodeManager

protected abstract NumberedNodeManager<T> getNodeManager()

Specified by:

getNodeManager in class AbstractGraph<T>

Returns:

the object which manages nodes in the graph

getEdgeManager

protected abstract NumberedEdgeManager<T> getEdgeManager()

Specified by:

getEdgeManager in class AbstractGraph<T>

Returns:

the object which manages edges in the graph

getMaxNumber

public int getMaxNumber()

Specified by:

getMaxNumber in interface NumberedNodeManager<T>

See Also:

• NumberedNodeManager.getMaxNumber()

getNode

public T getNode(int number)

Specified by:

getNode in interface NumberedNodeManager<T>

See Also:

• NumberedNodeManager.getNode(int)

getNumber

public int getNumber(@Nullable T N)

Specified by:

getNumber in interface NumberedNodeManager<T>

See Also:

• NumberedNodeManager.getNumber(Object)

iterateNodes

public Iterator<T> iterateNodes(IntSet s)

Specified by:

iterateNodes in interface NumberedNodeManager<T>

Returns:

iterator of nodes with the numbers in set s

See Also:

• NumberedNodeManager.iterateNodes(com.ibm.wala.util.intset.IntSet)

getPredNodeNumbers

public IntSet getPredNodeNumbers(@Nullable T node)
                          throws IllegalArgumentException

Specified by:

getPredNodeNumbers in interface NumberedEdgeManager<T>

Returns:

the numbers identifying the immediate predecessors of node

Throws:

IllegalArgumentException

See Also:

• NumberedEdgeManager.getPredNodeNumbers(java.lang.Object)

getSuccNodeNumbers

public IntSet getSuccNodeNumbers(@Nullable T node)
                          throws IllegalArgumentException

Specified by:

getSuccNodeNumbers in interface NumberedEdgeManager<T>

Returns:

the numbers identifying the immediate successors of node

Throws:

IllegalArgumentException

See Also:

• NumberedEdgeManager.getSuccNodeNumbers(java.lang.Object)