[analyzer] Enable literate diagnostic reporting API.

This CL enables the new literate API for reporting analyzer
diagnostics that was introduced in
https://dart-review.googlesource.com/c/sdk/+/445803.

The two CLs are separated for easier code review:

- https://dart-review.googlesource.com/c/sdk/+/445803 introduces the
  necessary infrastructure classes and modifies the code generator,
  but all code generator changes are initially disabled using the flag
  `literateApiEnabled`.

- This CL flips the `literateApiEnabled` to `true`, regenerates the
  generated code, and makes trivial adjustments to imports necessary
  to support the newly generated code.

In follow-up CLs, I will transition the analyzer over to reporting
errors using the new API.

Change-Id: I6a6a69647946f19a370724dbd6f36e02ed0f1d61
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/445783
Reviewed-by: Konstantin Shcheglov <[email protected]>
Reviewed-by: Brian Wilkerson <[email protected]>
Commit-Queue: Paul Berry <[email protected]>

Author: stereotype441

pkg/_fe_analyzer_shared/lib/src/scanner/errors.g.dart

@@ -19,61 +19,77 @@ part of "package:_fe_analyzer_shared/src/scanner/errors.dart";
 class ScannerErrorCode extends DiagnosticCode {
   /// Parameters:
   /// String p0: the token that was expected but not found
-  static const ScannerErrorCode expectedToken = const ScannerErrorCode(
+  static const ScannerErrorTemplate<
+    LocatableDiagnostic Function({required String p0})
+  >
+  expectedToken = const ScannerErrorTemplate(
     'EXPECTED_TOKEN',
     "Expected to find '{0}'.",
+    withArguments: _withArgumentsExpectedToken,
   );
 
   /// Parameters:
   /// Object p0: the illegal character
-  static const ScannerErrorCode illegalCharacter = const ScannerErrorCode(
+  static const ScannerErrorTemplate<
+    LocatableDiagnostic Function({required Object p0})
+  >
+  illegalCharacter = const ScannerErrorTemplate(
     'ILLEGAL_CHARACTER',
     "Illegal character '{0}'.",
+    withArguments: _withArgumentsIllegalCharacter,
   );
 
   /// No parameters.
-  static const ScannerErrorCode missingDigit = const ScannerErrorCode(
-    'MISSING_DIGIT',
-    "Decimal digit expected.",
-  );
+  static const ScannerErrorWithoutArguments missingDigit =
+      const ScannerErrorWithoutArguments(
+        'MISSING_DIGIT',
+        "Decimal digit expected.",
+      );
 
   /// No parameters.
-  static const ScannerErrorCode missingHexDigit = const ScannerErrorCode(
-    'MISSING_HEX_DIGIT',
-    "Hexadecimal digit expected.",
-  );
+  static const ScannerErrorWithoutArguments missingHexDigit =
+      const ScannerErrorWithoutArguments(
+        'MISSING_HEX_DIGIT',
+        "Hexadecimal digit expected.",
+      );
 
   /// No parameters.
-  static const ScannerErrorCode missingIdentifier = const ScannerErrorCode(
-    'MISSING_IDENTIFIER',
-    "Expected an identifier.",
-  );
+  static const ScannerErrorWithoutArguments missingIdentifier =
+      const ScannerErrorWithoutArguments(
+        'MISSING_IDENTIFIER',
+        "Expected an identifier.",
+      );
 
   /// No parameters.
-  static const ScannerErrorCode missingQuote = const ScannerErrorCode(
-    'MISSING_QUOTE',
-    "Expected quote (' or \").",
-  );
+  static const ScannerErrorWithoutArguments missingQuote =
+      const ScannerErrorWithoutArguments(
+        'MISSING_QUOTE',
+        "Expected quote (' or \").",
+      );
 
   /// Parameters:
   /// Object p0: the path of the file that cannot be read
-  static const ScannerErrorCode unableGetContent = const ScannerErrorCode(
+  static const ScannerErrorTemplate<
+    LocatableDiagnostic Function({required Object p0})
+  >
+  unableGetContent = const ScannerErrorTemplate(
     'UNABLE_GET_CONTENT',
     "Unable to get content of '{0}'.",
+    withArguments: _withArgumentsUnableGetContent,
   );
 
   /// No parameters.
-  static const ScannerErrorCode
-  unexpectedDollarInString = const ScannerErrorCode(
+  static const ScannerErrorWithoutArguments
+  unexpectedDollarInString = const ScannerErrorWithoutArguments(
     'UNEXPECTED_DOLLAR_IN_STRING',
     "A '\$' has special meaning inside a string, and must be followed by an "
         "identifier or an expression in curly braces ({}).",
     correctionMessage: "Try adding a backslash (\\) to escape the '\$'.",
   );
 
   /// No parameters.
-  static const ScannerErrorCode
-  unexpectedSeparatorInNumber = const ScannerErrorCode(
+  static const ScannerErrorWithoutArguments
+  unexpectedSeparatorInNumber = const ScannerErrorWithoutArguments(
     'UNEXPECTED_SEPARATOR_IN_NUMBER',
     "Digit separators ('_') in a number literal can only be placed between two "
         "digits.",
@@ -82,14 +98,18 @@ class ScannerErrorCode extends DiagnosticCode {
 
   /// Parameters:
   /// String p0: the unsupported operator
-  static const ScannerErrorCode unsupportedOperator = const ScannerErrorCode(
+  static const ScannerErrorTemplate<
+    LocatableDiagnostic Function({required String p0})
+  >
+  unsupportedOperator = const ScannerErrorTemplate(
     'UNSUPPORTED_OPERATOR',
     "The '{0}' operator is not supported.",
+    withArguments: _withArgumentsUnsupportedOperator,
   );
 
   /// No parameters.
-  static const ScannerErrorCode unterminatedMultiLineComment =
-      const ScannerErrorCode(
+  static const ScannerErrorWithoutArguments unterminatedMultiLineComment =
+      const ScannerErrorWithoutArguments(
         'UNTERMINATED_MULTI_LINE_COMMENT',
         "Unterminated multi-line comment.",
         correctionMessage:
@@ -98,8 +118,8 @@ class ScannerErrorCode extends DiagnosticCode {
       );
 
   /// No parameters.
-  static const ScannerErrorCode unterminatedStringLiteral =
-      const ScannerErrorCode(
+  static const ScannerErrorWithoutArguments unterminatedStringLiteral =
+      const ScannerErrorWithoutArguments(
         'UNTERMINATED_STRING_LITERAL',
         "Unterminated string literal.",
       );
@@ -123,4 +143,54 @@ class ScannerErrorCode extends DiagnosticCode {
 
   @override
   DiagnosticType get type => DiagnosticType.SYNTACTIC_ERROR;
+
+  static LocatableDiagnostic _withArgumentsExpectedToken({required String p0}) {
+    return new LocatableDiagnosticImpl(expectedToken, [p0]);
+  }
+
+  static LocatableDiagnostic _withArgumentsIllegalCharacter({
+    required Object p0,
+  }) {
+    return new LocatableDiagnosticImpl(illegalCharacter, [p0]);
+  }
+
+  static LocatableDiagnostic _withArgumentsUnableGetContent({
+    required Object p0,
+  }) {
+    return new LocatableDiagnosticImpl(unableGetContent, [p0]);
+  }
+
+  static LocatableDiagnostic _withArgumentsUnsupportedOperator({
+    required String p0,
+  }) {
+    return new LocatableDiagnosticImpl(unsupportedOperator, [p0]);
+  }
+}
+
+final class ScannerErrorTemplate<T extends Function> extends ScannerErrorCode {
+  final T withArguments;
+
+  /// Initialize a newly created error code to have the given [name].
+  const ScannerErrorTemplate(
+    super.name,
+    super.problemMessage, {
+    super.correctionMessage,
+    super.hasPublishedDocs = false,
+    super.isUnresolvedIdentifier = false,
+    super.uniqueName,
+    required this.withArguments,
+  });
+}
+
+final class ScannerErrorWithoutArguments extends ScannerErrorCode
+    with DiagnosticWithoutArguments {
+  /// Initialize a newly created error code to have the given [name].
+  const ScannerErrorWithoutArguments(
+    super.name,
+    super.problemMessage, {
+    super.correctionMessage,
+    super.hasPublishedDocs = false,
+    super.isUnresolvedIdentifier = false,
+    super.uniqueName,
+  });
 }

pkg/analysis_server/lib/src/services/correction/fix/data_driven/transform_set_error_code.dart

@@ -3,5 +3,6 @@
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:analyzer/error/error.dart';
+import 'package:analyzer/src/error/codes.dart';
 
 part 'package:analysis_server/src/services/correction/fix/data_driven/transform_set_error_code.g.dart';