| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| index 6af4cb3202673db4188f3cc5768ffddc9ad55d0e..2c149392bdcd977a039ad517593fa964d246709b 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/TypeHierarchyItem.java
|
| @@ -229,17 +229,17 @@ public class TypeHierarchyItem {
|
| jsonObject.addProperty("superclass", superclass);
|
| }
|
| JsonArray jsonArrayInterfaces = new JsonArray();
|
| - for(int elt : interfaces) {
|
| + for (int elt : interfaces) {
|
| jsonArrayInterfaces.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("interfaces", jsonArrayInterfaces);
|
| JsonArray jsonArrayMixins = new JsonArray();
|
| - for(int elt : mixins) {
|
| + for (int elt : mixins) {
|
| jsonArrayMixins.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("mixins", jsonArrayMixins);
|
| JsonArray jsonArraySubclasses = new JsonArray();
|
| - for(int elt : subclasses) {
|
| + for (int elt : subclasses) {
|
| jsonArraySubclasses.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("subclasses", jsonArraySubclasses);
|
|
|