Sequenic.T3

Class Pool

java.lang.Object

Sequenic.T3.Pool

public class Pool
extends java.lang.Object

Represents an object pool. It is used by T3's test engine to store objects that have been created, to be re-used along a test-sequence, for testing side-effect over them.

A Pool will be organized as follows. Essentially, it is a set of objects. Let's call this set S. The pool contains an object map, which is a mapping from unique integer keys to objects in S. The pool also has a domain map, which is a mapping from concrete types to 'domains'. If the domain map maps a type T to a domain D, then D is essentially a set of objects, all should be of the type T. Each domain will be implemented as a linked list of the integer indices over the object map. Note (1): currently, only concrete types are allowed to be put in the pool (as explained above, to group the objects). Note (2): null should not be stored in the pool.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.HashMap<JType,java.util.LinkedList<java.lang.Integer>>	domainMap
protected java.lang.Integer	indexOfObjectUnderTest
protected int	objectCount
protected java.util.HashMap<java.lang.Integer,java.lang.Object>	objectMap
protected java.lang.Object	objectUnderTest
protected JType	typeOfObjectUnderTest

Constructor Summary

Constructors

Constructor and Description
Pool() Create an empty pool.

Method Summary

Modifier and Type	Method and Description
java.lang.Integer	find(java.lang.Object x) Find an object in the pool.
java.lang.Object	get(int i) Returns the object from objectMap indexed with i; i should be an existing index.
java.lang.Integer	getIndexOfObjectUnderTest()
java.lang.Object	getObjectUnderTest()
JType	getTypeOfObjectUnderTest()
int	markAsObjectUnderTest(java.lang.Object u) To mark that an object in the pool is an object under test in the pool.
int	put(JType ty, java.lang.Object u) Add an object u of concrete type ty into the pool.
void	reset() To reset the pool to its initial empty state.
java.lang.Integer	rndGetIndex(JType ty) Randomly draw an object of a concrete type ty from the pool.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

objectMap

protected java.util.HashMap<java.lang.Integer,java.lang.Object> objectMap

domainMap

protected java.util.HashMap<JType,java.util.LinkedList<java.lang.Integer>> domainMap

objectCount

protected int objectCount

indexOfObjectUnderTest

protected java.lang.Integer indexOfObjectUnderTest

objectUnderTest

protected java.lang.Object objectUnderTest

typeOfObjectUnderTest

protected JType typeOfObjectUnderTest

Constructor Detail

Pool

public Pool()

Create an empty pool.

Method Detail

reset

public void reset()

To reset the pool to its initial empty state.

get

public java.lang.Object get(int i)

Returns the object from objectMap indexed with i; i should be an existing index.

find

public java.lang.Integer find(java.lang.Object x)

Find an object in the pool. It returns its index, else null.

rndGetIndex

public java.lang.Integer rndGetIndex(JType ty)

Randomly draw an object of a concrete type ty from the pool. It actually returns the index of the object rather than the object itself. It returns null if no instance of ty is found in the pool. Note that we will only look into the objects that have been explicitly marked to have the type ty. We will not search for possible matching instances via subclassing etc.

put

public int put(JType ty,
               java.lang.Object u)

Add an object u of concrete type ty into the pool. It returns the index of u in the pool's object map. Note that ty must be a concrete type (it should not contain type variables nor wildcards).

markAsObjectUnderTest

public int markAsObjectUnderTest(java.lang.Object u)

To mark that an object in the pool is an object under test in the pool. The object must be already in the pool.

getIndexOfObjectUnderTest

public java.lang.Integer getIndexOfObjectUnderTest()

getObjectUnderTest

public java.lang.Object getObjectUnderTest()

getTypeOfObjectUnderTest

public JType getTypeOfObjectUnderTest()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object