soot.dava
Class DavaBody

java.lang.Object
  extended bysoot.tagkit.AbstractHost
      extended bysoot.Body
          extended bysoot.dava.DavaBody
All Implemented Interfaces:
Host, Serializable

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 addPackage(String newPackage)
           
 void analyzeAST()
           
 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 get_ConsumedConditions()
           
 Local get_ControlLocal()
           
 IterableSet get_ExceptionFacts()
           
 IterableSet get_MonitorFacts()
           
 IterableSet get_PackagesUsed()
           
 Map get_ParamMap()
           
 IterableSet get_SynchronizedBlockFacts()
           
 HashSet get_ThisLocals()
           
 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, 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, toString, wait, wait, wait
 

Field Detail

DEBUG

public final boolean DEBUG
See Also:
Constant Field Values
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 get_ThisLocals()

get_ControlLocal

public Local get_ControlLocal()

get_ConsumedConditions

public Set 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()

get_PackagesUsed

public IterableSet get_PackagesUsed()

analyzeAST

public void analyzeAST()

addPackage

public void addPackage(String newPackage)

debug

public void debug(String methodName,
                  String debug)