Add paging support

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 27 matching lines @@
   public void addAnalysisServerListener(AnalysisServerListener listener);
 
   /**
    * {@code analysis.getErrors}
    *
    * Return the errors associated with the given file. If the errors for the given file have not yet
    * been computed, or the most recently computed errors for the given file are out of date, then the
    * response for this request will be delayed until they have been computed. If some or all of the
    * errors for the file cannot be computed, then the subset of the errors that can be computed will
    * be returned and the response will contain an error to indicate why the errors could not be
-   * computed.
+   * computed. If the content of the file changes after this request was received but before a
+   * response could be sent, then an error of type CONTENT_MODIFIED will be generated.
    *
    * This request is intended to be used by clients that cannot asynchronously apply updated error
    * information. Clients that can apply error information as it becomes available should use the
    * information provided by the 'analysis.errors' notification.
    *
    * 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 GET_ERRORS_INVALID_FILE will be generated.
    *
    * @param file The file for which errors are being requested.
    */
   public void analysis_getErrors(String file, GetErrorsConsumer consumer);
 
   /**
    * {@code analysis.getHover}
    *
    * Return the hover information associate with the given location. If some or all of the hover
    * information is not available at the time this request is processed the information will be
    * omitted from the response.
    *
    * @param file The file in which hover information is being requested.
    * @param offset The offset for which hover information is being requested.
    */
   public void analysis_getHover(String file, int offset, GetHoverConsumer consumer);
 
   /**
+   * {@code analysis.getNavigation}
+   *
+   * Return the navigation information associated with the given region of the given file. If the
+   * navigation information for the given file has not yet been computed, or the most recently
+   * computed navigation information for the given file is out of date, then the response for this
+   * request will be delayed until it has been computed. If the content of the file changes after
+   * this request was received but before a response could be sent, then an error of type
+   * CONTENT_MODIFIED will be generated.
+   *
+   * If a navigation region overlaps (but extends either before or after) the given region of the
+   * file it will be included in the result. This means that it is theoretically possible to get the
+   * same navigation region in response to multiple requests. Clients can avoid this by always
+   * choosing a region that starts at the beginning of a line and ends at the end of a (possibly
+   * different) line in the file.
+   *
+   * @param file The file in which navigation information is being requested.
+   * @param offset The offset of the region for which navigation information is being requested.
+   * @param length The length of the region for which navigation information is being requested.
+   */
+  public void analysis_getNavigation(String file, int offset, int length, GetNavigationConsumer consumer);
+
+  /**
    * {@code analysis.reanalyze}
    *
    * Force the re-analysis of everything contained in the existing analysis roots. This will cause
    * all previously computed analysis results to be discarded and recomputed, and will cause all
    * subscribed notifications to be re-sent.
    */
   public void analysis_reanalyze();
 
   /**
    * {@code analysis.setAnalysisRoots}
@@ skipping 334 matching lines @@
    * the response to this request has been sent.
    */
   public void server_shutdown();
 
   /**
    * Start the analysis server.
    */
   public void start() throws Exception;
 
 }