soot.jimple
Class JimpleBody

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.Body
              |
              +--soot.jimple.StmtBody
                    |
                    +--soot.jimple.JimpleBody

public class JimpleBody
extends StmtBody

Implementation of the Body class for the Jimple IR.

See Also:
Serialized Form

Fields inherited from class soot.Body
localChain, method, trapChain, unitChain
 
Method Summary
 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.
 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
getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getParameterLocal, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, setMethod, validateLocals, validateTraps, validateUnitBoxes, validateUses
 
Methods inherited from class soot.tagkit.AbstractHost
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

clone

public java.lang.Object clone()
Clones the current body, making deep copies of the contents.
Overrides:
clone in class Body

validate

public void validate()
Make sure that the JimpleBody is well formed. If not, throw an exception. Right now, performs only a handful of checks.
Overrides:
validate in class Body

insertIdentityStmts

public void insertIdentityStmts()
Inserts usual statements for handling this & parameters into body.

getFirstNonIdentityStmt

public Stmt getFirstNonIdentityStmt()
Returns the first non-identity stmt in this body.