Clean up internal messages

Change-Id: Ib12fe016179a9846fc192904e9a63877fbb1908f
Reviewed-on: https://dart-review.googlesource.com/63102
Reviewed-by: Aske Simon Christensen <askesc@google.com>
Commit-Queue: Peter von der Ahé <ahe@google.com>
diff --git a/pkg/front_end/lib/src/fasta/fasta_codes_generated.dart b/pkg/front_end/lib/src/fasta/fasta_codes_generated.dart
index 4a8693c..267be15 100644
--- a/pkg/front_end/lib/src/fasta/fasta_codes_generated.dart
+++ b/pkg/front_end/lib/src/fasta/fasta_codes_generated.dart
@@ -3583,52 +3583,24 @@
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<Message Function(String string)>
-    templateInternalVerificationError =
+    templateInternalProblemVerificationError =
     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 Template<
-    Message Function(
-        String
-            string)> templateInternalVisitorUnsupportedDefault = const Template<
-        Message Function(String string)>(
-    messageTemplate:
-        r"""Trying to invoke a default visiting method of a visitor on a node #string.""",
-    tipTemplate:
-        r"""Try invoking one of the specialized 'visit' methods instead.""",
-    withArguments: _withArgumentsInternalVisitorUnsupportedDefault);
+#string""", withArguments: _withArgumentsInternalProblemVerificationError);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Message Function(String string)>
-    codeInternalVisitorUnsupportedDefault =
+    codeInternalProblemVerificationError =
     const Code<Message Function(String string)>(
-        "InternalVisitorUnsupportedDefault",
-        templateInternalVisitorUnsupportedDefault,
+        "InternalProblemVerificationError",
+        templateInternalProblemVerificationError,
         severity: Severity.internalProblem);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-Message _withArgumentsInternalVisitorUnsupportedDefault(String string) {
-  return new Message(codeInternalVisitorUnsupportedDefault,
-      message:
-          """Trying to invoke a default visiting method of a visitor on a node ${string}.""",
-      tip: """Try invoking one of the specialized 'visit' methods instead.""",
-      arguments: {'string': string});
+Message _withArgumentsInternalProblemVerificationError(String string) {
+  return new Message(codeInternalProblemVerificationError,
+      message: """Verification of the generated program failed:
+${string}""", arguments: {'string': string});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
diff --git a/pkg/front_end/lib/src/fasta/kernel/verifier.dart b/pkg/front_end/lib/src/fasta/kernel/verifier.dart
index 86aaafd..fc9e817 100644
--- a/pkg/front_end/lib/src/fasta/kernel/verifier.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/verifier.dart
@@ -28,7 +28,7 @@
 import '../compiler_context.dart' show CompilerContext;
 
 import '../fasta_codes.dart'
-    show LocatedMessage, noLength, templateInternalVerificationError;
+    show LocatedMessage, noLength, templateInternalProblemVerificationError;
 
 import '../severity.dart' show Severity;
 
@@ -106,7 +106,7 @@
     int offset = node?.fileOffset ?? -1;
     Uri file = node?.location?.file ?? fileUri;
     Uri uri = file == null ? null : file;
-    LocatedMessage message = templateInternalVerificationError
+    LocatedMessage message = templateInternalProblemVerificationError
         .withArguments(details)
         .withLocation(uri, offset, noLength);
     CompilerContext.current.report(message, Severity.error);
diff --git a/pkg/front_end/messages.status b/pkg/front_end/messages.status
index e827c91..25616bc 100644
--- a/pkg/front_end/messages.status
+++ b/pkg/front_end/messages.status
@@ -212,8 +212,6 @@
 InputFileNotFound/analyzerCode: Fail
 InputFileNotFound/example: Fail
 IntegerLiteralIsOutOfRange/example: Fail
-InternalVerificationError/analyzerCode: Fail
-InternalVerificationError/example: Fail
 InterpolationInUri/example: Fail
 InvalidCastFunctionExpr/example: Fail
 InvalidCastLiteralList/example: Fail
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
index 2c2d805..7253071 100644
--- a/pkg/front_end/messages.yaml
+++ b/pkg/front_end/messages.yaml
@@ -1387,14 +1387,10 @@
   template: "Non-context message has context severity: #string"
   severity: INTERNAL_PROBLEM
 
-InternalVerificationError:
+InternalProblemVerificationError:
   template: |
     Verification of the generated program failed:
     #string
-
-InternalVisitorUnsupportedDefault:
-  template: "Trying to invoke a default visiting method of a visitor on a node #string."
-  tip: "Try invoking one of the specialized 'visit' methods instead."
   severity: INTERNAL_PROBLEM
 
 LocalDefinitionHidesExport: