soot.jimple
Class JimpleBody

java.lang.Object
  extended bysoot.tagkit.AbstractHost
      extended bysoot.Body
          extended bysoot.jimple.StmtBody
              extended bysoot.jimple.JimpleBody
All Implemented Interfaces:
Host, Serializable

public class JimpleBody
extends StmtBody

Implementation of the Body class for the Jimple IR.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class soot.Body
localChain, method, trapChain, unitChain
 
Method Summary
 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
checkInit, getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getParameterLocal, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, setMethod, validateLocals, validateTraps, validateUnitBoxes, validateUses, validateValueBoxes
 
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 Object clone()
Clones the current body, making deep copies of the contents.

Specified by:
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.