soot.dava
Class DavaUnitPrinter
java.lang.Object
soot.AbstractUnitPrinter
soot.dava.DavaUnitPrinter
- All Implemented Interfaces:
- UnitPrinter
public class DavaUnitPrinter
- extends AbstractUnitPrinter
UnitPrinter implementation for Dava.
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 |
DavaUnitPrinter
public DavaUnitPrinter(DavaBody body)
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)