Main Page   Packages   Class Hierarchy   Compound List   Compound Members  

DataBox Class Reference

List of all members.

Public Methods

 DataBox (Stmt stmt, Set data)
boolean equals (Object o)
Set getDependVar ()
Stmt getInterferStmt ()
Set getInterferVars ()
Stmt getStmt ()
boolean isNewExprStmt ()
boolean isSpecialInvokeInit ()
void setToInvokeInit ()
void setToNewExprStmt ()
String toString ()

Private Attributes

Stmt interStmt
Stmt onstmt
Set var
boolean isInvokeInit
boolean isNewExprStmt

Detailed Description

This class is for storing information about statement on which other statements are data and interference dependent.


Constructor & Destructor Documentation

DataBox::DataBox Stmt   stmt,
Set   data
[inline]
 

Constructor of DataBox. Initializing both isInvokeInit and isNewExprStmt to false.

Parameters:
stmt   the statement on which other statements are dependent.
data   a set of value on which other statements are dependent.


Member Function Documentation

Set DataBox::getDependVar   [inline]
 

Get data dependent variables' value.

Returns:
a set of Value.

Stmt DataBox::getInterferStmt   [inline]
 

Get interference dependent statement.

Returns:
interStmt.

Set DataBox::getInterferVars   [inline]
 

Get interference variables' value.

Returns:
a set of Value.

Stmt DataBox::getStmt   [inline]
 

Get data dependent statement.

Returns:
onstmt.

boolean DataBox::isNewExprStmt   [inline]
 

See if the statatement involed in this DataBox is new expression statement.

Returns:
isNewExprStmt.

boolean DataBox::isSpecialInvokeInit   [inline]
 

See if the statatement involed in this DataBox is special invoke init method statement.

Returns:
isInvokeInit.

void DataBox::setToInvokeInit   [inline]
 

Set isInvokeInit to true.

void DataBox::setToNewExprStmt   [inline]
 

Set isNewExprStmt to true.


Member Data Documentation

Stmt DataBox::interStmt [private]
 

The statement of interference dependent.

Stmt DataBox::onstmt [private]
 

The statement of data dependent.

Set DataBox::var [private]
 

A set of Value on which other statements are dependent.


The documentation for this class was generated from the following file:
Generated at Tue Nov 27 15:17:22 2001 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001