soot.jimple

Class JimpleBody

java.lang.Object

soot.tagkit.AbstractHost

soot.Body

soot.jimple.StmtBody

soot.jimple.JimpleBody

All Implemented Interfaces:

java.io.Serializable, Host

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

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Constructor Summary

Constructors

Constructor and Description
JimpleBody() Construct an extremely empty JimpleBody, for parsing into.
JimpleBody(SootMethod m) Construct an empty JimpleBody

Method Summary

Modifier and Type	Method and Description
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	insertIdentityStmts(SootClass declaringClass) Inserts usual statements for handling this & parameters into body.
void	validate() Make sure that the JimpleBody is well formed.
void	validate(java.util.List<ValidationException> exceptionList) Validates the jimple body and saves a list of all validation errors
void	validateIdentityStatements()

Methods inherited from class soot.Body

checkInit, getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getModificationCount, getParameterLocal, getParameterLocals, getParameterRefs, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, runValidation, setMethod, toString, validateLocals, validateTraps, validateUnitBoxes, validateUses, validateValueBoxes

Methods inherited from class soot.tagkit.AbstractHost

addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JimpleBody

public JimpleBody(SootMethod m)

Construct an empty JimpleBody

JimpleBody

public JimpleBody()

Construct an extremely empty JimpleBody, for parsing into.

Method Detail

clone

public java.lang.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

validate

public void validate(java.util.List<ValidationException> exceptionList)

Validates the jimple body and saves a list of all validation errors

Overrides:

validate in class Body

Parameters:

exceptionList - the list of validation errors

validateIdentityStatements

public void validateIdentityStatements()

insertIdentityStmts

public void insertIdentityStmts()

Inserts usual statements for handling this & parameters into body.

insertIdentityStmts

public void insertIdentityStmts(SootClass declaringClass)

Inserts usual statements for handling this & parameters into body.

Parameters:

declaringClass - the class, which should be used for this references. Can be null for static methods

getFirstNonIdentityStmt

public Stmt getFirstNonIdentityStmt()

Returns the first non-identity stmt in this body.