Add paging support

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

Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
index 9ea41bc626dc6fb0c90491c986ea6ebea3a5f93b..d572370aff14c8c3e455385bdcd074db2fc39a62 100644
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
@@ -72,6 +72,24 @@ public interface AnalysisServer {
   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