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

All Superinterfaces:: Iterable<T>, NodeManager<T>

All Known Subinterfaces:: NumberedGraph<T>, NumberedLabeledGraph<T,I>

All Known Implementing Classes:: AbstractNumberedGraph, AbstractNumberedLabeledGraph, DelegatingNumberedGraph, DelegatingNumberedNodeManager, EdgeFilteredNumberedGraph, ExtensionGraph, InvertedNumberedGraph, SlowNumberedNodeManager, SlowSparseNumberedGraph, SlowSparseNumberedLabeledGraph, SparseNumberedGraph

public interface NumberedNodeManager<T> extends NodeManager<T>

An object which tracks nodes with numbers.

Method Summary

Modifier and Type

Method

Description

int

getMaxNumber()

T

getNode(int number)

int

getNumber(T N)

Iterator<T>

iterateNodes(IntSet s)

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode

Method Details
- getNumber
  
  int getNumber(T N)
- getNode
  
  T getNode(int number)
- getMaxNumber
  
  int getMaxNumber()
- iterateNodes
  
  Iterator<T> iterateNodes(IntSet s)
  
  Returns:
  
  iterator of nodes with the numbers in set s