New analysis.implemented notification specification.

pkg/analysis_server/tool/spec/spec_input.html

Index: pkg/analysis_server/tool/spec/spec_input.html
diff --git a/pkg/analysis_server/tool/spec/spec_input.html b/pkg/analysis_server/tool/spec/spec_input.html
index 7795bdccdfd47610134960eaecad82fef73c5d37..f2f063fdb72098ae797785e72e914744d46a7480 100644
--- a/pkg/analysis_server/tool/spec/spec_input.html
+++ b/pkg/analysis_server/tool/spec/spec_input.html
@@ -879,6 +879,32 @@
           </field>
         </params>
       </notification>
+      <notification event="implemented">
+        <p>
+          Reports the implemented classes and class members in a file.
+        </p>
+        <p>
+          This notification is not subscribed to by default. Clients
+          can subscribe by including the value <tt>"IMPLEMENTED"</tt> in
+          the list of services passed in an analysis.setSubscriptions
+          request.
+        </p>
+        <params>
+          <field name="file">
+            <ref>FilePath</ref>
+            <p>
+              The file with which the implementations are associated.
+            </p>
+          </field>
+          <field name="implementedElements">

[scheglov, 2015/09/25 15:48:56]

Unfortunately "implemented" is not a noun in English (AFAIK).
So, I have to add some noun to be able to make it plural, "elements" in this
case.

So, the type itself should also have some noun after the word "implemented".

+            <list><ref>ImplementedElement</ref></list>
+            <p>
+              The classes or class members defined in the file that have
+              implementations or overrides.
+            </p>
+          </field>
+        </params>
+      </notification>
       <notification event="invalidate">
         <p>
           Reports that the navigation information associated with a region of a
@@ -2102,6 +2128,7 @@
         <enum>
           <value><code>FOLDING</code></value>
           <value><code>HIGHLIGHTS</code></value>
+          <value><code>IMPLEMENTED</code></value>
           <value>
             <code>INVALIDATE</code>
             <p>
@@ -2926,6 +2953,52 @@
           </field>
         </object>
       </type>
+      <type name="ImplementedElement">
+        <p>
+          A description of a class or class member that is implemented
+          by other classes or class members.
+        </p>
+        <object>
+          <field name="offset">
+            <ref>int</ref>
+            <p>
+              The offset of the name of the implemented element.
+            </p>
+          </field>
+          <field name="length">
+            <ref>int</ref>
+            <p>
+              The length of the name of the implemented element.
+            </p>
+          </field>
+          <field name="implementations" optional="true">
+            <list><ref>Implementation</ref></list>
+            <p>
+              The classes or class members that implement this element.
+            </p>
+          </field>
+        </object>
+      </type>
+      <type name="Implementation">
+        <p>
+          A description of an element that implements a class or class member.
+        </p>
+        <object>
+          <field name="element">
+            <ref>Element</ref>
+            <p>
+              The element that implements a class or class member.
+            </p>
+          </field>
+          <field name="className" optional="true">
+            <ref>String</ref>
+            <p>
+              The name of the class in which the class member is implemented.
+              This field is omitted if the element itself is a class.
+            </p>
+          </field>
+        </object>
+      </type>
       <type name="LinkedEditGroup">
         <p>
           A collection of positions that should be linked (edited