Write an integration test for analysis.navigation notification.

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/spec/generate_files".
 
 /**
  * Matchers for data types defined in the analysis server API
@@ skipping 1017 matching lines @@
   });
 
 /**
  * ElementKind
  *
  * enum {
  *   CLASS
  *   CLASS_TYPE_ALIAS
  *   COMPILATION_UNIT
  *   CONSTRUCTOR
- *   GETTER
  *   FIELD
  *   FUNCTION
  *   FUNCTION_TYPE_ALIAS
+ *   GETTER
  *   LIBRARY
  *   LOCAL_VARIABLE
  *   METHOD
+ *   PARAMETER
  *   SETTER
  *   TOP_LEVEL_VARIABLE
  *   TYPE_PARAMETER
- *   UNKNOWN
  *   UNIT_TEST_GROUP
  *   UNIT_TEST_TEST
+ *   UNKNOWN
  * }
  */
 final Matcher isElementKind = new MatchesEnum("ElementKind", [
   "CLASS",
   "CLASS_TYPE_ALIAS",
   "COMPILATION_UNIT",
   "CONSTRUCTOR",
-  "GETTER",
   "FIELD",
   "FUNCTION",
   "FUNCTION_TYPE_ALIAS",
+  "GETTER",
   "LIBRARY",
   "LOCAL_VARIABLE",
   "METHOD",
+  "PARAMETER",
   "SETTER",
   "TOP_LEVEL_VARIABLE",
   "TYPE_PARAMETER",
-  "UNKNOWN",
   "UNIT_TEST_GROUP",
-  "UNIT_TEST_TEST"
+  "UNIT_TEST_TEST",
+  "UNKNOWN"
 ]);
 
 /**
  * Error
  *
  * {
  *   "code": String
  *   "message": String
  *   "data": optional object
  * }
@@ skipping 799 matching lines @@
  *
  * {
  *   "newName": String
  * }
  */
 final Matcher isRenameOptions = new MatchesJsonObject(
   "rename options", {
     "newName": isString
   });