gov.nasa.jpf.util

Class SimplePool<E>

java.lang.Object

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

public class SimplePool<E>
extends Object

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

Constructor Summary

Constructors

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

Method Summary

Methods

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(String[] args) Test main.
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

SimplePool

public SimplePool()

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

SimplePool

public SimplePool(int pow)

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

Method Detail

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(String[] args)

Test main.