1) Instrumentation code to count model rebuilds, etc...

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

diff --git a/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java b/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
index f60a00765c7dfa16d04614a07dfc70a1d417a6d7..ebe552e12a370326ea7fc666e6da66ecbb2d7d3c 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
+++ b/Repair/RepairCompiler/MCC/IR/StandardCodeWriter.java
@@ -8,6 +8,7 @@ public class StandardCodeWriter implements CodeWriter {
     int indent = 0;
     java.io.PrintWriter output;
     Stack symboltables = new Stack();
+    InvariantValue ivalue;
 
     public StandardCodeWriter(java.io.PrintWriter output) { this.output = output; }
 
@@ -67,5 +68,12 @@ public class StandardCodeWriter implements CodeWriter {
         }
         return (SymbolTable) symboltables.peek();
     }
-    
+
+    public InvariantValue getInvariantValue() {
+       return ivalue;
+    }
+
+    public void setInvariantValue(InvariantValue iv) {
+       ivalue=iv;
+    }
 }