---

ArrayIndexManager Interface Reference

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

Public Methods
void	reset ()
Index	select (ValueVariant valueVariant)

---

Detailed Description

This is the interface to be provided by any implementation of ArrayIndexManager. An ArrayIndexManager will manage the ArrayIndex which are used to get to the ArrayVariant.

The ArrayIndexManager will drive the analysis regarding how information about the array objects will be collected.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 57 of file ArrayIndexManager.java.

---

Member Function Documentation

void ArrayIndexManager::reset (    )

Reset the data structures in the Manager. Reimplemented in ArrayIndexManagerValueVariant. Referenced by ArrayVariantManager::reset().

Index ArrayIndexManager::select (  ValueVariant   valueVariant )

Returns an index corresponding to the given ValueVariant object. Parameters: valueVariant   the value variant for which the ArrayIndex is required. Returns: the index corresponding to the provided value variant. Reimplemented in ArrayIndexManagerValueVariant. Referenced by ArrayVariantManager::select().

---

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

• ArrayIndexManager.java

---