com.ibm.wala.util.graph.impl

Class SlowNumberedNodeManager<T>

java.lang.Object

com.ibm.wala.util.graph.impl.SlowNumberedNodeManager<T>

All Implemented Interfaces:

NodeManager<T>, NumberedNodeManager<T>, Serializable, Iterable<T>

public class SlowNumberedNodeManager<T>
extends Object
implements NumberedNodeManager<T>, Serializable

An object which manages node numbers via a mapping.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SlowNumberedNodeManager()

Method Summary

Modifier and Type	Method and Description
void	addNode(T n) add a node to this graph
boolean	containsNode(T N)
int	getMaxNumber()
T	getNode(int number)
int	getNumber(T obj)
int	getNumberOfNodes()
Iterator<T>	iterateNodes(IntSet s)
Iterator<T>	iterator()
void	removeNode(T n) remove a node from this graph
Stream<T>	stream()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

SlowNumberedNodeManager

public SlowNumberedNodeManager()

Method Detail

getNumber

public int getNumber(T obj)

Specified by:

getNumber in interface NumberedNodeManager<T>

getNode

public T getNode(int number)

Specified by:

getNode in interface NumberedNodeManager<T>

getMaxNumber

public int getMaxNumber()

Specified by:

getMaxNumber in interface NumberedNodeManager<T>

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface NodeManager<T>

Specified by:

iterator in interface Iterable<T>

Returns:

an Iterator of the nodes in this graph

stream

public Stream<T> stream()

Specified by:

stream in interface NodeManager<T>

Returns:

a Stream of the nodes in this graph

getNumberOfNodes

public int getNumberOfNodes()

Specified by:

getNumberOfNodes in interface NodeManager<T>

Returns:

the number of nodes in this graph

addNode

public void addNode(T n)

Description copied from interface: NodeManager

add a node to this graph

Specified by:

addNode in interface NodeManager<T>

removeNode

public void removeNode(T n)

Description copied from interface: NodeManager

remove a node from this graph

Specified by:

removeNode in interface NodeManager<T>

See Also:

NodeManager.removeNode(Object)

toString

public String toString()

Overrides:

toString in class Object

containsNode

public boolean containsNode(T N)

Specified by:

containsNode in interface NodeManager<T>

Returns:

true iff the graph contains the specified node

See Also:

NodeManager.containsNode(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