| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| index 393a81306e3d04eb01db3f14d75ee46d23eebe30..fc875545a2492906b91aa6056caa10c7d9c7834e 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
|
| @@ -159,17 +159,17 @@ public class Element {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("kind=");
|
| - builder.append(kind.toString() + ", ");
|
| + builder.append(kind + ", ");
|
| builder.append("name=");
|
| - builder.append(name.toString() + ", ");
|
| + builder.append(name + ", ");
|
| builder.append("location=");
|
| - builder.append(location.toString() + ", ");
|
| + builder.append(location + ", ");
|
| builder.append("flags=");
|
| builder.append(flags + ", ");
|
| builder.append("parameters=");
|
| - builder.append(parameters.toString() + ", ");
|
| + builder.append(parameters + ", ");
|
| builder.append("returnType=");
|
| - builder.append(returnType.toString() + ", ");
|
| + builder.append(returnType);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|