soot.dava
Class Dava
java.lang.Object
|
+--soot.dava.Dava
- public class Dava
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Dava
public Dava(Singletons.Global g)
v
public static Dava v()
set_CurrentPackage
public void set_CurrentPackage(java.lang.String cp)
get_CurrentPackage
public java.lang.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(java.lang.String name,
Type t)
log
public void log(java.lang.String s)