| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisErrorSeverity.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisErrorSeverity.java
|
| similarity index 96%
|
| rename from editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| rename to editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisErrorSeverity.java
|
| index 10f50b13f35247aa5079f42f3397dcedc558c518..2ea9ee2c2ec86a7d0a9a868d1386afd092b9a27a 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ErrorSeverity.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisErrorSeverity.java
|
| @@ -21,7 +21,7 @@ package com.google.dart.server.generated.types;
|
| *
|
| * @coverage dart.server.generated.types
|
| */
|
| -public class ErrorSeverity {
|
| +public class AnalysisErrorSeverity {
|
|
|
| public static final String INFO = "INFO";
|
|
|
|
|