Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

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

diff --git a/Repair/RepairCompiler/MCC/IR/Rule.java b/Repair/RepairCompiler/MCC/IR/Rule.java
index 12650d93a46bda2fcbe021328db9071bfe420e93..017e788c9ab67204cab931148b12a653f65957a0 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Rule.java
+++ b/Repair/RepairCompiler/MCC/IR/Rule.java
@@ -2,7 +2,7 @@ package MCC.IR;
 
 import java.util.*;
 
-public class Rule {
+public class Rule implements Quantifiers {
     
     static int count = 1;
 
@@ -23,6 +23,15 @@ public class Rule {
         label = new String("rule" + count++);
     }
     
+    public String toString() {
+       String name="";
+       for(int i=0;i<numQuantifiers();i++) {
+           name+=getQuantifier(i).toString()+",";
+       }
+       name+=guard.name()+"=>"+inclusion.toString();
+       return name;
+    }
+
     public int numQuantifiers() {
        return quantifiers.size();
     }