+ boolean isSynthetic() { return synthetic; }
+ String getName() { return name==null ? "(anon_union)" : name; }
+
+ public String toString() {
+ // technically this should be turned on, but we don't make a big deal
+ //viewed = true;
+ if (name != null) return name;
+ StringBuffer sb = new StringBuffer();
+ sb.append("(");
+ bodyToString(sb, "", " | ");
+ sb.append(")");
+ return sb.toString();
+ }
+
+ /** display this union in long/expanded form */