Analysis server format service wiring (and protocol doc update).

editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/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 215 matching lines @@
   public void completion_getSuggestions(String file, int offset, GetSuggestionsConsumer consumer);
 
   /**
    * {@code edit.format}
    *
    * Format the contents of a single file. The currently selected region of text is passed in so that
    * the selection can be preserved across the formatting operation. The updated selection will be as
    * close to matching the original as possible, but whitespace at the beginning or end of the
    * selected region will be ignored.
    *
+   * If a request is made for a file which does not exist, or which is not currently subject to
+   * analysis (e.g. because it is not associated with any analysis root specified to
+   * analysis.setAnalysisRoots), an error of type FORMAT_INVALID_FILE will be generated.
+   *
    * @param file The file containing the code to be formatted.
    * @param selectionOffset The offset of the current selection in the file.
    * @param selectionLength The length of the current selection in the file.
    */
   public void edit_format(String file, int selectionOffset, int selectionLength, FormatConsumer consumer);
 
   /**
    * {@code edit.getAssists}
    *
    * Return the set of assists that are available at the given location. An assist is distinguished
@@ skipping 215 matching lines @@
    * the response to this request has been sent.
    */
   public void server_shutdown();
 
   /**
    * Start the analysis server.
    */
   public void start() throws Exception;
 
 }