soot.dava
Class Dava

java.lang.Object
  |
  +--soot.dava.Dava

public class Dava
extends java.lang.Object


Constructor Summary
Dava(Singletons.Global g)
           
 
Method Summary
 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
 

Constructor Detail

Dava

public Dava(Singletons.Global g)
Method Detail

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)