Package soot.dava

Class DavaPrinter

java.lang.Object

soot.dava.DavaPrinter

public class DavaPrinter
extends Object

Constructor Summary

Constructors

Constructor	Description
DavaPrinter(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
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(Singletons.Global g)

Method Detail

v

public static DavaPrinter v()

printTo

public void printTo(SootClass cl,
                    PrintWriter out)