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

Method Summary

Methods

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	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

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.

getFirstNonIdentityStmt

public Stmt getFirstNonIdentityStmt()

Returns the first non-identity stmt in this body.