soot.dava
Class DavaPrinter

java.lang.Object
  extended bysoot.dava.DavaPrinter

public class DavaPrinter
extends Object


Constructor Summary
DavaPrinter(soot.Singletons.Global g)
           
 
Method Summary
 String getShortName(String name, IterableSet packagesUsed)
           
 void printTo(SootClass cl, PrintWriter out)
           
static DavaPrinter v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DavaPrinter

public DavaPrinter(soot.Singletons.Global g)
Method Detail

v

public static DavaPrinter v()

printTo

public void printTo(SootClass cl,
                    PrintWriter out)

getShortName

public String getShortName(String name,
                           IterableSet packagesUsed)