gov.nasa.jpf.util

Class HashPool<V>

java.lang.Object

gov.nasa.jpf.util.HashPool<V>

public final class HashPool<V>
extends Object

data structure used to do hash collapsing. All the major state components (fields, Monitors, StackFrames, uThreadData) are stored in pools to determine if they are new. Only the pool index values are used to compute hash values.

2006-06-14 - major rewrite by pcd

Constructor Summary

Constructors

Constructor and Description
HashPool()
HashPool(int pow)

Method Summary

Methods

Modifier and Type	Method and Description
HashPool<V>	addNull() optionally called only once after creation to link null to 0.
V	get(V o)
IntTable.Entry<V>	getEntry(V o)
int	getIndex(V o)
V	getObject(int idx)
void	print()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

HashPool

public HashPool()

HashPool

public HashPool(int pow)

Method Detail

addNull

public HashPool<V> addNull()

optionally called only once after creation to link null to 0.

getEntry

public IntTable.Entry<V> getEntry(V o)

getIndex

public int getIndex(V o)

get

public V get(V o)

getObject

public V getObject(int idx)

print

public void print()

size

public int size()