soot.dava
Class DavaBody
java.lang.Object
soot.tagkit.AbstractHost
soot.Body
soot.dava.DavaBody
- All Implemented Interfaces:
- Host, Serializable
- public class DavaBody
- extends Body
- See Also:
- Serialized Form
Field Summary |
boolean |
DEBUG
|
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 |
DEBUG
public final boolean DEBUG
- See Also:
- Constant Field Values
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)