Allows creation of subgraphs of the dependency graph for debugging purposes.

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

diff --git a/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java b/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java
index 54b64ad31d503d0797d4eb4a6d9aa337de1e4990..63390e9a9a6a731363d4d1dcda74f8248332f478 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java
+++ b/Repair/RepairCompiler/MCC/IR/ComparisonPredicate.java
@@ -34,6 +34,10 @@ public class ComparisonPredicate extends Predicate {
         return v;
     }
 
+    public int[] getRepairs(boolean negated) {
+       return new int[] {AbstractRepair.MODIFYRELATION};
+    }
+
     public void generate(CodeWriter writer, VarDescriptor vd) {
         // get (first) value for quantifer.relation ... then do comparison with expr... 
         // can this be maybe? i guess if quantifer.relation is empty