gov.nasa.jpf.util

Class WeakPool<E>

java.lang.Object

gov.nasa.jpf.util.WeakPool<E>

public class WeakPool<E>
extends java.lang.Object

This is a simplified hash pool that does not support removal or numbering of elements.

Constructor Summary

Constructors

Constructor and Description
WeakPool() Creates a SimplePool that holds about 716 elements before first rehash.
WeakPool(int pow) Creates a SimplePool that holds about 0.7 * 2**pow elements before first rehash.

Method Summary

Modifier and Type	Method and Description
void	add(E e)
boolean	isMember(E e)
boolean	isPooled(E e) Asks whether a particular element is already pooled.
static void	main(java.lang.String[] args) BROKEN Test main.
protected void	newTable()
E	pool(E e) Returns a pooled element matching e, which will be e if no match has been previously pooled.
E	query(E e) Returns the matching element if there is one, null if not.

Methods inherited from class java.lang.Object

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

Constructor Detail

WeakPool

public WeakPool()

Creates a SimplePool that holds about 716 elements before first rehash.

WeakPool

public WeakPool(int pow)

Creates a SimplePool that holds about 0.7 * 2**pow elements before first rehash.

Method Detail

newTable

protected void newTable()

isPooled

public boolean isPooled(E e)

Asks whether a particular element is already pooled. NOT A TYPICAL OPERATION.

query

public E query(E e)

Returns the matching element if there is one, null if not.

pool

public E pool(E e)

Returns a pooled element matching e, which will be e if no match has been previously pooled.

isMember

public boolean isMember(E e)

add

public void add(E e)

main

public static void main(java.lang.String[] args)

BROKEN Test main.