Regen the analysis server spec to include the diagnostic domain.

pkg/analysis_server/tool/spec/to_html.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.
 
 /**
  * Code for displaying the API as HTML.  This is used both for generating a
  * full description of the API as a web page, and for generating doc comments
  * in generated code.
  */
 library to.html;
@@ skipping 98 matching lines @@
 a {
   text-decoration: none;
 }
 
 a:focus, a:hover {
   text-decoration: underline;
 }
 
 /* Styles for index */
 
-.subindex {
-}
-
 .subindex ul {
   padding-left: 0;
   margin-left: 0;
 
   -webkit-margin-before: 0;
   -webkit-margin-start: 0;
   -webkit-padding-start: 0;
 
   list-style-type: none;
 }
@@ skipping 57 matching lines @@
   }
 
   void h3(void callback()) => element('h3', {}, callback);
   void h4(void callback()) => element('h4', {}, callback);
   void h5(void callback()) => element('h5', {}, callback);
   void hangingIndent(void callback()) =>
       element('div', {'class': 'hangingIndent'}, callback);
   void head(void callback()) => element('head', {}, callback);
   void html(void callback()) => element('html', {}, callback);
   void i(void callback()) => element('i', {}, callback);
+  void li(void callback()) => element('li', {}, callback);
   void link(String id, void callback()) {
     element('a', {'href': '#$id'}, callback);
   }
 
   void p(void callback()) => element('p', {}, callback);
   void pre(void callback()) => element('pre', {}, callback);
   void title(void callback()) => element('title', {}, callback);
   void tt(void callback()) => element('tt', {}, callback);
+  void ul(void callback()) => element('ul', {}, callback);
 }
 
 /**
  * Visitor that generates HTML documentation of the API.
  */
 class ToHtmlVisitor extends HierarchicalApiVisitor
     with HtmlMixin, HtmlGenerator {
   /**
    * Set of types defined in the API.
    */
@@ skipping 46 matching lines @@
           generateNotificationsIndex(domain.notifications);
         }
       });
     } else if (domain.notifications.length > 0) {
       element('div', {'class': 'subindex'}, () {
         generateNotificationsIndex(domain.notifications);
       });
     }
   }
 
+  void generateTableOfContents() {
+    ul(() {
+      writeln();
+
+      for (var domain in api.domains.where((domain) => !domain.experimental)) {
+        write('      ');
+        li(() {
+          link('domain_${domain.name}', () {
+            write(_toTitleCase(domain.name));
+          });
+        });
+        writeln();
+      }
+    });
+  }
+
   void generateIndex() {
     h3(() => write('Domains'));
     for (var domain in api.domains) {
       if (domain.experimental ||
           (domain.requests.length == 0 && domain.notifications == 0)) {
         continue;
       }
       generateDomainIndex(domain);
     }
 
@@ skipping 135 matching lines @@
             break;
           case 'refactorings':
             visitRefactorings(api.refactorings);
             break;
           case 'types':
             visitTypes(api.types);
             break;
           case 'version':
             translateHtml(node, squashParagraphs: squashParagraphs);
             break;
+          case 'toc':
+            generateTableOfContents();
+            break;
           case 'index':
             generateIndex();
             break;
           default:
             if (!specialElements.contains(node.localName)) {
               element(node.localName, node.attributes, () {
                 translateHtml(node, squashParagraphs: squashParagraphs);
               });
             }
         }
@@ skipping 324 matching lines @@
     bool verticalBarNeeded = false;
     for (TypeDecl choice in typeUnion.choices) {
       if (verticalBarNeeded) {
         write(' | ');
       }
       visitTypeDecl(choice);
       verticalBarNeeded = true;
     }
   }
 }
+
+String _toTitleCase(String str) {
+  if (str.isEmpty) return str;
+  return str.substring(0, 1).toUpperCase() + str.substring(1);
+}