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

InstanceIndexManagerPoint Class Reference

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

Public Methods

 InstanceIndexManagerPoint ()
Index select ()

Private Attributes

Index point

Detailed Description

Implementation of the InstanceIndexManager which provides indices such that the instance variables are partitioned per class basis.

Author:
John Hatcliff , Venkatesh Prasad Ranganath
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 53 of file InstanceIndexManagerPoint.java.


Constructor & Destructor Documentation

InstanceIndexManagerPoint::InstanceIndexManagerPoint   [inline]
 

Constructor of the class.

Definition at line 64 of file InstanceIndexManagerPoint.java.


Member Function Documentation

Index InstanceIndexManagerPoint::select   [inline, virtual]
 

Provides an index.

Returns:
the index selected for the instance variable. It is the always the same always.

Reimplemented from InstanceIndexManager.

Definition at line 74 of file InstanceIndexManagerPoint.java.


Member Data Documentation

Index InstanceIndexManagerPoint::point [private]
 

Index which induces 1-1 correspondence between instance variable and instance variable variant.

Definition at line 59 of file InstanceIndexManagerPoint.java.


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