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