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

ValueIndexManagerPoint Class Reference

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

Public Methods

 ValueIndexManagerPoint ()
Index select (MethodVariant methodVariant, Index codeIndex)

Private Attributes

Index point

Detailed Description

Class provides indices to partition value variants independent of method and position in code.
Author:
John Hatcliff , Venkatesh Prasad Ranganath
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 52 of file ValueIndexManagerPoint.java.


Constructor & Destructor Documentation

ValueIndexManagerPoint::ValueIndexManagerPoint   [inline]
 

Constructor of the class.

Definition at line 62 of file ValueIndexManagerPoint.java.


Member Function Documentation

Index ValueIndexManagerPoint::select MethodVariant   methodVariant,
Index   codeIndex
[inline, virtual]
 

Provide the associated index.

Parameters:
methodVariant   the method in which the value variant occurs.
codeIndex   the position in the code where the value variant occurs.
Returns:
the index corresponding to the value variant.

Reimplemented from ValueIndexManager.

Definition at line 72 of file ValueIndexManagerPoint.java.


Member Data Documentation

Index ValueIndexManagerPoint::point [private]
 

The one index that is needed to achieve no partition.

Definition at line 57 of file ValueIndexManagerPoint.java.


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