|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | 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 | |
boolean |
branches()
Returns true if execution after this statement is not the following statement. |
java.lang.Object |
clone()
|
boolean |
fallsThrough()
Returns true if execution after this statement may continue at the following statement. |
java.util.List |
getBoxesPointingToThis()
Returns a list of Boxes pointing to this Unit. |
java.util.List |
getDefBoxes()
Returns a list of Boxes containing Values defined in this Unit. |
java.util.List |
getUnitBoxes()
Returns a list of Boxes containing Units defined in this Unit; typically branch targets. |
java.util.List |
getUseAndDefBoxes()
Returns a list of Boxes containing any Value either used or defined in this Unit. |
java.util.List |
getUseBoxes()
Returns a list of Boxes containing Values used in this Unit. |
void |
redirectJumpsToThisTo(Unit newLocation)
|
java.lang.String |
toBriefString()
|
java.lang.String |
toBriefString(java.util.Map stmtToName,
java.lang.String indentation)
|
java.lang.String |
toString(java.util.Map stmtToName,
java.lang.String indentation)
|
Methods inherited from interface soot.util.Switchable |
apply |
Methods inherited from interface soot.tagkit.Host |
addTag, getTag, getTags, hasTag, removeTag |
Method Detail |
public java.util.List getUseBoxes()
public java.util.List getDefBoxes()
public java.util.List getUnitBoxes()
public java.util.List getBoxesPointingToThis()
public java.util.List getUseAndDefBoxes()
public java.lang.Object clone()
clone
in class java.lang.Object
public boolean fallsThrough()
public boolean branches()
public java.lang.String toBriefString()
public java.lang.String toBriefString(java.util.Map stmtToName, java.lang.String indentation)
public java.lang.String toString(java.util.Map stmtToName, java.lang.String indentation)
public void redirectJumpsToThisTo(Unit newLocation)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |