soot.dava
Class Dava

java.lang.Object
  soot.dava.Dava

public class Dava
extends Object

Constructor Summary

Dava(Singletons.Global g)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Dava

public Dava(Singletons.Global g)

Method Detail

v

public static Dava v()

set_CurrentPackage

public void set_CurrentPackage(String cp)

get_CurrentPackage

public String get_CurrentPackage()

set_CurrentPackageContext

public void set_CurrentPackageContext(IterableSet cpc)

get_CurrentPackageContext

public IterableSet get_CurrentPackageContext()

newBody

public DavaBody newBody(SootMethod m)

newBody

public DavaBody newBody(Body b)

Returns a DavaBody constructed from the given body b.

newLocal

public Local newLocal(String name,
                      Type t)

log

public void log(String s)