5 public class SetQuantifier extends Quantifier {
10 public SetQuantifier() {
14 public void setVar(VarDescriptor vd) {
18 public void setSet(SetDescriptor sd) {
22 public Set getRequiredDescriptors() {
23 HashSet v = new HashSet();
28 public SetDescriptor getSet() {
32 public String toString() {
33 return "set quantifier " + var.getSymbol() + " in " + set.getSymbol();
36 public void generate_open(CodeWriter writer) {
37 writer.outputline("for (SimpleIterator* " + var.getSafeSymbol() + "_iterator = " + set.getSafeSymbol() + "_hash->iterator(); " + var.getSafeSymbol() + "_iterator->hasNext(); ) {");
39 writer.outputline(var.getType().getGenerateType() + " " + var.getSafeSymbol() + " = (" + var.getType().getGenerateType() + ") " + var.getSafeSymbol() + "_iterator->next();");