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

public void set_CurrentPackage(String cp)

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(String name,
                      Type t)

Class Dava