Report messages instead of just printing.

pkg/front_end/lib/src/fasta/kernel/verifier.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.verifier;
 
-import 'package:front_end/src/fasta/type_inference/type_schema.dart'
-    show TypeSchemaVisitor, UnknownType;
-
 import 'package:kernel/ast.dart'
     show
         InvalidExpression,
         InvalidStatement,
         InvalidInitializer,
         Class,
         ExpressionStatement,
         Field,
         Library,
         Procedure,
         Program,
         TreeNode;
 
-import 'package:kernel/verifier.dart' show VerificationError, VerifyingVisitor;
+import 'package:kernel/verifier.dart' show VerifyingVisitor;
 
-import '../deprecated_problems.dart' show deprecated_printUnexpected;
+import '../compiler_context.dart' show CompilerContext;
 
-import '../fasta_codes.dart';
+import '../fasta_codes.dart'
+    show LocatedMessage, templateInternalVerificationError;
+
+import '../severity.dart' show Severity;
+
+import '../type_inference/type_schema.dart' show TypeSchemaVisitor, UnknownType;
 
 import 'redirecting_factory_body.dart' show RedirectingFactoryBody;
 
 List<LocatedMessage> verifyProgram(Program program, {bool isOutline: false}) {
   FastaVerifyingVisitor verifier = new FastaVerifyingVisitor(isOutline);
   program.accept(verifier);
-  return verifier.errors.map(convertError).toList();
+  return verifier.errors;
 }
 
 class FastaVerifyingVisitor extends VerifyingVisitor
     implements TypeSchemaVisitor {
-  final List<VerificationError> errors = <VerificationError>[];
+  final List<LocatedMessage> errors = <LocatedMessage>[];
 
   String fileUri;
 
   FastaVerifyingVisitor(bool isOutline) {
     this.isOutline = isOutline;
   }
 
   @override
   problem(TreeNode node, String details, {TreeNode context}) {
-    context ??= this.context;
-    VerificationError error = new VerificationError(context, node, details);
-    deprecated_printUnexpected(
-        Uri.parse(fileUri), node?.fileOffset ?? -1, "$error");
-    errors.add(error);
+    node ??= (context ?? this.context);
+    int offset = node?.fileOffset ?? -1;
+    LocatedMessage message = templateInternalVerificationError
+        .withArguments(details)
+        .withLocation(Uri.parse(fileUri), offset);
+    CompilerContext.current.report(message, Severity.error);
+    errors.add(message);
   }
 
   @override
   visitExpressionStatement(ExpressionStatement node) {
     // Bypass verification of the [StaticGet] in [RedirectingFactoryBody] as
     // this is a static get without a getter.
     if (node is! RedirectingFactoryBody) {
       super.visitExpressionStatement(node);
     }
   }
@@ skipping 36 matching lines @@
   visitInvalidInitializer(InvalidInitializer node) {
     problem(node, "Invalid initializer.");
   }
 
   @override
   visitUnknownType(UnknownType node) {
     // Note: we can't pass [node] to [problem] because it's not a [TreeNode].
     problem(null, "Unexpected appearance of the unknown type.");
   }
 }
-
-LocatedMessage convertError(VerificationError error) {
-  var node = error.node ?? error.context;
-  int offset = node?.fileOffset ?? -1;
-  var file = node?.location?.file;
-  Uri uri = file == null ? null : Uri.parse(file);
-  return templateInternalVerificationError
-      .withArguments(error.details)
-      .withLocation(uri, offset);
-}