updates

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

diff --git a/Repair/RepairCompiler/MCC/IR/InclusionPredicate.java b/Repair/RepairCompiler/MCC/IR/InclusionPredicate.java
index 26b9f4a2f8b412c7fbd930bf951476b14b606123..e0d0d77ccbf4665b0c2f60dfcb77e42d49ad02e6 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/InclusionPredicate.java
+++ b/Repair/RepairCompiler/MCC/IR/InclusionPredicate.java
@@ -7,6 +7,11 @@ public class InclusionPredicate extends Predicate {
     Expr expr;
     SetExpr setexpr;
 
     Expr expr;
     SetExpr setexpr;
 

+    public boolean inverted() {
+       return setexpr.inverted();
+    }
+
+

     public InclusionPredicate(Expr expr, SetExpr setexpr) {
         if (expr == null) {
             throw new NullPointerException();
     public InclusionPredicate(Expr expr, SetExpr setexpr) {
         if (expr == null) {
             throw new NullPointerException();


@@ -41,6 +46,13 @@ public class InclusionPredicate extends Predicate {
         //return set;
     }
 
         //return set;
     }
 

+    public Descriptor getDescriptor() {
+       if (setexpr instanceof ImageSetExpr) {
+           return ((ImageSetExpr)setexpr).getRelation();
+       } else
+           return setexpr.sd;
+    }
+

     public int[] getRepairs(boolean negated) {
        if (setexpr instanceof ImageSetExpr) {
            if (negated)
     public int[] getRepairs(boolean negated) {
        if (setexpr instanceof ImageSetExpr) {
            if (negated)


@@ -56,3 +68,4 @@ public class InclusionPredicate extends Predicate {
     }
 }
     
     }
 }
     

+