New analysis.implemented notification specification.

pkg/analysis_server/test/integration/protocol_matchers.dart

Index: pkg/analysis_server/test/integration/protocol_matchers.dart
diff --git a/pkg/analysis_server/test/integration/protocol_matchers.dart b/pkg/analysis_server/test/integration/protocol_matchers.dart
index dfef91e16d1fd8df7998d9c0f76556dacedfc009..bb22ace83db6b73c49a50501295098d225f64a1d 100644
--- a/pkg/analysis_server/test/integration/protocol_matchers.dart
+++ b/pkg/analysis_server/test/integration/protocol_matchers.dart
@@ -398,6 +398,20 @@ final Matcher isAnalysisHighlightsParams = new LazyMatcher(() => new MatchesJson
   }));
 
 /**
+ * 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
  *
  * {
@@ -1106,6 +1120,7 @@ final Matcher isAnalysisOptions = new LazyMatcher(() => new MatchesJsonObject(
  * enum {
  *   FOLDING
  *   HIGHLIGHTS
+ *   IMPLEMENTED
  *   INVALIDATE
  *   NAVIGATION
  *   OCCURRENCES
@@ -1116,6 +1131,7 @@ final Matcher isAnalysisOptions = new LazyMatcher(() => new MatchesJsonObject(
 final Matcher isAnalysisService = new MatchesEnum("AnalysisService", [
   "FOLDING",
   "HIGHLIGHTS",
+  "IMPLEMENTED",
   "INVALIDATE",
   "NAVIGATION",
   "OCCURRENCES",
@@ -1618,6 +1634,38 @@ final Matcher isHoverInformation = new LazyMatcher(() => new MatchesJsonObject(
   }));
 
 /**
+ * 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
  *
  * {