Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RequestErrorCode.java |
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RequestErrorCode.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RequestErrorCode.java |
index d1a30ca7ad58fd020111fabb894ac523a6618c02..1264547b4228e31efd3103cc9e838df23005a63f 100644 |
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RequestErrorCode.java |
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RequestErrorCode.java |
@@ -111,6 +111,11 @@ public class RequestErrorCode { |
public static final String UNKNOWN_REQUEST = "UNKNOWN_REQUEST"; |
/** |
+ * The analysis server was requested to perform an action on a source that does not exist. |
+ */ |
+ public static final String UNKNOWN_SOURCE = "UNKNOWN_SOURCE"; |
+ |
+ /** |
* The analysis server was requested to perform an action which is not supported. |
* |
* This is a legacy error; it will be removed before the API reaches version 1.0. |