5 public class InclusionPredicate extends Predicate {
10 public InclusionPredicate(VarDescriptor var, SetExpr setexpr) {
12 throw new NullPointerException();
15 if (setexpr == null) {
16 throw new NullPointerException();
20 this.setexpr = setexpr;
23 public Set getRequiredDescriptors() {
24 return setexpr.getRequiredDescriptors();
27 public void generate(CodeWriter writer, VarDescriptor dest) {
28 setexpr.generate_inclusion(writer, dest, var);