*/
public class Union extends Element implements Iterable<Sequence> {
- /*private*/ final String name;
- /*private*/ final boolean synthetic;
+ private final String name;
+ private final boolean synthetic;
private boolean viewed = false;
private final List<Sequence> alternatives = new ArrayList<Sequence>();
// Display //////////////////////////////////////////////////////////////////////////////
- public String getName() {
- if (name != null) return name;
- return "(anon_union)";
- }
+ boolean isSynthetic() { return synthetic; }
+ String getName() { return name==null ? "(anon_union)" : name; }
+
public String toString() {
viewed = true;
if (name != null) return name;