+ public String getName() {
+ if (name != null) return name;
+ return "(anon_union)";
+ }
+ public String toString() {
+ 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 */