Use messages for (some) public API errors

pkg/front_end/lib/src/fasta/fasta_codes_generated.dart

 // Copyright (c) 2017, 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.
 
 // NOTE: THIS FILE IS GENERATED. DO NOT EDIT.
 //
 // Instead modify 'pkg/front_end/messages.yaml' and run
 // 'pkg/front_end/tool/_fasta/generate_messages.dart' to update.
 
 part of fasta.codes;
@@ skipping 981 matching lines @@
 );
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 Message _withArgumentsInternalProblemUnsupported(String name) {
   return new Message(codeInternalProblemUnsupported,
       message: """Unsupported operation: '$name'.""",
       arguments: {'name': name});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Template<Message Function(String string)>
+    templateInternalVerificationError =
+    const Template<Message Function(String string)>(
+        messageTemplate:
+            r"""Verification of the generated program failed: #string.""",
+        withArguments: _withArgumentsInternalVerificationError);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Message Function(String string)> codeInternalVerificationError =
+    const Code<Message Function(String string)>(
+  "InternalVerificationError",
+  templateInternalVerificationError,
+);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+Message _withArgumentsInternalVerificationError(String string) {
+  return new Message(codeInternalVerificationError,
+      message: """Verification of the generated program failed: $string.""",
+      arguments: {'string': string});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeInvalidAwaitFor = messageInvalidAwaitFor;
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const MessageCode messageInvalidAwaitFor = const MessageCode("InvalidAwaitFor",
     dart2jsCode: "INVALID_AWAIT_FOR",
     message:
         r"""'await' is only supported in methods with an 'async' or 'async*' body modifier.""",
     tip:
         r"""Try adding 'async' or 'async*' to the method body or removing the 'await' keyword.""");
 
@@ skipping 130 matching lines @@
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const MessageCode messageMissingExponent = const MessageCode("MissingExponent",
     analyzerCode: "MISSING_DIGIT",
     dart2jsCode: "EXPONENT_MISSING",
     message:
         r"""Numbers in exponential notation should always contain an exponent (an integer number with an optional sign).""",
     tip:
         r"""Make sure there is an exponent, and remove any whitespace before it.""");
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Template<Message Function(String string)> templateMissingInputFile =
+    const Template<Message Function(String string)>(
+        messageTemplate: r"""Input file not found: #string.""",
+        withArguments: _withArgumentsMissingInputFile);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Message Function(String string)> codeMissingInputFile =
+    const Code<Message Function(String string)>(
+  "MissingInputFile",
+  templateMissingInputFile,
+);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+Message _withArgumentsMissingInputFile(String string) {
+  return new Message(codeMissingInputFile,
+      message: """Input file not found: $string.""",
+      arguments: {'string': string});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Null> codeMissingMain = messageMissingMain;
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const MessageCode messageMissingMain = const MessageCode("MissingMain",
+    dart2jsCode: "MISSING_MAIN",
+    message: r"""No 'main' method found.""",
+    tip: r"""Try adding a method named 'main' to your program.""");
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Template<Message Function(String string)> templateMissingSdkRoot =
+    const Template<Message Function(String string)>(
+        messageTemplate: r"""SDK root directory not found: #string.""",
+        withArguments: _withArgumentsMissingSdkRoot);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Message Function(String string)> codeMissingSdkRoot =
+    const Code<Message Function(String string)>(
+  "MissingSdkRoot",
+  templateMissingSdkRoot,
+);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+Message _withArgumentsMissingSdkRoot(String string) {
+  return new Message(codeMissingSdkRoot,
+      message: """SDK root directory not found: $string.""",
+      arguments: {'string': string});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Template<Message Function(String string)> templateMissingSdkSummary =
+    const Template<Message Function(String string)>(
+        messageTemplate: r"""SDK summary not found: #string.""",
+        withArguments: _withArgumentsMissingSdkSummary);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const Code<Message Function(String string)> codeMissingSdkSummary =
+    const Code<Message Function(String string)>(
+  "MissingSdkSummary",
+  templateMissingSdkSummary,
+);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+Message _withArgumentsMissingSdkSummary(String string) {
+  return new Message(codeMissingSdkSummary,
+      message: """SDK summary not found: $string.""",
+      arguments: {'string': string});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeNamedFunctionExpression = messageNamedFunctionExpression;
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const MessageCode messageNamedFunctionExpression = const MessageCode(
     "NamedFunctionExpression",
     dart2jsCode: "*ignored*",
     message: r"""A function expression can't have a name.""");
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<
@@ skipping 385 matching lines @@
         r"""'yield' can't be used as an identifier in 'async', 'async*', or 'sync*' methods.""");
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeYieldNotGenerator = messageYieldNotGenerator;
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const MessageCode messageYieldNotGenerator = const MessageCode(
     "YieldNotGenerator",
     dart2jsCode: "*ignored*",
     message: r"""'yield' can only be used in 'sync*' or 'async*' methods.""");