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, local, newline, noIndent, output, setIndent, setPositionTagger, startUnit, startUnitBox, startValueBox, toString |
DavaUnitPrinter
public DavaUnitPrinter()
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