New analysis.implemented notification specification.

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 380 matching lines @@
  *   "regions": List<HighlightRegion>
  * }
  */
 final Matcher isAnalysisHighlightsParams = new LazyMatcher(() => new MatchesJsonObject(
   "analysis.highlights params", {
     "file": isFilePath,
     "regions": isListOf(isHighlightRegion)
   }));
 
 /**
+ * analysis.implemented params
+ *
+ * {
+ *   "file": FilePath
+ *   "implementedElements": List<ImplementedElement>
+ * }
+ */
+final Matcher isAnalysisImplementedParams = new LazyMatcher(() => new MatchesJsonObject(
+  "analysis.implemented params", {
+    "file": isFilePath,
+    "implementedElements": isListOf(isImplementedElement)
+  }));
+
+/**
  * analysis.invalidate params
  *
  * {
  *   "file": FilePath
  *   "offset": int
  *   "length": int
  *   "delta": int
  * }
  */
 final Matcher isAnalysisInvalidateParams = new LazyMatcher(() => new MatchesJsonObject(
@@ skipping 688 matching lines @@
     "generateHints": isBool,
     "generateLints": isBool
   }));
 
 /**
  * AnalysisService
  *
  * enum {
  *   FOLDING
  *   HIGHLIGHTS
+ *   IMPLEMENTED
  *   INVALIDATE
  *   NAVIGATION
  *   OCCURRENCES
  *   OUTLINE
  *   OVERRIDES
  * }
  */
 final Matcher isAnalysisService = new MatchesEnum("AnalysisService", [
   "FOLDING",
   "HIGHLIGHTS",
+  "IMPLEMENTED",
   "INVALIDATE",
   "NAVIGATION",
   "OCCURRENCES",
   "OUTLINE",
   "OVERRIDES"
 ]);
 
 /**
  * AnalysisStatus
  *
@@ skipping 482 matching lines @@
     "containingClassDescription": isString,
     "dartdoc": isString,
     "elementDescription": isString,
     "elementKind": isString,
     "parameter": isString,
     "propagatedType": isString,
     "staticType": isString
   }));
 
 /**
+ * ImplementedElement
+ *
+ * {
+ *   "offset": int
+ *   "length": int
+ *   "implementations": optional List<Implementation>
+ * }
+ */
+final Matcher isImplementedElement = new LazyMatcher(() => new MatchesJsonObject(
+  "ImplementedElement", {
+    "offset": isInt,
+    "length": isInt
+  }, optionalFields: {
+    "implementations": isListOf(isImplementation)
+  }));
+
+/**
+ * Implementation
+ *
+ * {
+ *   "element": Element
+ *   "className": optional String
+ * }
+ */
+final Matcher isImplementation = new LazyMatcher(() => new MatchesJsonObject(
+  "Implementation", {
+    "element": isElement
+  }, optionalFields: {
+    "className": isString
+  }));
+
+/**
  * LinkedEditGroup
  *
  * {
  *   "positions": List<Position>
  *   "length": int
  *   "suggestions": List<LinkedEditSuggestion>
  * }
  */
 final Matcher isLinkedEditGroup = new LazyMatcher(() => new MatchesJsonObject(
   "LinkedEditGroup", {
@@ skipping 706 matching lines @@
  *
  * {
  *   "newName": String
  * }
  */
 final Matcher isRenameOptions = new LazyMatcher(() => new MatchesJsonObject(
   "rename options", {
     "newName": isString
   }));