|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A code fragment (eg Stmt or Inst), used within Body classes. Intermediate representations must use an implementation of Unit for their code. In general, a unit denotes some sort of unit for execution.
Method Summary | |
void |
addBoxPointingToThis(UnitBox b)
Adds a box to the list returned by getBoxesPointingToThis. |
boolean |
branches()
Returns true if execution after this statement does not necessarily continue at the following statement. |
void |
clearUnitBoxes()
Clears any pointers to and from this Unit's UnitBoxes. |
Object |
clone()
|
boolean |
fallsThrough()
Returns true if execution after this statement may continue at the following statement. |
List |
getBoxesPointingToThis()
Returns a list of Boxes pointing to this Unit. |
List |
getDefBoxes()
Returns a list of Boxes containing Values defined in this Unit. |
List |
getUnitBoxes()
Returns a list of Boxes containing Units defined in this Unit; typically branch targets. |
List |
getUseAndDefBoxes()
Returns a list of Boxes containing any Value either used or defined in this Unit. |
List |
getUseBoxes()
Returns a list of Boxes containing Values used in this Unit. |
void |
redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation. |
void |
removeBoxPointingToThis(UnitBox b)
Removes a box from the list returned by getBoxesPointingToThis. |
void |
toString(UnitPrinter up)
|
Methods inherited from interface soot.util.Switchable |
apply |
Methods inherited from interface soot.tagkit.Host |
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag |
Method Detail |
public List getUseBoxes()
public List getDefBoxes()
public List getUnitBoxes()
public List getBoxesPointingToThis()
public void addBoxPointingToThis(UnitBox b)
public void removeBoxPointingToThis(UnitBox b)
public void clearUnitBoxes()
public List getUseAndDefBoxes()
public Object clone()
public boolean fallsThrough()
public boolean branches()
public void toString(UnitPrinter up)
public void redirectJumpsToThisTo(Unit newLocation)
PatchingChain.getNonPatchingChain()
,
soot.shimple.Shimple#redirectToPreds(Chain, Unit)
,
Shimple.redirectPointers(Unit, Unit)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |