Repair/RepairCompiler/MCC/IR/ExprPredicate.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public class ExprPredicate extends Predicate {
   6
   7     Expr expr;
   8
   9     public ExprPredicate(Expr expr) {
  10         if (expr == null) {
  11             throw new NullPointerException();
  12         }
  13
  14         this.expr = expr;
  15     }
  16
  17     public Set getInversedRelations() {
  18         return expr.getInversedRelations();
  19     }
  20
  21     public Set getRequiredDescriptors() {
  22         return expr.getRequiredDescriptors();
  23     }
  24
  25     public void generate(CodeWriter writer, VarDescriptor dest) {
  26         expr.generate(writer, dest);
  27     }
  28
  29     public int[] getRepairs(boolean negated) {
  30         return new int[] {};
  31     }
  32 }
  33