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.

Field Summary

Fields inherited from class soot.AbstractUnitPrinter

indent, output, pt, quotableLocals, startOfLine

Constructor Summary

Constructors

Constructor and Description
DavaUnitPrinter(DavaBody body)

Method Summary

Modifier and Type	Method and Description
void	addAggregatedAnd()
void	addAggregatedOr()
void	addLeftParen()
void	addNot()
void	addRightParen()
void	constant(Constant c)
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

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

constant

public void constant(Constant c)

Specified by:

constant in interface UnitPrinter

Overrides:

constant 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)