Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

ArrayVariantManager Class Reference

List of all members.

Static Public Methods

Set getClassTokens ()
Collection getValues ()
void init (ArrayIndexManager arrayIndexManager)
void reset ()
ArrayVariant select (ClassToken classToken, ValueVariant valueVariant)

Static Private Attributes

ArrayIndexManager arrayIndexManager
Map arrayClassMap

Detailed Description

This class maps various Array classes and value variants(array creation site expression) to ArrayVariants.

We maintain a map from each ClassTokenArray(array class) to IndexMap. The IndexMap maps the Index(array indices) to ArrayVariants.

Author:
John Hatcliff ,
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 58 of file ArrayVariantManager.java.


Member Function Documentation

Set ArrayVariantManager::getClassTokens   [inline, static]
 

Provide the ClassTokenArray objects registered with the Manager.

Returns:
the set of registered ClassTokenArray objects.

Definition at line 78 of file ArrayVariantManager.java.

Collection ArrayVariantManager::getValues   [inline, static]
 

Provide a collection of maps corresponding to each distinct ClassTokenArray registered.

Returns:
the collection of maps.

Definition at line 88 of file ArrayVariantManager.java.

void ArrayVariantManager::init ArrayIndexManager   arrayIndexManager [inline, static]
 

Initializes the class with an ArrayIndexManager.

Parameters:
arrayIndexManager   the ArrayIndexManager to use to get Index.

Definition at line 99 of file ArrayVariantManager.java.

void ArrayVariantManager::reset   [inline, static]
 

Resets the data structures in the Manager.

Definition at line 108 of file ArrayVariantManager.java.

ArrayVariant ArrayVariantManager::select ClassToken   classToken,
ValueVariant   valueVariant
[inline, static]
 

Returns an ArrayVariant corresponding to the given ClassTokenArray and ValueVaraint. If none is available, a new array variant is created and returned.

Parameters:
classToken   the class of the array.
valueVariant   the array creation expression.
Returns:
the ArrayVariant registered for the array objects of type classToken corresponding to the valueVaraint.

Definition at line 127 of file ArrayVariantManager.java.


Member Data Documentation

Map ArrayVariantManager::arrayClassMap [static, private]
 

Maps the ClassTokenArrays to a map of ArrayIndex to ArrayVariants.

Definition at line 70 of file ArrayVariantManager.java.

ArrayIndexManager ArrayVariantManager::arrayIndexManager [static, private]
 

ArrayIndexManager used to obtain indices for ValueVariants.

Definition at line 64 of file ArrayVariantManager.java.


The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:04:51 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001