org.jacop.jasat.utils

Class GenericMemoryPool<E>

java.lang.Object

org.jacop.jasat.utils.GenericMemoryPool<E>

Deprecated.

@Deprecated
public final class GenericMemoryPool<E>
extends Object

MemoryPool for arbitrary types. Less efficient than MemoryPool, but maybe more efficient than allocating. To be used if some data structure is often allocated/deallocated.

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
GenericMemoryPool(Factory<E> factory) Deprecated.

Method Summary

Modifier and Type	Method and Description
E	getNew() Deprecated. get an instance of E
void	storeOld(E old) Deprecated. stores an instance of E for future uses

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericMemoryPool

public GenericMemoryPool(Factory<E> factory)

Deprecated.

Method Detail

getNew

public E getNew()

Deprecated.

get an instance of E

Returns:

an instance of type E stored here, or a fresh instance from the factory

storeOld

public void storeOld(E old)

Deprecated.

stores an instance of E for future uses

Parameters:

old - the E to store