Repair/RepairCompiler/MCC/IR/CodeWriter.java

   1 package MCC.IR;
   2
   3 public interface CodeWriter extends PrettyPrinter{
   4
   5     public void outputline(String s);
   6     public void indent();
   7     public void unindent();
   8     public void startblock();
   9     public void endblock();
  10
  11     public void pushSymbolTable(SymbolTable st);
  12     public SymbolTable popSymbolTable();
  13     public SymbolTable getSymbolTable();
  14     public InvariantValue getInvariantValue();
  15     public void setInvariantValue(InvariantValue iv);
  16 }