| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java
|
| index 4bbbd4c3990250ba8580f086799256b73e26bac4..b043bbe55abb57c19129c5ea2d3efd95cfc721d1 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorSeverity.java
|
| @@ -27,6 +27,12 @@ public enum ErrorSeverity {
|
| NONE(" ", "none"),
|
|
|
| /**
|
| + * The severity representing a suggestion. Suggestions are not specified in the Dart language
|
| + * specification, but provide information about best practices.
|
| + */
|
| + SUGGESTION("S", "suggestion"),
|
| +
|
| + /**
|
| * The severity representing a warning. Warnings can become errors if the {@code -Werror} command
|
| * line flag is specified.
|
| */
|
|
|