| Represents object pools. An instance of this class is called an
object pool, or simply pool. It is used by T2's test engine to keep
track of objects created and accessed during its executions --see
the explanation of the
U2.T2 U2.T2 package .
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
Class to 'domains'. If the domain map maps a Class C to a domain D,
then D is essentially a set of objects, all should be of class
C. Each domain will be implemented as a linked list of the integer
indices over the object map.
|
