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 54 matching lines @@
    * 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 a navigation region is partially contained in (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
+   * line in the file.
+   *
+   * @param file The file in which navigation information is being requested.
+   * @param start The offset of the start of the region for which hover information is being
+   *         requested.
+   * @param end The offset of the end of the region for which hover information is being requested.
+   */
+  public void analysis_getNavigation(String file, int start, int end, 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;
 
 }