Include the export namespace in the prelinked summary.

pkg/analyzer/tool/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 is not
  * executed directly; instead it is parsed and transformed into code that
  * implements the summary format.
  *
  * The code generation process introduces the following non-typical semantics:
@@ skipping 66 matching lines @@
   String uri;
 
   /**
    * URI for the compilation units listed in the library's `part` declarations.
    * These URIs are relative to the importing library.
    */
   List<String> parts;
 }
 
 /**
+ * Information about a single name in the export namespace of the library that
+ * is not in the public namespace.
+ */
+class PrelinkedExportName {
+  /**
+   * Name of the exported entity.  TODO(paulberry): do we include the trailing
+   * '=' for a setter?
+   */
+  String name;
+
+  /**
+   * Index into [PrelinkedLibrary.dependencies] for the library in which the
+   * entity is defined.
+   */
+  int dependency;
+
+  /**
+   * Integer index indicating which unit in the imported library contains the

[scheglov, 2016/01/13 20:59:35]

"in the exported library"?

[Paul Berry, 2016/01/13 21:15:24]

Done.

+   * definition of the entity.  As with indices into [PrelinkedLibrary.units],
+   * zero represents the defining compilation unit, and nonzero values
+   * represent parts in the order of the corresponding `part` declarations.
+   */
+  int unit;
+
+  /**
+   * The kind of the entity being referred to.
+   */
+  PrelinkedReferenceKind kind;
+}
+
+/**
  * Pre-linked summary of a library.
  */
 @topLevel
 class PrelinkedLibrary {
   /**
    * The pre-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.
    */
@@ skipping 11 matching lines @@
   List<PrelinkedDependency> dependencies;
 
   /**
    * For each import in [UnlinkedUnit.imports], an index into [dependencies]
    * of the library being imported.
    *
    * TODO(paulberry): if [dependencies] is removed, this can be removed as
    * well, since there will effectively be a one-to-one mapping.
    */
   List<int> 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<PrelinkedExportName> exportNames;
 }
 
 /**
  * Information about the resolution of an [UnlinkedReference].
  */
 class PrelinkedReference {
   /**
    * Index into [PrelinkedLibrary.dependencies] indicating which imported library
    * declares the entity being referred to.
    */
@@ skipping 29 matching lines @@
    * The entity is a class or enum.
    */
   classOrEnum,
 
   /**
    * The entity is a typedef.
    */
   typedef,
 
   /**
-   * The entity is a variable or executable.
+   * The entity is a top level function.
    */
-  other,
+  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
@@ skipping 823 matching lines @@
   /**
    * Indicates whether the variable is declared using the `const` keyword.
    */
   bool isConst;
 
   /**
    * Indicates whether this variable lacks an explicit type declaration.
    */
   bool hasImplicitType;
 }