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

ValueIndexManager Class Reference

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

Public Methods

void reset ()
abstract Index select (MethodVariant methodVariant, Index codeIndex)

Detailed Description

The interface to be implemented by managers which will manage indices to partition value variants.
Author:
John Hatcliff , Venkatesh Prasad Ranganath
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 52 of file ValueIndexManager.java.


Member Function Documentation

void ValueIndexManager::reset   [inline]
 

Reset the data structures of the manager.

Definition at line 58 of file ValueIndexManager.java.

Referenced by ValueVariantManager::reset().

abstract Index ValueIndexManager::select MethodVariant   methodVariant,
Index   codeIndex
[pure virtual]
 

Provide the Index corresponding to the provided variants.

Parameters:
methodVariant   the method variant in which the value variant originated.
codeIndex   the index to a position in the code where the variant originated.
Returns:
the index associated with the position in the code where the value variant originated.

Reimplemented in ValueIndexManagerAlloc, and ValueIndexManagerPoint.

Referenced by ValueVariantManager::select().


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