gov.nasa.jpf.util

Class PSIntMap.Node<E>

java.lang.Object

gov.nasa.jpf.util.PSIntMap.Node<E>

Direct Known Subclasses:

PSIntMap.BitmapNode, PSIntMap.FullNode, PSIntMap.OneNode

Enclosing class:

PSIntMap<V>

protected abstract static class PSIntMap.Node<E>
extends Object

Abstract root class for all node types. This type needs to be internal, no instances are allowed to be visible outside the PersistentIntMap class hierarchy in order to guarantee invariant data. NOTE - since this is an internal type, we forego a lot of argument range checks in the Node subclasses, assuming that all internal use has been tested and bugs will not cause silent corruption of node data but will lead to follow-on exceptions such as ArrayIndexOutOfBounds etc.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PSIntMap.Node()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

PSIntMap.Node

protected PSIntMap.Node()