---

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.

Definition at line 42 of file DataBox.java.

---

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. Definition at line 66 of file DataBox.java.

---

Member Function Documentation

Set DataBox::getDependVar (    )  [inline]

Get data dependent variables' value. Returns: a set of Value. Definition at line 97 of file DataBox.java. Referenced by SlicingMethod::dataRelVarCompute(), SlicingMethod::oneParaFdIsRelevant(), and BuildPDG::specialInvokeDdAnalysis().

Stmt DataBox::getInterferStmt (    )  [inline]

Get interference dependent statement. Returns: interStmt. Definition at line 107 of file DataBox.java. Referenced by MethodCallAnalysis::assignmentByMdCall(), InterClassAnalysis::checkOneMdForInsFdsNotInCurrentClass(), InterClassAnalysis::checkOneMethod(), BuildPDG::dataDependOfInstanceFieldRef(), BuildPDG::dataDependOfStaticFieldRef(), BuildPDG::ddForStaticAndInstanceFd(), SlicingMethod::generateNewCriterionForCaller(), BuildPDG::getInstanceDefIndexOf(), BuildPDG::getStaticDefIndexOf(), InterClassAnalysis::initInterferenceMap(), and Fields::parametersLocalize().

Set DataBox::getInterferVars (    )  [inline]

Get interference variables' value. Returns: a set of Value. Definition at line 116 of file DataBox.java. Referenced by SlicingMethod::allMODREFFields(), MethodCallAnalysis::assignmentByMdCall(), InterClassAnalysis::checkOneMdForInsFdsNotInCurrentClass(), InterClassAnalysis::checkOneMethod(), BuildPDG::collectVarsDefined(), BuildPDG::dataDependOfInstanceFieldRef(), BuildPDG::dataDependOfStaticFieldRef(), BuildPDG::ddForStaticAndInstanceFd(), BuildPDG::defsNotPreserves(), SlicingMethod::generateNewCriterionForCaller(), BuildPDG::instanceDefsNotPreserves(), Fields::merge(), and Fields::parametersLocalize().

Stmt DataBox::getStmt (    )  [inline]

Get data dependent statement. Returns: onstmt. Definition at line 126 of file DataBox.java. Referenced by BuildPDG::dataBoxesContains(), SlicingMethod::dataRelVarCompute(), BuildPDG::defsNotPreserves(), SlicingMethod::indexSetOf(), and BuildPDG::specialInvokeDdAnalysis().

boolean DataBox::isNewExprStmt (    )  [inline]

See if the statatement involed in this DataBox is new expression statement. Returns: isNewExprStmt. Definition at line 135 of file DataBox.java.

boolean DataBox::isSpecialInvokeInit (    )  [inline]

See if the statatement involed in this DataBox is special invoke init method statement. Returns: isInvokeInit. Definition at line 145 of file DataBox.java.

void DataBox::setToInvokeInit (    )  [inline]

Set isInvokeInit to true. Definition at line 152 of file DataBox.java. Referenced by BuildPDG::specialInvokeDdAnalysis().

void DataBox::setToNewExprStmt (    )  [inline]

Set isNewExprStmt to true. Definition at line 159 of file DataBox.java. Referenced by BuildPDG::specialInvokeDdAnalysis().

---

Member Data Documentation

Stmt DataBox::interStmt [private]

The statement of interference dependent. Definition at line 46 of file DataBox.java.

Stmt DataBox::onstmt [private]

The statement of data dependent. Definition at line 50 of file DataBox.java.

Set DataBox::var [private]

A set of Value on which other statements are dependent. Definition at line 55 of file DataBox.java.

---

The documentation for this class was generated from the following file:

• DataBox.java

---