Use summary IDL file for interface classes.

pkg/analyzer/lib/src/summary/format.dart

Index: pkg/analyzer/lib/src/summary/format.dart
diff --git a/pkg/analyzer/lib/src/summary/format.dart b/pkg/analyzer/lib/src/summary/format.dart
index 46ef9fabe87868b63a5d2726e8b135c03115bcb7..65810a8bf01841083dca7836cddf0b543fab8caf 100644
--- a/pkg/analyzer/lib/src/summary/format.dart
+++ b/pkg/analyzer/lib/src/summary/format.dart
@@ -7,449 +7,62 @@
 
 library analyzer.src.summary.format;
 
-import 'base.dart' as base;
 import 'flat_buffers.dart' as fb;
+import 'idl.dart' as idl;
 
-/**
- * Enum used to indicate the kind of entity referred to by a
- * [LinkedReference].
- */
-enum ReferenceKind {
-  /**
-   * The entity is a class or enum.
-   */
-  classOrEnum,
-
-  /**
-   * The entity is a constructor.
-   */
-  constructor,
-
-  /**
-   * The entity is a getter or setter inside a class.  Note: this is used in
-   * the case where a constant refers to a static const declared inside a
-   * class.
-   */
-  propertyAccessor,
-
-  /**
-   * The entity is a method.
-   */
-  method,
-
-  /**
-   * The `length` property access.
-   */
-  length,
-
-  /**
-   * The entity is a typedef.
-   */
-  typedef,
-
-  /**
-   * The entity is a top level function.
-   */
-  topLevelFunction,
-
-  /**
-   * The entity is a top level getter or setter.
-   */
-  topLevelPropertyAccessor,
-
-  /**
-   * The entity is a prefix.
-   */
-  prefix,
-
-  /**
-   * The entity being referred to does not exist.
-   */
-  unresolved
-}
-
-class _ReferenceKindReader extends fb.Reader<ReferenceKind> {
+class _ReferenceKindReader extends fb.Reader<idl.ReferenceKind> {
   const _ReferenceKindReader() : super();
 
   @override
   int get size => 4;
 
   @override
-  ReferenceKind read(fb.BufferPointer bp) {
+  idl.ReferenceKind read(fb.BufferPointer bp) {
     int index = const fb.Uint32Reader().read(bp);
-    return ReferenceKind.values[index];
+    return idl.ReferenceKind.values[index];
   }
 }
 
-/**
- * Enum representing the various kinds of operations which may be performed to
- * produce a constant value.  These options are assumed to execute in the
- * context of a stack which is initially empty.
- */
-enum UnlinkedConstOperation {
-  /**
-   * Push the next value from [UnlinkedConst.ints] (a 32-bit unsigned integer)
-   * onto the stack.
-   *
-   * Note that Dart supports integers larger than 32 bits; these are
-   * represented by composing 32-bit values using the [pushLongInt] operation.
-   */
-  pushInt,
-
-  /**
-   * Get the number of components from [UnlinkedConst.ints], then do this number
-   * of times the following operations: multiple the current value by 2^32, "or"
-   * it with the next value in [UnlinkedConst.ints]. The initial value is zero.
-   * Push the result into the stack.
-   */
-  pushLongInt,
-
-  /**
-   * Push the next value from [UnlinkedConst.doubles] (a double precision
-   * floating point value) onto the stack.
-   */
-  pushDouble,
-
-  /**
-   * Push the constant `true` onto the stack.
-   */
-  pushTrue,
-
-  /**
-   * Push the constant `false` onto the stack.
-   */
-  pushFalse,
-
-  /**
-   * Push the next value from [UnlinkedConst.strings] onto the stack.
-   */
-  pushString,
-
-  /**
-   * Pop the top n values from the stack (where n is obtained from
-   * [UnlinkedConst.ints]), convert them to strings (if they aren't already),
-   * concatenate them into a single string, and push it back onto the stack.
-   *
-   * This operation is used to represent constants whose value is a literal
-   * string containing string interpolations.
-   */
-  concatenate,
-
-  /**
-   * Get the next value from [UnlinkedConst.strings], convert it to a symbol,
-   * and push it onto the stack.
-   */
-  makeSymbol,
-
-  /**
-   * Push the constant `null` onto the stack.
-   */
-  pushNull,
-
-  /**
-   * Evaluate a (potentially qualified) identifier expression and push the
-   * resulting value onto the stack.  The identifier to be evaluated is
-   * obtained from [UnlinkedConst.references].
-   *
-   * This operation is used to represent the following kinds of constants
-   * (which are indistinguishable from an unresolved AST alone):
-   *
-   * - A qualified reference to a static constant variable (e.g. `C.v`, where
-   *   C is a class and `v` is a constant static variable in `C`).
-   * - An identifier expression referring to a constant variable.
-   * - A simple or qualified identifier denoting a class or type alias.
-   * - A simple or qualified identifier denoting a top-level function or a
-   *   static method.
-   */
-  pushReference,
-
-  /**
-   * Pop the top `n` values from the stack (where `n` is obtained from
-   * [UnlinkedConst.ints]) into a list (filled from the end) and take the next
-   * `n` values from [UnlinkedConst.strings] and use the lists of names and
-   * values to create named arguments.  Then pop the top `m` values from the
-   * stack (where `m` is obtained from [UnlinkedConst.ints]) into a list (filled
-   * from the end) and use them as positional arguments.  Use the lists of
-   * positional and names arguments to invoke a constant constructor obtained
-   * from [UnlinkedConst.references], and push the resulting value back onto the
-   * stack.
-   *
-   * Note that for an invocation of the form `const a.b(...)` (where no type
-   * arguments are specified), it is impossible to tell from the unresolved AST
-   * alone whether `a` is a class name and `b` is a constructor name, or `a` is
-   * a prefix name and `b` is a class name.  For consistency between AST based
-   * and elements based summaries, references to default constructors are always
-   * recorded as references to corresponding classes.
-   */
-  invokeConstructor,
-
-  /**
-   * Pop the top n values from the stack (where n is obtained from
-   * [UnlinkedConst.ints]), place them in a [List], and push the result back
-   * onto the stack.  The type parameter for the [List] is implicitly `dynamic`.
-   */
-  makeUntypedList,
-
-  /**
-   * Pop the top 2*n values from the stack (where n is obtained from
-   * [UnlinkedConst.ints]), interpret them as key/value pairs, place them in a
-   * [Map], and push the result back onto the stack.  The two type parameters
-   * for the [Map] are implicitly `dynamic`.
-   */
-  makeUntypedMap,
-
-  /**
-   * Pop the top n values from the stack (where n is obtained from
-   * [UnlinkedConst.ints]), place them in a [List], and push the result back
-   * onto the stack.  The type parameter for the [List] is obtained from
-   * [UnlinkedConst.references].
-   */
-  makeTypedList,
-
-  /**
-   * Pop the top 2*n values from the stack (where n is obtained from
-   * [UnlinkedConst.ints]), interpret them as key/value pairs, place them in a
-   * [Map], and push the result back onto the stack.  The two type parameters for
-   * the [Map] are obtained from [UnlinkedConst.references].
-   */
-  makeTypedMap,
-
-  /**
-   * Pop the top 2 values from the stack, pass them to the predefined Dart
-   * function `identical`, and push the result back onto the stack.
-   */
-  identical,
-
-  /**
-   * Pop the top 2 values from the stack, evaluate `v1 == v2`, and push the
-   * result back onto the stack.
-   */
-  equal,
-
-  /**
-   * Pop the top 2 values from the stack, evaluate `v1 != v2`, and push the
-   * result back onto the stack.
-   */
-  notEqual,
-
-  /**
-   * Pop the top value from the stack, compute its boolean negation, and push
-   * the result back onto the stack.
-   */
-  not,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 && v2`, and push the
-   * result back onto the stack.
-   */
-  and,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 || v2`, and push the
-   * result back onto the stack.
-   */
-  or,
-
-  /**
-   * Pop the top value from the stack, compute its integer complement, and push
-   * the result back onto the stack.
-   */
-  complement,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 ^ v2`, and push the
-   * result back onto the stack.
-   */
-  bitXor,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 & v2`, and push the
-   * result back onto the stack.
-   */
-  bitAnd,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 | v2`, and push the
-   * result back onto the stack.
-   */
-  bitOr,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 >> v2`, and push the
-   * result back onto the stack.
-   */
-  bitShiftRight,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 << v2`, and push the
-   * result back onto the stack.
-   */
-  bitShiftLeft,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 + v2`, and push the
-   * result back onto the stack.
-   */
-  add,
-
-  /**
-   * Pop the top value from the stack, compute its integer negation, and push
-   * the result back onto the stack.
-   */
-  negate,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 - v2`, and push the
-   * result back onto the stack.
-   */
-  subtract,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 * v2`, and push the
-   * result back onto the stack.
-   */
-  multiply,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 / v2`, and push the
-   * result back onto the stack.
-   */
-  divide,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 ~/ v2`, and push the
-   * result back onto the stack.
-   */
-  floorDivide,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 > v2`, and push the
-   * result back onto the stack.
-   */
-  greater,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 < v2`, and push the
-   * result back onto the stack.
-   */
-  less,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 >= v2`, and push the
-   * result back onto the stack.
-   */
-  greaterEqual,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 <= v2`, and push the
-   * result back onto the stack.
-   */
-  lessEqual,
-
-  /**
-   * Pop the top 2 values from the stack, compute `v1 % v2`, and push the
-   * result back onto the stack.
-   */
-  modulo,
-
-  /**
-   * Pop the top 3 values from the stack, compute `v1 ? v2 : v3`, and push the
-   * result back onto the stack.
-   */
-  conditional,
-
-  /**
-   * Pop the top value from the stack, evaluate `v.length`, and push the result
-   * back onto the stack.
-   */
-  length
-}
-
-class _UnlinkedConstOperationReader extends fb.Reader<UnlinkedConstOperation> {
+class _UnlinkedConstOperationReader extends fb.Reader<idl.UnlinkedConstOperation> {
   const _UnlinkedConstOperationReader() : super();
 
   @override
   int get size => 4;
 
   @override
-  UnlinkedConstOperation read(fb.BufferPointer bp) {
+  idl.UnlinkedConstOperation read(fb.BufferPointer bp) {
     int index = const fb.Uint32Reader().read(bp);
-    return UnlinkedConstOperation.values[index];
+    return idl.UnlinkedConstOperation.values[index];
   }
 }
 
-/**
- * Enum used to indicate the kind of an executable.
- */
-enum UnlinkedExecutableKind {
-  /**
-   * Executable is a function or method.
-   */
-  functionOrMethod,
-
-  /**
-   * Executable is a getter.
-   */
-  getter,
-
-  /**
-   * Executable is a setter.
-   */
-  setter,
-
-  /**
-   * Executable is a constructor.
-   */
-  constructor
-}
-
-class _UnlinkedExecutableKindReader extends fb.Reader<UnlinkedExecutableKind> {
+class _UnlinkedExecutableKindReader extends fb.Reader<idl.UnlinkedExecutableKind> {
   const _UnlinkedExecutableKindReader() : super();
 
   @override
   int get size => 4;
 
   @override
-  UnlinkedExecutableKind read(fb.BufferPointer bp) {
+  idl.UnlinkedExecutableKind read(fb.BufferPointer bp) {
     int index = const fb.Uint32Reader().read(bp);
-    return UnlinkedExecutableKind.values[index];
+    return idl.UnlinkedExecutableKind.values[index];
   }
 }
 
-/**
- * Enum used to indicate the kind of a parameter.
- */
-enum UnlinkedParamKind {
-  /**
-   * Parameter is required.
-   */
-  required,
-
-  /**
-   * Parameter is positional optional (enclosed in `[]`)
-   */
-  positional,
-
-  /**
-   * Parameter is named optional (enclosed in `{}`)
-   */
-  named
-}
-
-class _UnlinkedParamKindReader extends fb.Reader<UnlinkedParamKind> {
+class _UnlinkedParamKindReader extends fb.Reader<idl.UnlinkedParamKind> {
   const _UnlinkedParamKindReader() : super();
 
   @override
   int get size => 4;
 
   @override
-  UnlinkedParamKind read(fb.BufferPointer bp) {
+  idl.UnlinkedParamKind read(fb.BufferPointer bp) {
     int index = const fb.Uint32Reader().read(bp);
-    return UnlinkedParamKind.values[index];
+    return idl.UnlinkedParamKind.values[index];
   }
 }
 
-class EntityRefBuilder extends Object with _EntityRefMixin implements EntityRef {
+class EntityRefBuilder extends Object with _EntityRefMixin implements idl.EntityRef {
   bool _finished = false;
 
   int _slot;
@@ -597,80 +210,6 @@ class EntityRefBuilder extends Object with _EntityRefMixin implements EntityRef
   }
 }
 
-/**
- * Summary information about a reference to a an entity such as a type, top
- * level executable, or executable within a class.
- */
-abstract class EntityRef extends base.SummaryClass {
-
-  /**
-   * If this [EntityRef] is contained within [LinkedUnit.types], slot id (which
-   * is unique within the compilation unit) identifying the target of type
-   * propagation or type inference with which this [EntityRef] is associated.
-   *
-   * Otherwise zero.
-   */
-  int get slot;
-
-  /**
-   * Index into [UnlinkedUnit.references] for the entity being referred to, or
-   * zero if this is a reference to a type parameter.
-   */
-  int get reference;
-
-  /**
-   * If this is a reference to a type parameter, one-based index into the list
-   * of [UnlinkedTypeParam]s currently in effect.  Indexing is done using De
-   * Bruijn index conventions; that is, innermost parameters come first, and
-   * if a class or method has multiple parameters, they are indexed from right
-   * to left.  So for instance, if the enclosing declaration is
-   *
-   *     class C<T,U> {
-   *       m<V,W> {
-   *         ...
-   *       }
-   *     }
-   *
-   * Then [paramReference] values of 1, 2, 3, and 4 represent W, V, U, and T,
-   * respectively.
-   *
-   * If the type being referred to is not a type parameter, [paramReference] is
-   * zero.
-   */
-  int get paramReference;
-
-  /**
-   * If this is a reference to a function type implicitly defined by a
-   * function-typed parameter, a list of zero-based indices indicating the path
-   * from the entity referred to by [reference] to the appropriate type
-   * parameter.  Otherwise the empty list.
-   *
-   * If there are N indices in this list, then the entity being referred to is
-   * the function type implicitly defined by a function-typed parameter of a
-   * function-typed parameter, to N levels of nesting.  The first index in the
-   * list refers to the outermost level of nesting; for example if [reference]
-   * refers to the entity defined by:
-   *
-   *     void f(x, void g(y, z, int h(String w))) { ... }
-   *
-   * Then to refer to the function type implicitly defined by parameter `h`
-   * (which is parameter 2 of parameter 1 of `f`), then
-   * [implicitFunctionTypeIndices] should be [1, 2].
-   *
-   * Note that if the entity being referred to is a generic method inside a
-   * generic class, then the type arguments in [typeArguments] are applied
-   * first to the class and then to the method.
-   */
-  List<int> get implicitFunctionTypeIndices;
-
-  /**
-   * If this is an instantiation of a generic type or generic executable, the
-   * type arguments used to instantiate it.  Trailing type arguments of type
-   * `dynamic` are omitted.
-   */
-  List<EntityRef> get typeArguments;
-}
-
 class _EntityRefReader extends fb.TableReader<_EntityRefImpl> {
   const _EntityRefReader();
 
@@ -678,7 +217,7 @@ class _EntityRefReader extends fb.TableReader<_EntityRefImpl> {
   _EntityRefImpl createObject(fb.BufferPointer bp) => new _EntityRefImpl(bp);
 }
 
-class _EntityRefImpl extends Object with _EntityRefMixin implements EntityRef {
+class _EntityRefImpl extends Object with _EntityRefMixin implements idl.EntityRef {
   final fb.BufferPointer _bp;
 
   _EntityRefImpl(this._bp);
@@ -687,7 +226,7 @@ class _EntityRefImpl extends Object with _EntityRefMixin implements EntityRef {
   int _reference;
   int _paramReference;
   List<int> _implicitFunctionTypeIndices;
-  List<EntityRef> _typeArguments;
+  List<idl.EntityRef> _typeArguments;
 
   @override
   int get slot {
@@ -714,13 +253,13 @@ class _EntityRefImpl extends Object with _EntityRefMixin implements EntityRef {
   }
 
   @override
-  List<EntityRef> get typeArguments {
-    _typeArguments ??= const fb.ListReader<EntityRef>(const _EntityRefReader()).vTableGet(_bp, 4, const <EntityRef>[]);
+  List<idl.EntityRef> get typeArguments {
+    _typeArguments ??= const fb.ListReader<idl.EntityRef>(const _EntityRefReader()).vTableGet(_bp, 4, const <idl.EntityRef>[]);
     return _typeArguments;
   }
 }
 
-abstract class _EntityRefMixin implements EntityRef {
+abstract class _EntityRefMixin implements idl.EntityRef {
   @override
   Map<String, Object> toMap() => {
     "slot": slot,
@@ -731,7 +270,7 @@ abstract class _EntityRefMixin implements EntityRef {
   };
 }
 
-class LinkedDependencyBuilder extends Object with _LinkedDependencyMixin implements LinkedDependency {
+class LinkedDependencyBuilder extends Object with _LinkedDependencyMixin implements idl.LinkedDependency {
   bool _finished = false;
 
   String _uri;
@@ -790,28 +329,6 @@ class LinkedDependencyBuilder extends Object with _LinkedDependencyMixin impleme
   }
 }
 
-/**
- * Information about a dependency that exists between one library and another
- * due to an "import" declaration.
- */
-abstract class LinkedDependency extends base.SummaryClass {
-
-  /**
-   * The relative URI of the dependent library.  This URI is relative to the
-   * importing library, even if there are intervening `export` declarations.
-   * So, for example, if `a.dart` imports `b/c.dart` and `b/c.dart` exports
-   * `d/e.dart`, the URI listed for `a.dart`'s dependency on `e.dart` will be
-   * `b/d/e.dart`.
-   */
-  String get uri;
-
-  /**
-   * URI for the compilation units listed in the library's `part` declarations.
-   * These URIs are relative to the importing library.
-   */
-  List<String> get parts;
-}
-
 class _LinkedDependencyReader extends fb.TableReader<_LinkedDependencyImpl> {
   const _LinkedDependencyReader();
 
@@ -819,7 +336,7 @@ class _LinkedDependencyReader extends fb.TableReader<_LinkedDependencyImpl> {
   _LinkedDependencyImpl createObject(fb.BufferPointer bp) => new _LinkedDependencyImpl(bp);
 }
 
-class _LinkedDependencyImpl extends Object with _LinkedDependencyMixin implements LinkedDependency {
+class _LinkedDependencyImpl extends Object with _LinkedDependencyMixin implements idl.LinkedDependency {
   final fb.BufferPointer _bp;
 
   _LinkedDependencyImpl(this._bp);
@@ -840,7 +357,7 @@ class _LinkedDependencyImpl extends Object with _LinkedDependencyMixin implement
   }
 }
 
-abstract class _LinkedDependencyMixin implements LinkedDependency {
+abstract class _LinkedDependencyMixin implements idl.LinkedDependency {
   @override
   Map<String, Object> toMap() => {
     "uri": uri,
@@ -848,13 +365,13 @@ abstract class _LinkedDependencyMixin implements LinkedDependency {
   };
 }
 
-class LinkedExportNameBuilder extends Object with _LinkedExportNameMixin implements LinkedExportName {
+class LinkedExportNameBuilder extends Object with _LinkedExportNameMixin implements idl.LinkedExportName {
   bool _finished = false;
 
   String _name;
   int _dependency;
   int _unit;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
 
   @override
   String get name => _name ??= '';
@@ -897,17 +414,17 @@ class LinkedExportNameBuilder extends Object with _LinkedExportNameMixin impleme
   }
 
   @override
-  ReferenceKind get kind => _kind ??= ReferenceKind.classOrEnum;
+  idl.ReferenceKind get kind => _kind ??= idl.ReferenceKind.classOrEnum;
 
   /**
    * The kind of the entity being referred to.
    */
-  void set kind(ReferenceKind _value) {
+  void set kind(idl.ReferenceKind _value) {
     assert(!_finished);
     _kind = _value;
   }
 
-  LinkedExportNameBuilder({String name, int dependency, int unit, ReferenceKind kind})
+  LinkedExportNameBuilder({String name, int dependency, int unit, idl.ReferenceKind kind})
     : _name = name,
       _dependency = dependency,
       _unit = unit,
@@ -919,54 +436,22 @@ class LinkedExportNameBuilder extends Object with _LinkedExportNameMixin impleme
     fb.Offset offset_name;
     if (_name != null) {
       offset_name = fbBuilder.writeString(_name);
-    }
-    fbBuilder.startTable();
-    if (offset_name != null) {
-      fbBuilder.addOffset(0, offset_name);
-    }
-    if (_dependency != null && _dependency != 0) {
-      fbBuilder.addUint32(1, _dependency);
-    }
-    if (_unit != null && _unit != 0) {
-      fbBuilder.addUint32(2, _unit);
-    }
-    if (_kind != null && _kind != ReferenceKind.classOrEnum) {
-      fbBuilder.addUint32(3, _kind.index);
-    }
-    return fbBuilder.endTable();
-  }
-}
-
-/**
- * Information about a single name in the export namespace of the library that
- * is not in the public namespace.
- */
-abstract class LinkedExportName extends base.SummaryClass {
-
-  /**
-   * Name of the exported entity.  For an exported setter, this name includes
-   * the trailing '='.
-   */
-  String get name;
-
-  /**
-   * Index into [LinkedLibrary.dependencies] for the library in which the
-   * entity is defined.
-   */
-  int get dependency;
-
-  /**
-   * Integer index indicating which unit in the exported library contains the
-   * definition of the entity.  As with indices into [LinkedLibrary.units],
-   * zero represents the defining compilation unit, and nonzero values
-   * represent parts in the order of the corresponding `part` declarations.
-   */
-  int get unit;
-
-  /**
-   * The kind of the entity being referred to.
-   */
-  ReferenceKind get kind;
+    }
+    fbBuilder.startTable();
+    if (offset_name != null) {
+      fbBuilder.addOffset(0, offset_name);
+    }
+    if (_dependency != null && _dependency != 0) {
+      fbBuilder.addUint32(1, _dependency);
+    }
+    if (_unit != null && _unit != 0) {
+      fbBuilder.addUint32(2, _unit);
+    }
+    if (_kind != null && _kind != idl.ReferenceKind.classOrEnum) {
+      fbBuilder.addUint32(3, _kind.index);
+    }
+    return fbBuilder.endTable();
+  }
 }
 
 class _LinkedExportNameReader extends fb.TableReader<_LinkedExportNameImpl> {
@@ -976,7 +461,7 @@ class _LinkedExportNameReader extends fb.TableReader<_LinkedExportNameImpl> {
   _LinkedExportNameImpl createObject(fb.BufferPointer bp) => new _LinkedExportNameImpl(bp);
 }
 
-class _LinkedExportNameImpl extends Object with _LinkedExportNameMixin implements LinkedExportName {
+class _LinkedExportNameImpl extends Object with _LinkedExportNameMixin implements idl.LinkedExportName {
   final fb.BufferPointer _bp;
 
   _LinkedExportNameImpl(this._bp);
@@ -984,7 +469,7 @@ class _LinkedExportNameImpl extends Object with _LinkedExportNameMixin implement
   String _name;
   int _dependency;
   int _unit;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
 
   @override
   String get name {
@@ -1005,13 +490,13 @@ class _LinkedExportNameImpl extends Object with _LinkedExportNameMixin implement
   }
 
   @override
-  ReferenceKind get kind {
-    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 3, ReferenceKind.classOrEnum);
+  idl.ReferenceKind get kind {
+    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 3, idl.ReferenceKind.classOrEnum);
     return _kind;
   }
 }
 
-abstract class _LinkedExportNameMixin implements LinkedExportName {
+abstract class _LinkedExportNameMixin implements idl.LinkedExportName {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -1021,7 +506,7 @@ abstract class _LinkedExportNameMixin implements LinkedExportName {
   };
 }
 
-class LinkedLibraryBuilder extends Object with _LinkedLibraryMixin implements LinkedLibrary {
+class LinkedLibraryBuilder extends Object with _LinkedLibraryMixin implements idl.LinkedLibrary {
   bool _finished = false;
 
   List<LinkedUnitBuilder> _units;
@@ -1161,62 +646,9 @@ class LinkedLibraryBuilder extends Object with _LinkedLibraryMixin implements Li
   }
 }
 
-/**
- * Linked summary of a library.
- */
-abstract class LinkedLibrary extends base.SummaryClass {
-  factory LinkedLibrary.fromBuffer(List<int> buffer) {
-    fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
-    return const _LinkedLibraryReader().read(rootRef);
-  }
-
-  /**
-   * The linked summary of all the compilation units constituting the
-   * library.  The summary of the defining compilation unit is listed first,
-   * followed by the summary of each part, in the order of the `part`
-   * declarations in the defining compilation unit.
-   */
-  List<LinkedUnit> get units;
-
-  /**
-   * The libraries that this library depends on (either via an explicit import
-   * statement or via the implicit dependencies on `dart:core` and
-   * `dart:async`).  The first element of this array is a pseudo-dependency
-   * representing the library itself (it is also used for `dynamic` and
-   * `void`).  This is followed by elements representing "prelinked"
-   * dependencies (direct imports and the transitive closure of exports).
-   * After the prelinked dependencies are elements representing "linked"
-   * dependencies.
-   *
-   * A library is only included as a "linked" dependency if it is a true
-   * dependency (e.g. a propagated or inferred type or constant value
-   * implicitly refers to an element declared in the library) or
-   * anti-dependency (e.g. the result of type propagation or type inference
-   * depends on the lack of a certain declaration in the library).
-   */
-  List<LinkedDependency> get dependencies;
-
-  /**
-   * For each import in [UnlinkedUnit.imports], an index into [dependencies]
-   * of the library being imported.
-   */
-  List<int> get importDependencies;
-
-  /**
-   * Information about entities in the export namespace of the library that are
-   * not in the public namespace of the library (that is, entities that are
-   * brought into the namespace via `export` directives).
-   *
-   * Sorted by name.
-   */
-  List<LinkedExportName> get exportNames;
-
-  /**
-   * The number of elements in [dependencies] which are not "linked"
-   * dependencies (that is, the number of libraries in the direct imports plus
-   * the transitive closure of exports, plus the library itself).
-   */
-  int get numPrelinkedDependencies;
+idl.LinkedLibrary readLinkedLibrary(List<int> buffer) {
+  fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
+  return const _LinkedLibraryReader().read(rootRef);
 }
 
 class _LinkedLibraryReader extends fb.TableReader<_LinkedLibraryImpl> {
@@ -1226,26 +658,26 @@ class _LinkedLibraryReader extends fb.TableReader<_LinkedLibraryImpl> {
   _LinkedLibraryImpl createObject(fb.BufferPointer bp) => new _LinkedLibraryImpl(bp);
 }
 
-class _LinkedLibraryImpl extends Object with _LinkedLibraryMixin implements LinkedLibrary {
+class _LinkedLibraryImpl extends Object with _LinkedLibraryMixin implements idl.LinkedLibrary {
   final fb.BufferPointer _bp;
 
   _LinkedLibraryImpl(this._bp);
 
-  List<LinkedUnit> _units;
-  List<LinkedDependency> _dependencies;
+  List<idl.LinkedUnit> _units;
+  List<idl.LinkedDependency> _dependencies;
   List<int> _importDependencies;
-  List<LinkedExportName> _exportNames;
+  List<idl.LinkedExportName> _exportNames;
   int _numPrelinkedDependencies;
 
   @override
-  List<LinkedUnit> get units {
-    _units ??= const fb.ListReader<LinkedUnit>(const _LinkedUnitReader()).vTableGet(_bp, 0, const <LinkedUnit>[]);
+  List<idl.LinkedUnit> get units {
+    _units ??= const fb.ListReader<idl.LinkedUnit>(const _LinkedUnitReader()).vTableGet(_bp, 0, const <idl.LinkedUnit>[]);
     return _units;
   }
 
   @override
-  List<LinkedDependency> get dependencies {
-    _dependencies ??= const fb.ListReader<LinkedDependency>(const _LinkedDependencyReader()).vTableGet(_bp, 1, const <LinkedDependency>[]);
+  List<idl.LinkedDependency> get dependencies {
+    _dependencies ??= const fb.ListReader<idl.LinkedDependency>(const _LinkedDependencyReader()).vTableGet(_bp, 1, const <idl.LinkedDependency>[]);
     return _dependencies;
   }
 
@@ -1256,8 +688,8 @@ class _LinkedLibraryImpl extends Object with _LinkedLibraryMixin implements Link
   }
 
   @override
-  List<LinkedExportName> get exportNames {
-    _exportNames ??= const fb.ListReader<LinkedExportName>(const _LinkedExportNameReader()).vTableGet(_bp, 3, const <LinkedExportName>[]);
+  List<idl.LinkedExportName> get exportNames {
+    _exportNames ??= const fb.ListReader<idl.LinkedExportName>(const _LinkedExportNameReader()).vTableGet(_bp, 3, const <idl.LinkedExportName>[]);
     return _exportNames;
   }
 
@@ -1268,7 +700,7 @@ class _LinkedLibraryImpl extends Object with _LinkedLibraryMixin implements Link
   }
 }
 
-abstract class _LinkedLibraryMixin implements LinkedLibrary {
+abstract class _LinkedLibraryMixin implements idl.LinkedLibrary {
   @override
   Map<String, Object> toMap() => {
     "units": units,
@@ -1279,11 +711,11 @@ abstract class _LinkedLibraryMixin implements LinkedLibrary {
   };
 }
 
-class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implements LinkedReference {
+class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implements idl.LinkedReference {
   bool _finished = false;
 
   int _dependency;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
   int _unit;
   int _numTypeParameters;
   String _name;
@@ -1306,13 +738,13 @@ class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implement
   }
 
   @override
-  ReferenceKind get kind => _kind ??= ReferenceKind.classOrEnum;
+  idl.ReferenceKind get kind => _kind ??= idl.ReferenceKind.classOrEnum;
 
   /**
    * The kind of the entity being referred to.  For the pseudo-types `dynamic`
    * and `void`, the kind is [ReferenceKind.classOrEnum].
    */
-  void set kind(ReferenceKind _value) {
+  void set kind(idl.ReferenceKind _value) {
     assert(!_finished);
     _kind = _value;
   }
@@ -1381,7 +813,7 @@ class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implement
     _containingReference = _value;
   }
 
-  LinkedReferenceBuilder({int dependency, ReferenceKind kind, int unit, int numTypeParameters, String name, int containingReference})
+  LinkedReferenceBuilder({int dependency, idl.ReferenceKind kind, int unit, int numTypeParameters, String name, int containingReference})
     : _dependency = dependency,
       _kind = kind,
       _unit = unit,
@@ -1400,7 +832,7 @@ class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implement
     if (_dependency != null && _dependency != 0) {
       fbBuilder.addUint32(0, _dependency);
     }
-    if (_kind != null && _kind != ReferenceKind.classOrEnum) {
+    if (_kind != null && _kind != idl.ReferenceKind.classOrEnum) {
       fbBuilder.addUint32(1, _kind.index);
     }
     if (_unit != null && _unit != 0) {
@@ -1419,64 +851,6 @@ class LinkedReferenceBuilder extends Object with _LinkedReferenceMixin implement
   }
 }
 
-/**
- * Information about the resolution of an [UnlinkedReference].
- */
-abstract class LinkedReference extends base.SummaryClass {
-
-  /**
-   * Index into [LinkedLibrary.dependencies] indicating which imported library
-   * declares the entity being referred to.
-   *
-   * Zero if this entity is contained within another entity (e.g. a class
-   * member).
-   */
-  int get dependency;
-
-  /**
-   * The kind of the entity being referred to.  For the pseudo-types `dynamic`
-   * and `void`, the kind is [ReferenceKind.classOrEnum].
-   */
-  ReferenceKind get kind;
-
-  /**
-   * Integer index indicating which unit in the imported library contains the
-   * definition of the entity.  As with indices into [LinkedLibrary.units],
-   * zero represents the defining compilation unit, and nonzero values
-   * represent parts in the order of the corresponding `part` declarations.
-   *
-   * Zero if this entity is contained within another entity (e.g. a class
-   * member).
-   */
-  int get unit;
-
-  /**
-   * If the entity being referred to is generic, the number of type parameters
-   * it accepts.  Otherwise zero.
-   */
-  int get numTypeParameters;
-
-  /**
-   * If this [LinkedReference] doesn't have an associated [UnlinkedReference],
-   * name of the entity being referred to.  For the pseudo-type `dynamic`, the
-   * string is "dynamic".  For the pseudo-type `void`, the string is "void".
-   */
-  String get name;
-
-  /**
-   * If this [LinkedReference] doesn't have an associated [UnlinkedReference],
-   * and the entity being referred to is contained within another entity, index
-   * of the containing entity.  This behaves similarly to
-   * [UnlinkedReference.prefixReference], however it is only used for class
-   * members, not for prefixed imports.
-   *
-   * Containing references must always point backward; that is, for all i, if
-   * LinkedUnit.references[i].containingReference != 0, then
-   * LinkedUnit.references[i].containingReference < i.
-   */
-  int get containingReference;
-}
-
 class _LinkedReferenceReader extends fb.TableReader<_LinkedReferenceImpl> {
   const _LinkedReferenceReader();
 
@@ -1484,13 +858,13 @@ class _LinkedReferenceReader extends fb.TableReader<_LinkedReferenceImpl> {
   _LinkedReferenceImpl createObject(fb.BufferPointer bp) => new _LinkedReferenceImpl(bp);
 }
 
-class _LinkedReferenceImpl extends Object with _LinkedReferenceMixin implements LinkedReference {
+class _LinkedReferenceImpl extends Object with _LinkedReferenceMixin implements idl.LinkedReference {
   final fb.BufferPointer _bp;
 
   _LinkedReferenceImpl(this._bp);
 
   int _dependency;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
   int _unit;
   int _numTypeParameters;
   String _name;
@@ -1503,8 +877,8 @@ class _LinkedReferenceImpl extends Object with _LinkedReferenceMixin implements
   }
 
   @override
-  ReferenceKind get kind {
-    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 1, ReferenceKind.classOrEnum);
+  idl.ReferenceKind get kind {
+    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 1, idl.ReferenceKind.classOrEnum);
     return _kind;
   }
 
@@ -1533,7 +907,7 @@ class _LinkedReferenceImpl extends Object with _LinkedReferenceMixin implements
   }
 }
 
-abstract class _LinkedReferenceMixin implements LinkedReference {
+abstract class _LinkedReferenceMixin implements idl.LinkedReference {
   @override
   Map<String, Object> toMap() => {
     "dependency": dependency,
@@ -1545,7 +919,7 @@ abstract class _LinkedReferenceMixin implements LinkedReference {
   };
 }
 
-class LinkedUnitBuilder extends Object with _LinkedUnitMixin implements LinkedUnit {
+class LinkedUnitBuilder extends Object with _LinkedUnitMixin implements idl.LinkedUnit {
   bool _finished = false;
 
   List<LinkedReferenceBuilder> _references;
@@ -1605,28 +979,6 @@ class LinkedUnitBuilder extends Object with _LinkedUnitMixin implements LinkedUn
   }
 }
 
-/**
- * Linked summary of a compilation unit.
- */
-abstract class LinkedUnit extends base.SummaryClass {
-
-  /**
-   * Information about the resolution of references within the compilation
-   * unit.  Each element of [UnlinkedUnit.references] has a corresponding
-   * element in this list (at the same index).  If this list has additional
-   * elements beyond the number of elements in [UnlinkedUnit.references], those
-   * additional elements are references that are only referred to implicitly
-   * (e.g. elements involved in inferred or propagated types).
-   */
-  List<LinkedReference> get references;
-
-  /**
-   * List associating slot ids found inside the unlinked summary for the
-   * compilation unit with propagated and inferred types.
-   */
-  List<EntityRef> get types;
-}
-
 class _LinkedUnitReader extends fb.TableReader<_LinkedUnitImpl> {
   const _LinkedUnitReader();
 
@@ -1634,28 +986,28 @@ class _LinkedUnitReader extends fb.TableReader<_LinkedUnitImpl> {
   _LinkedUnitImpl createObject(fb.BufferPointer bp) => new _LinkedUnitImpl(bp);
 }
 
-class _LinkedUnitImpl extends Object with _LinkedUnitMixin implements LinkedUnit {
+class _LinkedUnitImpl extends Object with _LinkedUnitMixin implements idl.LinkedUnit {
   final fb.BufferPointer _bp;
 
   _LinkedUnitImpl(this._bp);
 
-  List<LinkedReference> _references;
-  List<EntityRef> _types;
+  List<idl.LinkedReference> _references;
+  List<idl.EntityRef> _types;
 
   @override
-  List<LinkedReference> get references {
-    _references ??= const fb.ListReader<LinkedReference>(const _LinkedReferenceReader()).vTableGet(_bp, 0, const <LinkedReference>[]);
+  List<idl.LinkedReference> get references {
+    _references ??= const fb.ListReader<idl.LinkedReference>(const _LinkedReferenceReader()).vTableGet(_bp, 0, const <idl.LinkedReference>[]);
     return _references;
   }
 
   @override
-  List<EntityRef> get types {
-    _types ??= const fb.ListReader<EntityRef>(const _EntityRefReader()).vTableGet(_bp, 1, const <EntityRef>[]);
+  List<idl.EntityRef> get types {
+    _types ??= const fb.ListReader<idl.EntityRef>(const _EntityRefReader()).vTableGet(_bp, 1, const <idl.EntityRef>[]);
     return _types;
   }
 }
 
-abstract class _LinkedUnitMixin implements LinkedUnit {
+abstract class _LinkedUnitMixin implements idl.LinkedUnit {
   @override
   Map<String, Object> toMap() => {
     "references": references,
@@ -1663,7 +1015,7 @@ abstract class _LinkedUnitMixin implements LinkedUnit {
   };
 }
 
-class SdkBundleBuilder extends Object with _SdkBundleMixin implements SdkBundle {
+class SdkBundleBuilder extends Object with _SdkBundleMixin implements idl.SdkBundle {
   bool _finished = false;
 
   List<String> _linkedLibraryUris;
@@ -1762,34 +1114,9 @@ class SdkBundleBuilder extends Object with _SdkBundleMixin implements SdkBundle
   }
 }
 
-/**
- * Information about SDK.
- */
-abstract class SdkBundle extends base.SummaryClass {
-  factory SdkBundle.fromBuffer(List<int> buffer) {
-    fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
-    return const _SdkBundleReader().read(rootRef);
-  }
-
-  /**
-   * The list of URIs of items in [linkedLibraries], e.g. `dart:core`.
-   */
-  List<String> get linkedLibraryUris;
-
-  /**
-   * Linked libraries.
-   */
-  List<LinkedLibrary> get linkedLibraries;
-
-  /**
-   * The list of URIs of items in [unlinkedUnits], e.g. `dart:core/bool.dart`.
-   */
-  List<String> get unlinkedUnitUris;
-
-  /**
-   * Unlinked information for the compilation units constituting the SDK.
-   */
-  List<UnlinkedUnit> get unlinkedUnits;
+idl.SdkBundle readSdkBundle(List<int> buffer) {
+  fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
+  return const _SdkBundleReader().read(rootRef);
 }
 
 class _SdkBundleReader extends fb.TableReader<_SdkBundleImpl> {
@@ -1799,15 +1126,15 @@ class _SdkBundleReader extends fb.TableReader<_SdkBundleImpl> {
   _SdkBundleImpl createObject(fb.BufferPointer bp) => new _SdkBundleImpl(bp);
 }
 
-class _SdkBundleImpl extends Object with _SdkBundleMixin implements SdkBundle {
+class _SdkBundleImpl extends Object with _SdkBundleMixin implements idl.SdkBundle {
   final fb.BufferPointer _bp;
 
   _SdkBundleImpl(this._bp);
 
   List<String> _linkedLibraryUris;
-  List<LinkedLibrary> _linkedLibraries;
+  List<idl.LinkedLibrary> _linkedLibraries;
   List<String> _unlinkedUnitUris;
-  List<UnlinkedUnit> _unlinkedUnits;
+  List<idl.UnlinkedUnit> _unlinkedUnits;
 
   @override
   List<String> get linkedLibraryUris {
@@ -1816,8 +1143,8 @@ class _SdkBundleImpl extends Object with _SdkBundleMixin implements SdkBundle {
   }
 
   @override
-  List<LinkedLibrary> get linkedLibraries {
-    _linkedLibraries ??= const fb.ListReader<LinkedLibrary>(const _LinkedLibraryReader()).vTableGet(_bp, 1, const <LinkedLibrary>[]);
+  List<idl.LinkedLibrary> get linkedLibraries {
+    _linkedLibraries ??= const fb.ListReader<idl.LinkedLibrary>(const _LinkedLibraryReader()).vTableGet(_bp, 1, const <idl.LinkedLibrary>[]);
     return _linkedLibraries;
   }
 
@@ -1828,13 +1155,13 @@ class _SdkBundleImpl extends Object with _SdkBundleMixin implements SdkBundle {
   }
 
   @override
-  List<UnlinkedUnit> get unlinkedUnits {
-    _unlinkedUnits ??= const fb.ListReader<UnlinkedUnit>(const _UnlinkedUnitReader()).vTableGet(_bp, 3, const <UnlinkedUnit>[]);
+  List<idl.UnlinkedUnit> get unlinkedUnits {
+    _unlinkedUnits ??= const fb.ListReader<idl.UnlinkedUnit>(const _UnlinkedUnitReader()).vTableGet(_bp, 3, const <idl.UnlinkedUnit>[]);
     return _unlinkedUnits;
   }
 }
 
-abstract class _SdkBundleMixin implements SdkBundle {
+abstract class _SdkBundleMixin implements idl.SdkBundle {
   @override
   Map<String, Object> toMap() => {
     "linkedLibraryUris": linkedLibraryUris,
@@ -1844,7 +1171,7 @@ abstract class _SdkBundleMixin implements SdkBundle {
   };
 }
 
-class UnlinkedClassBuilder extends Object with _UnlinkedClassMixin implements UnlinkedClass {
+class UnlinkedClassBuilder extends Object with _UnlinkedClassMixin implements idl.UnlinkedClass {
   bool _finished = false;
 
   String _name;
@@ -2087,76 +1414,6 @@ class UnlinkedClassBuilder extends Object with _UnlinkedClassMixin implements Un
   }
 }
 
-/**
- * Unlinked summary information about a class declaration.
- */
-abstract class UnlinkedClass extends base.SummaryClass {
-
-  /**
-   * Name of the class.
-   */
-  String get name;
-
-  /**
-   * Offset of the class name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the class, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-
-  /**
-   * Type parameters of the class, if any.
-   */
-  List<UnlinkedTypeParam> get typeParameters;
-
-  /**
-   * Supertype of the class, or `null` if either (a) the class doesn't
-   * explicitly declare a supertype (and hence has supertype `Object`), or (b)
-   * the class *is* `Object` (and hence has no supertype).
-   */
-  EntityRef get supertype;
-
-  /**
-   * Mixins appearing in a `with` clause, if any.
-   */
-  List<EntityRef> get mixins;
-
-  /**
-   * Interfaces appearing in an `implements` clause, if any.
-   */
-  List<EntityRef> get interfaces;
-
-  /**
-   * Field declarations contained in the class.
-   */
-  List<UnlinkedVariable> get fields;
-
-  /**
-   * Executable objects (methods, getters, and setters) contained in the class.
-   */
-  List<UnlinkedExecutable> get executables;
-
-  /**
-   * Indicates whether the class is declared with the `abstract` keyword.
-   */
-  bool get isAbstract;
-
-  /**
-   * Indicates whether the class is declared using mixin application syntax.
-   */
-  bool get isMixinApplication;
-
-  /**
-   * Indicates whether this class is the core "Object" class (and hence has no
-   * supertype)
-   */
-  bool get hasNoSupertype;
-}
-
 class _UnlinkedClassReader extends fb.TableReader<_UnlinkedClassImpl> {
   const _UnlinkedClassReader();
 
@@ -2164,20 +1421,20 @@ class _UnlinkedClassReader extends fb.TableReader<_UnlinkedClassImpl> {
   _UnlinkedClassImpl createObject(fb.BufferPointer bp) => new _UnlinkedClassImpl(bp);
 }
 
-class _UnlinkedClassImpl extends Object with _UnlinkedClassMixin implements UnlinkedClass {
+class _UnlinkedClassImpl extends Object with _UnlinkedClassMixin implements idl.UnlinkedClass {
   final fb.BufferPointer _bp;
 
   _UnlinkedClassImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
-  List<UnlinkedTypeParam> _typeParameters;
-  EntityRef _supertype;
-  List<EntityRef> _mixins;
-  List<EntityRef> _interfaces;
-  List<UnlinkedVariable> _fields;
-  List<UnlinkedExecutable> _executables;
+  idl.UnlinkedDocumentationComment _documentationComment;
+  List<idl.UnlinkedTypeParam> _typeParameters;
+  idl.EntityRef _supertype;
+  List<idl.EntityRef> _mixins;
+  List<idl.EntityRef> _interfaces;
+  List<idl.UnlinkedVariable> _fields;
+  List<idl.UnlinkedExecutable> _executables;
   bool _isAbstract;
   bool _isMixinApplication;
   bool _hasNoSupertype;
@@ -2195,44 +1452,44 @@ class _UnlinkedClassImpl extends Object with _UnlinkedClassMixin implements Unli
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 
   @override
-  List<UnlinkedTypeParam> get typeParameters {
-    _typeParameters ??= const fb.ListReader<UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <UnlinkedTypeParam>[]);
+  List<idl.UnlinkedTypeParam> get typeParameters {
+    _typeParameters ??= const fb.ListReader<idl.UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <idl.UnlinkedTypeParam>[]);
     return _typeParameters;
   }
 
   @override
-  EntityRef get supertype {
+  idl.EntityRef get supertype {
     _supertype ??= const _EntityRefReader().vTableGet(_bp, 4, null);
     return _supertype;
   }
 
   @override
-  List<EntityRef> get mixins {
-    _mixins ??= const fb.ListReader<EntityRef>(const _EntityRefReader()).vTableGet(_bp, 5, const <EntityRef>[]);
+  List<idl.EntityRef> get mixins {
+    _mixins ??= const fb.ListReader<idl.EntityRef>(const _EntityRefReader()).vTableGet(_bp, 5, const <idl.EntityRef>[]);
     return _mixins;
   }
 
   @override
-  List<EntityRef> get interfaces {
-    _interfaces ??= const fb.ListReader<EntityRef>(const _EntityRefReader()).vTableGet(_bp, 6, const <EntityRef>[]);
+  List<idl.EntityRef> get interfaces {
+    _interfaces ??= const fb.ListReader<idl.EntityRef>(const _EntityRefReader()).vTableGet(_bp, 6, const <idl.EntityRef>[]);
     return _interfaces;
   }
 
   @override
-  List<UnlinkedVariable> get fields {
-    _fields ??= const fb.ListReader<UnlinkedVariable>(const _UnlinkedVariableReader()).vTableGet(_bp, 7, const <UnlinkedVariable>[]);
+  List<idl.UnlinkedVariable> get fields {
+    _fields ??= const fb.ListReader<idl.UnlinkedVariable>(const _UnlinkedVariableReader()).vTableGet(_bp, 7, const <idl.UnlinkedVariable>[]);
     return _fields;
   }
 
   @override
-  List<UnlinkedExecutable> get executables {
-    _executables ??= const fb.ListReader<UnlinkedExecutable>(const _UnlinkedExecutableReader()).vTableGet(_bp, 8, const <UnlinkedExecutable>[]);
+  List<idl.UnlinkedExecutable> get executables {
+    _executables ??= const fb.ListReader<idl.UnlinkedExecutable>(const _UnlinkedExecutableReader()).vTableGet(_bp, 8, const <idl.UnlinkedExecutable>[]);
     return _executables;
   }
 
@@ -2255,7 +1512,7 @@ class _UnlinkedClassImpl extends Object with _UnlinkedClassMixin implements Unli
   }
 }
 
-abstract class _UnlinkedClassMixin implements UnlinkedClass {
+abstract class _UnlinkedClassMixin implements idl.UnlinkedClass {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -2273,7 +1530,7 @@ abstract class _UnlinkedClassMixin implements UnlinkedClass {
   };
 }
 
-class UnlinkedCombinatorBuilder extends Object with _UnlinkedCombinatorMixin implements UnlinkedCombinator {
+class UnlinkedCombinatorBuilder extends Object with _UnlinkedCombinatorMixin implements idl.UnlinkedCombinator {
   bool _finished = false;
 
   List<String> _shows;
@@ -2327,23 +1584,6 @@ class UnlinkedCombinatorBuilder extends Object with _UnlinkedCombinatorMixin imp
   }
 }
 
-/**
- * Unlinked summary information about a `show` or `hide` combinator in an
- * import or export declaration.
- */
-abstract class UnlinkedCombinator extends base.SummaryClass {
-
-  /**
-   * List of names which are shown.  Empty if this is a `hide` combinator.
-   */
-  List<String> get shows;
-
-  /**
-   * List of names which are hidden.  Empty if this is a `show` combinator.
-   */
-  List<String> get hides;
-}
-
 class _UnlinkedCombinatorReader extends fb.TableReader<_UnlinkedCombinatorImpl> {
   const _UnlinkedCombinatorReader();
 
@@ -2351,7 +1591,7 @@ class _UnlinkedCombinatorReader extends fb.TableReader<_UnlinkedCombinatorImpl>
   _UnlinkedCombinatorImpl createObject(fb.BufferPointer bp) => new _UnlinkedCombinatorImpl(bp);
 }
 
-class _UnlinkedCombinatorImpl extends Object with _UnlinkedCombinatorMixin implements UnlinkedCombinator {
+class _UnlinkedCombinatorImpl extends Object with _UnlinkedCombinatorMixin implements idl.UnlinkedCombinator {
   final fb.BufferPointer _bp;
 
   _UnlinkedCombinatorImpl(this._bp);
@@ -2372,7 +1612,7 @@ class _UnlinkedCombinatorImpl extends Object with _UnlinkedCombinatorMixin imple
   }
 }
 
-abstract class _UnlinkedCombinatorMixin implements UnlinkedCombinator {
+abstract class _UnlinkedCombinatorMixin implements idl.UnlinkedCombinator {
   @override
   Map<String, Object> toMap() => {
     "shows": shows,
@@ -2380,23 +1620,23 @@ abstract class _UnlinkedCombinatorMixin implements UnlinkedCombinator {
   };
 }
 
-class UnlinkedConstBuilder extends Object with _UnlinkedConstMixin implements UnlinkedConst {
+class UnlinkedConstBuilder extends Object with _UnlinkedConstMixin implements idl.UnlinkedConst {
   bool _finished = false;
 
-  List<UnlinkedConstOperation> _operations;
+  List<idl.UnlinkedConstOperation> _operations;
   List<int> _ints;
   List<double> _doubles;
   List<String> _strings;
   List<EntityRefBuilder> _references;
 
   @override
-  List<UnlinkedConstOperation> get operations => _operations ??= <UnlinkedConstOperation>[];
+  List<idl.UnlinkedConstOperation> get operations => _operations ??= <idl.UnlinkedConstOperation>[];
 
   /**
    * Sequence of operations to execute (starting with an empty stack) to form
    * the constant value.
    */
-  void set operations(List<UnlinkedConstOperation> _value) {
+  void set operations(List<idl.UnlinkedConstOperation> _value) {
     assert(!_finished);
     _operations = _value;
   }
@@ -2452,7 +1692,7 @@ class UnlinkedConstBuilder extends Object with _UnlinkedConstMixin implements Un
     _references = _value;
   }
 
-  UnlinkedConstBuilder({List<UnlinkedConstOperation> operations, List<int> ints, List<double> doubles, List<String> strings, List<EntityRefBuilder> references})
+  UnlinkedConstBuilder({List<idl.UnlinkedConstOperation> operations, List<int> ints, List<double> doubles, List<String> strings, List<EntityRefBuilder> references})
     : _operations = operations,
       _ints = ints,
       _doubles = doubles,
@@ -2502,51 +1742,6 @@ class UnlinkedConstBuilder extends Object with _UnlinkedConstMixin implements Un
   }
 }
 
-/**
- * Unlinked summary information about a compile-time constant expression, or a
- * potentially constant expression.
- *
- * Constant expressions are represented using a simple stack-based language
- * where [operations] is a sequence of operations to execute starting with an
- * empty stack.  Once all operations have been executed, the stack should
- * contain a single value which is the value of the constant.  Note that some
- * operations consume additional data from the other fields of this class.
- */
-abstract class UnlinkedConst extends base.SummaryClass {
-
-  /**
-   * Sequence of operations to execute (starting with an empty stack) to form
-   * the constant value.
-   */
-  List<UnlinkedConstOperation> get operations;
-
-  /**
-   * Sequence of unsigned 32-bit integers consumed by the operations
-   * `pushArgument`, `pushInt`, `shiftOr`, `concatenate`, `invokeConstructor`,
-   * `makeList`, and `makeMap`.
-   */
-  List<int> get ints;
-
-  /**
-   * Sequence of 64-bit doubles consumed by the operation `pushDouble`.
-   */
-  List<double> get doubles;
-
-  /**
-   * Sequence of strings consumed by the operations `pushString` and
-   * `invokeConstructor`.
-   */
-  List<String> get strings;
-
-  /**
-   * Sequence of language constructs consumed by the operations
-   * `pushReference`, `invokeConstructor`, `makeList`, and `makeMap`.  Note
-   * that in the case of `pushReference` (and sometimes `invokeConstructor` the
-   * actual entity being referred to may be something other than a type.
-   */
-  List<EntityRef> get references;
-}
-
 class _UnlinkedConstReader extends fb.TableReader<_UnlinkedConstImpl> {
   const _UnlinkedConstReader();
 
@@ -2554,20 +1749,20 @@ class _UnlinkedConstReader extends fb.TableReader<_UnlinkedConstImpl> {
   _UnlinkedConstImpl createObject(fb.BufferPointer bp) => new _UnlinkedConstImpl(bp);
 }
 
-class _UnlinkedConstImpl extends Object with _UnlinkedConstMixin implements UnlinkedConst {
+class _UnlinkedConstImpl extends Object with _UnlinkedConstMixin implements idl.UnlinkedConst {
   final fb.BufferPointer _bp;
 
   _UnlinkedConstImpl(this._bp);
 
-  List<UnlinkedConstOperation> _operations;
+  List<idl.UnlinkedConstOperation> _operations;
   List<int> _ints;
   List<double> _doubles;
   List<String> _strings;
-  List<EntityRef> _references;
+  List<idl.EntityRef> _references;
 
   @override
-  List<UnlinkedConstOperation> get operations {
-    _operations ??= const fb.ListReader<UnlinkedConstOperation>(const _UnlinkedConstOperationReader()).vTableGet(_bp, 0, const <UnlinkedConstOperation>[]);
+  List<idl.UnlinkedConstOperation> get operations {
+    _operations ??= const fb.ListReader<idl.UnlinkedConstOperation>(const _UnlinkedConstOperationReader()).vTableGet(_bp, 0, const <idl.UnlinkedConstOperation>[]);
     return _operations;
   }
 
@@ -2590,13 +1785,13 @@ class _UnlinkedConstImpl extends Object with _UnlinkedConstMixin implements Unli
   }
 
   @override
-  List<EntityRef> get references {
-    _references ??= const fb.ListReader<EntityRef>(const _EntityRefReader()).vTableGet(_bp, 4, const <EntityRef>[]);
+  List<idl.EntityRef> get references {
+    _references ??= const fb.ListReader<idl.EntityRef>(const _EntityRefReader()).vTableGet(_bp, 4, const <idl.EntityRef>[]);
     return _references;
   }
 }
 
-abstract class _UnlinkedConstMixin implements UnlinkedConst {
+abstract class _UnlinkedConstMixin implements idl.UnlinkedConst {
   @override
   Map<String, Object> toMap() => {
     "operations": operations,
@@ -2607,7 +1802,7 @@ abstract class _UnlinkedConstMixin implements UnlinkedConst {
   };
 }
 
-class UnlinkedDocumentationCommentBuilder extends Object with _UnlinkedDocumentationCommentMixin implements UnlinkedDocumentationComment {
+class UnlinkedDocumentationCommentBuilder extends Object with _UnlinkedDocumentationCommentMixin implements idl.UnlinkedDocumentationComment {
   bool _finished = false;
 
   String _text;
@@ -2672,36 +1867,11 @@ class UnlinkedDocumentationCommentBuilder extends Object with _UnlinkedDocumenta
     if (_offset != null && _offset != 0) {
       fbBuilder.addUint32(1, _offset);
     }
-    if (_length != null && _length != 0) {
-      fbBuilder.addUint32(2, _length);
-    }
-    return fbBuilder.endTable();
-  }
-}
-
-/**
- * Unlinked summary information about a documentation comment.
- */
-abstract class UnlinkedDocumentationComment extends base.SummaryClass {
-
-  /**
-   * Text of the documentation comment, with '\r\n' replaced by '\n'.
-   *
-   * References appearing within the doc comment in square brackets are not
-   * specially encoded.
-   */
-  String get text;
-
-  /**
-   * Offset of the beginning of the documentation comment relative to the
-   * beginning of the file.
-   */
-  int get offset;
-
-  /**
-   * Length of the documentation comment (prior to replacing '\r\n' with '\n').
-   */
-  int get length;
+    if (_length != null && _length != 0) {
+      fbBuilder.addUint32(2, _length);
+    }
+    return fbBuilder.endTable();
+  }
 }
 
 class _UnlinkedDocumentationCommentReader extends fb.TableReader<_UnlinkedDocumentationCommentImpl> {
@@ -2711,7 +1881,7 @@ class _UnlinkedDocumentationCommentReader extends fb.TableReader<_UnlinkedDocume
   _UnlinkedDocumentationCommentImpl createObject(fb.BufferPointer bp) => new _UnlinkedDocumentationCommentImpl(bp);
 }
 
-class _UnlinkedDocumentationCommentImpl extends Object with _UnlinkedDocumentationCommentMixin implements UnlinkedDocumentationComment {
+class _UnlinkedDocumentationCommentImpl extends Object with _UnlinkedDocumentationCommentMixin implements idl.UnlinkedDocumentationComment {
   final fb.BufferPointer _bp;
 
   _UnlinkedDocumentationCommentImpl(this._bp);
@@ -2739,7 +1909,7 @@ class _UnlinkedDocumentationCommentImpl extends Object with _UnlinkedDocumentati
   }
 }
 
-abstract class _UnlinkedDocumentationCommentMixin implements UnlinkedDocumentationComment {
+abstract class _UnlinkedDocumentationCommentMixin implements idl.UnlinkedDocumentationComment {
   @override
   Map<String, Object> toMap() => {
     "text": text,
@@ -2748,7 +1918,7 @@ abstract class _UnlinkedDocumentationCommentMixin implements UnlinkedDocumentati
   };
 }
 
-class UnlinkedEnumBuilder extends Object with _UnlinkedEnumMixin implements UnlinkedEnum {
+class UnlinkedEnumBuilder extends Object with _UnlinkedEnumMixin implements idl.UnlinkedEnum {
   bool _finished = false;
 
   String _name;
@@ -2840,33 +2010,6 @@ class UnlinkedEnumBuilder extends Object with _UnlinkedEnumMixin implements Unli
   }
 }
 
-/**
- * Unlinked summary information about an enum declaration.
- */
-abstract class UnlinkedEnum extends base.SummaryClass {
-
-  /**
-   * Name of the enum type.
-   */
-  String get name;
-
-  /**
-   * Offset of the enum name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the enum, or `null` if there is no documentation
-   * comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-
-  /**
-   * Values listed in the enum declaration, in declaration order.
-   */
-  List<UnlinkedEnumValue> get values;
-}
-
 class _UnlinkedEnumReader extends fb.TableReader<_UnlinkedEnumImpl> {
   const _UnlinkedEnumReader();
 
@@ -2874,15 +2017,15 @@ class _UnlinkedEnumReader extends fb.TableReader<_UnlinkedEnumImpl> {
   _UnlinkedEnumImpl createObject(fb.BufferPointer bp) => new _UnlinkedEnumImpl(bp);
 }
 
-class _UnlinkedEnumImpl extends Object with _UnlinkedEnumMixin implements UnlinkedEnum {
+class _UnlinkedEnumImpl extends Object with _UnlinkedEnumMixin implements idl.UnlinkedEnum {
   final fb.BufferPointer _bp;
 
   _UnlinkedEnumImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
-  List<UnlinkedEnumValue> _values;
+  idl.UnlinkedDocumentationComment _documentationComment;
+  List<idl.UnlinkedEnumValue> _values;
 
   @override
   String get name {
@@ -2897,19 +2040,19 @@ class _UnlinkedEnumImpl extends Object with _UnlinkedEnumMixin implements Unlink
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 
   @override
-  List<UnlinkedEnumValue> get values {
-    _values ??= const fb.ListReader<UnlinkedEnumValue>(const _UnlinkedEnumValueReader()).vTableGet(_bp, 3, const <UnlinkedEnumValue>[]);
+  List<idl.UnlinkedEnumValue> get values {
+    _values ??= const fb.ListReader<idl.UnlinkedEnumValue>(const _UnlinkedEnumValueReader()).vTableGet(_bp, 3, const <idl.UnlinkedEnumValue>[]);
     return _values;
   }
 }
 
-abstract class _UnlinkedEnumMixin implements UnlinkedEnum {
+abstract class _UnlinkedEnumMixin implements idl.UnlinkedEnum {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -2919,7 +2062,7 @@ abstract class _UnlinkedEnumMixin implements UnlinkedEnum {
   };
 }
 
-class UnlinkedEnumValueBuilder extends Object with _UnlinkedEnumValueMixin implements UnlinkedEnumValue {
+class UnlinkedEnumValueBuilder extends Object with _UnlinkedEnumValueMixin implements idl.UnlinkedEnumValue {
   bool _finished = false;
 
   String _name;
@@ -2991,29 +2134,6 @@ class UnlinkedEnumValueBuilder extends Object with _UnlinkedEnumValueMixin imple
   }
 }
 
-/**
- * Unlinked summary information about a single enumerated value in an enum
- * declaration.
- */
-abstract class UnlinkedEnumValue extends base.SummaryClass {
-
-  /**
-   * Name of the enumerated value.
-   */
-  String get name;
-
-  /**
-   * Offset of the enum value name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the enum value, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-}
-
 class _UnlinkedEnumValueReader extends fb.TableReader<_UnlinkedEnumValueImpl> {
   const _UnlinkedEnumValueReader();
 
@@ -3021,14 +2141,14 @@ class _UnlinkedEnumValueReader extends fb.TableReader<_UnlinkedEnumValueImpl> {
   _UnlinkedEnumValueImpl createObject(fb.BufferPointer bp) => new _UnlinkedEnumValueImpl(bp);
 }
 
-class _UnlinkedEnumValueImpl extends Object with _UnlinkedEnumValueMixin implements UnlinkedEnumValue {
+class _UnlinkedEnumValueImpl extends Object with _UnlinkedEnumValueMixin implements idl.UnlinkedEnumValue {
   final fb.BufferPointer _bp;
 
   _UnlinkedEnumValueImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
+  idl.UnlinkedDocumentationComment _documentationComment;
 
   @override
   String get name {
@@ -3043,13 +2163,13 @@ class _UnlinkedEnumValueImpl extends Object with _UnlinkedEnumValueMixin impleme
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 }
 
-abstract class _UnlinkedEnumValueMixin implements UnlinkedEnumValue {
+abstract class _UnlinkedEnumValueMixin implements idl.UnlinkedEnumValue {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -3058,7 +2178,7 @@ abstract class _UnlinkedEnumValueMixin implements UnlinkedEnumValue {
   };
 }
 
-class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin implements UnlinkedExecutable {
+class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin implements idl.UnlinkedExecutable {
   bool _finished = false;
 
   String _name;
@@ -3067,7 +2187,7 @@ class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin imp
   List<UnlinkedTypeParamBuilder> _typeParameters;
   EntityRefBuilder _returnType;
   List<UnlinkedParamBuilder> _parameters;
-  UnlinkedExecutableKind _kind;
+  idl.UnlinkedExecutableKind _kind;
   bool _isAbstract;
   bool _isStatic;
   bool _isConst;
@@ -3153,13 +2273,13 @@ class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin imp
   }
 
   @override
-  UnlinkedExecutableKind get kind => _kind ??= UnlinkedExecutableKind.functionOrMethod;
+  idl.UnlinkedExecutableKind get kind => _kind ??= idl.UnlinkedExecutableKind.functionOrMethod;
 
   /**
    * The kind of the executable (function/method, getter, setter, or
    * constructor).
    */
-  void set kind(UnlinkedExecutableKind _value) {
+  void set kind(idl.UnlinkedExecutableKind _value) {
     assert(!_finished);
     _kind = _value;
   }
@@ -3239,7 +2359,7 @@ class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin imp
     _inferredReturnTypeSlot = _value;
   }
 
-  UnlinkedExecutableBuilder({String name, int nameOffset, UnlinkedDocumentationCommentBuilder documentationComment, List<UnlinkedTypeParamBuilder> typeParameters, EntityRefBuilder returnType, List<UnlinkedParamBuilder> parameters, UnlinkedExecutableKind kind, bool isAbstract, bool isStatic, bool isConst, bool isFactory, bool isExternal, int inferredReturnTypeSlot})
+  UnlinkedExecutableBuilder({String name, int nameOffset, UnlinkedDocumentationCommentBuilder documentationComment, List<UnlinkedTypeParamBuilder> typeParameters, EntityRefBuilder returnType, List<UnlinkedParamBuilder> parameters, idl.UnlinkedExecutableKind kind, bool isAbstract, bool isStatic, bool isConst, bool isFactory, bool isExternal, int inferredReturnTypeSlot})
     : _name = name,
       _nameOffset = nameOffset,
       _documentationComment = documentationComment,
@@ -3296,7 +2416,7 @@ class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin imp
     if (offset_parameters != null) {
       fbBuilder.addOffset(5, offset_parameters);
     }
-    if (_kind != null && _kind != UnlinkedExecutableKind.functionOrMethod) {
+    if (_kind != null && _kind != idl.UnlinkedExecutableKind.functionOrMethod) {
       fbBuilder.addUint32(6, _kind.index);
     }
     if (_isAbstract == true) {
@@ -3321,97 +2441,6 @@ class UnlinkedExecutableBuilder extends Object with _UnlinkedExecutableMixin imp
   }
 }
 
-/**
- * Unlinked summary information about a function, method, getter, or setter
- * declaration.
- */
-abstract class UnlinkedExecutable extends base.SummaryClass {
-
-  /**
-   * Name of the executable.  For setters, this includes the trailing "=".  For
-   * named constructors, this excludes the class name and excludes the ".".
-   * For unnamed constructors, this is the empty string.
-   */
-  String get name;
-
-  /**
-   * Offset of the executable name relative to the beginning of the file.  For
-   * named constructors, this excludes the class name and excludes the ".".
-   * For unnamed constructors, this is the offset of the class name (i.e. the
-   * offset of the second "C" in "class C { C(); }").
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the executable, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-
-  /**
-   * Type parameters of the executable, if any.  Empty if support for generic
-   * method syntax is disabled.
-   */
-  List<UnlinkedTypeParam> get typeParameters;
-
-  /**
-   * Declared return type of the executable.  Absent if the executable is a
-   * constructor or the return type is implicit.
-   */
-  EntityRef get returnType;
-
-  /**
-   * Parameters of the executable, if any.  Note that getters have no
-   * parameters (hence this will be the empty list), and setters have a single
-   * parameter.
-   */
-  List<UnlinkedParam> get parameters;
-
-  /**
-   * The kind of the executable (function/method, getter, setter, or
-   * constructor).
-   */
-  UnlinkedExecutableKind get kind;
-
-  /**
-   * Indicates whether the executable is declared using the `abstract` keyword.
-   */
-  bool get isAbstract;
-
-  /**
-   * Indicates whether the executable is declared using the `static` keyword.
-   *
-   * Note that for top level executables, this flag is false, since they are
-   * not declared using the `static` keyword (even though they are considered
-   * static for semantic purposes).
-   */
-  bool get isStatic;
-
-  /**
-   * Indicates whether the executable is declared using the `const` keyword.
-   */
-  bool get isConst;
-
-  /**
-   * Indicates whether the executable is declared using the `factory` keyword.
-   */
-  bool get isFactory;
-
-  /**
-   * Indicates whether the executable is declared using the `external` keyword.
-   */
-  bool get isExternal;
-
-  /**
-   * If this executable's return type is inferrable, nonzero slot id
-   * identifying which entry in [LinkedLibrary.types] contains the inferred
-   * return type.  If there is no matching entry in [LinkedLibrary.types], then
-   * no return type was inferred for this variable, so its static type is
-   * `dynamic`.
-   */
-  int get inferredReturnTypeSlot;
-}
-
 class _UnlinkedExecutableReader extends fb.TableReader<_UnlinkedExecutableImpl> {
   const _UnlinkedExecutableReader();
 
@@ -3419,18 +2448,18 @@ class _UnlinkedExecutableReader extends fb.TableReader<_UnlinkedExecutableImpl>
   _UnlinkedExecutableImpl createObject(fb.BufferPointer bp) => new _UnlinkedExecutableImpl(bp);
 }
 
-class _UnlinkedExecutableImpl extends Object with _UnlinkedExecutableMixin implements UnlinkedExecutable {
+class _UnlinkedExecutableImpl extends Object with _UnlinkedExecutableMixin implements idl.UnlinkedExecutable {
   final fb.BufferPointer _bp;
 
   _UnlinkedExecutableImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
-  List<UnlinkedTypeParam> _typeParameters;
-  EntityRef _returnType;
-  List<UnlinkedParam> _parameters;
-  UnlinkedExecutableKind _kind;
+  idl.UnlinkedDocumentationComment _documentationComment;
+  List<idl.UnlinkedTypeParam> _typeParameters;
+  idl.EntityRef _returnType;
+  List<idl.UnlinkedParam> _parameters;
+  idl.UnlinkedExecutableKind _kind;
   bool _isAbstract;
   bool _isStatic;
   bool _isConst;
@@ -3451,32 +2480,32 @@ class _UnlinkedExecutableImpl extends Object with _UnlinkedExecutableMixin imple
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 
   @override
-  List<UnlinkedTypeParam> get typeParameters {
-    _typeParameters ??= const fb.ListReader<UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <UnlinkedTypeParam>[]);
+  List<idl.UnlinkedTypeParam> get typeParameters {
+    _typeParameters ??= const fb.ListReader<idl.UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <idl.UnlinkedTypeParam>[]);
     return _typeParameters;
   }
 
   @override
-  EntityRef get returnType {
+  idl.EntityRef get returnType {
     _returnType ??= const _EntityRefReader().vTableGet(_bp, 4, null);
     return _returnType;
   }
 
   @override
-  List<UnlinkedParam> get parameters {
-    _parameters ??= const fb.ListReader<UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 5, const <UnlinkedParam>[]);
+  List<idl.UnlinkedParam> get parameters {
+    _parameters ??= const fb.ListReader<idl.UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 5, const <idl.UnlinkedParam>[]);
     return _parameters;
   }
 
   @override
-  UnlinkedExecutableKind get kind {
-    _kind ??= const _UnlinkedExecutableKindReader().vTableGet(_bp, 6, UnlinkedExecutableKind.functionOrMethod);
+  idl.UnlinkedExecutableKind get kind {
+    _kind ??= const _UnlinkedExecutableKindReader().vTableGet(_bp, 6, idl.UnlinkedExecutableKind.functionOrMethod);
     return _kind;
   }
 
@@ -3517,7 +2546,7 @@ class _UnlinkedExecutableImpl extends Object with _UnlinkedExecutableMixin imple
   }
 }
 
-abstract class _UnlinkedExecutableMixin implements UnlinkedExecutable {
+abstract class _UnlinkedExecutableMixin implements idl.UnlinkedExecutable {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -3536,7 +2565,7 @@ abstract class _UnlinkedExecutableMixin implements UnlinkedExecutable {
   };
 }
 
-class UnlinkedExportNonPublicBuilder extends Object with _UnlinkedExportNonPublicMixin implements UnlinkedExportNonPublic {
+class UnlinkedExportNonPublicBuilder extends Object with _UnlinkedExportNonPublicMixin implements idl.UnlinkedExportNonPublic {
   bool _finished = false;
 
   int _offset;
@@ -3603,30 +2632,6 @@ class UnlinkedExportNonPublicBuilder extends Object with _UnlinkedExportNonPubli
   }
 }
 
-/**
- * Unlinked summary information about an export declaration (stored outside
- * [UnlinkedPublicNamespace]).
- */
-abstract class UnlinkedExportNonPublic extends base.SummaryClass {
-
-  /**
-   * Offset of the "export" keyword.
-   */
-  int get offset;
-
-  /**
-   * Offset of the URI string (including quotes) relative to the beginning of
-   * the file.
-   */
-  int get uriOffset;
-
-  /**
-   * End of the URI string (including quotes) relative to the beginning of the
-   * file.
-   */
-  int get uriEnd;
-}
-
 class _UnlinkedExportNonPublicReader extends fb.TableReader<_UnlinkedExportNonPublicImpl> {
   const _UnlinkedExportNonPublicReader();
 
@@ -3634,7 +2639,7 @@ class _UnlinkedExportNonPublicReader extends fb.TableReader<_UnlinkedExportNonPu
   _UnlinkedExportNonPublicImpl createObject(fb.BufferPointer bp) => new _UnlinkedExportNonPublicImpl(bp);
 }
 
-class _UnlinkedExportNonPublicImpl extends Object with _UnlinkedExportNonPublicMixin implements UnlinkedExportNonPublic {
+class _UnlinkedExportNonPublicImpl extends Object with _UnlinkedExportNonPublicMixin implements idl.UnlinkedExportNonPublic {
   final fb.BufferPointer _bp;
 
   _UnlinkedExportNonPublicImpl(this._bp);
@@ -3662,7 +2667,7 @@ class _UnlinkedExportNonPublicImpl extends Object with _UnlinkedExportNonPublicM
   }
 }
 
-abstract class _UnlinkedExportNonPublicMixin implements UnlinkedExportNonPublic {
+abstract class _UnlinkedExportNonPublicMixin implements idl.UnlinkedExportNonPublic {
   @override
   Map<String, Object> toMap() => {
     "offset": offset,
@@ -3671,7 +2676,7 @@ abstract class _UnlinkedExportNonPublicMixin implements UnlinkedExportNonPublic
   };
 }
 
-class UnlinkedExportPublicBuilder extends Object with _UnlinkedExportPublicMixin implements UnlinkedExportPublic {
+class UnlinkedExportPublicBuilder extends Object with _UnlinkedExportPublicMixin implements idl.UnlinkedExportPublic {
   bool _finished = false;
 
   String _uri;
@@ -3725,23 +2730,6 @@ class UnlinkedExportPublicBuilder extends Object with _UnlinkedExportPublicMixin
   }
 }
 
-/**
- * Unlinked summary information about an export declaration (stored inside
- * [UnlinkedPublicNamespace]).
- */
-abstract class UnlinkedExportPublic extends base.SummaryClass {
-
-  /**
-   * URI used in the source code to reference the exported library.
-   */
-  String get uri;
-
-  /**
-   * Combinators contained in this import declaration.
-   */
-  List<UnlinkedCombinator> get combinators;
-}
-
 class _UnlinkedExportPublicReader extends fb.TableReader<_UnlinkedExportPublicImpl> {
   const _UnlinkedExportPublicReader();
 
@@ -3749,13 +2737,13 @@ class _UnlinkedExportPublicReader extends fb.TableReader<_UnlinkedExportPublicIm
   _UnlinkedExportPublicImpl createObject(fb.BufferPointer bp) => new _UnlinkedExportPublicImpl(bp);
 }
 
-class _UnlinkedExportPublicImpl extends Object with _UnlinkedExportPublicMixin implements UnlinkedExportPublic {
+class _UnlinkedExportPublicImpl extends Object with _UnlinkedExportPublicMixin implements idl.UnlinkedExportPublic {
   final fb.BufferPointer _bp;
 
   _UnlinkedExportPublicImpl(this._bp);
 
   String _uri;
-  List<UnlinkedCombinator> _combinators;
+  List<idl.UnlinkedCombinator> _combinators;
 
   @override
   String get uri {
@@ -3764,13 +2752,13 @@ class _UnlinkedExportPublicImpl extends Object with _UnlinkedExportPublicMixin i
   }
 
   @override
-  List<UnlinkedCombinator> get combinators {
-    _combinators ??= const fb.ListReader<UnlinkedCombinator>(const _UnlinkedCombinatorReader()).vTableGet(_bp, 1, const <UnlinkedCombinator>[]);
+  List<idl.UnlinkedCombinator> get combinators {
+    _combinators ??= const fb.ListReader<idl.UnlinkedCombinator>(const _UnlinkedCombinatorReader()).vTableGet(_bp, 1, const <idl.UnlinkedCombinator>[]);
     return _combinators;
   }
 }
 
-abstract class _UnlinkedExportPublicMixin implements UnlinkedExportPublic {
+abstract class _UnlinkedExportPublicMixin implements idl.UnlinkedExportPublic {
   @override
   Map<String, Object> toMap() => {
     "uri": uri,
@@ -3778,7 +2766,7 @@ abstract class _UnlinkedExportPublicMixin implements UnlinkedExportPublic {
   };
 }
 
-class UnlinkedImportBuilder extends Object with _UnlinkedImportMixin implements UnlinkedImport {
+class UnlinkedImportBuilder extends Object with _UnlinkedImportMixin implements idl.UnlinkedImport {
   bool _finished = false;
 
   String _uri;
@@ -3956,64 +2944,6 @@ class UnlinkedImportBuilder extends Object with _UnlinkedImportMixin implements
   }
 }
 
-/**
- * Unlinked summary information about an import declaration.
- */
-abstract class UnlinkedImport extends base.SummaryClass {
-
-  /**
-   * URI used in the source code to reference the imported library.
-   */
-  String get uri;
-
-  /**
-   * If [isImplicit] is false, offset of the "import" keyword.  If [isImplicit]
-   * is true, zero.
-   */
-  int get offset;
-
-  /**
-   * Index into [UnlinkedUnit.references] of the prefix declared by this
-   * import declaration, or zero if this import declaration declares no prefix.
-   *
-   * Note that multiple imports can declare the same prefix.
-   */
-  int get prefixReference;
-
-  /**
-   * Combinators contained in this import declaration.
-   */
-  List<UnlinkedCombinator> get combinators;
-
-  /**
-   * Indicates whether the import declaration uses the `deferred` keyword.
-   */
-  bool get isDeferred;
-
-  /**
-   * Indicates whether the import declaration is implicit.
-   */
-  bool get isImplicit;
-
-  /**
-   * Offset of the URI string (including quotes) relative to the beginning of
-   * the file.  If [isImplicit] is true, zero.
-   */
-  int get uriOffset;
-
-  /**
-   * End of the URI string (including quotes) relative to the beginning of the
-   * file.  If [isImplicit] is true, zero.
-   */
-  int get uriEnd;
-
-  /**
-   * Offset of the prefix name relative to the beginning of the file, or zero
-   * if there is no prefix.
-   */
-  int get prefixOffset;
-}
-
 class _UnlinkedImportReader extends fb.TableReader<_UnlinkedImportImpl> {
   const _UnlinkedImportReader();
 
@@ -4021,7 +2951,7 @@ class _UnlinkedImportReader extends fb.TableReader<_UnlinkedImportImpl> {
   _UnlinkedImportImpl createObject(fb.BufferPointer bp) => new _UnlinkedImportImpl(bp);
 }
 
-class _UnlinkedImportImpl extends Object with _UnlinkedImportMixin implements UnlinkedImport {
+class _UnlinkedImportImpl extends Object with _UnlinkedImportMixin implements idl.UnlinkedImport {
   final fb.BufferPointer _bp;
 
   _UnlinkedImportImpl(this._bp);
@@ -4029,7 +2959,7 @@ class _UnlinkedImportImpl extends Object with _UnlinkedImportMixin implements Un
   String _uri;
   int _offset;
   int _prefixReference;
-  List<UnlinkedCombinator> _combinators;
+  List<idl.UnlinkedCombinator> _combinators;
   bool _isDeferred;
   bool _isImplicit;
   int _uriOffset;
@@ -4055,8 +2985,8 @@ class _UnlinkedImportImpl extends Object with _UnlinkedImportMixin implements Un
   }
 
   @override
-  List<UnlinkedCombinator> get combinators {
-    _combinators ??= const fb.ListReader<UnlinkedCombinator>(const _UnlinkedCombinatorReader()).vTableGet(_bp, 3, const <UnlinkedCombinator>[]);
+  List<idl.UnlinkedCombinator> get combinators {
+    _combinators ??= const fb.ListReader<idl.UnlinkedCombinator>(const _UnlinkedCombinatorReader()).vTableGet(_bp, 3, const <idl.UnlinkedCombinator>[]);
     return _combinators;
   }
 
@@ -4091,7 +3021,7 @@ class _UnlinkedImportImpl extends Object with _UnlinkedImportMixin implements Un
   }
 }
 
-abstract class _UnlinkedImportMixin implements UnlinkedImport {
+abstract class _UnlinkedImportMixin implements idl.UnlinkedImport {
   @override
   Map<String, Object> toMap() => {
     "uri": uri,
@@ -4106,14 +3036,14 @@ abstract class _UnlinkedImportMixin implements UnlinkedImport {
   };
 }
 
-class UnlinkedParamBuilder extends Object with _UnlinkedParamMixin implements UnlinkedParam {
+class UnlinkedParamBuilder extends Object with _UnlinkedParamMixin implements idl.UnlinkedParam {
   bool _finished = false;
 
   String _name;
   int _nameOffset;
   EntityRefBuilder _type;
   List<UnlinkedParamBuilder> _parameters;
-  UnlinkedParamKind _kind;
+  idl.UnlinkedParamKind _kind;
   bool _isFunctionTyped;
   bool _isInitializingFormal;
   int _inferredTypeSlot;
@@ -4166,12 +3096,12 @@ class UnlinkedParamBuilder extends Object with _UnlinkedParamMixin implements Un
   }
 
   @override
-  UnlinkedParamKind get kind => _kind ??= UnlinkedParamKind.required;
+  idl.UnlinkedParamKind get kind => _kind ??= idl.UnlinkedParamKind.required;
 
   /**
    * Kind of the parameter.
    */
-  void set kind(UnlinkedParamKind _value) {
+  void set kind(idl.UnlinkedParamKind _value) {
     assert(!_finished);
     _kind = _value;
   }
@@ -4219,7 +3149,7 @@ class UnlinkedParamBuilder extends Object with _UnlinkedParamMixin implements Un
     _inferredTypeSlot = _value;
   }
 
-  UnlinkedParamBuilder({String name, int nameOffset, EntityRefBuilder type, List<UnlinkedParamBuilder> parameters, UnlinkedParamKind kind, bool isFunctionTyped, bool isInitializingFormal, int inferredTypeSlot})
+  UnlinkedParamBuilder({String name, int nameOffset, EntityRefBuilder type, List<UnlinkedParamBuilder> parameters, idl.UnlinkedParamKind kind, bool isFunctionTyped, bool isInitializingFormal, int inferredTypeSlot})
     : _name = name,
       _nameOffset = nameOffset,
       _type = type,
@@ -4242,92 +3172,35 @@ class UnlinkedParamBuilder extends Object with _UnlinkedParamMixin implements Un
       offset_type = _type.finish(fbBuilder);
     }
     if (!(_parameters == null || _parameters.isEmpty)) {
-      offset_parameters = fbBuilder.writeList(_parameters.map((b) => b.finish(fbBuilder)).toList());
-    }
-    fbBuilder.startTable();
-    if (offset_name != null) {
-      fbBuilder.addOffset(0, offset_name);
-    }
-    if (_nameOffset != null && _nameOffset != 0) {
-      fbBuilder.addUint32(1, _nameOffset);
-    }
-    if (offset_type != null) {
-      fbBuilder.addOffset(2, offset_type);
-    }
-    if (offset_parameters != null) {
-      fbBuilder.addOffset(3, offset_parameters);
-    }
-    if (_kind != null && _kind != UnlinkedParamKind.required) {
-      fbBuilder.addUint32(4, _kind.index);
-    }
-    if (_isFunctionTyped == true) {
-      fbBuilder.addBool(5, true);
-    }
-    if (_isInitializingFormal == true) {
-      fbBuilder.addBool(6, true);
-    }
-    if (_inferredTypeSlot != null && _inferredTypeSlot != 0) {
-      fbBuilder.addUint32(7, _inferredTypeSlot);
-    }
-    return fbBuilder.endTable();
-  }
-}
-
-/**
- * Unlinked summary information about a function parameter.
- */
-abstract class UnlinkedParam extends base.SummaryClass {
-
-  /**
-   * Name of the parameter.
-   */
-  String get name;
-
-  /**
-   * Offset of the parameter name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * If [isFunctionTyped] is `true`, the declared return type.  If
-   * [isFunctionTyped] is `false`, the declared type.  Absent if the type is
-   * implicit.
-   */
-  EntityRef get type;
-
-  /**
-   * If [isFunctionTyped] is `true`, the parameters of the function type.
-   */
-  List<UnlinkedParam> get parameters;
-
-  /**
-   * Kind of the parameter.
-   */
-  UnlinkedParamKind get kind;
-
-  /**
-   * Indicates whether this is a function-typed parameter.
-   */
-  bool get isFunctionTyped;
-
-  /**
-   * Indicates whether this is an initializing formal parameter (i.e. it is
-   * declared using `this.` syntax).
-   */
-  bool get isInitializingFormal;
-
-  /**
-   * If this parameter's type is inferrable, nonzero slot id identifying which
-   * entry in [LinkedLibrary.types] contains the inferred type.  If there is no
-   * matching entry in [LinkedLibrary.types], then no type was inferred for
-   * this variable, so its static type is `dynamic`.
-   *
-   * Note that although strong mode considers initializing formals to be
-   * inferrable, they are not marked as such in the summary; if their type is
-   * not specified, they always inherit the static type of the corresponding
-   * field.
-   */
-  int get inferredTypeSlot;
+      offset_parameters = fbBuilder.writeList(_parameters.map((b) => b.finish(fbBuilder)).toList());
+    }
+    fbBuilder.startTable();
+    if (offset_name != null) {
+      fbBuilder.addOffset(0, offset_name);
+    }
+    if (_nameOffset != null && _nameOffset != 0) {
+      fbBuilder.addUint32(1, _nameOffset);
+    }
+    if (offset_type != null) {
+      fbBuilder.addOffset(2, offset_type);
+    }
+    if (offset_parameters != null) {
+      fbBuilder.addOffset(3, offset_parameters);
+    }
+    if (_kind != null && _kind != idl.UnlinkedParamKind.required) {
+      fbBuilder.addUint32(4, _kind.index);
+    }
+    if (_isFunctionTyped == true) {
+      fbBuilder.addBool(5, true);
+    }
+    if (_isInitializingFormal == true) {
+      fbBuilder.addBool(6, true);
+    }
+    if (_inferredTypeSlot != null && _inferredTypeSlot != 0) {
+      fbBuilder.addUint32(7, _inferredTypeSlot);
+    }
+    return fbBuilder.endTable();
+  }
 }
 
 class _UnlinkedParamReader extends fb.TableReader<_UnlinkedParamImpl> {
@@ -4337,16 +3210,16 @@ class _UnlinkedParamReader extends fb.TableReader<_UnlinkedParamImpl> {
   _UnlinkedParamImpl createObject(fb.BufferPointer bp) => new _UnlinkedParamImpl(bp);
 }
 
-class _UnlinkedParamImpl extends Object with _UnlinkedParamMixin implements UnlinkedParam {
+class _UnlinkedParamImpl extends Object with _UnlinkedParamMixin implements idl.UnlinkedParam {
   final fb.BufferPointer _bp;
 
   _UnlinkedParamImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  EntityRef _type;
-  List<UnlinkedParam> _parameters;
-  UnlinkedParamKind _kind;
+  idl.EntityRef _type;
+  List<idl.UnlinkedParam> _parameters;
+  idl.UnlinkedParamKind _kind;
   bool _isFunctionTyped;
   bool _isInitializingFormal;
   int _inferredTypeSlot;
@@ -4364,20 +3237,20 @@ class _UnlinkedParamImpl extends Object with _UnlinkedParamMixin implements Unli
   }
 
   @override
-  EntityRef get type {
+  idl.EntityRef get type {
     _type ??= const _EntityRefReader().vTableGet(_bp, 2, null);
     return _type;
   }
 
   @override
-  List<UnlinkedParam> get parameters {
-    _parameters ??= const fb.ListReader<UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 3, const <UnlinkedParam>[]);
+  List<idl.UnlinkedParam> get parameters {
+    _parameters ??= const fb.ListReader<idl.UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 3, const <idl.UnlinkedParam>[]);
     return _parameters;
   }
 
   @override
-  UnlinkedParamKind get kind {
-    _kind ??= const _UnlinkedParamKindReader().vTableGet(_bp, 4, UnlinkedParamKind.required);
+  idl.UnlinkedParamKind get kind {
+    _kind ??= const _UnlinkedParamKindReader().vTableGet(_bp, 4, idl.UnlinkedParamKind.required);
     return _kind;
   }
 
@@ -4400,7 +3273,7 @@ class _UnlinkedParamImpl extends Object with _UnlinkedParamMixin implements Unli
   }
 }
 
-abstract class _UnlinkedParamMixin implements UnlinkedParam {
+abstract class _UnlinkedParamMixin implements idl.UnlinkedParam {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -4414,7 +3287,7 @@ abstract class _UnlinkedParamMixin implements UnlinkedParam {
   };
 }
 
-class UnlinkedPartBuilder extends Object with _UnlinkedPartMixin implements UnlinkedPart {
+class UnlinkedPartBuilder extends Object with _UnlinkedPartMixin implements idl.UnlinkedPart {
   bool _finished = false;
 
   int _uriOffset;
@@ -4464,24 +3337,6 @@ class UnlinkedPartBuilder extends Object with _UnlinkedPartMixin implements Unli
   }
 }
 
-/**
- * Unlinked summary information about a part declaration.
- */
-abstract class UnlinkedPart extends base.SummaryClass {
-
-  /**
-   * Offset of the URI string (including quotes) relative to the beginning of
-   * the file.
-   */
-  int get uriOffset;
-
-  /**
-   * End of the URI string (including quotes) relative to the beginning of the
-   * file.
-   */
-  int get uriEnd;
-}
-
 class _UnlinkedPartReader extends fb.TableReader<_UnlinkedPartImpl> {
   const _UnlinkedPartReader();
 
@@ -4489,7 +3344,7 @@ class _UnlinkedPartReader extends fb.TableReader<_UnlinkedPartImpl> {
   _UnlinkedPartImpl createObject(fb.BufferPointer bp) => new _UnlinkedPartImpl(bp);
 }
 
-class _UnlinkedPartImpl extends Object with _UnlinkedPartMixin implements UnlinkedPart {
+class _UnlinkedPartImpl extends Object with _UnlinkedPartMixin implements idl.UnlinkedPart {
   final fb.BufferPointer _bp;
 
   _UnlinkedPartImpl(this._bp);
@@ -4510,7 +3365,7 @@ class _UnlinkedPartImpl extends Object with _UnlinkedPartMixin implements Unlink
   }
 }
 
-abstract class _UnlinkedPartMixin implements UnlinkedPart {
+abstract class _UnlinkedPartMixin implements idl.UnlinkedPart {
   @override
   Map<String, Object> toMap() => {
     "uriOffset": uriOffset,
@@ -4518,11 +3373,11 @@ abstract class _UnlinkedPartMixin implements UnlinkedPart {
   };
 }
 
-class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin implements UnlinkedPublicName {
+class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin implements idl.UnlinkedPublicName {
   bool _finished = false;
 
   String _name;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
   int _numTypeParameters;
   List<UnlinkedPublicNameBuilder> _constMembers;
 
@@ -4538,12 +3393,12 @@ class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin imp
   }
 
   @override
-  ReferenceKind get kind => _kind ??= ReferenceKind.classOrEnum;
+  idl.ReferenceKind get kind => _kind ??= idl.ReferenceKind.classOrEnum;
 
   /**
    * The kind of object referred to by the name.
    */
-  void set kind(ReferenceKind _value) {
+  void set kind(idl.ReferenceKind _value) {
     assert(!_finished);
     _kind = _value;
   }
@@ -4574,7 +3429,7 @@ class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin imp
     _constMembers = _value;
   }
 
-  UnlinkedPublicNameBuilder({String name, ReferenceKind kind, int numTypeParameters, List<UnlinkedPublicNameBuilder> constMembers})
+  UnlinkedPublicNameBuilder({String name, idl.ReferenceKind kind, int numTypeParameters, List<UnlinkedPublicNameBuilder> constMembers})
     : _name = name,
       _kind = kind,
       _numTypeParameters = numTypeParameters,
@@ -4595,7 +3450,7 @@ class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin imp
     if (offset_name != null) {
       fbBuilder.addOffset(0, offset_name);
     }
-    if (_kind != null && _kind != ReferenceKind.classOrEnum) {
+    if (_kind != null && _kind != idl.ReferenceKind.classOrEnum) {
       fbBuilder.addUint32(1, _kind.index);
     }
     if (_numTypeParameters != null && _numTypeParameters != 0) {
@@ -4608,40 +3463,6 @@ class UnlinkedPublicNameBuilder extends Object with _UnlinkedPublicNameMixin imp
   }
 }
 
-/**
- * Unlinked summary information about a specific name contributed by a
- * compilation unit to a library's public namespace.
- *
- * TODO(paulberry): some of this information is redundant with information
- * elsewhere in the summary.  Consider reducing the redundancy to reduce
- * summary size.
- */
-abstract class UnlinkedPublicName extends base.SummaryClass {
-
-  /**
-   * The name itself.
-   */
-  String get name;
-
-  /**
-   * The kind of object referred to by the name.
-   */
-  ReferenceKind get kind;
-
-  /**
-   * If the entity being referred to is generic, the number of type parameters
-   * it accepts.  Otherwise zero.
-   */
-  int get numTypeParameters;
-
-  /**
-   * If this [UnlinkedPublicName] is a class, the list of members which can be
-   * referenced from constants - static constant fields, static methods, and
-   * constructors.  Otherwise empty.
-   */
-  List<UnlinkedPublicName> get constMembers;
-}
-
 class _UnlinkedPublicNameReader extends fb.TableReader<_UnlinkedPublicNameImpl> {
   const _UnlinkedPublicNameReader();
 
@@ -4649,15 +3470,15 @@ class _UnlinkedPublicNameReader extends fb.TableReader<_UnlinkedPublicNameImpl>
   _UnlinkedPublicNameImpl createObject(fb.BufferPointer bp) => new _UnlinkedPublicNameImpl(bp);
 }
 
-class _UnlinkedPublicNameImpl extends Object with _UnlinkedPublicNameMixin implements UnlinkedPublicName {
+class _UnlinkedPublicNameImpl extends Object with _UnlinkedPublicNameMixin implements idl.UnlinkedPublicName {
   final fb.BufferPointer _bp;
 
   _UnlinkedPublicNameImpl(this._bp);
 
   String _name;
-  ReferenceKind _kind;
+  idl.ReferenceKind _kind;
   int _numTypeParameters;
-  List<UnlinkedPublicName> _constMembers;
+  List<idl.UnlinkedPublicName> _constMembers;
 
   @override
   String get name {
@@ -4666,8 +3487,8 @@ class _UnlinkedPublicNameImpl extends Object with _UnlinkedPublicNameMixin imple
   }
 
   @override
-  ReferenceKind get kind {
-    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 1, ReferenceKind.classOrEnum);
+  idl.ReferenceKind get kind {
+    _kind ??= const _ReferenceKindReader().vTableGet(_bp, 1, idl.ReferenceKind.classOrEnum);
     return _kind;
   }
 
@@ -4678,13 +3499,13 @@ class _UnlinkedPublicNameImpl extends Object with _UnlinkedPublicNameMixin imple
   }
 
   @override
-  List<UnlinkedPublicName> get constMembers {
-    _constMembers ??= const fb.ListReader<UnlinkedPublicName>(const _UnlinkedPublicNameReader()).vTableGet(_bp, 3, const <UnlinkedPublicName>[]);
+  List<idl.UnlinkedPublicName> get constMembers {
+    _constMembers ??= const fb.ListReader<idl.UnlinkedPublicName>(const _UnlinkedPublicNameReader()).vTableGet(_bp, 3, const <idl.UnlinkedPublicName>[]);
     return _constMembers;
   }
 }
 
-abstract class _UnlinkedPublicNameMixin implements UnlinkedPublicName {
+abstract class _UnlinkedPublicNameMixin implements idl.UnlinkedPublicName {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -4694,7 +3515,7 @@ abstract class _UnlinkedPublicNameMixin implements UnlinkedPublicName {
   };
 }
 
-class UnlinkedPublicNamespaceBuilder extends Object with _UnlinkedPublicNamespaceMixin implements UnlinkedPublicNamespace {
+class UnlinkedPublicNamespaceBuilder extends Object with _UnlinkedPublicNamespaceMixin implements idl.UnlinkedPublicNamespace {
   bool _finished = false;
 
   List<UnlinkedPublicNameBuilder> _names;
@@ -4776,34 +3597,9 @@ class UnlinkedPublicNamespaceBuilder extends Object with _UnlinkedPublicNamespac
   }
 }
 
-/**
- * Unlinked summary information about what a compilation unit contributes to a
- * library's public namespace.  This is the subset of [UnlinkedUnit] that is
- * required from dependent libraries in order to perform prelinking.
- */
-abstract class UnlinkedPublicNamespace extends base.SummaryClass {
-  factory UnlinkedPublicNamespace.fromBuffer(List<int> buffer) {
-    fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
-    return const _UnlinkedPublicNamespaceReader().read(rootRef);
-  }
-
-  /**
-   * Public names defined in the compilation unit.
-   *
-   * TODO(paulberry): consider sorting these names to reduce unnecessary
-   * relinking.
-   */
-  List<UnlinkedPublicName> get names;
-
-  /**
-   * Export declarations in the compilation unit.
-   */
-  List<UnlinkedExportPublic> get exports;
-
-  /**
-   * URIs referenced by part declarations in the compilation unit.
-   */
-  List<String> get parts;
+idl.UnlinkedPublicNamespace readUnlinkedPublicNamespace(List<int> buffer) {
+  fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
+  return const _UnlinkedPublicNamespaceReader().read(rootRef);
 }
 
 class _UnlinkedPublicNamespaceReader extends fb.TableReader<_UnlinkedPublicNamespaceImpl> {
@@ -4813,24 +3609,24 @@ class _UnlinkedPublicNamespaceReader extends fb.TableReader<_UnlinkedPublicNames
   _UnlinkedPublicNamespaceImpl createObject(fb.BufferPointer bp) => new _UnlinkedPublicNamespaceImpl(bp);
 }
 
-class _UnlinkedPublicNamespaceImpl extends Object with _UnlinkedPublicNamespaceMixin implements UnlinkedPublicNamespace {
+class _UnlinkedPublicNamespaceImpl extends Object with _UnlinkedPublicNamespaceMixin implements idl.UnlinkedPublicNamespace {
   final fb.BufferPointer _bp;
 
   _UnlinkedPublicNamespaceImpl(this._bp);
 
-  List<UnlinkedPublicName> _names;
-  List<UnlinkedExportPublic> _exports;
+  List<idl.UnlinkedPublicName> _names;
+  List<idl.UnlinkedExportPublic> _exports;
   List<String> _parts;
 
   @override
-  List<UnlinkedPublicName> get names {
-    _names ??= const fb.ListReader<UnlinkedPublicName>(const _UnlinkedPublicNameReader()).vTableGet(_bp, 0, const <UnlinkedPublicName>[]);
+  List<idl.UnlinkedPublicName> get names {
+    _names ??= const fb.ListReader<idl.UnlinkedPublicName>(const _UnlinkedPublicNameReader()).vTableGet(_bp, 0, const <idl.UnlinkedPublicName>[]);
     return _names;
   }
 
   @override
-  List<UnlinkedExportPublic> get exports {
-    _exports ??= const fb.ListReader<UnlinkedExportPublic>(const _UnlinkedExportPublicReader()).vTableGet(_bp, 1, const <UnlinkedExportPublic>[]);
+  List<idl.UnlinkedExportPublic> get exports {
+    _exports ??= const fb.ListReader<idl.UnlinkedExportPublic>(const _UnlinkedExportPublicReader()).vTableGet(_bp, 1, const <idl.UnlinkedExportPublic>[]);
     return _exports;
   }
 
@@ -4841,7 +3637,7 @@ class _UnlinkedPublicNamespaceImpl extends Object with _UnlinkedPublicNamespaceM
   }
 }
 
-abstract class _UnlinkedPublicNamespaceMixin implements UnlinkedPublicNamespace {
+abstract class _UnlinkedPublicNamespaceMixin implements idl.UnlinkedPublicNamespace {
   @override
   Map<String, Object> toMap() => {
     "names": names,
@@ -4850,7 +3646,7 @@ abstract class _UnlinkedPublicNamespaceMixin implements UnlinkedPublicNamespace
   };
 }
 
-class UnlinkedReferenceBuilder extends Object with _UnlinkedReferenceMixin implements UnlinkedReference {
+class UnlinkedReferenceBuilder extends Object with _UnlinkedReferenceMixin implements idl.UnlinkedReference {
   bool _finished = false;
 
   String _name;
@@ -4907,29 +3703,6 @@ class UnlinkedReferenceBuilder extends Object with _UnlinkedReferenceMixin imple
   }
 }
 
-/**
- * Unlinked summary information about a name referred to in one library that
- * might be defined in another.
- */
-abstract class UnlinkedReference extends base.SummaryClass {
-
-  /**
-   * Name of the entity being referred to.  For the pseudo-type `dynamic`, the
-   * string is "dynamic".  For the pseudo-type `void`, the string is "void".
-   */
-  String get name;
-
-  /**
-   * Prefix used to refer to the entity, or zero if no prefix is used.  This is
-   * an index into [UnlinkedUnit.references].
-   *
-   * Prefix references must always point backward; that is, for all i, if
-   * UnlinkedUnit.references[i].prefixReference != 0, then
-   * UnlinkedUnit.references[i].prefixReference < i.
-   */
-  int get prefixReference;
-}
-
 class _UnlinkedReferenceReader extends fb.TableReader<_UnlinkedReferenceImpl> {
   const _UnlinkedReferenceReader();
 
@@ -4937,7 +3710,7 @@ class _UnlinkedReferenceReader extends fb.TableReader<_UnlinkedReferenceImpl> {
   _UnlinkedReferenceImpl createObject(fb.BufferPointer bp) => new _UnlinkedReferenceImpl(bp);
 }
 
-class _UnlinkedReferenceImpl extends Object with _UnlinkedReferenceMixin implements UnlinkedReference {
+class _UnlinkedReferenceImpl extends Object with _UnlinkedReferenceMixin implements idl.UnlinkedReference {
   final fb.BufferPointer _bp;
 
   _UnlinkedReferenceImpl(this._bp);
@@ -4958,7 +3731,7 @@ class _UnlinkedReferenceImpl extends Object with _UnlinkedReferenceMixin impleme
   }
 }
 
-abstract class _UnlinkedReferenceMixin implements UnlinkedReference {
+abstract class _UnlinkedReferenceMixin implements idl.UnlinkedReference {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -4966,7 +3739,7 @@ abstract class _UnlinkedReferenceMixin implements UnlinkedReference {
   };
 }
 
-class UnlinkedTypedefBuilder extends Object with _UnlinkedTypedefMixin implements UnlinkedTypedef {
+class UnlinkedTypedefBuilder extends Object with _UnlinkedTypedefMixin implements idl.UnlinkedTypedef {
   bool _finished = false;
 
   String _name;
@@ -5098,43 +3871,6 @@ class UnlinkedTypedefBuilder extends Object with _UnlinkedTypedefMixin implement
   }
 }
 
-/**
- * Unlinked summary information about a typedef declaration.
- */
-abstract class UnlinkedTypedef extends base.SummaryClass {
-
-  /**
-   * Name of the typedef.
-   */
-  String get name;
-
-  /**
-   * Offset of the typedef name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the typedef, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-
-  /**
-   * Type parameters of the typedef, if any.
-   */
-  List<UnlinkedTypeParam> get typeParameters;
-
-  /**
-   * Return type of the typedef.
-   */
-  EntityRef get returnType;
-
-  /**
-   * Parameters of the executable, if any.
-   */
-  List<UnlinkedParam> get parameters;
-}
-
 class _UnlinkedTypedefReader extends fb.TableReader<_UnlinkedTypedefImpl> {
   const _UnlinkedTypedefReader();
 
@@ -5142,17 +3878,17 @@ class _UnlinkedTypedefReader extends fb.TableReader<_UnlinkedTypedefImpl> {
   _UnlinkedTypedefImpl createObject(fb.BufferPointer bp) => new _UnlinkedTypedefImpl(bp);
 }
 
-class _UnlinkedTypedefImpl extends Object with _UnlinkedTypedefMixin implements UnlinkedTypedef {
+class _UnlinkedTypedefImpl extends Object with _UnlinkedTypedefMixin implements idl.UnlinkedTypedef {
   final fb.BufferPointer _bp;
 
   _UnlinkedTypedefImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
-  List<UnlinkedTypeParam> _typeParameters;
-  EntityRef _returnType;
-  List<UnlinkedParam> _parameters;
+  idl.UnlinkedDocumentationComment _documentationComment;
+  List<idl.UnlinkedTypeParam> _typeParameters;
+  idl.EntityRef _returnType;
+  List<idl.UnlinkedParam> _parameters;
 
   @override
   String get name {
@@ -5167,31 +3903,31 @@ class _UnlinkedTypedefImpl extends Object with _UnlinkedTypedefMixin implements
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 
   @override
-  List<UnlinkedTypeParam> get typeParameters {
-    _typeParameters ??= const fb.ListReader<UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <UnlinkedTypeParam>[]);
+  List<idl.UnlinkedTypeParam> get typeParameters {
+    _typeParameters ??= const fb.ListReader<idl.UnlinkedTypeParam>(const _UnlinkedTypeParamReader()).vTableGet(_bp, 3, const <idl.UnlinkedTypeParam>[]);
     return _typeParameters;
   }
 
   @override
-  EntityRef get returnType {
+  idl.EntityRef get returnType {
     _returnType ??= const _EntityRefReader().vTableGet(_bp, 4, null);
     return _returnType;
   }
 
   @override
-  List<UnlinkedParam> get parameters {
-    _parameters ??= const fb.ListReader<UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 5, const <UnlinkedParam>[]);
+  List<idl.UnlinkedParam> get parameters {
+    _parameters ??= const fb.ListReader<idl.UnlinkedParam>(const _UnlinkedParamReader()).vTableGet(_bp, 5, const <idl.UnlinkedParam>[]);
     return _parameters;
   }
 }
 
-abstract class _UnlinkedTypedefMixin implements UnlinkedTypedef {
+abstract class _UnlinkedTypedefMixin implements idl.UnlinkedTypedef {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -5203,7 +3939,7 @@ abstract class _UnlinkedTypedefMixin implements UnlinkedTypedef {
   };
 }
 
-class UnlinkedTypeParamBuilder extends Object with _UnlinkedTypeParamMixin implements UnlinkedTypeParam {
+class UnlinkedTypeParamBuilder extends Object with _UnlinkedTypeParamMixin implements idl.UnlinkedTypeParam {
   bool _finished = false;
 
   String _name;
@@ -5275,28 +4011,6 @@ class UnlinkedTypeParamBuilder extends Object with _UnlinkedTypeParamMixin imple
   }
 }
 
-/**
- * Unlinked summary information about a type parameter declaration.
- */
-abstract class UnlinkedTypeParam extends base.SummaryClass {
-
-  /**
-   * Name of the type parameter.
-   */
-  String get name;
-
-  /**
-   * Offset of the type parameter name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Bound of the type parameter, if a bound is explicitly declared.  Otherwise
-   * null.
-   */
-  EntityRef get bound;
-}
-
 class _UnlinkedTypeParamReader extends fb.TableReader<_UnlinkedTypeParamImpl> {
   const _UnlinkedTypeParamReader();
 
@@ -5304,14 +4018,14 @@ class _UnlinkedTypeParamReader extends fb.TableReader<_UnlinkedTypeParamImpl> {
   _UnlinkedTypeParamImpl createObject(fb.BufferPointer bp) => new _UnlinkedTypeParamImpl(bp);
 }
 
-class _UnlinkedTypeParamImpl extends Object with _UnlinkedTypeParamMixin implements UnlinkedTypeParam {
+class _UnlinkedTypeParamImpl extends Object with _UnlinkedTypeParamMixin implements idl.UnlinkedTypeParam {
   final fb.BufferPointer _bp;
 
   _UnlinkedTypeParamImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  EntityRef _bound;
+  idl.EntityRef _bound;
 
   @override
   String get name {
@@ -5326,13 +4040,13 @@ class _UnlinkedTypeParamImpl extends Object with _UnlinkedTypeParamMixin impleme
   }
 
   @override
-  EntityRef get bound {
+  idl.EntityRef get bound {
     _bound ??= const _EntityRefReader().vTableGet(_bp, 2, null);
     return _bound;
   }
 }
 
-abstract class _UnlinkedTypeParamMixin implements UnlinkedTypeParam {
+abstract class _UnlinkedTypeParamMixin implements idl.UnlinkedTypeParam {
   @override
   Map<String, Object> toMap() => {
     "name": name,
@@ -5341,7 +4055,7 @@ abstract class _UnlinkedTypeParamMixin implements UnlinkedTypeParam {
   };
 }
 
-class UnlinkedUnitBuilder extends Object with _UnlinkedUnitMixin implements UnlinkedUnit {
+class UnlinkedUnitBuilder extends Object with _UnlinkedUnitMixin implements idl.UnlinkedUnit {
   bool _finished = false;
 
   String _libraryName;
@@ -5642,92 +4356,9 @@ class UnlinkedUnitBuilder extends Object with _UnlinkedUnitMixin implements Unli
   }
 }
 
-/**
- * Unlinked summary information about a compilation unit ("part file").
- */
-abstract class UnlinkedUnit extends base.SummaryClass {
-  factory UnlinkedUnit.fromBuffer(List<int> buffer) {
-    fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
-    return const _UnlinkedUnitReader().read(rootRef);
-  }
-
-  /**
-   * Name of the library (from a "library" declaration, if present).
-   */
-  String get libraryName;
-
-  /**
-   * Offset of the library name relative to the beginning of the file (or 0 if
-   * the library has no name).
-   */
-  int get libraryNameOffset;
-
-  /**
-   * Length of the library name as it appears in the source code (or 0 if the
-   * library has no name).
-   */
-  int get libraryNameLength;
-
-  /**
-   * Documentation comment for the library, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get libraryDocumentationComment;
-
-  /**
-   * Unlinked public namespace of this compilation unit.
-   */
-  UnlinkedPublicNamespace get publicNamespace;
-
-  /**
-   * Top level and prefixed names referred to by this compilation unit.  The
-   * zeroth element of this array is always populated and is used to represent
-   * the absence of a reference in places where a reference is optional (for
-   * example [UnlinkedReference.prefixReference or
-   * UnlinkedImport.prefixReference]).
-   */
-  List<UnlinkedReference> get references;
-
-  /**
-   * Classes declared in the compilation unit.
-   */
-  List<UnlinkedClass> get classes;
-
-  /**
-   * Enums declared in the compilation unit.
-   */
-  List<UnlinkedEnum> get enums;
-
-  /**
-   * Top level executable objects (functions, getters, and setters) declared in
-   * the compilation unit.
-   */
-  List<UnlinkedExecutable> get executables;
-
-  /**
-   * Export declarations in the compilation unit.
-   */
-  List<UnlinkedExportNonPublic> get exports;
-
-  /**
-   * Import declarations in the compilation unit.
-   */
-  List<UnlinkedImport> get imports;
-
-  /**
-   * Part declarations in the compilation unit.
-   */
-  List<UnlinkedPart> get parts;
-
-  /**
-   * Typedefs declared in the compilation unit.
-   */
-  List<UnlinkedTypedef> get typedefs;
-
-  /**
-   * Top level variables declared in the compilation unit.
-   */
-  List<UnlinkedVariable> get variables;
+idl.UnlinkedUnit readUnlinkedUnit(List<int> buffer) {
+  fb.BufferPointer rootRef = new fb.BufferPointer.fromBytes(buffer);
+  return const _UnlinkedUnitReader().read(rootRef);
 }
 
 class _UnlinkedUnitReader extends fb.TableReader<_UnlinkedUnitImpl> {
@@ -5737,7 +4368,7 @@ class _UnlinkedUnitReader extends fb.TableReader<_UnlinkedUnitImpl> {
   _UnlinkedUnitImpl createObject(fb.BufferPointer bp) => new _UnlinkedUnitImpl(bp);
 }
 
-class _UnlinkedUnitImpl extends Object with _UnlinkedUnitMixin implements UnlinkedUnit {
+class _UnlinkedUnitImpl extends Object with _UnlinkedUnitMixin implements idl.UnlinkedUnit {
   final fb.BufferPointer _bp;
 
   _UnlinkedUnitImpl(this._bp);
@@ -5745,17 +4376,17 @@ class _UnlinkedUnitImpl extends Object with _UnlinkedUnitMixin implements Unlink
   String _libraryName;
   int _libraryNameOffset;
   int _libraryNameLength;
-  UnlinkedDocumentationComment _libraryDocumentationComment;
-  UnlinkedPublicNamespace _publicNamespace;
-  List<UnlinkedReference> _references;
-  List<UnlinkedClass> _classes;
-  List<UnlinkedEnum> _enums;
-  List<UnlinkedExecutable> _executables;
-  List<UnlinkedExportNonPublic> _exports;
-  List<UnlinkedImport> _imports;
-  List<UnlinkedPart> _parts;
-  List<UnlinkedTypedef> _typedefs;
-  List<UnlinkedVariable> _variables;
+  idl.UnlinkedDocumentationComment _libraryDocumentationComment;
+  idl.UnlinkedPublicNamespace _publicNamespace;
+  List<idl.UnlinkedReference> _references;
+  List<idl.UnlinkedClass> _classes;
+  List<idl.UnlinkedEnum> _enums;
+  List<idl.UnlinkedExecutable> _executables;
+  List<idl.UnlinkedExportNonPublic> _exports;
+  List<idl.UnlinkedImport> _imports;
+  List<idl.UnlinkedPart> _parts;
+  List<idl.UnlinkedTypedef> _typedefs;
+  List<idl.UnlinkedVariable> _variables;
 
   @override
   String get libraryName {
@@ -5776,73 +4407,73 @@ class _UnlinkedUnitImpl extends Object with _UnlinkedUnitMixin implements Unlink
   }
 
   @override
-  UnlinkedDocumentationComment get libraryDocumentationComment {
+  idl.UnlinkedDocumentationComment get libraryDocumentationComment {
     _libraryDocumentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 3, null);
     return _libraryDocumentationComment;
   }
 
   @override
-  UnlinkedPublicNamespace get publicNamespace {
+  idl.UnlinkedPublicNamespace get publicNamespace {
     _publicNamespace ??= const _UnlinkedPublicNamespaceReader().vTableGet(_bp, 4, null);
     return _publicNamespace;
   }
 
   @override
-  List<UnlinkedReference> get references {
-    _references ??= const fb.ListReader<UnlinkedReference>(const _UnlinkedReferenceReader()).vTableGet(_bp, 5, const <UnlinkedReference>[]);
+  List<idl.UnlinkedReference> get references {
+    _references ??= const fb.ListReader<idl.UnlinkedReference>(const _UnlinkedReferenceReader()).vTableGet(_bp, 5, const <idl.UnlinkedReference>[]);
     return _references;
   }
 
   @override
-  List<UnlinkedClass> get classes {
-    _classes ??= const fb.ListReader<UnlinkedClass>(const _UnlinkedClassReader()).vTableGet(_bp, 6, const <UnlinkedClass>[]);
+  List<idl.UnlinkedClass> get classes {
+    _classes ??= const fb.ListReader<idl.UnlinkedClass>(const _UnlinkedClassReader()).vTableGet(_bp, 6, const <idl.UnlinkedClass>[]);
     return _classes;
   }
 
   @override
-  List<UnlinkedEnum> get enums {
-    _enums ??= const fb.ListReader<UnlinkedEnum>(const _UnlinkedEnumReader()).vTableGet(_bp, 7, const <UnlinkedEnum>[]);
+  List<idl.UnlinkedEnum> get enums {
+    _enums ??= const fb.ListReader<idl.UnlinkedEnum>(const _UnlinkedEnumReader()).vTableGet(_bp, 7, const <idl.UnlinkedEnum>[]);
     return _enums;
   }
 
   @override
-  List<UnlinkedExecutable> get executables {
-    _executables ??= const fb.ListReader<UnlinkedExecutable>(const _UnlinkedExecutableReader()).vTableGet(_bp, 8, const <UnlinkedExecutable>[]);
+  List<idl.UnlinkedExecutable> get executables {
+    _executables ??= const fb.ListReader<idl.UnlinkedExecutable>(const _UnlinkedExecutableReader()).vTableGet(_bp, 8, const <idl.UnlinkedExecutable>[]);
     return _executables;
   }
 
   @override
-  List<UnlinkedExportNonPublic> get exports {
-    _exports ??= const fb.ListReader<UnlinkedExportNonPublic>(const _UnlinkedExportNonPublicReader()).vTableGet(_bp, 9, const <UnlinkedExportNonPublic>[]);
+  List<idl.UnlinkedExportNonPublic> get exports {
+    _exports ??= const fb.ListReader<idl.UnlinkedExportNonPublic>(const _UnlinkedExportNonPublicReader()).vTableGet(_bp, 9, const <idl.UnlinkedExportNonPublic>[]);
     return _exports;
   }
 
   @override
-  List<UnlinkedImport> get imports {
-    _imports ??= const fb.ListReader<UnlinkedImport>(const _UnlinkedImportReader()).vTableGet(_bp, 10, const <UnlinkedImport>[]);
+  List<idl.UnlinkedImport> get imports {
+    _imports ??= const fb.ListReader<idl.UnlinkedImport>(const _UnlinkedImportReader()).vTableGet(_bp, 10, const <idl.UnlinkedImport>[]);
     return _imports;
   }
 
   @override
-  List<UnlinkedPart> get parts {
-    _parts ??= const fb.ListReader<UnlinkedPart>(const _UnlinkedPartReader()).vTableGet(_bp, 11, const <UnlinkedPart>[]);
+  List<idl.UnlinkedPart> get parts {
+    _parts ??= const fb.ListReader<idl.UnlinkedPart>(const _UnlinkedPartReader()).vTableGet(_bp, 11, const <idl.UnlinkedPart>[]);
     return _parts;
   }
 
   @override
-  List<UnlinkedTypedef> get typedefs {
-    _typedefs ??= const fb.ListReader<UnlinkedTypedef>(const _UnlinkedTypedefReader()).vTableGet(_bp, 12, const <UnlinkedTypedef>[]);
+  List<idl.UnlinkedTypedef> get typedefs {
+    _typedefs ??= const fb.ListReader<idl.UnlinkedTypedef>(const _UnlinkedTypedefReader()).vTableGet(_bp, 12, const <idl.UnlinkedTypedef>[]);
     return _typedefs;
   }
 
   @override
-  List<UnlinkedVariable> get variables {
-    _variables ??= const fb.ListReader<UnlinkedVariable>(const _UnlinkedVariableReader()).vTableGet(_bp, 13, const <UnlinkedVariable>[]);
+  List<idl.UnlinkedVariable> get variables {
+    _variables ??= const fb.ListReader<idl.UnlinkedVariable>(const _UnlinkedVariableReader()).vTableGet(_bp, 13, const <idl.UnlinkedVariable>[]);
     return _variables;
   }
 }
 
-abstract class _UnlinkedUnitMixin implements UnlinkedUnit {
+abstract class _UnlinkedUnitMixin implements idl.UnlinkedUnit {
   @override
   Map<String, Object> toMap() => {
     "libraryName": libraryName,
@@ -5862,7 +4493,7 @@ abstract class _UnlinkedUnitMixin implements UnlinkedUnit {
   };
 }
 
-class UnlinkedVariableBuilder extends Object with _UnlinkedVariableMixin implements UnlinkedVariable {
+class UnlinkedVariableBuilder extends Object with _UnlinkedVariableMixin implements idl.UnlinkedVariable {
   bool _finished = false;
 
   String _name;
@@ -6069,77 +4700,6 @@ class UnlinkedVariableBuilder extends Object with _UnlinkedVariableMixin impleme
   }
 }
 
-/**
- * Unlinked summary information about a top level variable, local variable, or
- * a field.
- */
-abstract class UnlinkedVariable extends base.SummaryClass {
-
-  /**
-   * Name of the variable.
-   */
-  String get name;
-
-  /**
-   * Offset of the variable name relative to the beginning of the file.
-   */
-  int get nameOffset;
-
-  /**
-   * Documentation comment for the variable, or `null` if there is no
-   * documentation comment.
-   */
-  UnlinkedDocumentationComment get documentationComment;
-
-  /**
-   * Declared type of the variable.  Absent if the type is implicit.
-   */
-  EntityRef get type;
-
-  /**
-   * If [isConst] is true, and the variable has an initializer, the constant
-   * expression in the initializer.
-   */
-  UnlinkedConst get constExpr;
-
-  /**
-   * Indicates whether the variable is declared using the `static` keyword.
-   *
-   * Note that for top level variables, this flag is false, since they are not
-   * declared using the `static` keyword (even though they are considered
-   * static for semantic purposes).
-   */
-  bool get isStatic;
-
-  /**
-   * Indicates whether the variable is declared using the `final` keyword.
-   */
-  bool get isFinal;
-
-  /**
-   * Indicates whether the variable is declared using the `const` keyword.
-   */
-  bool get isConst;
-
-  /**
-   * If this variable is propagable, nonzero slot id identifying which entry in
-   * [LinkedLibrary.types] contains the propagated type for this variable.  If
-   * there is no matching entry in [LinkedLibrary.types], then this variable's
-   * propagated type is the same as its declared type.
-   *
-   * Non-propagable variables have a [propagatedTypeSlot] of zero.
-   */
-  int get propagatedTypeSlot;
-
-  /**
-   * If this variable is inferrable, nonzero slot id identifying which entry in
-   * [LinkedLibrary.types] contains the inferred type for this variable.  If
-   * there is no matching entry in [LinkedLibrary.types], then no type was
-   * inferred for this variable, so its static type is `dynamic`.
-   */
-  int get inferredTypeSlot;
-}
-
 class _UnlinkedVariableReader extends fb.TableReader<_UnlinkedVariableImpl> {
   const _UnlinkedVariableReader();
 
@@ -6147,16 +4707,16 @@ class _UnlinkedVariableReader extends fb.TableReader<_UnlinkedVariableImpl> {
   _UnlinkedVariableImpl createObject(fb.BufferPointer bp) => new _UnlinkedVariableImpl(bp);
 }
 
-class _UnlinkedVariableImpl extends Object with _UnlinkedVariableMixin implements UnlinkedVariable {
+class _UnlinkedVariableImpl extends Object with _UnlinkedVariableMixin implements idl.UnlinkedVariable {
   final fb.BufferPointer _bp;
 
   _UnlinkedVariableImpl(this._bp);
 
   String _name;
   int _nameOffset;
-  UnlinkedDocumentationComment _documentationComment;
-  EntityRef _type;
-  UnlinkedConst _constExpr;
+  idl.UnlinkedDocumentationComment _documentationComment;
+  idl.EntityRef _type;
+  idl.UnlinkedConst _constExpr;
   bool _isStatic;
   bool _isFinal;
   bool _isConst;
@@ -6176,19 +4736,19 @@ class _UnlinkedVariableImpl extends Object with _UnlinkedVariableMixin implement
   }
 
   @override
-  UnlinkedDocumentationComment get documentationComment {
+  idl.UnlinkedDocumentationComment get documentationComment {
     _documentationComment ??= const _UnlinkedDocumentationCommentReader().vTableGet(_bp, 2, null);
     return _documentationComment;
   }
 
   @override
-  EntityRef get type {
+  idl.EntityRef get type {
     _type ??= const _EntityRefReader().vTableGet(_bp, 3, null);
     return _type;
   }
 
   @override
-  UnlinkedConst get constExpr {
+  idl.UnlinkedConst get constExpr {
     _constExpr ??= const _UnlinkedConstReader().vTableGet(_bp, 4, null);
     return _constExpr;
   }
@@ -6224,7 +4784,7 @@ class _UnlinkedVariableImpl extends Object with _UnlinkedVariableMixin implement
   }
 }
 
-abstract class _UnlinkedVariableMixin implements UnlinkedVariable {
+abstract class _UnlinkedVariableMixin implements idl.UnlinkedVariable {
   @override
   Map<String, Object> toMap() => {
     "name": name,