updates

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

diff --git a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
index c7f507965e822624f2a97430e90ce28c3d10b787..66437e3e9b82885b79468303ba8eeb80a6258b80 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
@@ -22,6 +22,10 @@ public class ImageSetExpr extends SetExpr {
         this.inverse = inverse;
     }
 
+    public boolean inverted() {
+       return inverse;
+    }
+
     public VarDescriptor getVar() {
         return vd;
     }
@@ -30,6 +34,14 @@ public class ImageSetExpr extends SetExpr {
         return rd;
     }
 
+    public Descriptor getDescriptor() {
+       return rd;
+    }
+
+    public boolean usesDescriptor(RelationDescriptor rd) {
+       return (rd==this.rd);
+    }
+
     public Set getInversedRelations() {
         HashSet set = new HashSet();
         if (inverse) {