Store actual Reference(s) for additional exports.

pkg/front_end/lib/src/fasta/dill/dill_library_builder.dart

 // Copyright (c) 2016, 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.
 
 library fasta.dill_library_builder;
 
-import 'dart:convert' show JSON;
-
 import 'package:kernel/ast.dart'
-    show
-        Class,
-        Field,
-        Library,
-        ListLiteral,
-        Member,
-        StaticGet,
-        StringLiteral,
-        Typedef;
-
-import '../fasta_codes.dart' show templateUnspecified;
+    show Class, Field, Library, ListLiteral, Member, StaticGet, Typedef;
+import 'package:kernel/ast.dart';
 
 import '../problems.dart' show unimplemented;
 
 import '../kernel/kernel_builder.dart'
     show
         Builder,
         InvalidTypeBuilder,
         KernelInvalidTypeBuilder,
         KernelTypeBuilder,
         LibraryBuilder,
@@ skipping 19 matching lines @@
   /// Exports in addition to the members declared in this library.
   ///
   /// Each entry in the list is either two or three elements long.
   ///
   /// The first element is the library URI, if it is null, this is an ambiguous
   /// export and the list has three elements. Otherwise the list has two
   /// elements.
   ///
   /// The second element is the name of the exported element.
   ///
   /// The third element (if present) is an error message.

[ahe, 2017/08/29 11:04:23]

This documentation should be updated.

[scheglov, 2017/08/29 15:16:26]

Done.

-  List<List<String>> additionalExports;
+  List<Reference> additionalExports;
 
   DillLibraryBuilder(this.uri, this.loader)
       : super(uri, new Scope.top(), new Scope.top());
 
   Uri get fileUri => uri;
 
   @override
   Library get target => library;
 
   void addClass(Class cls) {
     DillClassBuilder classBulder = new DillClassBuilder(cls, this);
     addBuilder(cls.name, classBulder, cls.fileOffset);
     cls.procedures.forEach(classBulder.addMember);
     cls.constructors.forEach(classBulder.addMember);
     for (Field field in cls.fields) {
       if (field.name.name == "_redirecting#") {
         ListLiteral initializer = field.initializer;
         for (StaticGet get in initializer.expressions) {
           RedirectingFactoryBody.restoreFromDill(get.target);
         }
         initializer.expressions.clear();
       } else {
         classBulder.addMember(field);
       }
     }
   }
 
   void addMember(Member member) {
     String name = member.name.name;
-    if (name == "_exports#") {
-      Field field = member;
-      StringLiteral string = field.initializer;
-      additionalExports = JSON.decode(string.value);
-    } else {
-      addBuilder(name, new DillMemberBuilder(member, this), member.fileOffset);
-    }
+    addBuilder(name, new DillMemberBuilder(member, this), member.fileOffset);
   }
 
   Builder addBuilder(String name, Builder builder, int charOffset) {
     if (name == null || name.isEmpty) return null;
     bool isSetter = builder.isSetter;
     if (isSetter) {
       scopeBuilder.addSetter(name, builder);
     } else {
       scopeBuilder.addMember(name, builder);
     }
@@ skipping 30 matching lines @@
     if (builder.parent == this) return builder;
     return new KernelInvalidTypeBuilder(name, charOffset, fileUri);
   }
 
   @override
   String get fullNameForErrors {
     return library.name ?? "<library '${library.fileUri}'>";
   }
 
   void finalizeExports() {
-    if (additionalExports != null) {
-      for (List<String> additionalExport in additionalExports) {
-        String uriString = additionalExport[0];
-        String name = additionalExport[1];
-        Builder builder;
-        if (uriString == null) {
-          builder = new KernelInvalidTypeBuilder(name, -1, null,
-              templateUnspecified.withArguments(additionalExport[2]));
-        } else {
-          DillLibraryBuilder library = loader.read(uri.resolve(uriString), -1);
-          builder = library?.exportScopeBuilder[name] ??
-              new KernelInvalidTypeBuilder(name, -1, null);
-        }
-        exportScopeBuilder.addMember(name, builder);
+    for (var reference in library.additionalExports) {
+      var node = reference.node;
+      if (node is Class) {
+        exportScopeBuilder.addMember(
+            node.name, new DillClassBuilder(node, this));

[ahe, 2017/08/29 11:04:23]

This code has two problems:

1. It creates new builders instead of looking up the existing ones.

2. It doesn't deal with errors.

[scheglov, 2017/08/29 15:16:26]

  How to get existing builders, when we already have nodes?
  Do you mean export conflicts?
  Any advice how to do this?

[scheglov, 2017/08/29 16:56:56]

I fixed (1), and do nothing for (2) because (if I understand correctly) we
decided that the specification does not require errors in clients of this
library.

+      } else if (node is Member) {
+        exportScopeBuilder.addMember(
+            node.name.name, new DillMemberBuilder(node, this));
+      } else if (node is Typedef) {
+        exportScopeBuilder.addMember(
+            node.name, new DillFunctionTypeAliasBuilder(node, this));
+      } else {
+        throw new UnimplementedError('${node.runtimeType}');

[ahe, 2017/08/29 11:04:23]

You should use one of the methods from ../problems.dart instead of throwing.

[scheglov, 2017/08/29 15:16:26]

Done.

       }
     }
   }
 }