Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorType.java |
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorType.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorType.java |
index 17bd41f74da7858d790dd73e5fad7df2f6126c79..6b81f399380385c0ef8f6512f14e91f344312d3d 100644 |
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorType.java |
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/ErrorType.java |
@@ -26,6 +26,12 @@ public enum ErrorType { |
COMPILE_TIME_ERROR(ErrorSeverity.ERROR), |
/** |
+ * Suggestions made in situations where the user has deviated from recommended pub programming |
+ * practices. |
+ */ |
+ PUB_SUGGESTION(ErrorSeverity.SUGGESTION), |
+ |
+ /** |
* Static warnings are those warnings reported by the static checker. They have no effect on |
* execution. Static warnings must be provided by Dart compilers used during development. |
*/ |