Repair/RepairCompiler/MCC/IR/ImageSetExpr.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public class ImageSetExpr extends SetExpr {
   6
   7     public static final boolean INVERSE = true;
   8
   9     VarDescriptor vd;
  10     RelationDescriptor rd;
  11     boolean inverse;
  12
  13     public ImageSetExpr(VarDescriptor vd, RelationDescriptor rd) {
  14         this.vd = vd;
  15         this.rd = rd;
  16         this.inverse = false;
  17     }
  18
  19     public ImageSetExpr(boolean inverse, VarDescriptor vd, RelationDescriptor rd) {
  20         this.vd = vd;
  21         this.rd = rd;
  22         this.inverse = inverse;
  23     }
  24
  25     public Set getRequiredDescriptors() {
  26         HashSet v = new HashSet();
  27         v.add(rd);
  28         return v;
  29     }
  30
  31     public void generate(CodeWriter writer, VarDescriptor vd) {
  32         throw new IRException("not supported");
  33     }
  34
  35     public void prettyPrint(PrettyPrinter pp) {
  36         throw new IRException("not supported");
  37     }
  38
  39     public TypeDescriptor typecheck(SemanticAnalyzer sa) {
  40         throw new IRException("not supported");
  41     }
  42
  43 }