Dava

public class Dava
extends java.lang.Object

Constructors
Constructor and Description
`Dava(Singletons.Global g)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.lang.String`	`get_CurrentPackage()`
`IterableSet`	`get_CurrentPackageContext()`
`void`	`log(java.lang.String s)`
`DavaBody`	`newBody(Body b)` Returns a DavaBody constructed from the given body b.
`DavaBody`	`newBody(SootMethod m)`
`Local`	`newLocal(java.lang.String name, Type t)`
`void`	`set_CurrentPackage(java.lang.String cp)`
`void`	`set_CurrentPackageContext(IterableSet cpc)`
`static Dava`	`v()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public void set_CurrentPackage(java.lang.String cp)

public java.lang.String get_CurrentPackage()

public void set_CurrentPackageContext(IterableSet cpc)

public IterableSet get_CurrentPackageContext()

public DavaBody newBody(SootMethod m)

newBody
```
public DavaBody newBody(Body b)
```
Returns a DavaBody constructed from the given body b.

public Local newLocal(java.lang.String name,
                      Type t)

Class Dava