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)

fieldRef

public void fieldRef(SootFieldRef f)

identityRef

public void identityRef(IdentityRef r)

literal

public void literal(String s)

type

public void type(Type t)

unitRef

public void unitRef(Unit u,
                    boolean branchTarget)

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)