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 com.ibm.wala.util.graph.AbstractGraph

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

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)