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
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 |
get_ConstructorUnit
public Unit get_ConstructorUnit()
get_CaughtRefs
public List get_CaughtRefs()
get_ConstructorExpr
public InstanceInvokeExpr get_ConstructorExpr()
get_ParamMap
public Map get_ParamMap()
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()
write
public void write(String temp)
addPackage
public void addPackage(String newPackage)