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