|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--soot.tagkit.AbstractHost
|
+--soot.Body
|
+--soot.jimple.StmtBody
|
+--soot.jimple.JimpleBody
Implementation of the Body class for the Jimple IR.
| Field Summary |
| Fields inherited from class soot.Body |
localChain, method, trapChain, unitChain |
| Method Summary | |
void |
applyPhaseOptions(java.util.Map options)
Applies the transformations corresponding to the given options. |
java.lang.Object |
clone()
Clones the current body, making deep copies of the contents. |
Stmt |
getFirstNonIdentityStmt()
Returns the first non-identity stmt in this body. |
Local |
getParameterLocal(int i)
|
Local |
getThisLocal()
|
void |
insertIdentityStmts()
Inserts usual statements for handling this & parameters into body. |
void |
validate()
Make sure that the JimpleBody is well formed. |
| Methods inherited from class soot.Body |
getDefBoxes, getLocalCount, getLocals, getMethod, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, printDebugTo, printTo, printTo, setMethod, validateLocals, validateTraps, validateUnitBoxes, validateUses |
| Methods inherited from class soot.tagkit.AbstractHost |
addTag, getTag, getTags, hasTag, removeTag |
| Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public java.lang.Object clone()
clone in class Bodypublic void applyPhaseOptions(java.util.Map options)
public void validate()
validate in class Bodypublic void insertIdentityStmts()
public Stmt getFirstNonIdentityStmt()
public Local getThisLocal()
public Local getParameterLocal(int i)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||