---

ArrayIndexManagerValueVariant Class Reference

Inheritance diagram for ArrayIndexManagerValueVariant:[legend]Collaboration diagram for ArrayIndexManagerValueVariant:[legend]List of all members.

Public Methods
	ArrayIndexManagerValueVariant ()
void	reset ()
Index	select (ValueVariant valueVariant)
Private Attributes
Map	valueVariantMap

---

Detailed Description

This implementation of ArrayIndexManager provides ArrayIndex to partition ArrayVariants in 1-1 correspondence with ValueVariant for the array creation expression.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 55 of file ArrayIndexManagerValueVariant.java.

---

Constructor & Destructor Documentation

ArrayIndexManagerValueVariant::ArrayIndexManagerValueVariant (    )  [inline]

Constructor for the class. Definition at line 89 of file ArrayIndexManagerValueVariant.java.

---

Member Function Documentation

void ArrayIndexManagerValueVariant::reset (    )  [inline]

Reset the data structures in the Manager. Reimplemented from ArrayIndexManager. Definition at line 97 of file ArrayIndexManagerValueVariant.java.

Index ArrayIndexManagerValueVariant::select (  ValueVariant   valueVariant )  [inline]

This method provides the ArrayIndex mapped to the given ValueVariant. Parameters: valueVariant   the ValueVariant corresponding to array creation expression. Returns: the Index corresponding to the provided ValueVariant. Reimplemented from ArrayIndexManager. Definition at line 111 of file ArrayIndexManagerValueVariant.java.

---

Member Data Documentation

Map ArrayIndexManagerValueVariant::valueVariantMap [private]

A Map from ValueVariants to ArrayIndexs. Definition at line 60 of file ArrayIndexManagerValueVariant.java.

---

The documentation for this class was generated from the following file:

• ArrayIndexManagerValueVariant.java

---