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

InstanceVariantManager Class Reference

List of all members.

Static Public Methods

Set getFields ()
Collection getVariants (SootField sootField)
void init (InstanceIndexManager instanceIndexManager)
void reset ()
InstanceVariant select (SootField sootField)

Static Private Attributes

InstanceIndexManager instanceIndexManager
Map instanceMap

Detailed Description

This class that manages the instance variable variants.

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

Definition at line 53 of file InstanceVariantManager.java.


Member Function Documentation

Set InstanceVariantManager::getFields   [inline, static]
 

Provides the set of instance variables managed.

Returns:
set of instance variants managed.

Definition at line 72 of file InstanceVariantManager.java.

Collection InstanceVariantManager::getVariants SootField   sootField [inline, static]
 

Provides the collection of instance variants managed.

Parameters:
sootField   a SootField value
Returns:
collection of instance variants managed.

Definition at line 82 of file InstanceVariantManager.java.

void InstanceVariantManager::init InstanceIndexManager   instanceIndexManager [inline, static]
 

Initialize the Manager.

Parameters:
instanceIndexManager   the manager who will provide the indices to get to the instance variants.

Definition at line 91 of file InstanceVariantManager.java.

void InstanceVariantManager::reset   [inline, static]
 

Reset the data structures of the manager.

Definition at line 99 of file InstanceVariantManager.java.

InstanceVariant InstanceVariantManager::select SootField   sootField [inline, static]
 

Select the variant corresponding to the instance variable. If none exists, then a new one is created. In this implementation only one instance variant is associated with one field variable of a class.

Parameters:
sootField   the field for which variant is requested.
Returns:
the corresponding variant.

Definition at line 115 of file InstanceVariantManager.java.


Member Data Documentation

InstanceIndexManager InstanceVariantManager::instanceIndexManager [static, private]
 

Manager of the indices associated with instance variants.

Definition at line 59 of file InstanceVariantManager.java.

Map InstanceVariantManager::instanceMap [static, private]
 

Mapping from field to instance indices map.

Definition at line 65 of file InstanceVariantManager.java.


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