| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisError.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisError.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisError.java
|
| index 2cfc763b3d410751e1ba9ed219d1c6860ac07ba4..e30cd3f6b3bf28d4521e3d7ae814d558970b3d8c 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisError.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisError.java
|
| @@ -131,15 +131,15 @@ public class AnalysisError {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("severity=");
|
| - builder.append(severity.toString() + ", ");
|
| + builder.append(severity + ", ");
|
| builder.append("type=");
|
| - builder.append(type.toString() + ", ");
|
| + builder.append(type + ", ");
|
| builder.append("location=");
|
| - builder.append(location.toString() + ", ");
|
| + builder.append(location + ", ");
|
| builder.append("message=");
|
| - builder.append(message.toString() + ", ");
|
| + builder.append(message + ", ");
|
| builder.append("correction=");
|
| - builder.append(correction.toString() + ", ");
|
| + builder.append(correction);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|