Various semantic checks on formal parameters.

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 11 matching lines @@
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatExpectedClassBodyToSkip(
     Uri uri, int charOffset, Token token) {
   String lexeme = token.lexeme;
   return new FastaMessage(uri, charOffset, codeExpectedClassBodyToSkip,
       message: "Expected a class body, but got '$lexeme'.",
       arguments: {'token': token});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const FastaCode<_FunctionTypeDefaultValue> codeFunctionTypeDefaultValue =
+    const FastaCode<_FunctionTypeDefaultValue>("FunctionTypeDefaultValue",
+        template: r"Can't have a default value in a function type.",
+        dart2jsCode: "FASTA_IGNORED",
+        format: _formatFunctionTypeDefaultValue);
+
+typedef FastaMessage _FunctionTypeDefaultValue(Uri uri, int charOffset);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+FastaMessage _formatFunctionTypeDefaultValue(Uri uri, int charOffset) {
+  return new FastaMessage(uri, charOffset, codeFunctionTypeDefaultValue,
+      message: "Can't have a default value in a function type.", arguments: {});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const FastaCode<_StackOverflow> codeStackOverflow =
     const FastaCode<_StackOverflow>("StackOverflow",
         template: r"Stack overflow.",
         dart2jsCode: "GENERIC",
         format: _formatStackOverflow);
 
 typedef FastaMessage _StackOverflow(Uri uri, int charOffset);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatStackOverflow(Uri uri, int charOffset) {
@@ skipping 60 matching lines @@
 typedef FastaMessage _FactoryNotSync(Uri uri, int charOffset);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatFactoryNotSync(Uri uri, int charOffset) {
   return new FastaMessage(uri, charOffset, codeFactoryNotSync,
       message: "Factories can't use 'async', 'async*', or 'sync*'.",
       arguments: {});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const FastaCode<_PrivateNamedParameter> codePrivateNamedParameter =
+    const FastaCode<_PrivateNamedParameter>("PrivateNamedParameter",
+        template: r"An optional named parameter can't start with '_'.",
+        dart2jsCode: "FASTA_IGNORED",
+        format: _formatPrivateNamedParameter);
+
+typedef FastaMessage _PrivateNamedParameter(Uri uri, int charOffset);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+FastaMessage _formatPrivateNamedParameter(Uri uri, int charOffset) {
+  return new FastaMessage(uri, charOffset, codePrivateNamedParameter,
+      message: "An optional named parameter can't start with '_'.",
+      arguments: {});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const FastaCode<_YieldNotGenerator> codeYieldNotGenerator =
     const FastaCode<_YieldNotGenerator>("YieldNotGenerator",
         template: r"'yield' can only be used in 'sync*' or 'async*' methods.",
         dart2jsCode: "FASTA_IGNORED",
         format: _formatYieldNotGenerator);
 
 typedef FastaMessage _YieldNotGenerator(Uri uri, int charOffset);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatYieldNotGenerator(Uri uri, int charOffset) {
@@ skipping 439 matching lines @@
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatInvalidSyncModifier(Uri uri, int charOffset) {
   return new FastaMessage(uri, charOffset, codeInvalidSyncModifier,
       message: "Invalid modifier 'sync'.",
       tip: "Try replacing 'sync' with 'sync*'.",
       arguments: {});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const FastaCode<_GetterWithFormals> codeGetterWithFormals =
+    const FastaCode<_GetterWithFormals>("GetterWithFormals",
+        template: r"A getter can't have formal parameters.",
+        tip: r"Try removing '(...)'.",
+        dart2jsCode: "FASTA_IGNORED",
+        format: _formatGetterWithFormals);
+
+typedef FastaMessage _GetterWithFormals(Uri uri, int charOffset);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+FastaMessage _formatGetterWithFormals(Uri uri, int charOffset) {
+  return new FastaMessage(uri, charOffset, codeGetterWithFormals,
+      message: "A getter can't have formal parameters.",
+      tip: "Try removing '(...)'.",
+      arguments: {});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const FastaCode<_NoFormals> codeNoFormals = const FastaCode<_NoFormals>(
+    "NoFormals",
+    template: r"A function should have formal parameters.",
+    tip:
+        r"Try adding '()' after '#lexeme', or add 'get' before '#lexeme' to declare a getter.",
+    dart2jsCode: "FASTA_IGNORED",
+    format: _formatNoFormals);
+
+typedef FastaMessage _NoFormals(Uri uri, int charOffset, Token token);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+FastaMessage _formatNoFormals(Uri uri, int charOffset, Token token) {
+  String lexeme = token.lexeme;
+  return new FastaMessage(uri, charOffset, codeNoFormals,
+      message: "A function should have formal parameters.",
+      tip:
+          "Try adding '()' after '$lexeme', or add 'get' before '$lexeme' to declare a getter.",
+      arguments: {'token': token});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const FastaCode<_ExpectedOpenParens> codeExpectedOpenParens =
     const FastaCode<_ExpectedOpenParens>("ExpectedOpenParens",
         template: r"Expected '('.",
         dart2jsCode: "GENERIC",
         format: _formatExpectedOpenParens);
 
 typedef FastaMessage _ExpectedOpenParens(Uri uri, int charOffset);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatExpectedOpenParens(Uri uri, int charOffset) {
@@ skipping 11 matching lines @@
 
 typedef FastaMessage _UnterminatedComment(Uri uri, int charOffset);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatUnterminatedComment(Uri uri, int charOffset) {
   return new FastaMessage(uri, charOffset, codeUnterminatedComment,
       message: "Comment starting with '/*' must end with '*/'.", arguments: {});
 }
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+const FastaCode<_CatchSyntax> codeCatchSyntax = const FastaCode<_CatchSyntax>(
+    "CatchSyntax",
+    template:
+        r"'catch' must be followed by '(identifier)' or '(identifier, identifier)'.",
+    tip:
+        r"No types are needed, the first is given by 'on', the second is always 'StackTrace'.",
+    format: _formatCatchSyntax);
+
+typedef FastaMessage _CatchSyntax(Uri uri, int charOffset);
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
+FastaMessage _formatCatchSyntax(Uri uri, int charOffset) {
+  return new FastaMessage(uri, charOffset, codeCatchSyntax,
+      message:
+          "'catch' must be followed by '(identifier)' or '(identifier, identifier)'.",
+      tip:
+          "No types are needed, the first is given by 'on', the second is always 'StackTrace'.",
+      arguments: {});
+}
+
+// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const FastaCode<_ExpectedClassBody> codeExpectedClassBody =
     const FastaCode<_ExpectedClassBody>("ExpectedClassBody",
         template: r"Expected a class body, but got '#lexeme'.",
         dart2jsCode: "FASTA_FATAL",
         format: _formatExpectedClassBody);
 
 typedef FastaMessage _ExpectedClassBody(Uri uri, int charOffset, Token token);
 
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatExpectedClassBody(Uri uri, int charOffset, Token token) {
@@ skipping 342 matching lines @@
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 FastaMessage _formatNonAsciiIdentifier(
     Uri uri, int charOffset, String character, int codePoint) {
   String unicode = "(U+${codePoint.toRadixString(16).padLeft(4, '0')})";
   return new FastaMessage(uri, charOffset, codeNonAsciiIdentifier,
       message:
           "The non-ASCII character '$character' ($unicode) can't be used in identifiers, only in strings and comments.",
       tip: "Try using an US-ASCII letter, a digit, '_' (an underscore), or '\$' (a dollar sign).",
       arguments: {'character': character, 'codePoint': codePoint});
 }