Package soot.dava

Class DavaBody

java.lang.Object

soot.tagkit.AbstractHost

soot.Body

soot.dava.DavaBody

All Implemented Interfaces:

Serializable, Host

public class DavaBody
extends Body

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
boolean	DEBUG

Fields inherited from class soot.Body

localChain, method, trapChain, unitChain

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Method Summary

Modifier and Type	Method	Description
void	addToImportList(String className)
void	analyzeAST()
void	applyBugFixes()
Object	clone()	Creates a deep copy of this Body.
Object	clone(boolean noLocalsClone)
void	consume_Condition(AugmentedStmt as)
void	debug(String methodName, String debug)
List<CaughtExceptionRef>	get_CaughtRefs()
InstanceInvokeExpr	get_ConstructorExpr()
Unit	get_ConstructorUnit()
Set<Object>	get_ConsumedConditions()
Local	get_ControlLocal()
IterableSet<ExceptionNode>	get_ExceptionFacts()
IterableSet<AugmentedStmt>	get_MonitorFacts()
Map<Integer,Value>	get_ParamMap()
IterableSet<ExceptionNode>	get_SynchronizedBlockFacts()
HashSet<Object>	get_ThisLocals()
IterableSet<String>	getImportList()
void	set_ConstructorExpr(InstanceInvokeExpr expr)
void	set_ConstructorUnit(Unit s)
void	set_ParamMap(Map<Integer,Value> map)

Methods inherited from class soot.Body

checkInit, getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getMethodUnsafe, getModificationCount, getParameterLocal, getParameterLocals, getParameterRefs, getThisLocal, getThisUnit, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, importBodyContentsFrom, runValidation, setMethod, toString, validate, validate, 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

Field Detail

DEBUG

public boolean DEBUG

Method Detail

get_ConstructorUnit

public Unit get_ConstructorUnit()

get_CaughtRefs

public List<CaughtExceptionRef> get_CaughtRefs()

get_ConstructorExpr

public InstanceInvokeExpr get_ConstructorExpr()

set_ConstructorExpr

public void set_ConstructorExpr(InstanceInvokeExpr expr)

set_ConstructorUnit

public void set_ConstructorUnit(Unit s)

get_ParamMap

public Map<Integer,Value> get_ParamMap()

set_ParamMap

public void set_ParamMap(Map<Integer,Value> map)

get_ThisLocals

public HashSet<Object> get_ThisLocals()

get_ControlLocal

public Local get_ControlLocal()

get_ConsumedConditions

public Set<Object> get_ConsumedConditions()

consume_Condition

public void consume_Condition(AugmentedStmt as)

clone

public Object clone()

Description copied from class: Body

Creates a deep copy of this Body.

Overrides:

clone in class Body

clone

public Object clone(boolean noLocalsClone)

Specified by:

clone in class Body

get_SynchronizedBlockFacts

public IterableSet<ExceptionNode> get_SynchronizedBlockFacts()

get_ExceptionFacts

public IterableSet<ExceptionNode> get_ExceptionFacts()

get_MonitorFacts

public IterableSet<AugmentedStmt> get_MonitorFacts()

getImportList

public IterableSet<String> getImportList()

applyBugFixes

public void applyBugFixes()

analyzeAST

public void analyzeAST()

addToImportList

public void addToImportList(String className)

debug

public void debug(String methodName,
                  String debug)