Output javadoc for enumerated values; suppress empty javadoc.

pkg/analysis_server/tool/spec/html_tools.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.
 
 /**
  * Tools for HTML manipulation.
  */
 library html.tools;
 
 import 'package:html5lib/dom.dart' as dom;
@@ skipping 29 matching lines @@
       } else if (child is dom.Element) {
         recurse(child);
       }
     }
   }
   recurse(parent);
   return buffer.toString();
 }
 
 /**
+ * Return true if the given node is a text node containing only whitespace, or
+ * a comment.
+ */
+bool isWhitespaceNode(dom.Node node) {
+  if (node is dom.Element) {
+    return false;
+  } else if (node is dom.Text) {
+    return node.text.trim().isEmpty;
+  }
+  // Treat all other types of nodes (e.g. comments) as whitespace.
+  return true;
+}
+
+/**
+ * Return true if the given iterable contains only whitespace text nodes.
+ */
+bool containsOnlyWhitespace(Iterable<dom.Node> nodes) {
+  for (dom.Node node in nodes) {
+    if (!isWhitespaceNode(node)) {
+      return false;
+    }
+  }
+  return true;
+}
+
+/**
  * Mixin class for generating HTML.
  */
 class HtmlGenerator {
   List<dom.Node> _html;
 
   /**
    * Execute [callback], collecting any code that is output using [write],
    * [writeln], [add], or [addAll], and return the result as a list of HTML
    * nodes.
    */
@@ skipping 41 matching lines @@
   }
 
   /**
    * Execute [callback], wrapping its output in an element with the given
    * [name] and [attributes].
    */
   void element(String name, Map<dynamic, String> attributes, [void callback()]) {
     add(makeElement(name, attributes, collectHtml(callback)));
   }
 }