public class TemplatePrinter
extends java.lang.Object
Constructor and Description |
---|
TemplatePrinter(Singletons.Global g) |
Modifier and Type | Method and Description |
---|---|
void |
closeBlock() |
void |
indent() |
void |
openBlock() |
void |
print(java.lang.String s) |
void |
println(java.lang.String s) |
void |
printlnNoIndent(java.lang.String s) |
void |
printNoIndent(java.lang.String s) |
void |
printTo(SootClass c,
java.io.PrintWriter out) |
void |
unindent() |
static TemplatePrinter |
v() |
public static TemplatePrinter v()
public void printTo(SootClass c, java.io.PrintWriter out)
public void printlnNoIndent(java.lang.String s)
public void println(java.lang.String s)
public void printNoIndent(java.lang.String s)
public void print(java.lang.String s)
public void indent()
public void unindent()
public void openBlock()
public void closeBlock()