Add a script to generate HTML and DOM docs with cross-links to one another.

frog/type.dart

 // Copyright (c) 2011, 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.
 
 class Type extends Element {
   bool isTested = false;
   bool isChecked = false;
 
   /**
    * For core types (int, String, etc) this is the generated type assertion
@@ skipping 23 matching lines @@
 
   abstract Type resolveTypeParams(ConcreteType inType);
 
   Member getMember(String name) => null;
   abstract MethodMember getConstructor(String name);
   abstract MethodMember getFactory(Type type, String name);
   abstract Type getOrMakeConcreteType(List<Type> typeArgs);
   abstract Map<String, MethodMember> get constructors();
   abstract addDirectSubtype(Type type);
   abstract bool get isClass();
+  abstract Library get library();
   Set<Type> get subtypes() => null;
 
   // TODO(jmesserly): rename to isDynamic?
   bool get isVar() => false;
   bool get isTop() => false;
 
   bool get isObject() => false;
   bool get isString() => false;
   bool get isBool() => false;
   bool get isFunction() => false;
@@ skipping 318 matching lines @@
     // And now for some fun: T << U and U << S -> T << S
     // To implement this, we need to enumerate a set of types C such that
     // U will be an element of C. We can do this by either enumerating less
     // specific types of T, or more specific types of S.
     if (parent != null && parent.isSubtypeOf(other)) {
       return true;
     }
     if (interfaces != null && interfaces.some((i) => i.isSubtypeOf(other))) {
       return true;
     }