soot.dava
Class DavaUnitPrinter

java.lang.Object
  |
  +--soot.AbstractUnitPrinter
        |
        +--soot.dava.DavaUnitPrinter

public class DavaUnitPrinter
extends AbstractUnitPrinter

UnitPrinter implementation for Dava.


Fields inherited from class soot.AbstractUnitPrinter
indent, output, pt, startOfLine
 
Constructor Summary
DavaUnitPrinter()
           
 
Method Summary
 void fieldRef(SootField f)
           
 void identityRef(IdentityRef r)
           
 void literal(java.lang.String s)
           
 void method(SootMethod m)
           
 void type(Type t)
           
 void unitRef(Unit u, boolean branchTarget)
           
 
Methods inherited from class soot.AbstractUnitPrinter
constant, decIndent, endUnit, endUnitBox, endValueBox, getIndent, getPositionTagger, handleIndent, incIndent, local, newline, noIndent, output, setIndent, setPositionTagger, startUnit, startUnitBox, startValueBox, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DavaUnitPrinter

public DavaUnitPrinter()
Method Detail

method

public void method(SootMethod m)
Overrides:
method in class AbstractUnitPrinter

fieldRef

public void fieldRef(SootField f)
Overrides:
fieldRef in class AbstractUnitPrinter

identityRef

public void identityRef(IdentityRef r)
Overrides:
identityRef in class AbstractUnitPrinter

literal

public void literal(java.lang.String s)
Overrides:
literal in class AbstractUnitPrinter

type

public void type(Type t)
Overrides:
type in class AbstractUnitPrinter

unitRef

public void unitRef(Unit u,
                    boolean branchTarget)
Overrides:
unitRef in class AbstractUnitPrinter