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

ClassTokenManaged Class Reference

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

Public Methods

String display ()
String dump ()
SootClass getSootClass ()

Static Public Methods

ClassTokenManaged select (Object sootClass)

Static Public Attributes

final ClassTokenManaged unknownClassToken
final ClassTokenManaged nullClassToken

Private Methods

 ClassTokenManaged (SootClass sootClass)

Static Private Attributes

Map allocatedTokens = new HashMap()
SootClass sootClass

Detailed Description

Class represents classes that are being managed by the Analysis and are not array classes.
Author:
John Hatcliff , Venkatesh Prasad Ranganath

Definition at line 47 of file ClassTokenManaged.java.


Constructor & Destructor Documentation

ClassTokenManaged::ClassTokenManaged SootClass   sootClass [inline, private]
 

Constructor for the class

Definition at line 92 of file ClassTokenManaged.java.


Member Function Documentation

String ClassTokenManaged::display   [inline]
 

Returns a string to be displayed in the GUI.

Returns:
the string to dump

Definition at line 100 of file ClassTokenManaged.java.

String ClassTokenManaged::dump   [inline]
 

Returns a string used in debugging dumps.

Returns:
the string to dump

Definition at line 108 of file ClassTokenManaged.java.

SootClass ClassTokenManaged::getSootClass   [inline]
 

Returns the SootClass associated with this class token

Returns:
the SootClass

Definition at line 116 of file ClassTokenManaged.java.

ClassTokenManaged ClassTokenManaged::select Object   sootClass [inline, static]
 

Retrieves the ClassToken object corresponding to the SootClass. If a ClassToken is not associated, a new object is created and associated.

Parameters:
sootClass   the soot class for which the class token is requested.
Returns:
the class token corresponding to the soot class.

Definition at line 125 of file ClassTokenManaged.java.


Member Data Documentation

Map ClassTokenManaged::allocatedTokens = new HashMap() [static, private]
 

Maps SootClass objects to ClassToken objects.

Definition at line 56 of file ClassTokenManaged.java.

final ClassTokenManaged ClassTokenManaged::nullClassToken [static]
 

Initial value:

         new ClassTokenManaged(new SootClass("BOFA_NullValue"))
The Class token corresponding to the Null object. It is reasonable to use the same Class Token for all null references.

Definition at line 67 of file ClassTokenManaged.java.

SootClass ClassTokenManaged::sootClass [static, private]
 

the SootClass this object is associated with.

Definition at line 86 of file ClassTokenManaged.java.

final ClassTokenManaged ClassTokenManaged::unknownClassToken [static]
 

Initial value:

 
        new ClassTokenManaged(new SootClass("unknownClassToken"))
ClassToken representing the type of the unknown values. Basically the values which we will not cover in the analysis.

Definition at line 62 of file ClassTokenManaged.java.


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