Rework requests in execution domain

editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/AnalysisServer.java

 /*
  * Copyright (c) 2014, the Dart project authors.
  *
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  *
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 327 matching lines @@
    */
   public void edit_sortMembers(String file, SortMembersConsumer consumer);
 
   /**
    * {@code execution.createContext}
    *
    * Create an execution context for the executable file with the given path. The context that is
    * created will persist until execution.deleteContext is used to delete it. Clients, therefore, are
    * responsible for managing the lifetime of execution contexts.
    *
-   * @param contextRoot The path of the Dart or HTML file that will be launched.
+   * @param contextRoot The path of the Dart or HTML file that will be launched, or the path of the
+   *         directory containing the file.
    */
   public void execution_createContext(String contextRoot, CreateContextConsumer consumer);
 
   /**
    * {@code execution.deleteContext}
    *
    * Delete the execution context with the given identifier. The context id is no longer valid after
    * this command. The server is allowed to re-use ids when they are no longer valid.
    *
    * @param id The identifier of the execution context that is to be deleted.
    */
   public void execution_deleteContext(String id);
 
   /**
    * {@code execution.mapUri}
    *
    * Map a URI from the execution context to the file that it corresponds to, or map a file to the
    * URI that it corresponds to in the execution context.
    *
-   * Exactly one of the file and uri fields must be provided.
+   * Exactly one of the file and uri fields must be provided. If both fields are provided, then an
+   * error of type INVALID_PARAMETER will be generated. Similarly, if neither field is provided, then
+   * an error of type INVALID_PARAMETER will be generated.
    *
    * If the file field is provided and the value is not the path of a file (either the file does not
    * exist or the path references something other than a file), then an error of type
-   * MAP_URI_INVALID_FILE will be generated.
+   * INVALID_PARAMETER will be generated.
    *
    * If the uri field is provided and the value is not a valid URI or if the URI references something
    * that is not a file (either a file that does not exist or something other than a file), then an
-   * error of type MAP_URI_INVALID_URI will be generated.
+   * error of type INVALID_PARAMETER will be generated.
    *
-   * If the contextRoot used to create the execution context is not a file (either the file does not
-   * exist or the path references something other than a file), then an error of type
+   * If the contextRoot used to create the execution context does not exist, then an error of type
    * INVALID_EXECUTION_CONTEXT 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.
    */
   public void execution_mapUri(String id, String file, String uri, MapUriConsumer consumer);
 
   /**
    * {@code execution.setSubscriptions}
@@ skipping 114 matching lines @@
    * the response to this request has been sent.
    */
   public void server_shutdown();
 
   /**
    * Start the analysis server.
    */
   public void start() throws Exception;
 
 }