X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FCodeWriter.java;h=17229806a7bc61e2da15c65f91636dc5052d1217;hb=96c9ce9856172bd1636c70d2e05786a72fa9027e;hp=59763b0e52420deccdd303f421b977a27ef878d3;hpb=7b490abd701dbb555dea07567a8daeaf3d36df9d;p=repair.git

diff --git a/Repair/RepairCompiler/MCC/IR/CodeWriter.java b/Repair/RepairCompiler/MCC/IR/CodeWriter.java
index 59763b0..1722980 100755
--- a/Repair/RepairCompiler/MCC/IR/CodeWriter.java
+++ b/Repair/RepairCompiler/MCC/IR/CodeWriter.java
@@ -8,8 +8,13 @@ public interface CodeWriter extends PrettyPrinter{
     public void startblock();
     public void endblock();
 
+    public void startBuffer();
+    public void emptyBuffer();
+    public void addDeclaration(String type, String varname);
+    public void addDeclaration(String function);
     public void pushSymbolTable(SymbolTable st);
     public SymbolTable popSymbolTable();
     public SymbolTable getSymbolTable();
-    
+    public InvariantValue getInvariantValue();
+    public void setInvariantValue(InvariantValue iv);
 }