com.ibm.wala.util.graph
Interface NumberedNodeManager<T>

All Superinterfaces:

java.lang.Iterable<T>, NodeManager<T>

All Known Subinterfaces:

CallGraph, ControlFlowGraph, EObjectGraph, ISDG, ISupergraph<T,P>, NumberedGraph<T>

All Known Implementing Classes:

AbstractCFG, AbstractNumberedGraph, AstCallGraph, AstInducedCFG, AstTranslator.AstCFG, AstTranslator.IncipientCFG, BackwardsSupergraph, BasicCallGraph, BasicHeapGraph, BVControlDependenceGraph, ControlDependenceGraph, DelegatingCFG, DelegatingExplicitCallGraph, DelegatingNumberedGraph, DelegatingNumberedNodeManager, ECallGraphWrapper, EClassHierarchyWrapper, EInterfaceHierarchyWrapper, EObjectGraphImpl, EObjectTree, ExpandedControlFlowGraph, ExplicitCallGraph, HeapGraph, InducedCFG, InterproceduralCFG, InvertedNumberedGraph, JSCallGraph, JSInducedCFG, PartiallyCollapsedSupergraph, PDG, PrunedCFG, PrunedCFG, SDG, SDGView, ShrikeCFG, SlowNumberedNodeManager, SlowSparseNumberedGraph, SparseNumberedGraph, SSACFG, TwoExitCFG

public interface NumberedNodeManager<T>
extends NodeManager<T>

An object which tracks nodes with numbers.

Method Summary

int	getMaxNumber()
T	getNode(int number)
int	getNumber(T N)
java.util.Iterator<T>	iterateNodes(IntSet s)

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

addNode, containsNode, getNumberOfNodes, iterator, removeNode

Method Detail

getNumber

int getNumber(T N)

getNode

T getNode(int number)

getMaxNumber

int getMaxNumber()

iterateNodes

java.util.Iterator<T> iterateNodes(IntSet s)

Parameters:

s -

Returns:

iterator of nodes with the numbers in set s