Fixed some errors in the Repair Generator code.

[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 f2fcd2c5e7ab5caaeef359e417a84bc2272cace2..9118096e2d3b57d52f897013202139acd8c11093 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/CodeWriter.java
+++ b/Repair/RepairCompiler/MCC/IR/CodeWriter.java
@@ -8,6 +8,9 @@ public interface CodeWriter extends PrettyPrinter{
     public void startblock();
     public void endblock();
 
+    public void pushSymbolTable(SymbolTable st);
+    public SymbolTable popSymbolTable();
     public SymbolTable getSymbolTable();
-    
+    public InvariantValue getInvariantValue();
+    public void setInvariantValue(InvariantValue iv);
 }