Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/UnionTypeImpl.java |
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/UnionTypeImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/UnionTypeImpl.java |
index 5970002acf70200514b0baf6099d986360eb75d4..ea282897bb1124ade7a86c22162f3de0b26d989f 100644 |
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/UnionTypeImpl.java |
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/UnionTypeImpl.java |
@@ -94,13 +94,13 @@ public class UnionTypeImpl extends TypeImpl implements UnionType { |
@Override |
public String getDisplayName() { |
StringBuilder builder = new StringBuilder(); |
- String prefix = "{"; |
+ String prefix = "("; |
for (Type t : types) { |
builder.append(prefix); |
builder.append(t.getDisplayName()); |
- prefix = ","; |
+ prefix = " or "; |
} |
- builder.append("}"); |
+ builder.append(")"); // Suffix. |
return builder.toString(); |
} |
@@ -126,13 +126,13 @@ public class UnionTypeImpl extends TypeImpl implements UnionType { |
@Override |
protected void appendTo(StringBuilder builder) { |
- String prefix = "{"; |
+ String prefix = "("; |
for (Type t : types) { |
builder.append(prefix); |
((TypeImpl) t).appendTo(builder); |
- prefix = ","; |
+ prefix = " or "; |
} |
- builder.append("}"); |
+ builder.append(")"); |
} |
@Override |