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 startBuffer();
  12     public void emptyBuffer();
  13     public void addDeclaration(String type, String varname);
  14     public void addDeclaration(String function);
  15     public void pushSymbolTable(SymbolTable st);
  16     public SymbolTable popSymbolTable();
  17     public SymbolTable getSymbolTable();
  18     public InvariantValue getInvariantValue();
  19     public void setInvariantValue(InvariantValue iv);
  20 }