Add paging support

pkg/analysis_server/test/integration/protocol_matchers.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 //
 // This file has been automatically generated.  Please do not edit it manually.
 // To regenerate the file, use the script
 // "pkg/analysis_server/tool/spec/generate_files".
 
 /**
  * Matchers for data types defined in the analysis server API
@@ skipping 126 matching lines @@
  * {
  *   "hovers": List<HoverInformation>
  * }
  */
 final Matcher isAnalysisGetHoverResult = new LazyMatcher(() => new MatchesJsonObject(
   "analysis.getHover result", {
     "hovers": isListOf(isHoverInformation)
   }));
 
 /**
+ * analysis.getNavigation params
+ *
+ * {
+ *   "file": FilePath
+ *   "start": int
+ *   "end": int
+ * }
+ */
+final Matcher isAnalysisGetNavigationParams = new LazyMatcher(() => new MatchesJsonObject(
+  "analysis.getNavigation params", {
+    "file": isFilePath,
+    "start": isInt,
+    "end": isInt
+  }));
+
+/**
+ * analysis.getNavigation result
+ *
+ * {
+ *   "files": List<FilePath>
+ *   "targets": List<NavigationTarget>
+ *   "regions": List<NavigationRegion>
+ * }
+ */
+final Matcher isAnalysisGetNavigationResult = new LazyMatcher(() => new MatchesJsonObject(
+  "analysis.getNavigation result", {
+    "files": isListOf(isFilePath),
+    "targets": isListOf(isNavigationTarget),
+    "regions": isListOf(isNavigationRegion)
+  }));
+
+/**
  * analysis.reanalyze params
  */
 final Matcher isAnalysisReanalyzeParams = isNull;
 
 /**
  * analysis.reanalyze result
  */
 final Matcher isAnalysisReanalyzeResult = isNull;
 
 /**
@@ skipping 134 matching lines @@
  *   "regions": List<HighlightRegion>
  * }
  */
 final Matcher isAnalysisHighlightsParams = new LazyMatcher(() => new MatchesJsonObject(
   "analysis.highlights params", {
     "file": isFilePath,
     "regions": isListOf(isHighlightRegion)
   }));
 
 /**
+ * analysis.invalidate params
+ *
+ * {
+ *   "file": FilePath
+ *   "start": int
+ *   "end": int
+ *   "delta": int
+ * }
+ */
+final Matcher isAnalysisInvalidateParams = new LazyMatcher(() => new MatchesJsonObject(
+  "analysis.invalidate params", {
+    "file": isFilePath,
+    "start": isInt,
+    "end": isInt,
+    "delta": isInt
+  }));
+
+/**
  * analysis.navigation params
  *
  * {
  *   "file": FilePath
  *   "regions": List<NavigationRegion>
  *   "targets": List<NavigationTarget>
  *   "files": List<FilePath>
  * }
  */
 final Matcher isAnalysisNavigationParams = new LazyMatcher(() => new MatchesJsonObject(
@@ skipping 604 matching lines @@
     "generateDart2jsHints": isBool,
     "generateHints": isBool
   }));
 
 /**
  * AnalysisService
  *
  * enum {
  *   FOLDING
  *   HIGHLIGHTS
+ *   INVALIDATE
  *   NAVIGATION
  *   OCCURRENCES
  *   OUTLINE
  *   OVERRIDES
  * }
  */
 final Matcher isAnalysisService = new MatchesEnum("AnalysisService", [
   "FOLDING",
   "HIGHLIGHTS",
+  "INVALIDATE",
   "NAVIGATION",
   "OCCURRENCES",
   "OUTLINE",
   "OVERRIDES"
 ]);
 
 /**
  * AnalysisStatus
  *
  * {
@@ skipping 1097 matching lines @@
  *
  * {
  *   "newName": String
  * }
  */
 final Matcher isRenameOptions = new LazyMatcher(() => new MatchesJsonObject(
   "rename options", {
     "newName": isString
   }));