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

ValueVariant Class Reference

List of all members.

Public Methods

 ValueVariant (ClassToken classToken, Index valueIndex, Value expr, Stmt stmt)
ClassToken getClassToken ()
Value getExpr ()
Index getIndex ()
Stmt getStmt ()

Private Attributes

ClassToken classToken
Index valueIndex
Value expr
Stmt stmt

Detailed Description

This class represents the values that may flow in the flow graph.
Author:
John Hatcliff , Venkatesh Prasad Ranganath
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 52 of file ValueVariant.java.


Constructor & Destructor Documentation

ValueVariant::ValueVariant ClassToken   classToken,
Index   valueIndex,
Value   expr,
Stmt   stmt
[inline]
 

Constructor of the class.

Parameters:
classToken   the class token associated with the enclosing class.
valueIndex   the associated index
expr   a Value value
stmt   the statement in which the value variant was created.

Definition at line 82 of file ValueVariant.java.


Member Function Documentation

ClassToken ValueVariant::getClassToken   [inline]
 

Provides the class in which the variant was created.

Returns:
the class token corresponding to the class in which the variant was created.

Definition at line 96 of file ValueVariant.java.

Referenced by FGActionInvoke::doAction(), FGActionArrayStore::doAction(), FGActionArrayRef::doAction(), and Analysis::invokeExprResolution().

Value ValueVariant::getExpr   [inline]
 

Provides the statement in which the variant was created.

Returns:
the statement in which the variant was created.

Definition at line 105 of file ValueVariant.java.

Index ValueVariant::getIndex   [inline]
 

Provides the associated index.

Returns:
the associated index.

Definition at line 114 of file ValueVariant.java.

Stmt ValueVariant::getStmt   [inline]
 

Provides the statement in which the variant was created.

Returns:
the statement in which the variant was created.

Definition at line 123 of file ValueVariant.java.


Member Data Documentation

ClassToken ValueVariant::classToken [private]
 

The class of the value variant. The type in simple words.

Definition at line 57 of file ValueVariant.java.

Value ValueVariant::expr [private]
 

Expression in which the value variant gets created.

Definition at line 67 of file ValueVariant.java.

Stmt ValueVariant::stmt [private]
 

Statement in which the value variant gets created.

Definition at line 72 of file ValueVariant.java.

Index ValueVariant::valueIndex [private]
 

Index associated with the value variant.

Definition at line 62 of file ValueVariant.java.


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