/** * Returns set of automaton identifiers that occur in this regular expression. */ public Set<String> getIdentifiers() { HashSet<String> set = new HashSet<>(); getIdentifiers(set); return set; }
void getIdentifiers(Set<String> set) { switch (kind) { case REGEXP_UNION: case REGEXP_CONCATENATION: case REGEXP_INTERSECTION: exp1.getIdentifiers(set); exp2.getIdentifiers(set); break; case REGEXP_OPTIONAL: case REGEXP_REPEAT: case REGEXP_REPEAT_MIN: case REGEXP_REPEAT_MINMAX: case REGEXP_COMPLEMENT: exp1.getIdentifiers(set); break; case REGEXP_AUTOMATON: set.add(s); break; default: } }
/** * Returns set of automaton identifiers that occur in this regular expression. */ public Set<String> getIdentifiers() { HashSet<String> set = new HashSet<>(); getIdentifiers(set); return set; }
/** * Returns set of automaton identifiers that occur in this regular expression. */ public Set<String> getIdentifiers() { HashSet<String> set = new HashSet<>(); getIdentifiers(set); return set; }
void getIdentifiers(Set<String> set) { switch (kind) { case REGEXP_UNION: case REGEXP_CONCATENATION: case REGEXP_INTERSECTION: exp1.getIdentifiers(set); exp2.getIdentifiers(set); break; case REGEXP_OPTIONAL: case REGEXP_REPEAT: case REGEXP_REPEAT_MIN: case REGEXP_REPEAT_MINMAX: case REGEXP_COMPLEMENT: exp1.getIdentifiers(set); break; case REGEXP_AUTOMATON: set.add(s); break; default: } }
/** * Returns set of automaton identifiers that occur in this regular expression. */ public Set<String> getIdentifiers() { HashSet<String> set = new HashSet<>(); getIdentifiers(set); return set; }
void getIdentifiers(Set<String> set) { switch (kind) { case REGEXP_UNION: case REGEXP_CONCATENATION: case REGEXP_INTERSECTION: exp1.getIdentifiers(set); exp2.getIdentifiers(set); break; case REGEXP_OPTIONAL: case REGEXP_REPEAT: case REGEXP_REPEAT_MIN: case REGEXP_REPEAT_MINMAX: case REGEXP_COMPLEMENT: exp1.getIdentifiers(set); break; case REGEXP_AUTOMATON: set.add(s); break; default: } }
void getIdentifiers(Set<String> set) { switch (kind) { case REGEXP_UNION: case REGEXP_CONCATENATION: case REGEXP_INTERSECTION: exp1.getIdentifiers(set); exp2.getIdentifiers(set); break; case REGEXP_OPTIONAL: case REGEXP_REPEAT: case REGEXP_REPEAT_MIN: case REGEXP_REPEAT_MINMAX: case REGEXP_COMPLEMENT: exp1.getIdentifiers(set); break; case REGEXP_AUTOMATON: set.add(s); break; default: } }