DavaUnitPrinter (Soot - a J*va Optimization Framework 4.6.0 API)

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 Description

DavaUnitPrinter(DavaBody body)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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)
```