soot.dava
Class DavaUnitPrinter

java.lang.Object
  extended by soot.AbstractUnitPrinter
      extended by soot.dava.DavaUnitPrinter
All Implemented Interfaces:
UnitPrinter

public class DavaUnitPrinter
extends AbstractUnitPrinter

UnitPrinter implementation for Dava.


Field Summary
 
Fields inherited from class soot.AbstractUnitPrinter
indent, output, pt, quotableLocals, startOfLine
 
Constructor Summary
DavaUnitPrinter(DavaBody body)
           
 
Method Summary
 void addAggregatedAnd()
           
 void addAggregatedOr()
           
 void addLeftParen()
           
 void addNot()
           
 void addRightParen()
           
 void fieldRef(SootFieldRef f)
           
 void identityRef(IdentityRef r)
           
 void literal(String s)
           
 void methodRef(SootMethodRef m)
           
 void printString(String s)
           
 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, initializeQuotableLocals, 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(DavaBody body)
Method Detail

methodRef

public void methodRef(SootMethodRef m)
Specified by:
methodRef in interface UnitPrinter
Specified by:
methodRef in class AbstractUnitPrinter

fieldRef

public void fieldRef(SootFieldRef f)
Specified by:
fieldRef in interface UnitPrinter
Specified by:
fieldRef in class AbstractUnitPrinter

identityRef

public void identityRef(IdentityRef r)
Specified by:
identityRef in interface UnitPrinter
Specified by:
identityRef in class AbstractUnitPrinter

literal

public void literal(String s)
Specified by:
literal in interface UnitPrinter
Specified by:
literal in class AbstractUnitPrinter

type

public void type(Type t)
Specified by:
type in interface UnitPrinter
Specified by:
type in class AbstractUnitPrinter

unitRef

public void unitRef(Unit u,
                    boolean branchTarget)
Specified by:
unitRef in interface UnitPrinter
Specified by:
unitRef in class AbstractUnitPrinter

addNot

public void addNot()

addAggregatedOr

public void addAggregatedOr()

addAggregatedAnd

public void addAggregatedAnd()

addLeftParen

public void addLeftParen()

addRightParen

public void addRightParen()

printString

public void printString(String s)