| 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.
|
| */
|
|
|