| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java
|
| index fe0c918e773ad121a782943295dad407a1c0d29f..df28c2a369ad15f7de187456420cf79042a826ae 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java
|
| @@ -360,6 +360,9 @@ public interface AnalysisServer {
|
| *
|
| * Exactly one of the file and uri fields must be provided.
|
| *
|
| + * If the root of the execution context is a directory rather than a file, then an error of type
|
| + * MAP_URI_FOR_DIRECTORY will be generated.
|
| + *
|
| * @param id The identifier of the execution context in which the URI is to be mapped.
|
| * @param file The path of the file to be mapped into a URI.
|
| * @param uri The URI to be mapped into a file path.
|
|
|