Sort members in idl.dart.

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

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * This file is an "idl" style description of the summary format.  It
  * contains abstract classes which declare the interface for reading data from
  * summaries.  It is parsed and transformed into code that implements the
  * summary format.
  *
@@ skipping 58 matching lines @@
  * encoded summary.
  */
 const topLevel = null;
 
 /**
  * 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.
+   * 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.
    *
-   * Otherwise zero.
+   * 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.
    */
-  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;
+  List<int> get implicitFunctionTypeIndices;
 
   /**
    * 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.
+   * 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 [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.
    *
-   * 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.
+   * Otherwise zero.
    */
-  List<int> get implicitFunctionTypeIndices;
+  int get slot;
 
   /**
    * 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;
 }
 
 /**
  * Information about a dependency that exists between one library and another
  * due to an "import" declaration.
  */
 abstract class LinkedDependency extends base.SummaryClass {
   /**
+   * URI for the compilation units listed in the library's `part` declarations.
+   * These URIs are relative to the importing library.
+   */
+  List<String> get parts;
+
+  /**
    * 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;
 }
 
 /**
  * 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 {
   /**
+   * Index into [LinkedLibrary.dependencies] for the library in which the
+   * entity is defined.
+   */
+  int get dependency;
+
+  /**
+   * The kind of the entity being referred to.
+   */
+  ReferenceKind get kind;
+
+  /**
    * 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;
 }
 
 /**
  * Linked summary of a library.
  */
 @topLevel
 abstract class LinkedLibrary extends base.SummaryClass {
   factory LinkedLibrary.fromBuffer(List<int> buffer) =>
       generated.readLinkedLibrary(buffer);
 
   /**
-   * 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;
 
   /**
+   * For each import in [UnlinkedUnit.imports], an index into [dependencies]
+   * of the library being imported.
+   */
+  List<int> get importDependencies;
+
+  /**
    * 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;
+
+  /**
+   * 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;
 }
 
 /**
  * Information about the resolution of an [UnlinkedReference].
  */
 abstract class LinkedReference extends base.SummaryClass {
   /**
+   * 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;
+
+  /**
    * 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), or if [kind] is [ReferenceKind.prefix].
    */
   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).
+   * 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".
    */
-  int get unit;
+  String get name;
 
   /**
    * 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".
+   * 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).
    */
-  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;
+  int get unit;
 }
 
 /**
  * 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
@@ skipping 70 matching lines @@
 
 /**
  * Information about SDK.
  */
 @topLevel
 abstract class SdkBundle extends base.SummaryClass {
   factory SdkBundle.fromBuffer(List<int> buffer) =>
       generated.readSdkBundle(buffer);
 
   /**
+   * Linked libraries.
+   */
+  List<LinkedLibrary> get linkedLibraries;
+
+  /**
    * The list of URIs of items in [linkedLibraries], e.g. `dart:core`.
    */
   List<String> get linkedLibraryUris;
 
   /**
-   * Linked libraries.
+   * Unlinked information for the compilation units constituting the SDK.
    */
-  List<LinkedLibrary> get linkedLibraries;
+  List<UnlinkedUnit> get unlinkedUnits;
 
   /**
    * 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;
 }
 
 /**
  * Unlinked summary information about a class declaration.
  */
 abstract class UnlinkedClass extends base.SummaryClass {
   /**
-   * Name of the class.
+   * Annotations for this class.
    */
-  String get name;
-
-  /**
-   * Offset of the class name relative to the beginning of the file.
-   */
-  @informative
-  int get nameOffset;
+  List<UnlinkedConst> get annotations;
 
   /**
    * Documentation comment for the class, or `null` if there is no
    * documentation comment.
    */
   @informative
   UnlinkedDocumentationComment get documentationComment;
 
   /**
-   * Annotations for this class.
+   * Executable objects (methods, getters, and setters) contained in the class.
    */
-  List<UnlinkedConst> get annotations;
-
-  /**
-   * 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;
+  List<UnlinkedExecutable> get executables;
 
   /**
    * Field declarations contained in the class.
    */
   List<UnlinkedVariable> get fields;
 
   /**
-   * Executable objects (methods, getters, and setters) contained in the class.
+   * Indicates whether this class is the core "Object" class (and hence has no
+   * supertype)
    */
-  List<UnlinkedExecutable> get executables;
+  bool get hasNoSupertype;
+
+  /**
+   * Interfaces appearing in an `implements` clause, if any.
+   */
+  List<EntityRef> get interfaces;
 
   /**
    * 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)
+   * Mixins appearing in a `with` clause, if any.
    */
-  bool get hasNoSupertype;
+  List<EntityRef> get mixins;
+
+  /**
+   * Name of the class.
+   */
+  String get name;
+
+  /**
+   * Offset of the class name relative to the beginning of the file.
+   */
+  @informative
+  int get nameOffset;
+
+  /**
+   * 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;
+
+  /**
+   * Type parameters of the class, if any.
+   */
+  List<UnlinkedTypeParam> get typeParameters;
 }
 
 /**
  * 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 hidden.  Empty if this is a `show` combinator.
+   */
+  List<String> get hides;
+
+  /**
    * 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;
 }
 
 /**
  * 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 {
   /**
-   * Indicates whether the expression is not a valid potentially constant
-   * expression.
+   * Sequence of 64-bit doubles consumed by the operation `pushDouble`.
    */
-  bool get isInvalid;
-
-  /**
-   * Sequence of operations to execute (starting with an empty stack) to form
-   * the constant value.
-   */
-  List<UnlinkedConstOperation> get operations;
+  List<double> get doubles;
 
   /**
    * 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`.
+   * Indicates whether the expression is not a valid potentially constant
+   * expression.
    */
-  List<double> get doubles;
+  bool get isInvalid;
 
   /**
-   * Sequence of strings consumed by the operations `pushString` and
-   * `invokeConstructor`.
+   * Sequence of operations to execute (starting with an empty stack) to form
+   * the constant value.
    */
-  List<String> get strings;
+  List<UnlinkedConstOperation> get operations;
 
   /**
    * 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;
+
+  /**
+   * Sequence of strings consumed by the operations `pushString` and
+   * `invokeConstructor`.
+   */
+  List<String> get strings;
 }
 
 /**
  * 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)
@@ skipping 277 matching lines @@
    * back onto the stack.
    */
   length,
 }
 
 /**
  * Unlinked summary information about a constructor initializer.
  */
 abstract class UnlinkedConstructorInitializer extends base.SummaryClass {
   /**
+   * If [kind] is `thisInvocation` or `superInvocation`, the arguments of the
+   * invocation.  Otherwise empty.
+   */
+  List<UnlinkedConst> get arguments;
+
+  /**
+   * If [kind] is `field`, the expression of the field initializer.
+   * Otherwise `null`.
+   */
+  UnlinkedConst get expression;
+
+  /**
    * The kind of the constructor initializer (field, redirect, super).
    */
   UnlinkedConstructorInitializerKind get kind;
 
   /**
    * If [kind] is `field`, the name of the field declared in the class.  If
    * [kind] is `thisInvocation`, the name of the constructor, declared in this
    * class, to redirect to.  If [kind] is `superInvocation`, the name of the
    * constructor, declared in the superclass, to invoke.
    */
   String get name;
-
-  /**
-   * If [kind] is `field`, the expression of the field initializer.
-   * Otherwise `null`.
-   */
-  UnlinkedConst get expression;
-
-  /**
-   * If [kind] is `thisInvocation` or `superInvocation`, the arguments of the
-   * invocation.  Otherwise empty.
-   */
-  List<UnlinkedConst> get arguments;
 }
 
 /**
  * Enum used to indicate the kind of an constructor initializer.
  */
 enum UnlinkedConstructorInitializerKind {
   /**
    * Initialization of a field.
    */
   field,
 
   /**
    * Invocation of a constructor in the same class.
    */
   thisInvocation,
 
   /**
    * Invocation of a superclass' constructor.
    */
   superInvocation
 }
 
 /**
  * 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.
+   * Length of the documentation comment (prior to replacing '\r\n' with '\n').
    */
-  String get text;
+  int get length;
 
   /**
    * 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').
+   * Text of the documentation comment, with '\r\n' replaced by '\n'.
+   *
+   * References appearing within the doc comment in square brackets are not
+   * specially encoded.
    */
-  int get length;
+  String get text;
 }
 
 /**
  * Unlinked summary information about an enum declaration.
  */
 abstract class UnlinkedEnum extends base.SummaryClass {
   /**
-   * Name of the enum type.
+   * Annotations for this enum.
    */
-  String get name;
-
-  /**
-   * Offset of the enum name relative to the beginning of the file.
-   */
-  @informative
-  int get nameOffset;
+  List<UnlinkedConst> get annotations;
 
   /**
    * Documentation comment for the enum, or `null` if there is no documentation
    * comment.
    */
   @informative
   UnlinkedDocumentationComment get documentationComment;
 
   /**
-   * Annotations for this enum.
+   * Name of the enum type.
    */
-  List<UnlinkedConst> get annotations;
+  String get name;
+
+  /**
+   * Offset of the enum name relative to the beginning of the file.
+   */
+  @informative
+  int get nameOffset;
 
   /**
    * Values listed in the enum declaration, in declaration order.
    */
   List<UnlinkedEnumValue> get values;
 }
 
 /**
  * Unlinked summary information about a single enumerated value in an enum
  * declaration.
  */
 abstract class UnlinkedEnumValue extends base.SummaryClass {
   /**
+   * Documentation comment for the enum value, or `null` if there is no
+   * documentation comment.
+   */
+  @informative
+  UnlinkedDocumentationComment get documentationComment;
+
+  /**
    * Name of the enumerated value.
    */
   String get name;
 
   /**
    * Offset of the enum value name relative to the beginning of the file.
    */
   @informative
   int get nameOffset;
-
-  /**
-   * Documentation comment for the enum value, or `null` if there is no
-   * documentation comment.
-   */
-  @informative
-  UnlinkedDocumentationComment get documentationComment;
 }
 
 /**
  * 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.
+   * Annotations for this executable.
    */
-  String get name;
+  List<UnlinkedConst> get annotations;
 
   /**
-   * 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(); }").
+   * If a constant [UnlinkedExecutableKind.constructor], the constructor
+   * initializers.  Otherwise empty.
    */
-  @informative
-  int get nameOffset;
+  List<UnlinkedConstructorInitializer> get constantInitializers;
 
   /**
    * Documentation comment for the executable, or `null` if there is no
    * documentation comment.
    */
   @informative
   UnlinkedDocumentationComment get documentationComment;
 
   /**
-   * Annotations for this executable.
+   * If this executable's return type is inferable, nonzero slot id
+   * identifying which entry in [LinkedUnit.types] contains the inferred
+   * return type.  If there is no matching entry in [LinkedUnit.types], then
+   * no return type was inferred for this variable, so its static type is
+   * `dynamic`.
    */
-  List<UnlinkedConst> get annotations;
-
-  /**
-   * 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;
+  int get inferredReturnTypeSlot;
 
   /**
    * Indicates whether the executable is declared using the `abstract` keyword.
    */
   bool get isAbstract;
 
   /**
+   * Indicates whether the executable is declared using the `const` keyword.
+   */
+  bool get isConst;
+
+  /**
+   * Indicates whether the executable is declared using the `external` keyword.
+   */
+  bool get isExternal;
+
+  /**
+   * Indicates whether the executable is declared using the `factory` keyword.
+   */
+  bool get isFactory;
+
+  /**
    * 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.
+   * The kind of the executable (function/method, getter, setter, or
+   * constructor).
    */
-  bool get isConst;
+  UnlinkedExecutableKind get kind;
 
   /**
-   * Indicates whether the executable is declared using the `factory` keyword.
+   * 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.
    */
-  bool get isFactory;
+  String get name;
 
   /**
-   * Indicates whether the executable is declared using the `external` keyword.
+   * 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(); }").
    */
-  bool get isExternal;
+  @informative
+  int get nameOffset;
 
   /**
-   * If this executable's return type is inferable, nonzero slot id
-   * identifying which entry in [LinkedUnit.types] contains the inferred
-   * return type.  If there is no matching entry in [LinkedUnit.types], then
-   * no return type was inferred for this variable, so its static type is
-   * `dynamic`.
+   * 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.
    */
-  int get inferredReturnTypeSlot;
+  List<UnlinkedParam> get parameters;
 
   /**
-   * If a constant [UnlinkedExecutableKind.constructor], the constructor
-   * initializers.  Otherwise empty.
+   * Declared return type of the executable.  Absent if the executable is a
+   * constructor or the return type is implicit.
    */
-  List<UnlinkedConstructorInitializer> get constantInitializers;
+  EntityRef get returnType;
+
+  /**
+   * Type parameters of the executable, if any.  Empty if support for generic
+   * method syntax is disabled.
+   */
+  List<UnlinkedTypeParam> get typeParameters;
 }
 
 /**
  * Enum used to indicate the kind of an executable.
  */
 enum UnlinkedExecutableKind {
   /**
    * Executable is a function or method.
    */
   functionOrMethod,
@@ skipping 13 matching lines @@
    */
   constructor
 }
 
 /**
  * Unlinked summary information about an export declaration (stored outside
  * [UnlinkedPublicNamespace]).
  */
 abstract class UnlinkedExportNonPublic extends base.SummaryClass {
   /**
+   * Annotations for this export directive.
+   */
+  List<UnlinkedConst> get annotations;
+
+  /**
    * Offset of the "export" keyword.
    */
   @informative
   int get offset;
 
   /**
-   * Offset of the URI string (including quotes) relative to the beginning of
-   * the file.
-   */
-  @informative
-  int get uriOffset;
-
-  /**
    * End of the URI string (including quotes) relative to the beginning of the
    * file.
    */
   @informative
   int get uriEnd;
 
   /**
-   * Annotations for this export directive.
+   * Offset of the URI string (including quotes) relative to the beginning of
+   * the file.
    */
-  List<UnlinkedConst> get annotations;
+  @informative
+  int get uriOffset;
 }
 
 /**
  * Unlinked summary information about an export declaration (stored inside
  * [UnlinkedPublicNamespace]).
  */
 abstract class UnlinkedExportPublic extends base.SummaryClass {
   /**
+   * Combinators contained in this import declaration.
+   */
+  List<UnlinkedCombinator> get combinators;
+
+  /**
    * URI used in the source code to reference the exported library.
    */
   String get uri;
-
-  /**
-   * Combinators contained in this import declaration.
-   */
-  List<UnlinkedCombinator> get combinators;
 }
 
 /**
  * Unlinked summary information about an import declaration.
  */
 abstract class UnlinkedImport extends base.SummaryClass {
   /**
-   * URI used in the source code to reference the imported library.
+   * Annotations for this import declaration.
    */
-  String get uri;
+  List<UnlinkedConst> get annotations;
+
+  /**
+   * 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;
 
   /**
    * If [isImplicit] is false, offset of the "import" keyword.  If [isImplicit]
    * is true, zero.
    */
   @informative
   int get offset;
 
   /**
-   * Annotations for this import declaration.
+   * Offset of the prefix name relative to the beginning of the file, or zero
+   * if there is no prefix.
    */
-  List<UnlinkedConst> get annotations;
+  @informative
+  int get prefixOffset;
 
   /**
    * 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.
+   * URI used in the source code to reference the imported library.
    */
-  List<UnlinkedCombinator> get combinators;
+  String get uri;
 
   /**
-   * Indicates whether the import declaration uses the `deferred` keyword.
+   * End of the URI string (including quotes) relative to the beginning of the
+   * file.  If [isImplicit] is true, zero.
    */
-  bool get isDeferred;
-
-  /**
-   * Indicates whether the import declaration is implicit.
-   */
-  bool get isImplicit;
+  @informative
+  int get uriEnd;
 
   /**
    * Offset of the URI string (including quotes) relative to the beginning of
    * the file.  If [isImplicit] is true, zero.
    */
   @informative
   int get uriOffset;
-
-  /**
-   * End of the URI string (including quotes) relative to the beginning of the
-   * file.  If [isImplicit] is true, zero.
-   */
-  @informative
-  int get uriEnd;
-
-  /**
-   * Offset of the prefix name relative to the beginning of the file, or zero
-   * if there is no prefix.
-   */
-  @informative
-  int get prefixOffset;
 }
 
 /**
  * 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.
-   */
-  @informative
-  int get nameOffset;
-
-  /**
    * Annotations for this parameter.
    */
   List<UnlinkedConst> get annotations;
 
   /**
-   * If [isFunctionTyped] is `true`, the declared return type.  If
-   * [isFunctionTyped] is `false`, the declared type.  Absent if the type is
-   * implicit.
+   * If the parameter has a default value, the constant expression in the
+   * default value.  Note that the presence of this expression does not mean
+   * that it is a valid, check [UnlinkedConst.isInvalid].
    */
-  EntityRef get type;
+  UnlinkedConst get defaultValue;
 
   /**
-   * If [isFunctionTyped] is `true`, the parameters of the function type.
+   * If this parameter's type is inferable, 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
+   * inferable, 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.
    */
-  List<UnlinkedParam> get parameters;
+  int get inferredTypeSlot;
+
+  /**
+   * 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;
 
   /**
    * Kind of the parameter.
    */
   UnlinkedParamKind get kind;
 
   /**
-   * Indicates whether this is a function-typed parameter.
+   * Name of the parameter.
    */
-  bool get isFunctionTyped;
+  String get name;
 
   /**
-   * Indicates whether this is an initializing formal parameter (i.e. it is
-   * declared using `this.` syntax).
+   * Offset of the parameter name relative to the beginning of the file.
    */
-  bool get isInitializingFormal;
+  @informative
+  int get nameOffset;
 
   /**
-   * If this parameter's type is inferable, 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
-   * inferable, 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.
+   * If [isFunctionTyped] is `true`, the parameters of the function type.
    */
-  int get inferredTypeSlot;
+  List<UnlinkedParam> get parameters;
 
   /**
-   * If the parameter has a default value, the constant expression in the
-   * default value.  Note that the presence of this expression does not mean
-   * that it is a valid, check [UnlinkedConst.isInvalid].
+   * If [isFunctionTyped] is `true`, the declared return type.  If
+   * [isFunctionTyped] is `false`, the declared type.  Absent if the type is
+   * implicit.
    */
-  UnlinkedConst get defaultValue;
+  EntityRef get type;
 }
 
 /**
  * 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
 }
 
 /**
  * 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.
+   * Annotations for this part declaration.
    */
-  @informative
-  int get uriOffset;
+  List<UnlinkedConst> get annotations;
 
   /**
    * End of the URI string (including quotes) relative to the beginning of the
    * file.
    */
   @informative
   int get uriEnd;
 
   /**
-   * Annotations for this part declaration.
+   * Offset of the URI string (including quotes) relative to the beginning of
+   * the file.
    */
-  List<UnlinkedConst> get annotations;
+  @informative
+  int get uriOffset;
 }
 
 /**
  * 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.
+   * 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.
    */
-  String get name;
+  List<UnlinkedPublicName> get constMembers;
 
   /**
    * The kind of object referred to by the name.
    */
   ReferenceKind get kind;
 
   /**
+   * The name itself.
+   */
+  String get name;
+
+  /**
    * 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;
 }
 
 /**
  * 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.
  */
 @topLevel
 abstract class UnlinkedPublicNamespace extends base.SummaryClass {
   factory UnlinkedPublicNamespace.fromBuffer(List<int> buffer) =>
       generated.readUnlinkedPublicNamespace(buffer);
 
   /**
+   * Export declarations in the compilation unit.
+   */
+  List<UnlinkedExportPublic> get exports;
+
+  /**
    * 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;
 }
 
 /**
  * Unlinked summary information about a name referred to in one library that
  * might be defined in another.
  */
 abstract class UnlinkedReference extends base.SummaryClass {
@@ skipping 12 matching lines @@
    * UnlinkedUnit.references[i].prefixReference < i.
    */
   int get prefixReference;
 }
 
 /**
  * Unlinked summary information about a typedef declaration.
  */
 abstract class UnlinkedTypedef extends base.SummaryClass {
   /**
-   * Name of the typedef.
+   * Annotations for this typedef.
    */
-  String get name;
-
-  /**
-   * Offset of the typedef name relative to the beginning of the file.
-   */
-  @informative
-  int get nameOffset;
+  List<UnlinkedConst> get annotations;
 
   /**
    * Documentation comment for the typedef, or `null` if there is no
    * documentation comment.
    */
   @informative
   UnlinkedDocumentationComment get documentationComment;
 
   /**
-   * Annotations for this typedef.
+   * Name of the typedef.
    */
-  List<UnlinkedConst> get annotations;
+  String get name;
 
   /**
-   * Type parameters of the typedef, if any.
+   * Offset of the typedef name relative to the beginning of the file.
    */
-  List<UnlinkedTypeParam> get typeParameters;
+  @informative
+  int get nameOffset;
+
+  /**
+   * Parameters of the executable, if any.
+   */
+  List<UnlinkedParam> get parameters;
 
   /**
    * Return type of the typedef.
    */
   EntityRef get returnType;
 
   /**
-   * Parameters of the executable, if any.
+   * Type parameters of the typedef, if any.
    */
-  List<UnlinkedParam> get parameters;
+  List<UnlinkedTypeParam> get typeParameters;
 }
 
 /**
  * Unlinked summary information about a type parameter declaration.
  */
 abstract class UnlinkedTypeParam extends base.SummaryClass {
   /**
+   * Annotations for this type parameter.
+   */
+  List<UnlinkedConst> get annotations;
+
+  /**
+   * Bound of the type parameter, if a bound is explicitly declared.  Otherwise
+   * null.
+   */
+  EntityRef get bound;
+
+  /**
    * Name of the type parameter.
    */
   String get name;
 
   /**
    * Offset of the type parameter name relative to the beginning of the file.
    */
   @informative
   int get nameOffset;
-
-  /**
-   * Annotations for this type parameter.
-   */
-  List<UnlinkedConst> get annotations;
-
-  /**
-   * Bound of the type parameter, if a bound is explicitly declared.  Otherwise
-   * null.
-   */
-  EntityRef get bound;
 }
 
 /**
  * Unlinked summary information about a compilation unit ("part file").
  */
 @topLevel
 abstract class UnlinkedUnit extends base.SummaryClass {
   factory UnlinkedUnit.fromBuffer(List<int> buffer) =>
       generated.readUnlinkedUnit(buffer);
 
   /**
-   * 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).
-   */
-  @informative
-  int get libraryNameOffset;
-
-  /**
-   * Length of the library name as it appears in the source code (or 0 if the
-   * library has no name).
-   */
-  @informative
-  int get libraryNameLength;
-
-  /**
-   * Documentation comment for the library, or `null` if there is no
-   * documentation comment.
-   */
-  @informative
-  UnlinkedDocumentationComment get libraryDocumentationComment;
-
-  /**
-   * Annotations for the library declaration, or the empty list if there is no
-   * library declaration.
-   */
-  List<UnlinkedConst> get libraryAnnotations;
-
-  /**
-   * 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;
 
   /**
+   * Annotations for the library declaration, or the empty list if there is no
+   * library declaration.
+   */
+  List<UnlinkedConst> get libraryAnnotations;
+
+  /**
+   * Documentation comment for the library, or `null` if there is no
+   * documentation comment.
+   */
+  @informative
+  UnlinkedDocumentationComment get libraryDocumentationComment;
+
+  /**
+   * Name of the library (from a "library" declaration, if present).
+   */
+  String get libraryName;
+
+  /**
+   * Length of the library name as it appears in the source code (or 0 if the
+   * library has no name).
+   */
+  @informative
+  int get libraryNameLength;
+
+  /**
+   * Offset of the library name relative to the beginning of the file (or 0 if
+   * the library has no name).
+   */
+  @informative
+  int get libraryNameOffset;
+
+  /**
    * Part declarations in the compilation unit.
    */
   List<UnlinkedPart> get parts;
 
   /**
+   * 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;
+
+  /**
    * Typedefs declared in the compilation unit.
    */
   List<UnlinkedTypedef> get typedefs;
 
   /**
    * Top level variables declared in the compilation unit.
    */
   List<UnlinkedVariable> get variables;
 }
 
 /**
  * Unlinked summary information about a top level variable, local variable, or
  * a field.
  */
 abstract class UnlinkedVariable extends base.SummaryClass {
   /**
-   * Name of the variable.
+   * Annotations for this variable.
    */
-  String get name;
+  List<UnlinkedConst> get annotations;
 
   /**
-   * Offset of the variable name relative to the beginning of the file.
+   * If [isConst] is true, and the variable has an initializer, the constant
+   * expression in the initializer.  Note that the presence of this expression
+   * does not mean that it is a valid, check [UnlinkedConst.isInvalid].
    */
-  @informative
-  int get nameOffset;
+  UnlinkedConst get constExpr;
 
   /**
    * Documentation comment for the variable, or `null` if there is no
    * documentation comment.
    */
   @informative
   UnlinkedDocumentationComment get documentationComment;
 
   /**
-   * Annotations for this variable.
+   * If this variable is inferable, 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`.
    */
-  List<UnlinkedConst> get annotations;
+  int get inferredTypeSlot;
 
   /**
-   * Declared type of the variable.  Absent if the type is implicit.
+   * Indicates whether the variable is declared using the `const` keyword.
    */
-  EntityRef get type;
+  bool get isConst;
 
   /**
-   * If [isConst] is true, and the variable has an initializer, the constant
-   * expression in the initializer.  Note that the presence of this expression
-   * does not mean that it is a valid, check [UnlinkedConst.isInvalid].
+   * Indicates whether the variable is declared using the `final` keyword.
    */
-  UnlinkedConst get constExpr;
+  bool get isFinal;
 
   /**
    * 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.
+   * Name of the variable.
    */
-  bool get isFinal;
+  String get name;
 
   /**
-   * Indicates whether the variable is declared using the `const` keyword.
+   * Offset of the variable name relative to the beginning of the file.
    */
-  bool get isConst;
+  @informative
+  int get nameOffset;
 
   /**
    * 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 inferable, 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`.
+   * Declared type of the variable.  Absent if the type is implicit.
    */
-  int get inferredTypeSlot;
+  EntityRef get type;
 }