Merging dart:html interfaces and implementations

pkg/dartdoc/lib/dartdoc.dart

 // Copyright (c) 2012, 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.
 
 /**
  * To generate docs for a library, run this script with the path to an
  * entrypoint .dart file, like:
  *
  *     $ dart dartdoc.dart foo.dart
  *
@@ skipping 871 matching lines @@
    */
   void docInheritance(ClassMirror type) {
     // Don't show the inheritance details for Object. It doesn't have any base
     // class (obviously) and it has too many subclasses to be useful.
     if (type.isObject) return;
 
     // Writes an unordered list of references to types with an optional header.
     listTypes(types, header) {
       if (types == null) return;
 
+      // Filter out injected types. (JavaScriptIndexingBehavior)
+      types = new List.from(types.filter((t) => t.library != null));
+
       var publicTypes;
       if (showPrivate) {
         publicTypes = types;
       } else {
         // Skip private types.
         publicTypes = new List.from(types.filter((t) => !t.isPrivate));
       }
       if (publicTypes.length == 0) return;
 
       writeln('<h3>$header</h3>');
@@ skipping 619 matching lines @@
   /** Gets the URL to the documentation for [library]. */
   String libraryUrl(LibraryMirror library) {
     return '${sanitize(displayName(library))}.html';
   }
 
   /** Gets the URL for the documentation for [type]. */
   String typeUrl(ContainerMirror type) {
     if (type is LibraryMirror) {
       return '${sanitize(type.simpleName)}.html';
     }
-    assert (type is TypeMirror);
+    if (type.library == null) {
+      return '';
+    }
     // Always get the generic type to strip off any type parameters or
     // arguments. If the type isn't generic, genericType returns `this`, so it
     // works for non-generic types too.
     return '${sanitize(displayName(type.library))}/'
            '${type.originalDeclaration.simpleName}.html';
   }
 
   /** Gets the URL for the documentation for [member]. */
   String memberUrl(MemberMirror member) {
     String url = typeUrl(member.owner);
@@ skipping 314 matching lines @@
   final ClassMirror inheritedFrom;
 
   DocComment(this.text, [this.inheritedFrom = null]) {
     assert(text != null && !text.trim().isEmpty);
   }
 
   String get html => md.markdownToHtml(text);
 
   String toString() => text;
 }