Adding code to generate repair algorithms. Its not complete yet...

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

diff --git a/Repair/RepairCompiler/MCC/IR/SetInclusion.java b/Repair/RepairCompiler/MCC/IR/SetInclusion.java
index 9d375728d8db7266e4ded5463d57c9b8dc3849e3..f80c63116045c619663688ad1dcf103f1a94e319 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/SetInclusion.java
+++ b/Repair/RepairCompiler/MCC/IR/SetInclusion.java
@@ -1,5 +1,5 @@
 package MCC.IR;
-
+import MCC.Compiler;
 import java.util.*;
 
 public class SetInclusion extends Inclusion {
@@ -64,10 +64,9 @@ public class SetInclusion extends Inclusion {
         writer.outputline("int " + addeditem + " = 1;");
 
         if (dostore) {
-        
-            writer.outputline(addeditem + " = " + set.getSafeSymbol() + "_hash->add((int)" + vd.getSafeSymbol() 
+           writer.outputline(addeditem + " = " + set.getSafeSymbol() + "_hash->add((int)" + vd.getSafeSymbol() 
                               +  ", (int)" + vd.getSafeSymbol() + ");");
-
+           
             if (SetInclusion.worklist) {
                 writer.outputline("if (" + addeditem + ")");
                 writer.startblock(); {                
@@ -75,7 +74,14 @@ public class SetInclusion extends Inclusion {
                 }
                 writer.endblock();
             }
-
+            if (Compiler.REPAIR) {
+                writer.outputline("if (" + addeditem + ")");
+                writer.startblock(); {                
+                    Repair.generate_dispatch(writer, set, vd.getSafeSymbol());
+                }
+                writer.endblock();
+            }
+           
         }
         
     }