optimized works

[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 52adc76758950df0f38d163073abde502d450384..c7f507965e822624f2a97430e90ce28c3d10b787 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
@@ -22,6 +22,22 @@ public class ImageSetExpr extends SetExpr {
         this.inverse = inverse;
     }
 
         this.inverse = inverse;
     }
 

+    public VarDescriptor getVar() {
+        return vd;
+    }
+
+    public RelationDescriptor getRelation() {
+        return rd;
+    }
+
+    public Set getInversedRelations() {
+        HashSet set = new HashSet();
+        if (inverse) {
+            set.add(rd);
+        }
+        return set;
+    }
+

     public Set getRequiredDescriptors() {
         HashSet v = new HashSet();
         v.add(rd);
     public Set getRequiredDescriptors() {
         HashSet v = new HashSet();
         v.add(rd);


@@ -46,7 +62,12 @@ public class ImageSetExpr extends SetExpr {
     }
 
     public void prettyPrint(PrettyPrinter pp) {
     }
 
     public void prettyPrint(PrettyPrinter pp) {

-        throw new IRException("not supported");
+        pp.output(vd.toString());
+        pp.output(".");
+        if (inverse) {
+            pp.output("~");
+        }
+        pp.output(rd.toString());

     }
 
     public TypeDescriptor typecheck(SemanticAnalyzer sa) {
     }
 
     public TypeDescriptor typecheck(SemanticAnalyzer sa) {