public abstract class LabeledUnitPrinter extends AbstractUnitPrinter
Modifier and Type | Field and Description |
---|---|
protected String |
labelIndent |
protected Map<Unit,String> |
labels
branch targets
|
protected Map<Unit,String> |
references
for unit references in Phi nodes
|
indent, output, pt, quotableLocals, startOfLine
Constructor and Description |
---|
LabeledUnitPrinter(Body b) |
Modifier and Type | Method and Description |
---|---|
abstract void |
fieldRef(SootFieldRef f) |
abstract void |
identityRef(IdentityRef r) |
Map<Unit,String> |
labels() |
abstract void |
literal(String s) |
abstract void |
methodRef(SootMethodRef m) |
Map<Unit,String> |
references() |
abstract void |
type(Type t) |
void |
unitRef(Unit u,
boolean branchTarget) |
constant, decIndent, endUnit, endUnitBox, endValueBox, getIndent, getPositionTagger, handleIndent, incIndent, initializeQuotableLocals, local, newline, noIndent, output, setIndent, setPositionTagger, startUnit, startUnitBox, startValueBox, toString
protected String labelIndent
public LabeledUnitPrinter(Body b)
public abstract void literal(String s)
literal
in interface UnitPrinter
literal
in class AbstractUnitPrinter
public abstract void methodRef(SootMethodRef m)
methodRef
in interface UnitPrinter
methodRef
in class AbstractUnitPrinter
public abstract void fieldRef(SootFieldRef f)
fieldRef
in interface UnitPrinter
fieldRef
in class AbstractUnitPrinter
public abstract void identityRef(IdentityRef r)
identityRef
in interface UnitPrinter
identityRef
in class AbstractUnitPrinter
public abstract void type(Type t)
type
in interface UnitPrinter
type
in class AbstractUnitPrinter
public void unitRef(Unit u, boolean branchTarget)
unitRef
in interface UnitPrinter
unitRef
in class AbstractUnitPrinter