soot.dava
Class DavaBody
java.lang.Object
|
+--soot.tagkit.AbstractHost
|
+--soot.Body
|
+--soot.dava.DavaBody
- public class DavaBody
- extends Body
- See Also:
- Serialized Form
Methods inherited from class soot.Body |
getAllUnitBoxes,
getDefBoxes,
getLocalCount,
getLocals,
getMethod,
getParameterLocal,
getThisLocal,
getTraps,
getUnitBoxes,
getUnits,
getUseAndDefBoxes,
getUseBoxes,
importBodyContentsFrom,
setMethod,
validate,
validateLocals,
validateTraps,
validateUnitBoxes,
validateUses |
Methods inherited from class java.lang.Object |
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
get_ConstructorUnit
public Unit get_ConstructorUnit()
get_CaughtRefs
public java.util.List get_CaughtRefs()
get_ConstructorExpr
public InstanceInvokeExpr get_ConstructorExpr()
get_ParamMap
public java.util.Map get_ParamMap()
get_ThisLocals
public java.util.HashSet get_ThisLocals()
get_ControlLocal
public Local get_ControlLocal()
get_ConsumedConditions
public java.util.Set get_ConsumedConditions()
consume_Condition
public void consume_Condition(AugmentedStmt as)
clone
public java.lang.Object clone()
- Description copied from class: Body
- Creates a deep copy of this Body.
- Overrides:
- 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()
addPackage
public void addPackage(java.lang.String newPackage)