Add option to remove conjunctions.

[repair.git] / Repair / RepairCompiler / MCC / IR / CodeWriter.java

diff --git a/Repair/RepairCompiler/MCC/IR/CodeWriter.java b/Repair/RepairCompiler/MCC/IR/CodeWriter.java
index 59763b0e52420deccdd303f421b977a27ef878d3..17229806a7bc61e2da15c65f91636dc5052d1217 100755 (executable)
--- 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);
 }