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 |
|
Constructor of DataBox. Initializing both
|
|
Get data dependent variables' value.
|
|
Get interference dependent statement.
|
|
Get interference variables' value.
|
|
Get data dependent statement.
|
|
See if the statatement involed in this
|
|
See if the statatement involed in this
|
|
Set |
|
Set |
|
The statement of interference dependent. |
|
The statement of data dependent. |
|
A set of Value on which other statements are dependent. |