Roll sdk dependency to 34357cdad108dcba734949bd13bd28c76ea285e0

pkg/fletchc/lib/src/fletch_compiler_implementation.dart

 // Copyright (c) 2015, the Fletch 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.md file.
 
 library fletchc.fletch_compiler_implementation;
 
 import 'dart:async' show
     EventSink;
 
 import 'package:sdk_library_metadata/libraries.dart' show
-    libraries,
     LibraryInfo;
 
 import 'package:compiler/compiler_new.dart' as api;
 
 import 'package:compiler/src/apiimpl.dart' as apiimpl;
 
+import 'package:compiler/src/compiler.dart' show
+    GlobalDependencyRegistry;

[ahe, 2015/12/01 10:12:13]

Unused import.

[sigurdm, 2015/12/03 14:48:10]

Done.

+
 import 'package:compiler/src/io/source_file.dart';
 
 import 'package:compiler/src/source_file_provider.dart' show
     SourceFileProvider;
 
 import 'package:compiler/src/elements/modelx.dart' show
     CompilationUnitElementX,
     LibraryElementX;
 
 import 'package:compiler/compiler_new.dart' show
     CompilerOutput;
 
-import 'package:compiler/src/util/uri_extras.dart' show
-    relativize;
-
-import 'package:compiler/src/dart2jslib.dart' show
-    CodegenRegistry,
+import 'package:compiler/src/diagnostics/messages.dart' show
     Message,
     MessageKind,
     MessageTemplate;
+import 'package:compiler/src/diagnostics/source_span.dart' show

[ahe, 2015/12/01 10:12:13]

Add newline before import.

[sigurdm, 2015/12/03 14:48:10]

Done.

+    SourceSpan;
 
-import 'package:compiler/src/util/util.dart' show
+import 'package:compiler/src/diagnostics/diagnostic_listener.dart' show
+    DiagnosticMessage,
+    DiagnosticReporter;
+
+import 'package:compiler/src/diagnostics/spannable.dart' show
     Spannable;
 
 import 'fletch_registry.dart' show
     FletchRegistry;
 
 import 'please_report_crash.dart' show
     crashReportRequested,
     requestBugReportOnCompilerCrashMessage;
 
 import 'fletch_function_builder.dart';
 import 'debug_info.dart';
 import 'find_position_visitor.dart';
 import 'fletch_context.dart';
 
+import 'fletch_enqueuer.dart' show
+    FletchEnqueueTask;
+
 import '../fletch_system.dart';
+import 'package:compiler/src/diagnostics/diagnostic_listener.dart';

[ahe, 2015/12/01 10:12:13]

Newlines between imports.

[sigurdm, 2015/12/03 14:48:10]

Done.

+import 'package:compiler/src/elements/elements.dart';
 
 const EXTRA_DART2JS_OPTIONS = const <String>[
     // TODO(ahe): This doesn't completely disable type inference. Investigate.
     '--disable-type-inference',
     '--output-type=dart',
     // We want to continue generating code in the case of errors, to support
     // incremental fixes of erroneous code.
     '--generate-code-with-compile-time-errors',
 ];
 
@@ skipping 40 matching lines @@
       documented: false,
       platforms: FLETCH_PLATFORM),
 
   "fletch.os": const LibraryInfo(
       "os/os.dart",
       categories: "Client,Server,Embedded",
       documented: false,
       platforms: FLETCH_PLATFORM),
 };
 
-class FletchCompilerImplementation extends apiimpl.Compiler {
+class FletchCompilerImplementation extends apiimpl.CompilerImpl {
   final Map<String, LibraryInfo> fletchLibraries = <String, LibraryInfo>{};
 
   final Uri fletchVm;
 
   /// Location of fletch patch files.
   final Uri patchRoot;
 
   final Uri nativesJson;
 
   Map<Uri, CompilationUnitElementX> compilationUnits;
   FletchContext internalContext;
 
   /// A reference to [../compiler.dart:FletchCompiler] used for testing.
   // TODO(ahe): Clean this up and remove this.
   var helper;
 
+  @override

[ahe, 2015/12/01 10:12:13]

Please dont use @override.

[sigurdm, 2015/12/03 14:48:10]

Done.

+  FletchEnqueueTask get enqueuer => super.enqueuer;
+
+  FletchDiagnosticReporter reporter;
+
   FletchCompilerImplementation(
       api.CompilerInput provider,
       api.CompilerOutput outputProvider,
       api.CompilerDiagnostics handler,
       Uri libraryRoot,
       Uri packageConfig,
       this.patchRoot,
       this.nativesJson,
       List<String> options,
       Map<String, dynamic> environment,
       this.fletchVm)
       : super(
           provider, outputProvider, handler, libraryRoot, null,
           EXTRA_DART2JS_OPTIONS.toList()..addAll(options), environment,
           packageConfig, null, FletchBackend.newInstance) {
-    CodegenRegistry global = globalDependencies;
-    globalDependencies =
-        new FletchRegistry(this, global.treeElements).asRegistry;
+    reporter = new FletchDiagnosticReporter(super.reporter);
   }
 
   bool get showPackageWarnings => true;
 
   FletchContext get context {
     if (internalContext == null) {
       internalContext = new FletchContext(this);
     }
     return internalContext;
   }
 
   String fletchPatchLibraryFor(String name) => FLETCH_PATCHES[name];
 
-  LibraryInfo lookupLibraryInfo(String name) {
-    return fletchLibraries.putIfAbsent(name, () {
-      // Let FLETCH_LIBRARIES shadow libraries.
-      if (FLETCH_LIBRARIES.containsKey(name)) {
-        return computeFletchLibraryInfo(name);
-      }
-      LibraryInfo info = libraries[name];
-      if (info == null) {
-        return computeFletchLibraryInfo(name);
-      }
-      return new LibraryInfo(
-          info.path,
-          categories: info.categoriesString,
-          dart2jsPath: info.dart2jsPath,
-          dart2jsPatchPath: fletchPatchLibraryFor(name),
-          implementation: info.implementation,
-          documented: info.documented,
-          maturity: info.maturity,
-          platforms: info.platforms);
-    });
-  }
-
-  LibraryInfo computeFletchLibraryInfo(String name) {
-    LibraryInfo info = FLETCH_LIBRARIES[name];
-    if (info == null) return null;
-    // Since this LibraryInfo is completely internal to Fletch, there's no need
-    // for dart2js extensions and patches.
-    assert(info.dart2jsPath == null);
-    assert(info.dart2jsPatchPath == null);
-    String path = relativize(
-        libraryRoot, patchRoot.resolve("lib/${info.path}"), false);
-    return new LibraryInfo(
-        '../$path',
-        categories: info.categoriesString,
-        implementation: info.implementation,
-        documented: info.documented,
-        maturity: info.maturity,
-        platforms: info.platforms);
+  @override

[ahe, 2015/12/01 10:12:13]

Ditto.

[sigurdm, 2015/12/03 14:48:10]

Done.

+  Uri lookupLibraryUri(String libraryName) {
+    LibraryInfo info = FLETCH_LIBRARIES[libraryName];
+    if (info == null) return super.lookupLibraryUri(libraryName);
+    return patchRoot.resolve("lib/${info.path}");
   }
 
   Uri resolvePatchUri(String dartLibraryPath) {
-    String patchPath = lookupPatchPath(dartLibraryPath);
+    String patchPath = fletchPatchLibraryFor(dartLibraryPath);
     if (patchPath == null) return null;
-    return patchRoot.resolve(patchPath);
+    return patchRoot.resolve("lib/$patchPath");
   }
 
   CompilationUnitElementX compilationUnitForUri(Uri uri) {
     if (compilationUnits == null) {
       compilationUnits = <Uri, CompilationUnitElementX>{};
       libraryLoader.libraries.forEach((LibraryElementX library) {
         for (CompilationUnitElementX unit in library.compilationUnits) {
           compilationUnits[unit.script.resourceUri] = unit;
         }
       });
@@ skipping 40 matching lines @@
 
   int positionInFile(String file, int line, int column) {
     // TODO(ahe): [file] should be a Uri.
     Uri uri = Uri.base.resolve(file);
     SourceFile sourceFile = getSourceFile(provider, uri);
     if (sourceFile == null) return null;
     if (line >= sourceFile.lineStarts.length) return null;
     return sourceFile.lineStarts[line] + column;
   }
 
   void reportVerboseInfo(

[ahe, 2015/12/01 10:12:13]

This should probably be moved to our reporter object?

[sigurdm, 2015/12/03 14:48:10]

I'll wait for Johnni to move it in the dart2js frontend

       Spannable node,
-      String message,
+      String messageText,
       {bool forceVerbose: false}) {
     // TODO(johnniwinther): Use super.reportVerboseInfo once added.
     if (forceVerbose || verbose) {
       MessageTemplate template = MessageTemplate.TEMPLATES[MessageKind.GENERIC];
-      reportDiagnostic(
-          node, template.message({'text': message}, true), api.Diagnostic.HINT);
+      SourceSpan span = reporter.spanFromSpannable(node);
+      Message message = template.message({'text': messageText});
+      reportDiagnostic(new DiagnosticMessage(span, node, message),

[ahe, 2015/12/01 10:12:13]

Why is reportDiagnostic not called on reporter?

[sigurdm, 2015/12/03 14:48:10]

There is not reportDiagnostic on reporter, but on compiler. Maybe johnni knows
why?

+          [], api.Diagnostic.HINT);
     }
   }
 
   void pleaseReportCrash() {
     if (crashReportRequested) return;
     crashReportRequested = true;
     print(requestBugReportOnCompilerCrashMessage);
   }
-
-  void reportError(
-      Spannable node,
-      MessageKind messageKind,
-      [Map arguments = const {}]) {
-    if (messageKind == MessageKind.MIRRORS_LIBRARY_NOT_SUPPORT_BY_BACKEND) {
-      const String noMirrors =
-          "Fletch doesn't support 'dart:mirrors'. See https://goo.gl/Kwrd0O";
-      messageKind = MessageKind.GENERIC;
-      arguments = {'text': noMirrors};
-    }
-    super.reportError(node, messageKind, arguments);
-  }
 }
 
 /// Output provider which collects output in [output].
 class OutputProvider implements CompilerOutput {
   final Map<String, String> output = new Map<String, String>();
 
   EventSink<String> createEventSink(String name, String extension) {
     return new StringEventSink((String data) {
       output['$name.$extension'] = data;
     });
@@ skipping 27 matching lines @@
   }
 }
 
 SourceFile getSourceFile(api.CompilerInput provider, Uri uri) {
   if (provider is SourceFileProvider) {
     return provider.sourceFiles[uri];
   } else {
     return null;
   }
 }
+
+/// A wrapper around a DiagnosticReporter, that customizes some messages to
+/// Fletch.
+class FletchDiagnosticReporter extends DiagnosticReporter {

[ahe, 2015/12/01 10:12:13]

Move to own file.

[ahe, 2015/12/01 10:12:13]

If you used implements, you wouldn't need all those noisy @override
declarations.

[sigurdm, 2015/12/03 14:48:10]

I don't understand the argument.

I use extends to inherit functionality from DiagnosticReporter. I don't see how
that has anything to do with @override.

I disagree that @override annotations are noisy, and think they serve a purpose
on a similar level to type annotations. But I will remove them as I see this is
not a shared belief.

[sigurdm, 2015/12/03 14:48:10]

Done.

+  DiagnosticReporter _internalReporter;

[ahe, 2015/12/01 10:12:13]

Please don't use library privacy when you're not implementing user-facing API.

It only serves to:

* Make life harder for your co-workers.

* Prevent testing.

[sigurdm, 2015/12/03 14:48:10]

Done.

+
+  FletchDiagnosticReporter(this._internalReporter);
+
+  @override
+  DiagnosticMessage createMessage(Spannable spannable,

[ahe, 2015/12/01 10:12:13]

Add newline after ( for consistency with code style used elsewhere in these
files. Many times below.

[sigurdm, 2015/12/03 14:48:10]

Done.

+      MessageKind messageKind,
+      [Map arguments = const {}]) {
+    return _internalReporter.createMessage(spannable, messageKind, arguments);
+  }
+
+  @override
+  internalError(Spannable spannable, message) {
+    return _internalReporter.internalError(spannable, message);
+  }
+
+  @override
+  void log(message) {
+    _internalReporter.log(message);
+  }
+
+  @override
+  DiagnosticOptions get options => _internalReporter.options;
+
+  @override
+  void reportError(DiagnosticMessage message,
+      [List<DiagnosticMessage> infos = const <DiagnosticMessage> []]) {
+    if (message.message.kind ==
+        MessageKind.MIRRORS_LIBRARY_NOT_SUPPORT_BY_BACKEND) {
+      const String noMirrors =
+          "Fletch doesn't support 'dart:mirrors'. See https://goo.gl/Kwrd0O";
+      message = createMessage(message.spannable,
+          MessageKind.GENERIC,
+          {'text': message});
+    }
+    _internalReporter.reportError(message, infos);
+  }
+
+  @override
+  void reportHint(DiagnosticMessage message,
+      [List<DiagnosticMessage> infos = const <DiagnosticMessage> []]) {
+    _internalReporter.reportHint(message, infos);
+  }
+
+  @override
+  void reportInfo(Spannable node,
+      MessageKind errorCode,
+      [Map arguments = const {}]) {
+    _internalReporter.reportInfo(node, errorCode, arguments);
+  }
+
+  @override
+  void reportWarning(DiagnosticMessage message,
+      [List<DiagnosticMessage> infos = const <DiagnosticMessage> []]) {
+    _internalReporter.reportWarning(message, infos);
+  }
+
+  @override
+  SourceSpan spanFromSpannable(Spannable node) {
+    return _internalReporter.spanFromSpannable(node);
+  }
+
+  @override
+  withCurrentElement(Element element, f()) {
+    return _internalReporter.withCurrentElement(element, f);
+  }
+}