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

boolean

DEBUG

Fields inherited from class soot.Body

localChain, method, trapChain, unitChain

Method Summary

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

Methods inherited from class soot.Body

checkInit, getAllUnitBoxes, getDefBoxes, getLocalCount, getLocals, getMethod, getParameterLocal, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, setMethod, toString, validate, 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, wait, wait, wait

Field Detail

DEBUG

public boolean DEBUG

Method Detail

get_ConstructorUnit

public Unit get_ConstructorUnit()

get_CaughtRefs

public List 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 get_ParamMap()

set_ParamMap

public void set_ParamMap(Map 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.

Specified by:

clone in class Body

get_SynchronizedBlockFacts

public IterableSet get_SynchronizedBlockFacts()

get_ExceptionFacts

public IterableSet get_ExceptionFacts()

get_MonitorFacts

public IterableSet get_MonitorFacts()

getImportList

public IterableSet getImportList()

applyBugFixes

public void applyBugFixes()

analyzeAST

public void analyzeAST()

addToImportList

public void addToImportList(String className)

debug

public void debug(String methodName,
                  String debug)