3 public interface CodeWriter extends PrettyPrinter{
5 public void outputline(String s);
7 public void unindent();
8 public void startblock();
9 public void endblock();
11 public void pushSymbolTable(SymbolTable st);
12 public SymbolTable popSymbolTable();
13 public SymbolTable getSymbolTable();
14 public InvariantValue getInvariantValue();
15 public void setInvariantValue(InvariantValue iv);