soot.dava
Class DavaBody

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.Body
              |
              +--soot.dava.DavaBody

public class DavaBody
extends Body

See Also:
Serialized Form

Fields inherited from class soot.Body
localChain, method, trapChain, unitChain
 
Method Summary
 void addPackage(java.lang.String newPackage)
           
 java.lang.Object clone()
          Creates a deep copy of this Body.
 void consume_Condition(AugmentedStmt as)
           
 java.util.List get_CaughtRefs()
           
 InstanceInvokeExpr get_ConstructorExpr()
           
 Unit get_ConstructorUnit()
           
 java.util.Set get_ConsumedConditions()
           
 Local get_ControlLocal()
           
 IterableSet get_ExceptionFacts()
           
 IterableSet get_MonitorFacts()
           
 IterableSet get_PackagesUsed()
           
 java.util.Map get_ParamMap()
           
 IterableSet get_SynchronizedBlockFacts()
           
 java.util.HashSet get_ThisLocals()
           
 
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 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
 

Method Detail

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)