Repair/RepairCompiler/MCC/IR/InclusionPredicate.java

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