Add a getNavigation request for plugins

pkg/analyzer_plugin/test/integration/support/protocol_matchers.dart

 // Copyright (c) 2017, 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 890 matching lines @@
  * {
  *   "file": FilePath
  *   "regions": List<FoldingRegion>
  * }
  */
 final Matcher isAnalysisFoldingParams = new LazyMatcher(() =>
     new MatchesJsonObject("analysis.folding params",
         {"file": isFilePath, "regions": isListOf(isFoldingRegion)}));
 
 /**
+ * analysis.getNavigation params
+ *
+ * {
+ *   "file": FilePath
+ *   "offset": int
+ *   "length": int
+ * }
+ */
+final Matcher isAnalysisGetNavigationParams = new LazyMatcher(() =>
+    new MatchesJsonObject("analysis.getNavigation params",
+        {"file": isFilePath, "offset": isInt, "length": 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.handleWatchEvents params
  *
  * {
  *   "events": List<WatchEvent>
  * }
  */
 final Matcher isAnalysisHandleWatchEventsParams = new LazyMatcher(() =>
     new MatchesJsonObject("analysis.handleWatchEvents params",
         {"events": isListOf(isWatchEvent)}));
 
@@ skipping 538 matching lines @@
 
 /**
  * rename options
  *
  * {
  *   "newName": String
  * }
  */
 final Matcher isRenameOptions = new LazyMatcher(
     () => new MatchesJsonObject("rename options", {"newName": isString}));