pkg/analyzer/lib/src/generated/error.dart - Issue 706823003: Clean up error codes implementation

Unified Diff: pkg/analyzer/lib/src/generated/error.dart

Issue 706823003: Clean up error codes implementation (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 6 years, 1 month ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View side-by-side diff with in-line comments

Download patch

Index: pkg/analyzer/lib/src/generated/error.dart

diff --git a/pkg/analyzer/lib/src/generated/error.dart b/pkg/analyzer/lib/src/generated/error.dart

index 80c3bc3e5ad6bbea9f87ce1ebc73acee2705f844..f88d40a76327ad9f8e6c7148b0c0d4d6496d7c03 100644

--- a/pkg/analyzer/lib/src/generated/error.dart

+++ b/pkg/analyzer/lib/src/generated/error.dart

@@ -2,9 +2,6 @@

// BSD-style license that can be found in the LICENSE file.

-// This code was auto-generated, is not intended to be edited, and is subject to

-// significant change. Please see the README file for more information.

library engine.error;

import 'dart:collection';

@@ -287,77 +284,96 @@ class AnalysisErrorWithProperties extends AnalysisError {

/**

* The enumeration `AngularCode` defines Angular specific problems.

-class AngularCode extends Enum<AngularCode> implements ErrorCode {

- static const AngularCode CANNOT_PARSE_SELECTOR = const AngularCode('CANNOT_PARSE_SELECTOR', 0, "The selector '{0}' cannot be parsed");

- static const AngularCode INVALID_FORMATTER_NAME = const AngularCode('INVALID_FORMATTER_NAME', 1, "Formatter name must be a simple identifier");

- static const AngularCode INVALID_PROPERTY_KIND = const AngularCode('INVALID_PROPERTY_KIND', 2, "Unknown property binding kind '{0}', use one of the '@', '=>', '=>!' or '<=>'");

- static const AngularCode INVALID_PROPERTY_FIELD = const AngularCode('INVALID_PROPERTY_FIELD', 3, "Unknown property field '{0}'");

- static const AngularCode INVALID_PROPERTY_MAP = const AngularCode('INVALID_PROPERTY_MAP', 4, "Argument 'map' must be a constant map literal");

- static const AngularCode INVALID_PROPERTY_NAME = const AngularCode('INVALID_PROPERTY_NAME', 5, "Property name must be a string literal");

- static const AngularCode INVALID_PROPERTY_SPEC = const AngularCode('INVALID_PROPERTY_SPEC', 6, "Property binding specification must be a string literal");

- static const AngularCode INVALID_REPEAT_SYNTAX = const AngularCode('INVALID_REPEAT_SYNTAX', 7, "Expected statement in form '_item_ in _collection_ [tracked by _id_]'");

- static const AngularCode INVALID_REPEAT_ITEM_SYNTAX = const AngularCode('INVALID_REPEAT_ITEM_SYNTAX', 8, "Item must by identifier or in '(_key_, _value_)' pair.");

- static const AngularCode INVALID_URI = const AngularCode('INVALID_URI', 9, "Invalid URI syntax: '{0}'");

- static const AngularCode MISSING_FORMATTER_COLON = const AngularCode('MISSING_FORMATTER_COLON', 10, "Missing ':' before formatter argument");

- static const AngularCode MISSING_NAME = const AngularCode('MISSING_NAME', 11, "Argument 'name' must be provided");

- static const AngularCode MISSING_PUBLISH_AS = const AngularCode('MISSING_PUBLISH_AS', 12, "Argument 'publishAs' must be provided");

- static const AngularCode MISSING_SELECTOR = const AngularCode('MISSING_SELECTOR', 13, "Argument 'selector' must be provided");

- static const AngularCode URI_DOES_NOT_EXIST = const AngularCode('URI_DOES_NOT_EXIST', 14, "Target of URI does not exist: '{0}'");

- static const List<AngularCode> values = const [

- CANNOT_PARSE_SELECTOR,

- INVALID_FORMATTER_NAME,

- INVALID_PROPERTY_KIND,

- INVALID_PROPERTY_FIELD,

- INVALID_PROPERTY_MAP,

- INVALID_PROPERTY_NAME,

- INVALID_PROPERTY_SPEC,

- INVALID_REPEAT_SYNTAX,

- INVALID_REPEAT_ITEM_SYNTAX,

- INVALID_URI,

- MISSING_FORMATTER_COLON,

- MISSING_NAME,

- MISSING_PUBLISH_AS,

- MISSING_SELECTOR,

- URI_DOES_NOT_EXIST];

- /**

- * The template used to create the message to be displayed for this error.

- */

- final String message;

- /**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

- */

- const AngularCode(String name, int ordinal, this.message) : super(name, ordinal);

- @override

- String get correction => null;

+class AngularCode extends ErrorCode {

+ static const AngularCode CANNOT_PARSE_SELECTOR

+ = const AngularCode(

+ 'CANNOT_PARSE_SELECTOR',

+ "The selector '{0}' cannot be parsed");

+ static const AngularCode INVALID_FORMATTER_NAME

+ = const AngularCode(

+ 'INVALID_FORMATTER_NAME',

+ "Formatter name must be a simple identifier");

+ static const AngularCode INVALID_PROPERTY_KIND

+ = const AngularCode(

+ 'INVALID_PROPERTY_KIND',

+ "Unknown property binding kind '{0}', use one of the '@', '=>', '=>!' or '<=>'");

+ static const AngularCode INVALID_PROPERTY_FIELD

+ = const AngularCode(

+ 'INVALID_PROPERTY_FIELD',

+ "Unknown property field '{0}'");

+ static const AngularCode INVALID_PROPERTY_MAP

+ = const AngularCode(

+ 'INVALID_PROPERTY_MAP',

+ "Argument 'map' must be a constant map literal");

+ static const AngularCode INVALID_PROPERTY_NAME

+ = const AngularCode(

+ 'INVALID_PROPERTY_NAME',

+ "Property name must be a string literal");

+ static const AngularCode INVALID_PROPERTY_SPEC

+ = const AngularCode(

+ 'INVALID_PROPERTY_SPEC',

+ "Property binding specification must be a string literal");

+ static const AngularCode INVALID_REPEAT_SYNTAX

+ = const AngularCode(

+ 'INVALID_REPEAT_SYNTAX',

+ "Expected statement in form '_item_ in _collection_ [tracked by _id_]'");

+ static const AngularCode INVALID_REPEAT_ITEM_SYNTAX

+ = const AngularCode(

+ 'INVALID_REPEAT_ITEM_SYNTAX',

+ "Item must by identifier or in '(_key_, _value_)' pair.");

+ static const AngularCode INVALID_URI

+ = const AngularCode(

+ 'INVALID_URI',

+ "Invalid URI syntax: '{0}'");

+ static const AngularCode MISSING_FORMATTER_COLON

+ = const AngularCode(

+ 'MISSING_FORMATTER_COLON',

+ "Missing ':' before formatter argument");

+ static const AngularCode MISSING_NAME

+ = const AngularCode(

+ 'MISSING_NAME',

+ "Argument 'name' must be provided");

+ static const AngularCode MISSING_PUBLISH_AS

+ = const AngularCode(

+ 'MISSING_PUBLISH_AS',

+ "Argument 'publishAs' must be provided");

+ static const AngularCode MISSING_SELECTOR

+ = const AngularCode(

+ 'MISSING_SELECTOR',

+ "Argument 'selector' must be provided");

+ static const AngularCode URI_DOES_NOT_EXIST

+ = const AngularCode(

+ 'URI_DOES_NOT_EXIST',

+ "Target of URI does not exist: '{0}'");

+ /**

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

+ */

+ const AngularCode(String name, String message, [String correction])

+ : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorSeverity.INFO;

@override

ErrorType get type => ErrorType.ANGULAR;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

@@ -384,13 +400,14 @@ class BooleanErrorListener implements AnalysisErrorListener {

}

/**

- * The enumeration `CompileTimeErrorCode` defines the error codes used for compile time errors

- * caused by constant evaluation that would throw an exception when run in checked mode. The client

- * of the analysis engine is responsible for determining how these errors should be presented to the

- * user (for example, a command-line compiler might elect to treat these errors differently

- * depending whether it is compiling it "checked" mode).

+ * The enumeration `CompileTimeErrorCode` defines the error codes used for

+ * compile time errors caused by constant evaluation that would throw an

+ * exception when run in checked mode. The client of the analysis engine is

+ * responsible for determining how these errors should be presented to the user

+ * (for example, a command-line compiler might elect to treat these errors

+ * differently depending whether it is compiling it "checked" mode).

-class CheckedModeCompileTimeErrorCode extends Enum<CheckedModeCompileTimeErrorCode> implements ErrorCode {

+class CheckedModeCompileTimeErrorCode extends ErrorCode {

// TODO(paulberry): improve the text of these error messages so that it's

// clear to the user that the error is coming from constant evaluation (and

// hence the constant needs to be a subtype of the annotated type) as opposed

@@ -399,384 +416,389 @@ class CheckedModeCompileTimeErrorCode extends Enum<CheckedModeCompileTimeErrorCo

// errors.

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CheckedModeCompileTimeErrorCode CONST_CONSTRUCTOR_FIELD_TYPE_MISMATCH =

- const CheckedModeCompileTimeErrorCode.con1(

+ static const CheckedModeCompileTimeErrorCode CONST_CONSTRUCTOR_FIELD_TYPE_MISMATCH

+ = const CheckedModeCompileTimeErrorCode(

'CONST_CONSTRUCTOR_FIELD_TYPE_MISMATCH',

- 0,

"The object type '{0}' cannot be assigned to the field '{1}', which has type '{2}'");

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CheckedModeCompileTimeErrorCode CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH =

- const CheckedModeCompileTimeErrorCode.con1(

+ static const CheckedModeCompileTimeErrorCode CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH

+ = const CheckedModeCompileTimeErrorCode(

'CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH',

- 1,

"The object type '{0}' cannot be assigned to a parameter of type '{1}'");

/**

- * 7.6.1 Generative Constructors: In checked mode, it is a dynamic type error if o is not

- * null and the interface of the class of o is not a subtype of the static type of

- * the field v.

+ * 7.6.1 Generative Constructors: In checked mode, it is a dynamic type error

+ * if o is not null and the interface of the class of o is not a

+ * subtype of the static type of the field v.

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

* @param initializerType the name of the type of the initializer expression

* @param fieldType the name of the type of the field

- static const CheckedModeCompileTimeErrorCode CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE = const CheckedModeCompileTimeErrorCode.con1('CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE', 2, "The initializer type '{0}' cannot be assigned to the field type '{1}'");

+ static const CheckedModeCompileTimeErrorCode CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE

+ = const CheckedModeCompileTimeErrorCode(

+ 'CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE',

+ "The initializer type '{0}' cannot be assigned to the field type '{1}'");

/**

- * 12.6 Lists: A run-time list literal <E> [e1 ...

- * en] is evaluated as follows:

- * * The operator []= is invoked on a with first argument i and second argument

- * oi+1, 1 <= i <= n

+ * 12.6 Lists: A run-time list literal <E> [e1

+ * ... en] is evaluated as follows:

+ * * The operator []= is invoked on a with first argument i and

+ * second argument oi+1, 1 <= i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj,

+ * 1 <= j <= m.

- static const CheckedModeCompileTimeErrorCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE = const CheckedModeCompileTimeErrorCode.con1('LIST_ELEMENT_TYPE_NOT_ASSIGNABLE', 3, "The element type '{0}' cannot be assigned to the list type '{1}'");

+ static const CheckedModeCompileTimeErrorCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE

+ = const CheckedModeCompileTimeErrorCode(

+ 'LIST_ELEMENT_TYPE_NOT_ASSIGNABLE',

+ "The element type '{0}' cannot be assigned to the list type '{1}'");

/**

- * 12.7 Map: A run-time map literal <K, V> [k1 :

- * e1 ... kn : en] is evaluated as follows:

- * * The operator []= is invoked on m with first argument ki and second

- * argument ei, 1 <= i <= n

+ * 12.7 Map: A run-time map literal <K, V>

+ * [k1 : e1 ... kn :

+ * en] is evaluated as follows:

+ * * The operator []= is invoked on m with first argument

+ * ki and second argument ei, 1 <=

+ * i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

- static const CheckedModeCompileTimeErrorCode MAP_KEY_TYPE_NOT_ASSIGNABLE = const CheckedModeCompileTimeErrorCode.con1('MAP_KEY_TYPE_NOT_ASSIGNABLE', 4, "The element type '{0}' cannot be assigned to the map key type '{1}'");

+ static const CheckedModeCompileTimeErrorCode MAP_KEY_TYPE_NOT_ASSIGNABLE

+ = const CheckedModeCompileTimeErrorCode(

+ 'MAP_KEY_TYPE_NOT_ASSIGNABLE',

+ "The element type '{0}' cannot be assigned to the map key type '{1}'");

/**

- * 12.7 Map: A run-time map literal <K, V> [k1 :

- * e1 ... kn : en] is evaluated as follows:

- * * The operator []= is invoked on m with first argument ki and second

- * argument ei, 1 <= i <= n

+ * 12.7 Map: A run-time map literal <K, V>

+ * [k1 : e1 ... kn :

+ * en] is evaluated as follows:

+ * * The operator []= is invoked on m with first argument

+ * ki and second argument ei, 1 <=

+ * i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

- static const CheckedModeCompileTimeErrorCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const CheckedModeCompileTimeErrorCode.con1('MAP_VALUE_TYPE_NOT_ASSIGNABLE', 5, "The element type '{0}' cannot be assigned to the map value type '{1}'");

+ static const CheckedModeCompileTimeErrorCode MAP_VALUE_TYPE_NOT_ASSIGNABLE

+ = const CheckedModeCompileTimeErrorCode(

+ 'MAP_VALUE_TYPE_NOT_ASSIGNABLE',

+ "The element type '{0}' cannot be assigned to the map value type '{1}'");

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CheckedModeCompileTimeErrorCode VARIABLE_TYPE_MISMATCH =

- const CheckedModeCompileTimeErrorCode.con1(

+ static const CheckedModeCompileTimeErrorCode VARIABLE_TYPE_MISMATCH

+ = const CheckedModeCompileTimeErrorCode(

'VARIABLE_TYPE_MISMATCH',

- 6,

"The object type '{0}' cannot be assigned to a variable of type '{1}'");

- static const List<CheckedModeCompileTimeErrorCode> values = const [

- CONST_CONSTRUCTOR_FIELD_TYPE_MISMATCH,

- CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH,

- CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE,

- LIST_ELEMENT_TYPE_NOT_ASSIGNABLE,

- MAP_KEY_TYPE_NOT_ASSIGNABLE,

- MAP_VALUE_TYPE_NOT_ASSIGNABLE,

- VARIABLE_TYPE_MISMATCH];

- /**

- * The template used to create the message to be displayed for this error.

- */

- final String message;

/**

- * The template used to create the correction to be displayed for this error, or `null` if

- * there is no correction information for this error.

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- final String correction;

- /**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

- */

- const CheckedModeCompileTimeErrorCode.con1(String name, int ordinal, String message) : this.con2(name, ordinal, message, null);

- /**

- * Initialize a newly created error code to have the given message and correction.

- *

- * @param message the template used to create the message to be displayed for the error

- * @param correction the template used to create the correction to be displayed for the error

- */

- const CheckedModeCompileTimeErrorCode.con2(String name, int ordinal, this.message, this.correction) : super(name, ordinal);

+ const CheckedModeCompileTimeErrorCode(String name, String message, [String correction])

+ : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorType.CHECKED_MODE_COMPILE_TIME_ERROR.severity;

@override

ErrorType get type => ErrorType.CHECKED_MODE_COMPILE_TIME_ERROR;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

- * The enumeration `CompileTimeErrorCode` defines the error codes used for compile time

- * errors. The convention for this class is for the name of the error code to indicate the problem

- * that caused the error to be generated and for the error message to explain what is wrong and,

- * when appropriate, how the problem can be corrected.

+ * The enumeration `CompileTimeErrorCode` defines the error codes used for

+ * compile time errors. The convention for this class is for the name of the

+ * error code to indicate the problem that caused the error to be generated and

+ * for the error message to explain what is wrong and, when appropriate, how the

+ * problem can be corrected.

-class CompileTimeErrorCode extends Enum<CompileTimeErrorCode> implements ErrorCode {

+class CompileTimeErrorCode extends ErrorCode {

/**

- * Enum proposal: It is also a compile-time error to explicitly instantiate an enum via 'new' or

- * 'const' or to access its private fields.

+ * Enum proposal: It is also a compile-time error to explicitly instantiate an

+ * enum via 'new' or 'const' or to access its private fields.

- static const CompileTimeErrorCode ACCESS_PRIVATE_ENUM_FIELD = const CompileTimeErrorCode.con1('ACCESS_PRIVATE_ENUM_FIELD', 0, "The private fields of an enum cannot be accessed, even within the same library");

+ static const CompileTimeErrorCode ACCESS_PRIVATE_ENUM_FIELD = const CompileTimeErrorCode('ACCESS_PRIVATE_ENUM_FIELD', "The private fields of an enum cannot be accessed, even within the same library");

/**

- * 14.2 Exports: It is a compile-time error if a name N is re-exported by a library

- * L and N is introduced into the export namespace of L by more than one

- * export, unless each all exports refer to same declaration for the name N.

+ * 14.2 Exports: It is a compile-time error if a name N is re-exported

+ * by a library L and N is introduced into the export namespace

+ * of L by more than one export, unless each all exports refer to same

+ * declaration for the name N.

* @param ambiguousElementName the name of the ambiguous element

- * @param firstLibraryName the name of the first library that the type is found

- * @param secondLibraryName the name of the second library that the type is found

+ * @param firstLibraryName the name of the first library that the type is

+ * found

+ * @param secondLibraryName the name of the second library that the type is

+ * found

- static const CompileTimeErrorCode AMBIGUOUS_EXPORT = const CompileTimeErrorCode.con1('AMBIGUOUS_EXPORT', 1, "The name '{0}' is defined in the libraries '{1}' and '{2}'");

+ static const CompileTimeErrorCode AMBIGUOUS_EXPORT = const CompileTimeErrorCode('AMBIGUOUS_EXPORT', "The name '{0}' is defined in the libraries '{1}' and '{2}'");

/**

- * 12.33 Argument Definition Test: It is a compile time error if v does not denote a formal

- * parameter.

+ * 12.33 Argument Definition Test: It is a compile time error if v does

+ * not denote a formal parameter.

- * @param the name of the identifier in the argument definition test that is not a parameter

+ * @param the name of the identifier in the argument definition test that is

+ * not a parameter

- static const CompileTimeErrorCode ARGUMENT_DEFINITION_TEST_NON_PARAMETER = const CompileTimeErrorCode.con1('ARGUMENT_DEFINITION_TEST_NON_PARAMETER', 2, "'{0}' is not a parameter");

+ static const CompileTimeErrorCode ARGUMENT_DEFINITION_TEST_NON_PARAMETER = const CompileTimeErrorCode('ARGUMENT_DEFINITION_TEST_NON_PARAMETER', "'{0}' is not a parameter");

/**

- * ?? Asynchronous For-in: It is a compile-time error if an asynchronous for-in statement appears

- * inside a synchronous function.

+ * ?? Asynchronous For-in: It is a compile-time error if an asynchronous

+ * for-in statement appears inside a synchronous function.

- static const CompileTimeErrorCode ASYNC_FOR_IN_WRONG_CONTEXT = const CompileTimeErrorCode.con1('ASYNC_FOR_IN_WRONG_CONTEXT', 3, "The asynchronous for-in can only be used in a function marked with async or async*");

+ static const CompileTimeErrorCode ASYNC_FOR_IN_WRONG_CONTEXT = const CompileTimeErrorCode('ASYNC_FOR_IN_WRONG_CONTEXT', "The asynchronous for-in can only be used in a function marked with async or async*");

/**

- * ??: It is a compile-time error if the function immediately enclosing a is not declared

- * asynchronous.

+ * ??: It is a compile-time error if the function immediately enclosing a is

+ * not declared asynchronous.

- static const CompileTimeErrorCode AWAIT_IN_WRONG_CONTEXT = const CompileTimeErrorCode.con1('AWAIT_IN_WRONG_CONTEXT', 4, "The await expression can only be used in a function marked as async or async*");

+ static const CompileTimeErrorCode AWAIT_IN_WRONG_CONTEXT = const CompileTimeErrorCode('AWAIT_IN_WRONG_CONTEXT', "The await expression can only be used in a function marked as async or async*");

/**

- * 12.30 Identifier Reference: It is a compile-time error to use a built-in identifier other than

- * dynamic as a type annotation.

+ * 12.30 Identifier Reference: It is a compile-time error to use a built-in

+ * identifier other than dynamic as a type annotation.

- static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE = const CompileTimeErrorCode.con1('BUILT_IN_IDENTIFIER_AS_TYPE', 5, "The built-in identifier '{0}' cannot be as a type");

+ static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE = const CompileTimeErrorCode('BUILT_IN_IDENTIFIER_AS_TYPE', "The built-in identifier '{0}' cannot be as a type");

/**

- * 12.30 Identifier Reference: It is a compile-time error if a built-in identifier is used as the

- * declared name of a class, type parameter or type alias.

+ * 12.30 Identifier Reference: It is a compile-time error if a built-in

+ * identifier is used as the declared name of a class, type parameter or type

+ * alias.

- static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE_NAME = const CompileTimeErrorCode.con1('BUILT_IN_IDENTIFIER_AS_TYPE_NAME', 6, "The built-in identifier '{0}' cannot be used as a type name");

+ static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE_NAME = const CompileTimeErrorCode('BUILT_IN_IDENTIFIER_AS_TYPE_NAME', "The built-in identifier '{0}' cannot be used as a type name");

/**

- * 12.30 Identifier Reference: It is a compile-time error if a built-in identifier is used as the

- * declared name of a class, type parameter or type alias.

+ * 12.30 Identifier Reference: It is a compile-time error if a built-in

+ * identifier is used as the declared name of a class, type parameter or type

+ * alias.

- static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME = const CompileTimeErrorCode.con1('BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME', 7, "The built-in identifier '{0}' cannot be used as a type alias name");

+ static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME = const CompileTimeErrorCode('BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME', "The built-in identifier '{0}' cannot be used as a type alias name");

/**

- * 12.30 Identifier Reference: It is a compile-time error if a built-in identifier is used as the

- * declared name of a class, type parameter or type alias.

+ * 12.30 Identifier Reference: It is a compile-time error if a built-in

+ * identifier is used as the declared name of a class, type parameter or type

+ * alias.

- static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME = const CompileTimeErrorCode.con1('BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME', 8, "The built-in identifier '{0}' cannot be used as a type parameter name");

+ static const CompileTimeErrorCode BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME = const CompileTimeErrorCode('BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME', "The built-in identifier '{0}' cannot be used as a type parameter name");

/**

- * 13.9 Switch: It is a compile-time error if the class C implements the operator

- * ==.

+ * 13.9 Switch: It is a compile-time error if the class C implements

+ * the operator ==.

- static const CompileTimeErrorCode CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS = const CompileTimeErrorCode.con1('CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS', 9, "The switch case expression type '{0}' cannot override the == operator");

+ static const CompileTimeErrorCode CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS = const CompileTimeErrorCode('CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS', "The switch case expression type '{0}' cannot override the == operator");

/**

- * 12.1 Constants: It is a compile-time error if evaluation of a compile-time constant would raise

+ * 12.1 Constants: It is a compile-time error if evaluation of a compile-time

+ * constant would raise

* an exception.

- static const CompileTimeErrorCode COMPILE_TIME_CONSTANT_RAISES_EXCEPTION = const CompileTimeErrorCode.con1('COMPILE_TIME_CONSTANT_RAISES_EXCEPTION', 10, "");

+ static const CompileTimeErrorCode COMPILE_TIME_CONSTANT_RAISES_EXCEPTION = const CompileTimeErrorCode('COMPILE_TIME_CONSTANT_RAISES_EXCEPTION', "");

/**

- * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same

- * name. This restriction holds regardless of whether the getter is defined explicitly or

- * implicitly, or whether the getter or the method are inherited or not.

+ * 7.2 Getters: It is a compile-time error if a class has both a getter and a

+ * method with the same name. This restriction holds regardless of whether the

+ * getter is defined explicitly or implicitly, or whether the getter or the

+ * method are inherited or not.

- static const CompileTimeErrorCode CONFLICTING_GETTER_AND_METHOD = const CompileTimeErrorCode.con1('CONFLICTING_GETTER_AND_METHOD', 11, "Class '{0}' cannot have both getter '{1}.{2}' and method with the same name");

+ static const CompileTimeErrorCode CONFLICTING_GETTER_AND_METHOD = const CompileTimeErrorCode('CONFLICTING_GETTER_AND_METHOD', "Class '{0}' cannot have both getter '{1}.{2}' and method with the same name");

/**

- * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same

- * name. This restriction holds regardless of whether the getter is defined explicitly or

- * implicitly, or whether the getter or the method are inherited or not.

+ * 7.2 Getters: It is a compile-time error if a class has both a getter and a

+ * method with the same name. This restriction holds regardless of whether the

+ * getter is defined explicitly or implicitly, or whether the getter or the

+ * method are inherited or not.

- static const CompileTimeErrorCode CONFLICTING_METHOD_AND_GETTER = const CompileTimeErrorCode.con1('CONFLICTING_METHOD_AND_GETTER', 12, "Class '{0}' cannot have both method '{1}.{2}' and getter with the same name");

+ static const CompileTimeErrorCode CONFLICTING_METHOD_AND_GETTER = const CompileTimeErrorCode('CONFLICTING_METHOD_AND_GETTER', "Class '{0}' cannot have both method '{1}.{2}' and getter with the same name");

/**

- * 7.6 Constructors: A constructor name always begins with the name of its immediately enclosing

- * class, and may optionally be followed by a dot and an identifier id. It is a

- * compile-time error if id is the name of a member declared in the immediately enclosing

- * class.

+ * 7.6 Constructors: A constructor name always begins with the name of its

+ * immediately enclosing class, and may optionally be followed by a dot and an

+ * identifier id. It is a compile-time error if id is the name

+ * of a member declared in the immediately enclosing class.

- static const CompileTimeErrorCode CONFLICTING_CONSTRUCTOR_NAME_AND_FIELD = const CompileTimeErrorCode.con1('CONFLICTING_CONSTRUCTOR_NAME_AND_FIELD', 13, "'{0}' cannot be used to name a constructor and a field in this class");

+ static const CompileTimeErrorCode CONFLICTING_CONSTRUCTOR_NAME_AND_FIELD = const CompileTimeErrorCode('CONFLICTING_CONSTRUCTOR_NAME_AND_FIELD', "'{0}' cannot be used to name a constructor and a field in this class");

/**

- * 7.6 Constructors: A constructor name always begins with the name of its immediately enclosing

- * class, and may optionally be followed by a dot and an identifier id. It is a

- * compile-time error if id is the name of a member declared in the immediately enclosing

- * class.

+ * 7.6 Constructors: A constructor name always begins with the name of its

+ * immediately enclosing class, and may optionally be followed by a dot and an

+ * identifier id. It is a compile-time error if id is the name

+ * of a member declared in the immediately enclosing class.

- static const CompileTimeErrorCode CONFLICTING_CONSTRUCTOR_NAME_AND_METHOD = const CompileTimeErrorCode.con1('CONFLICTING_CONSTRUCTOR_NAME_AND_METHOD', 14, "'{0}' cannot be used to name a constructor and a method in this class");

+ static const CompileTimeErrorCode CONFLICTING_CONSTRUCTOR_NAME_AND_METHOD = const CompileTimeErrorCode('CONFLICTING_CONSTRUCTOR_NAME_AND_METHOD', "'{0}' cannot be used to name a constructor and a method in this class");

/**

- * 7. Classes: It is a compile time error if a generic class declares a type variable with the

- * same name as the class or any of its members or constructors.

+ * 7. Classes: It is a compile time error if a generic class declares a type

+ * variable with the same name as the class or any of its members or

+ * constructors.

- static const CompileTimeErrorCode CONFLICTING_TYPE_VARIABLE_AND_CLASS = const CompileTimeErrorCode.con1('CONFLICTING_TYPE_VARIABLE_AND_CLASS', 15, "'{0}' cannot be used to name a type varaible in a class with the same name");

+ static const CompileTimeErrorCode CONFLICTING_TYPE_VARIABLE_AND_CLASS = const CompileTimeErrorCode('CONFLICTING_TYPE_VARIABLE_AND_CLASS', "'{0}' cannot be used to name a type varaible in a class with the same name");

/**

- * 7. Classes: It is a compile time error if a generic class declares a type variable with the

- * same name as the class or any of its members or constructors.

+ * 7. Classes: It is a compile time error if a generic class declares a type

+ * variable with the same name as the class or any of its members or

+ * constructors.

- static const CompileTimeErrorCode CONFLICTING_TYPE_VARIABLE_AND_MEMBER = const CompileTimeErrorCode.con1('CONFLICTING_TYPE_VARIABLE_AND_MEMBER', 16, "'{0}' cannot be used to name a type varaible and member in this class");

+ static const CompileTimeErrorCode CONFLICTING_TYPE_VARIABLE_AND_MEMBER = const CompileTimeErrorCode('CONFLICTING_TYPE_VARIABLE_AND_MEMBER', "'{0}' cannot be used to name a type varaible and member in this class");

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CompileTimeErrorCode CONST_CONSTRUCTOR_THROWS_EXCEPTION = const CompileTimeErrorCode.con1('CONST_CONSTRUCTOR_THROWS_EXCEPTION', 17, "'const' constructors cannot throw exceptions");

+ static const CompileTimeErrorCode CONST_CONSTRUCTOR_THROWS_EXCEPTION = const CompileTimeErrorCode('CONST_CONSTRUCTOR_THROWS_EXCEPTION', "'const' constructors cannot throw exceptions");

/**

- * 10.6.3 Constant Constructors: It is a compile-time error if a constant constructor is declared

- * by a class C if any instance variable declared in C is initialized with an expression that is

- * not a constant expression.

+ * 10.6.3 Constant Constructors: It is a compile-time error if a constant

+ * constructor is declared by a class C if any instance variable declared in C

+ * is initialized with an expression that is not a constant expression.

- static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_FIELD_INITIALIZED_BY_NON_CONST = const CompileTimeErrorCode.con1('CONST_CONSTRUCTOR_WITH_FIELD_INITIALIZED_BY_NON_CONST', 18, "Can't define the 'const' constructor because the field '{0}' is initialized with a non-constant value");

+ static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_FIELD_INITIALIZED_BY_NON_CONST = const CompileTimeErrorCode('CONST_CONSTRUCTOR_WITH_FIELD_INITIALIZED_BY_NON_CONST', "Can't define the 'const' constructor because the field '{0}' is initialized with a non-constant value");

/**

- * 7.6.3 Constant Constructors: The superinitializer that appears, explicitly or implicitly, in

- * the initializer list of a constant constructor must specify a constant constructor of the

- * superclass of the immediately enclosing class or a compile-time error occurs.

+ * 7.6.3 Constant Constructors: The superinitializer that appears, explicitly

+ * or implicitly, in the initializer list of a constant constructor must

+ * specify a constant constructor of the superclass of the immediately

+ * enclosing class or a compile-time error occurs.

- * 9 Mixins: For each generative constructor named ... an implicitly declared constructor named

- * ... is declared.

+ * 9 Mixins: For each generative constructor named ... an implicitly declared

+ * constructor named ... is declared.

- static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_MIXIN = const CompileTimeErrorCode.con1('CONST_CONSTRUCTOR_WITH_MIXIN', 19, "Constant constructor cannot be declared for a class with a mixin");

+ static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_MIXIN = const CompileTimeErrorCode('CONST_CONSTRUCTOR_WITH_MIXIN', "Constant constructor cannot be declared for a class with a mixin");

/**

- * 7.6.3 Constant Constructors: The superinitializer that appears, explicitly or implicitly, in

- * the initializer list of a constant constructor must specify a constant constructor of the

- * superclass of the immediately enclosing class or a compile-time error occurs.

+ * 7.6.3 Constant Constructors: The superinitializer that appears, explicitly

+ * or implicitly, in the initializer list of a constant constructor must

+ * specify a constant constructor of the superclass of the immediately

+ * enclosing class or a compile-time error occurs.

- static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_NON_CONST_SUPER = const CompileTimeErrorCode.con1('CONST_CONSTRUCTOR_WITH_NON_CONST_SUPER', 20, "Constant constructor cannot call non-constant super constructor of '{0}'");

+ static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_NON_CONST_SUPER = const CompileTimeErrorCode('CONST_CONSTRUCTOR_WITH_NON_CONST_SUPER', "Constant constructor cannot call non-constant super constructor of '{0}'");

/**

- * 7.6.3 Constant Constructors: It is a compile-time error if a constant constructor is declared

- * by a class that has a non-final instance variable.

+ * 7.6.3 Constant Constructors: It is a compile-time error if a constant

+ * constructor is declared by a class that has a non-final instance variable.

* The above refers to both locally declared and inherited instance variables.

- static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_NON_FINAL_FIELD = const CompileTimeErrorCode.con1('CONST_CONSTRUCTOR_WITH_NON_FINAL_FIELD', 21, "Cannot define the 'const' constructor for a class with non-final fields");

+ static const CompileTimeErrorCode CONST_CONSTRUCTOR_WITH_NON_FINAL_FIELD = const CompileTimeErrorCode('CONST_CONSTRUCTOR_WITH_NON_FINAL_FIELD', "Cannot define the 'const' constructor for a class with non-final fields");

/**

* 12.12.2 Const: It is a compile-time error if T is a deferred type.

- static const CompileTimeErrorCode CONST_DEFERRED_CLASS = const CompileTimeErrorCode.con1('CONST_DEFERRED_CLASS', 22, "Deferred classes cannot be created with 'const'");

+ static const CompileTimeErrorCode CONST_DEFERRED_CLASS = const CompileTimeErrorCode('CONST_DEFERRED_CLASS', "Deferred classes cannot be created with 'const'");

/**

- * 6.2 Formal Parameters: It is a compile-time error if a formal parameter is declared as a

- * constant variable.

+ * 6.2 Formal Parameters: It is a compile-time error if a formal parameter is

+ * declared as a constant variable.

- static const CompileTimeErrorCode CONST_FORMAL_PARAMETER = const CompileTimeErrorCode.con1('CONST_FORMAL_PARAMETER', 23, "Parameters cannot be 'const'");

+ static const CompileTimeErrorCode CONST_FORMAL_PARAMETER = const CompileTimeErrorCode('CONST_FORMAL_PARAMETER', "Parameters cannot be 'const'");

/**

- * 5 Variables: A constant variable must be initialized to a compile-time constant or a

- * compile-time error occurs.

+ * 5 Variables: A constant variable must be initialized to a compile-time

+ * constant or a compile-time error occurs.

- static const CompileTimeErrorCode CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE = const CompileTimeErrorCode.con1('CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE', 24, "'const' variables must be constant value");

+ static const CompileTimeErrorCode CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE = const CompileTimeErrorCode('CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE', "'const' variables must be constant value");

/**

- * 5 Variables: A constant variable must be initialized to a compile-time constant or a

- * compile-time error occurs.

+ * 5 Variables: A constant variable must be initialized to a compile-time

+ * constant or a compile-time error occurs.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE_FROM_DEFERRED_LIBRARY', 25, "Constant values from a deferred library cannot be used to initialized a 'const' variable");

+ static const CompileTimeErrorCode CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used to initialized a 'const' variable");

/**

- * 7.5 Instance Variables: It is a compile-time error if an instance variable is declared to be

- * constant.

+ * 7.5 Instance Variables: It is a compile-time error if an instance variable

+ * is declared to be constant.

- static const CompileTimeErrorCode CONST_INSTANCE_FIELD = const CompileTimeErrorCode.con1('CONST_INSTANCE_FIELD', 26, "Only static fields can be declared as 'const'");

+ static const CompileTimeErrorCode CONST_INSTANCE_FIELD = const CompileTimeErrorCode('CONST_INSTANCE_FIELD', "Only static fields can be declared as 'const'");

/**

- * 12.8 Maps: It is a compile-time error if the key of an entry in a constant map literal is an

- * instance of a class that implements the operator == unless the key is a string or

- * integer.

+ * 12.8 Maps: It is a compile-time error if the key of an entry in a constant

+ * map literal is an instance of a class that implements the operator

+ * == unless the key is a string or integer.

- static const CompileTimeErrorCode CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS = const CompileTimeErrorCode.con1('CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS', 27, "The constant map entry key expression type '{0}' cannot override the == operator");

+ static const CompileTimeErrorCode CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS = const CompileTimeErrorCode('CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS', "The constant map entry key expression type '{0}' cannot override the == operator");

/**

- * 5 Variables: A constant variable must be initialized to a compile-time constant (12.1) or a

- * compile-time error occurs.

+ * 5 Variables: A constant variable must be initialized to a compile-time

+ * constant (12.1) or a compile-time error occurs.

* @param name the name of the uninitialized final variable

- static const CompileTimeErrorCode CONST_NOT_INITIALIZED = const CompileTimeErrorCode.con1('CONST_NOT_INITIALIZED', 28, "The const variable '{0}' must be initialized");

+ static const CompileTimeErrorCode CONST_NOT_INITIALIZED = const CompileTimeErrorCode('CONST_NOT_INITIALIZED', "The const variable '{0}' must be initialized");

/**

- * 12.11.2 Const: An expression of one of the forms !e, e1 && e2 or e1 || e2, where e, e1 and e2

- * are constant expressions that evaluate to a boolean value.

+ * 12.11.2 Const: An expression of one of the forms !e, e1 && e2 or e1 || e2,

+ * where e, e1 and e2 are constant expressions that evaluate to a boolean

+ * value.

- static const CompileTimeErrorCode CONST_EVAL_TYPE_BOOL = const CompileTimeErrorCode.con1('CONST_EVAL_TYPE_BOOL', 29, "An expression of type 'bool' was expected");

+ static const CompileTimeErrorCode CONST_EVAL_TYPE_BOOL = const CompileTimeErrorCode('CONST_EVAL_TYPE_BOOL', "An expression of type 'bool' was expected");

/**

- * 12.11.2 Const: An expression of one of the forms e1 == e2 or e1 != e2 where e1 and e2 are

- * constant expressions that evaluate to a numeric, string or boolean value or to null.

+ * 12.11.2 Const: An expression of one of the forms e1 == e2 or e1 != e2 where

+ * e1 and e2 are constant expressions that evaluate to a numeric, string or

+ * boolean value or to null.

- static const CompileTimeErrorCode CONST_EVAL_TYPE_BOOL_NUM_STRING = const CompileTimeErrorCode.con1('CONST_EVAL_TYPE_BOOL_NUM_STRING', 30, "An expression of type 'bool', 'num', 'String' or 'null' was expected");

+ static const CompileTimeErrorCode CONST_EVAL_TYPE_BOOL_NUM_STRING = const CompileTimeErrorCode('CONST_EVAL_TYPE_BOOL_NUM_STRING', "An expression of type 'bool', 'num', 'String' or 'null' was expected");

/**

- * 12.11.2 Const: An expression of one of the forms ~e, e1 ^ e2, e1 & e2, e1 | e2, e1 >> e2 or e1

- * << e2, where e, e1 and e2 are constant expressions that evaluate to an integer value or to

- * null.

+ * 12.11.2 Const: An expression of one of the forms ~e, e1 ^ e2, e1 & e2,

+ * e1 | e2, e1 >> e2 or e1 << e2, where e, e1 and e2 are constant expressions

+ * that evaluate to an integer value or to null.

- static const CompileTimeErrorCode CONST_EVAL_TYPE_INT = const CompileTimeErrorCode.con1('CONST_EVAL_TYPE_INT', 31, "An expression of type 'int' was expected");

+ static const CompileTimeErrorCode CONST_EVAL_TYPE_INT = const CompileTimeErrorCode('CONST_EVAL_TYPE_INT', "An expression of type 'int' was expected");

/**

- * 12.11.2 Const: An expression of one of the forms e, e1 + e2, e1 - e2, e1 * e2, e1 / e2, e1 ~/

- * e2, e1 > e2, e1 < e2, e1 >= e2, e1 <= e2 or e1 % e2, where e, e1 and e2 are constant

- * expressions that evaluate to a numeric value or to null..

+ * 12.11.2 Const: An expression of one of the forms e, e1 + e2, e1 - e2, e1 *

+ * e2, e1 / e2, e1 ~/ e2, e1 > e2, e1 < e2, e1 >= e2, e1 <= e2 or e1 % e2,

+ * where e, e1 and e2 are constant expressions that evaluate to a numeric

+ * value or to null.

- static const CompileTimeErrorCode CONST_EVAL_TYPE_NUM = const CompileTimeErrorCode.con1('CONST_EVAL_TYPE_NUM', 32, "An expression of type 'num' was expected");

+ static const CompileTimeErrorCode CONST_EVAL_TYPE_NUM = const CompileTimeErrorCode('CONST_EVAL_TYPE_NUM', "An expression of type 'num' was expected");

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CompileTimeErrorCode CONST_EVAL_THROWS_EXCEPTION = const CompileTimeErrorCode.con1('CONST_EVAL_THROWS_EXCEPTION', 33, "Evaluation of this constant expression causes exception");

+ static const CompileTimeErrorCode CONST_EVAL_THROWS_EXCEPTION = const CompileTimeErrorCode('CONST_EVAL_THROWS_EXCEPTION', "Evaluation of this constant expression causes exception");

/**

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

- static const CompileTimeErrorCode CONST_EVAL_THROWS_IDBZE = const CompileTimeErrorCode.con1('CONST_EVAL_THROWS_IDBZE', 34, "Evaluation of this constant expression throws IntegerDivisionByZeroException");

+ static const CompileTimeErrorCode CONST_EVAL_THROWS_IDBZE = const CompileTimeErrorCode('CONST_EVAL_THROWS_IDBZE', "Evaluation of this constant expression throws IntegerDivisionByZeroException");

/**

- * 12.11.2 Const: If T is a parameterized type S<U1, …,

- * Um>, let R = S; It is a compile time error if S is not a

- * generic type with m type parameters.

+ * 12.11.2 Const: If T is a parameterized type S<U1,

+ * …, Um>, let R = S; It is a compile time

+ * error if S is not a generic type with m type parameters.

* @param typeName the name of the type being referenced (S)

* @param parameterCount the number of type parameters that were declared

@@ -784,1360 +806,1268 @@ class CompileTimeErrorCode extends Enum<CompileTimeErrorCode> implements ErrorCo

* @see CompileTimeErrorCode#NEW_WITH_INVALID_TYPE_PARAMETERS

* @see StaticTypeWarningCode#WRONG_NUMBER_OF_TYPE_ARGUMENTS

- static const CompileTimeErrorCode CONST_WITH_INVALID_TYPE_PARAMETERS = const CompileTimeErrorCode.con1('CONST_WITH_INVALID_TYPE_PARAMETERS', 35, "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

+ static const CompileTimeErrorCode CONST_WITH_INVALID_TYPE_PARAMETERS = const CompileTimeErrorCode('CONST_WITH_INVALID_TYPE_PARAMETERS', "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

/**

- * 12.11.2 Const: If e is of the form const T(a1, …, an,

- * xn+1: an+1, …, xn+k: an+k) it is a

- * compile-time error if the type T does not declare a constant constructor with the same

- * name as the declaration of T.

+ * 12.11.2 Const: If e is of the form const T(a1,

+ * …, an, xn+1: an+1, …,

+ * xn+k: an+k) it is a compile-time error if the

+ * type T does not declare a constant constructor with the same name as

+ * the declaration of T.

- static const CompileTimeErrorCode CONST_WITH_NON_CONST = const CompileTimeErrorCode.con1('CONST_WITH_NON_CONST', 36, "The constructor being called is not a 'const' constructor");

+ static const CompileTimeErrorCode CONST_WITH_NON_CONST = const CompileTimeErrorCode('CONST_WITH_NON_CONST', "The constructor being called is not a 'const' constructor");

/**

- * 12.11.2 Const: In all of the above cases, it is a compile-time error if ai, 1

- * <= i <= n + k, is not a compile-time constant expression.

+ * 12.11.2 Const: In all of the above cases, it is a compile-time error if

+ * ai, 1 <= i <= n + k, is not a compile-time constant

+ * expression.

- static const CompileTimeErrorCode CONST_WITH_NON_CONSTANT_ARGUMENT = const CompileTimeErrorCode.con1('CONST_WITH_NON_CONSTANT_ARGUMENT', 37, "Arguments of a constant creation must be constant expressions");

+ static const CompileTimeErrorCode CONST_WITH_NON_CONSTANT_ARGUMENT = const CompileTimeErrorCode('CONST_WITH_NON_CONSTANT_ARGUMENT', "Arguments of a constant creation must be constant expressions");

/**

- * 12.11.2 Const: It is a compile-time error if T is not a class accessible in the current

- * scope, optionally followed by type arguments.

+ * 12.11.2 Const: It is a compile-time error if T is not a class

+ * accessible in the current scope, optionally followed by type arguments.

- * 12.11.2 Const: If e is of the form const T.id(a1, …, an,

- * xn+1: an+1, … xn+k: an+k) it is a

- * compile-time error if T is not a class accessible in the current scope, optionally

+ * 12.11.2 Const: If e is of the form const T.id(a1,

+ * …, an, xn+1: an+1, …

+ * xn+k: an+k) it is a compile-time error if

+ * T is not a class accessible in the current scope, optionally

* followed by type arguments.

* @param name the name of the non-type element

- static const CompileTimeErrorCode CONST_WITH_NON_TYPE = const CompileTimeErrorCode.con1('CONST_WITH_NON_TYPE', 38, "The name '{0}' is not a class");

+ static const CompileTimeErrorCode CONST_WITH_NON_TYPE = const CompileTimeErrorCode('CONST_WITH_NON_TYPE', "The name '{0}' is not a class");

/**

- * 12.11.2 Const: It is a compile-time error if T includes any type parameters.

+ * 12.11.2 Const: It is a compile-time error if T includes any type

+ * parameters.

- static const CompileTimeErrorCode CONST_WITH_TYPE_PARAMETERS = const CompileTimeErrorCode.con1('CONST_WITH_TYPE_PARAMETERS', 39, "The constant creation cannot use a type parameter");

+ static const CompileTimeErrorCode CONST_WITH_TYPE_PARAMETERS = const CompileTimeErrorCode('CONST_WITH_TYPE_PARAMETERS', "The constant creation cannot use a type parameter");

/**

- * 12.11.2 Const: It is a compile-time error if T.id is not the name of a constant

- * constructor declared by the type T.

+ * 12.11.2 Const: It is a compile-time error if T.id is not the name of

+ * a constant constructor declared by the type T.

* @param typeName the name of the type

* @param constructorName the name of the requested constant constructor

- static const CompileTimeErrorCode CONST_WITH_UNDEFINED_CONSTRUCTOR = const CompileTimeErrorCode.con1('CONST_WITH_UNDEFINED_CONSTRUCTOR', 40, "The class '{0}' does not have a constant constructor '{1}'");

+ static const CompileTimeErrorCode CONST_WITH_UNDEFINED_CONSTRUCTOR = const CompileTimeErrorCode('CONST_WITH_UNDEFINED_CONSTRUCTOR', "The class '{0}' does not have a constant constructor '{1}'");

/**

- * 12.11.2 Const: It is a compile-time error if T.id is not the name of a constant

- * constructor declared by the type T.

+ * 12.11.2 Const: It is a compile-time error if T.id is not the name of

+ * a constant constructor declared by the type T.

* @param typeName the name of the type

- static const CompileTimeErrorCode CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT = const CompileTimeErrorCode.con1('CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT', 41, "The class '{0}' does not have a default constant constructor");

+ static const CompileTimeErrorCode CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT = const CompileTimeErrorCode('CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT', "The class '{0}' does not have a default constant constructor");

/**

- * 15.3.1 Typedef: It is a compile-time error if any default values are specified in the signature

- * of a function type alias.

+ * 15.3.1 Typedef: It is a compile-time error if any default values are

+ * specified in the signature of a function type alias.

- static const CompileTimeErrorCode DEFAULT_VALUE_IN_FUNCTION_TYPE_ALIAS = const CompileTimeErrorCode.con1('DEFAULT_VALUE_IN_FUNCTION_TYPE_ALIAS', 42, "Default values aren't allowed in typedefs");

+ static const CompileTimeErrorCode DEFAULT_VALUE_IN_FUNCTION_TYPE_ALIAS = const CompileTimeErrorCode('DEFAULT_VALUE_IN_FUNCTION_TYPE_ALIAS', "Default values aren't allowed in typedefs");

/**

- * 6.2.1 Required Formals: By means of a function signature that names the parameter and describes

- * its type as a function type. It is a compile-time error if any default values are specified in

- * the signature of such a function type.

+ * 6.2.1 Required Formals: By means of a function signature that names the

+ * parameter and describes its type as a function type. It is a compile-time

+ * error if any default values are specified in the signature of such a

+ * function type.

- static const CompileTimeErrorCode DEFAULT_VALUE_IN_FUNCTION_TYPED_PARAMETER = const CompileTimeErrorCode.con1('DEFAULT_VALUE_IN_FUNCTION_TYPED_PARAMETER', 43, "Default values aren't allowed in function type parameters");

+ static const CompileTimeErrorCode DEFAULT_VALUE_IN_FUNCTION_TYPED_PARAMETER = const CompileTimeErrorCode('DEFAULT_VALUE_IN_FUNCTION_TYPED_PARAMETER', "Default values aren't allowed in function type parameters");

/**

- * 7.6.2 Factories: It is a compile-time error if k explicitly specifies a default value

- * for an optional parameter.

+ * 7.6.2 Factories: It is a compile-time error if k explicitly

+ * specifies a default value for an optional parameter.

- static const CompileTimeErrorCode DEFAULT_VALUE_IN_REDIRECTING_FACTORY_CONSTRUCTOR = const CompileTimeErrorCode.con1('DEFAULT_VALUE_IN_REDIRECTING_FACTORY_CONSTRUCTOR', 44, "Default values aren't allowed in factory constructors that redirect to another constructor");

+ static const CompileTimeErrorCode DEFAULT_VALUE_IN_REDIRECTING_FACTORY_CONSTRUCTOR = const CompileTimeErrorCode('DEFAULT_VALUE_IN_REDIRECTING_FACTORY_CONSTRUCTOR', "Default values aren't allowed in factory constructors that redirect to another constructor");

/**

- * 3.1 Scoping: It is a compile-time error if there is more than one entity with the same name

- * declared in the same scope.

+ * 3.1 Scoping: It is a compile-time error if there is more than one entity

+ * with the same name declared in the same scope.

- static const CompileTimeErrorCode DUPLICATE_CONSTRUCTOR_DEFAULT = const CompileTimeErrorCode.con1('DUPLICATE_CONSTRUCTOR_DEFAULT', 45, "The default constructor is already defined");

+ static const CompileTimeErrorCode DUPLICATE_CONSTRUCTOR_DEFAULT = const CompileTimeErrorCode('DUPLICATE_CONSTRUCTOR_DEFAULT', "The default constructor is already defined");

/**

- * 3.1 Scoping: It is a compile-time error if there is more than one entity with the same name

- * declared in the same scope.

+ * 3.1 Scoping: It is a compile-time error if there is more than one entity

+ * with the same name declared in the same scope.

* @param duplicateName the name of the duplicate entity

- static const CompileTimeErrorCode DUPLICATE_CONSTRUCTOR_NAME = const CompileTimeErrorCode.con1('DUPLICATE_CONSTRUCTOR_NAME', 46, "The constructor with name '{0}' is already defined");

+ static const CompileTimeErrorCode DUPLICATE_CONSTRUCTOR_NAME = const CompileTimeErrorCode('DUPLICATE_CONSTRUCTOR_NAME', "The constructor with name '{0}' is already defined");

/**

- * 3.1 Scoping: It is a compile-time error if there is more than one entity with the same name

- * declared in the same scope.

+ * 3.1 Scoping: It is a compile-time error if there is more than one entity

+ * with the same name declared in the same scope.

- * 7 Classes: It is a compile-time error if a class declares two members of the same name.

+ * 7 Classes: It is a compile-time error if a class declares two members of

+ * the same name.

- * 7 Classes: It is a compile-time error if a class has an instance member and a static member

- * with the same name.

+ * 7 Classes: It is a compile-time error if a class has an instance member and

+ * a static member with the same name.

* @param duplicateName the name of the duplicate entity

- static const CompileTimeErrorCode DUPLICATE_DEFINITION = const CompileTimeErrorCode.con1('DUPLICATE_DEFINITION', 47, "The name '{0}' is already defined");

+ static const CompileTimeErrorCode DUPLICATE_DEFINITION = const CompileTimeErrorCode('DUPLICATE_DEFINITION', "The name '{0}' is already defined");

/**

- * 7. Classes: It is a compile-time error if a class has an instance member and a static member

- * with the same name.

+ * 7. Classes: It is a compile-time error if a class has an instance member

+ * and a static member with the same name.

- * This covers the additional duplicate definition cases where inheritance has to be considered.

+ * This covers the additional duplicate definition cases where inheritance has

+ * to be considered.

- * @param className the name of the class that has conflicting instance/static members

+ * @param className the name of the class that has conflicting instance/static

+ * members

* @param name the name of the conflicting members

- * @see #DUPLICATE_DEFINITION

+ * @see [DUPLICATE_DEFINITION]

- static const CompileTimeErrorCode DUPLICATE_DEFINITION_INHERITANCE = const CompileTimeErrorCode.con1('DUPLICATE_DEFINITION_INHERITANCE', 48, "The name '{0}' is already defined in '{1}'");

+ static const CompileTimeErrorCode DUPLICATE_DEFINITION_INHERITANCE = const CompileTimeErrorCode('DUPLICATE_DEFINITION_INHERITANCE', "The name '{0}' is already defined in '{1}'");

/**

- * 12.14.2 Binding Actuals to Formals: It is a compile-time error if qi =

- * qj for any i != j [where qi is the label for a named

- * argument].

+ * 12.14.2 Binding Actuals to Formals: It is a compile-time error if

+ * qi = qj for any i != j [where

+ * qi is the label for a named argument].

- static const CompileTimeErrorCode DUPLICATE_NAMED_ARGUMENT = const CompileTimeErrorCode.con1('DUPLICATE_NAMED_ARGUMENT', 49, "The argument for the named parameter '{0}' was already specified");

+ static const CompileTimeErrorCode DUPLICATE_NAMED_ARGUMENT = const CompileTimeErrorCode('DUPLICATE_NAMED_ARGUMENT', "The argument for the named parameter '{0}' was already specified");

/**

* SDK implementation libraries can be exported only by other SDK libraries.

* @param uri the uri pointing to a library

- static const CompileTimeErrorCode EXPORT_INTERNAL_LIBRARY = const CompileTimeErrorCode.con1('EXPORT_INTERNAL_LIBRARY', 50, "The library '{0}' is internal and cannot be exported");

+ static const CompileTimeErrorCode EXPORT_INTERNAL_LIBRARY = const CompileTimeErrorCode('EXPORT_INTERNAL_LIBRARY', "The library '{0}' is internal and cannot be exported");

/**

- * 14.2 Exports: It is a compile-time error if the compilation unit found at the specified URI is

- * not a library declaration.

+ * 14.2 Exports: It is a compile-time error if the compilation unit found at

+ * the specified URI is not a library declaration.

* @param uri the uri pointing to a non-library declaration

- static const CompileTimeErrorCode EXPORT_OF_NON_LIBRARY = const CompileTimeErrorCode.con1('EXPORT_OF_NON_LIBRARY', 51, "The exported library '{0}' must not have a part-of directive");

+ static const CompileTimeErrorCode EXPORT_OF_NON_LIBRARY = const CompileTimeErrorCode('EXPORT_OF_NON_LIBRARY', "The exported library '{0}' must not have a part-of directive");

/**

- * Enum proposal: It is a compile-time error to subclass, mix-in or implement an enum.

+ * Enum proposal: It is a compile-time error to subclass, mix-in or implement

+ * an enum.

- static const CompileTimeErrorCode EXTENDS_ENUM = const CompileTimeErrorCode.con1('EXTENDS_ENUM', 52, "Classes cannot extend an enum");

+ static const CompileTimeErrorCode EXTENDS_ENUM = const CompileTimeErrorCode('EXTENDS_ENUM', "Classes cannot extend an enum");

/**

- * 7.9 Superclasses: It is a compile-time error if the extends clause of a class C includes

- * a type expression that does not denote a class available in the lexical scope of C.

+ * 7.9 Superclasses: It is a compile-time error if the extends clause of a

+ * class C includes a type expression that does not denote a class

+ * available in the lexical scope of C.

* @param typeName the name of the superclass that was not found

- static const CompileTimeErrorCode EXTENDS_NON_CLASS = const CompileTimeErrorCode.con1('EXTENDS_NON_CLASS', 53, "Classes can only extend other classes");

+ static const CompileTimeErrorCode EXTENDS_NON_CLASS = const CompileTimeErrorCode('EXTENDS_NON_CLASS', "Classes can only extend other classes");

/**

- * 12.2 Null: It is a compile-time error for a class to attempt to extend or implement Null.

+ * 12.2 Null: It is a compile-time error for a class to attempt to extend or

+ * implement Null.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement int.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement int.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement double.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement double.

- * 12.3 Numbers: It is a compile-time error for any type other than the types int and double to

+ * 12.3 Numbers: It is a compile-time error for any type other than the types

+ * int and double to

* attempt to extend or implement num.

- * 12.4 Booleans: It is a compile-time error for a class to attempt to extend or implement bool.

+ * 12.4 Booleans: It is a compile-time error for a class to attempt to extend

+ * or implement bool.

- * 12.5 Strings: It is a compile-time error for a class to attempt to extend or implement String.

+ * 12.5 Strings: It is a compile-time error for a class to attempt to extend

+ * or implement String.

* @param typeName the name of the type that cannot be extended

- * @see #IMPLEMENTS_DISALLOWED_CLASS

+ * @see [IMPLEMENTS_DISALLOWED_CLASS]

- static const CompileTimeErrorCode EXTENDS_DISALLOWED_CLASS = const CompileTimeErrorCode.con1('EXTENDS_DISALLOWED_CLASS', 54, "Classes cannot extend '{0}'");

+ static const CompileTimeErrorCode EXTENDS_DISALLOWED_CLASS = const CompileTimeErrorCode('EXTENDS_DISALLOWED_CLASS', "Classes cannot extend '{0}'");

/**

- * 7.9 Superclasses: It is a compile-time error if the extends clause of a class C includes

- * a deferred type expression.

+ * 7.9 Superclasses: It is a compile-time error if the extends clause of a

+ * class C includes a deferred type expression.

* @param typeName the name of the type that cannot be extended

- * @see #IMPLEMENTS_DEFERRED_CLASS

- * @see #MIXIN_DEFERRED_CLASS

+ * @see [IMPLEMENTS_DEFERRED_CLASS]

+ * @see [MIXIN_DEFERRED_CLASS]

- static const CompileTimeErrorCode EXTENDS_DEFERRED_CLASS = const CompileTimeErrorCode.con1('EXTENDS_DEFERRED_CLASS', 55, "This class cannot extend the deferred class '{0}'");

+ static const CompileTimeErrorCode EXTENDS_DEFERRED_CLASS = const CompileTimeErrorCode('EXTENDS_DEFERRED_CLASS', "This class cannot extend the deferred class '{0}'");

/**

- * 12.14.2 Binding Actuals to Formals: It is a static warning if m < h or if m >

- * n.

+ * 12.14.2 Binding Actuals to Formals: It is a static warning if m <

+ * h or if m > n.

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

* @param requiredCount the maximum number of positional arguments

* @param argumentCount the actual number of positional arguments given

- static const CompileTimeErrorCode EXTRA_POSITIONAL_ARGUMENTS = const CompileTimeErrorCode.con1('EXTRA_POSITIONAL_ARGUMENTS', 56, "{0} positional arguments expected, but {1} found");

+ static const CompileTimeErrorCode EXTRA_POSITIONAL_ARGUMENTS = const CompileTimeErrorCode('EXTRA_POSITIONAL_ARGUMENTS', "{0} positional arguments expected, but {1} found");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. It is a compile time

- * error if more than one initializer corresponding to a given instance variable appears in

- * k's list.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor. It

+ * is a compile time error if more than one initializer corresponding to a

+ * given instance variable appears in k's list.

- static const CompileTimeErrorCode FIELD_INITIALIZED_BY_MULTIPLE_INITIALIZERS = const CompileTimeErrorCode.con1('FIELD_INITIALIZED_BY_MULTIPLE_INITIALIZERS', 57, "The field '{0}' cannot be initialized twice in the same constructor");

+ static const CompileTimeErrorCode FIELD_INITIALIZED_BY_MULTIPLE_INITIALIZERS = const CompileTimeErrorCode('FIELD_INITIALIZED_BY_MULTIPLE_INITIALIZERS', "The field '{0}' cannot be initialized twice in the same constructor");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. It is a compile time

- * error if k's initializer list contains an initializer for a variable that is initialized

- * by means of an initializing formal of k.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor. It

+ * is a compile time error if k's initializer list contains an

+ * initializer for a variable that is initialized by means of an initializing

+ * formal of k.

- static const CompileTimeErrorCode FIELD_INITIALIZED_IN_PARAMETER_AND_INITIALIZER = const CompileTimeErrorCode.con1('FIELD_INITIALIZED_IN_PARAMETER_AND_INITIALIZER', 58, "Fields cannot be initialized in both the parameter list and the initializers");

+ static const CompileTimeErrorCode FIELD_INITIALIZED_IN_PARAMETER_AND_INITIALIZER = const CompileTimeErrorCode('FIELD_INITIALIZED_IN_PARAMETER_AND_INITIALIZER', "Fields cannot be initialized in both the parameter list and the initializers");

/**

- * 5 Variables: It is a compile-time error if a final instance variable that has is initialized by

- * means of an initializing formal of a constructor is also initialized elsewhere in the same

- * constructor.

+ * 5 Variables: It is a compile-time error if a final instance variable that

+ * has is initialized by means of an initializing formal of a constructor is

+ * also initialized elsewhere in the same constructor.

* @param name the name of the field in question

- static const CompileTimeErrorCode FINAL_INITIALIZED_MULTIPLE_TIMES = const CompileTimeErrorCode.con1('FINAL_INITIALIZED_MULTIPLE_TIMES', 59, "'{0}' is a final field and so can only be set once");

+ static const CompileTimeErrorCode FINAL_INITIALIZED_MULTIPLE_TIMES = const CompileTimeErrorCode('FINAL_INITIALIZED_MULTIPLE_TIMES', "'{0}' is a final field and so can only be set once");

/**

- * 7.6.1 Generative Constructors: It is a compile-time error if an initializing formal is used by

- * a function other than a non-redirecting generative constructor.

+ * 7.6.1 Generative Constructors: It is a compile-time error if an

+ * initializing formal is used by a function other than a non-redirecting

+ * generative constructor.

- static const CompileTimeErrorCode FIELD_INITIALIZER_FACTORY_CONSTRUCTOR = const CompileTimeErrorCode.con1('FIELD_INITIALIZER_FACTORY_CONSTRUCTOR', 60, "Initializing formal fields cannot be used in factory constructors");

+ static const CompileTimeErrorCode FIELD_INITIALIZER_FACTORY_CONSTRUCTOR = const CompileTimeErrorCode('FIELD_INITIALIZER_FACTORY_CONSTRUCTOR', "Initializing formal fields cannot be used in factory constructors");

/**

- * 7.6.1 Generative Constructors: It is a compile-time error if an initializing formal is used by

- * a function other than a non-redirecting generative constructor.

+ * 7.6.1 Generative Constructors: It is a compile-time error if an

+ * initializing formal is used by a function other than a non-redirecting

+ * generative constructor.

- static const CompileTimeErrorCode FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR = const CompileTimeErrorCode.con1('FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR', 61, "Initializing formal fields can only be used in constructors");

+ static const CompileTimeErrorCode FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR = const CompileTimeErrorCode('FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR', "Initializing formal fields can only be used in constructors");

/**

- * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its

- * only action is to invoke another generative constructor.

+ * 7.6.1 Generative Constructors: A generative constructor may be redirecting,

+ * in which case its only action is to invoke another generative constructor.

- * 7.6.1 Generative Constructors: It is a compile-time error if an initializing formal is used by

- * a function other than a non-redirecting generative constructor.

+ * 7.6.1 Generative Constructors: It is a compile-time error if an

+ * initializing formal is used by a function other than a non-redirecting

+ * generative constructor.

- static const CompileTimeErrorCode FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR = const CompileTimeErrorCode.con1('FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR', 62, "The redirecting constructor cannot have a field initializer");

+ static const CompileTimeErrorCode FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR = const CompileTimeErrorCode('FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR', "The redirecting constructor cannot have a field initializer");

/**

- * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same

- * name.

+ * 7.2 Getters: It is a compile-time error if a class has both a getter and a

+ * method with the same name.

* @param name the conflicting name of the getter and method

- static const CompileTimeErrorCode GETTER_AND_METHOD_WITH_SAME_NAME = const CompileTimeErrorCode.con1('GETTER_AND_METHOD_WITH_SAME_NAME', 63, "'{0}' cannot be used to name a getter, there is already a method with the same name");

+ static const CompileTimeErrorCode GETTER_AND_METHOD_WITH_SAME_NAME = const CompileTimeErrorCode('GETTER_AND_METHOD_WITH_SAME_NAME', "'{0}' cannot be used to name a getter, there is already a method with the same name");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the implements clause of a class C

- * specifies a malformed type or deferred type as a superinterface.

+ * 7.10 Superinterfaces: It is a compile-time error if the implements clause

+ * of a class C specifies a malformed type or deferred type as a

+ * superinterface.

* @param typeName the name of the type that cannot be extended

- * @see #EXTENDS_DEFERRED_CLASS

- * @see #MIXIN_DEFERRED_CLASS

+ * @see [EXTENDS_DEFERRED_CLASS]

+ * @see [MIXIN_DEFERRED_CLASS]

- static const CompileTimeErrorCode IMPLEMENTS_DEFERRED_CLASS = const CompileTimeErrorCode.con1('IMPLEMENTS_DEFERRED_CLASS', 64, "This class cannot implement the deferred class '{0}'");

+ static const CompileTimeErrorCode IMPLEMENTS_DEFERRED_CLASS = const CompileTimeErrorCode('IMPLEMENTS_DEFERRED_CLASS', "This class cannot implement the deferred class '{0}'");

/**

- * 12.2 Null: It is a compile-time error for a class to attempt to extend or implement Null.

+ * 12.2 Null: It is a compile-time error for a class to attempt to extend or

+ * implement Null.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement int.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement int.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement double.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement double.

- * 12.3 Numbers: It is a compile-time error for any type other than the types int and double to

+ * 12.3 Numbers: It is a compile-time error for any type other than the types

+ * int and double to

* attempt to extend or implement num.

- * 12.4 Booleans: It is a compile-time error for a class to attempt to extend or implement bool.

+ * 12.4 Booleans: It is a compile-time error for a class to attempt to extend

+ * or implement bool.

- * 12.5 Strings: It is a compile-time error for a class to attempt to extend or implement String.

+ * 12.5 Strings: It is a compile-time error for a class to attempt to extend

+ * or implement String.

* @param typeName the name of the type that cannot be implemented

- * @see #EXTENDS_DISALLOWED_CLASS

+ * @see [EXTENDS_DISALLOWED_CLASS]

- static const CompileTimeErrorCode IMPLEMENTS_DISALLOWED_CLASS = const CompileTimeErrorCode.con1('IMPLEMENTS_DISALLOWED_CLASS', 65, "Classes cannot implement '{0}'");

+ static const CompileTimeErrorCode IMPLEMENTS_DISALLOWED_CLASS = const CompileTimeErrorCode('IMPLEMENTS_DISALLOWED_CLASS', "Classes cannot implement '{0}'");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the implements clause of a class includes

- * type dynamic.

+ * 7.10 Superinterfaces: It is a compile-time error if the implements clause

+ * of a class includes type dynamic.

- static const CompileTimeErrorCode IMPLEMENTS_DYNAMIC = const CompileTimeErrorCode.con1('IMPLEMENTS_DYNAMIC', 66, "Classes cannot implement 'dynamic'");

+ static const CompileTimeErrorCode IMPLEMENTS_DYNAMIC = const CompileTimeErrorCode('IMPLEMENTS_DYNAMIC', "Classes cannot implement 'dynamic'");

/**

- * Enum proposal: It is a compile-time error to subclass, mix-in or implement an enum.

+ * Enum proposal: It is a compile-time error to subclass, mix-in or implement

+ * an enum.

- static const CompileTimeErrorCode IMPLEMENTS_ENUM = const CompileTimeErrorCode.con1('IMPLEMENTS_ENUM', 67, "Classes cannot implement an enum");

+ static const CompileTimeErrorCode IMPLEMENTS_ENUM = const CompileTimeErrorCode('IMPLEMENTS_ENUM', "Classes cannot implement an enum");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the implements clause of a class C

- * includes a type expression that does not denote a class available in the lexical scope of

- * C.

+ * 7.10 Superinterfaces: It is a compile-time error if the implements clause

+ * of a class C includes a type expression that does not denote a class

+ * available in the lexical scope of C.

* @param typeName the name of the interface that was not found

- static const CompileTimeErrorCode IMPLEMENTS_NON_CLASS = const CompileTimeErrorCode.con1('IMPLEMENTS_NON_CLASS', 68, "Classes can only implement other classes");

+ static const CompileTimeErrorCode IMPLEMENTS_NON_CLASS = const CompileTimeErrorCode('IMPLEMENTS_NON_CLASS', "Classes can only implement other classes");

/**

- * 7.10 Superinterfaces: It is a compile-time error if a type T appears more than once in

- * the implements clause of a class.

+ * 7.10 Superinterfaces: It is a compile-time error if a type T appears

+ * more than once in the implements clause of a class.

* @param className the name of the class that is implemented more than once

- static const CompileTimeErrorCode IMPLEMENTS_REPEATED = const CompileTimeErrorCode.con1('IMPLEMENTS_REPEATED', 69, "'{0}' can only be implemented once");

+ static const CompileTimeErrorCode IMPLEMENTS_REPEATED = const CompileTimeErrorCode('IMPLEMENTS_REPEATED', "'{0}' can only be implemented once");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the superclass of a class C appears

- * in the implements clause of C.

+ * 7.10 Superinterfaces: It is a compile-time error if the superclass of a

+ * class C appears in the implements clause of C.

- * @param className the name of the class that appears in both "extends" and "implements" clauses

+ * @param className the name of the class that appears in both "extends" and

+ * "implements" clauses

- static const CompileTimeErrorCode IMPLEMENTS_SUPER_CLASS = const CompileTimeErrorCode.con1('IMPLEMENTS_SUPER_CLASS', 70, "'{0}' cannot be used in both 'extends' and 'implements' clauses");

+ static const CompileTimeErrorCode IMPLEMENTS_SUPER_CLASS = const CompileTimeErrorCode('IMPLEMENTS_SUPER_CLASS', "'{0}' cannot be used in both 'extends' and 'implements' clauses");

/**

- * 7.6.1 Generative Constructors: Note that this is not in scope on the right hand side of

- * an initializer.

+ * 7.6.1 Generative Constructors: Note that this is not in scope on the

+ * right hand side of an initializer.

- * 12.10 This: It is a compile-time error if this appears in a top-level function or variable

- * initializer, in a factory constructor, or in a static method or variable initializer, or in the

- * initializer of an instance variable.

+ * 12.10 This: It is a compile-time error if this appears in a top-level

+ * function or variable initializer, in a factory constructor, or in a static

+ * method or variable initializer, or in the initializer of an instance

+ * variable.

* @param name the name of the type in question

- static const CompileTimeErrorCode IMPLICIT_THIS_REFERENCE_IN_INITIALIZER = const CompileTimeErrorCode.con1('IMPLICIT_THIS_REFERENCE_IN_INITIALIZER', 71, "Only static members can be accessed in initializers");

+ static const CompileTimeErrorCode IMPLICIT_THIS_REFERENCE_IN_INITIALIZER = const CompileTimeErrorCode('IMPLICIT_THIS_REFERENCE_IN_INITIALIZER', "Only static members can be accessed in initializers");

/**

* SDK implementation libraries can be imported only by other SDK libraries.

* @param uri the uri pointing to a library

- static const CompileTimeErrorCode IMPORT_INTERNAL_LIBRARY = const CompileTimeErrorCode.con1('IMPORT_INTERNAL_LIBRARY', 72, "The library '{0}' is internal and cannot be imported");

+ static const CompileTimeErrorCode IMPORT_INTERNAL_LIBRARY = const CompileTimeErrorCode('IMPORT_INTERNAL_LIBRARY', "The library '{0}' is internal and cannot be imported");

/**

- * 14.1 Imports: It is a compile-time error if the specified URI of an immediate import does not

- * refer to a library declaration.

+ * 14.1 Imports: It is a compile-time error if the specified URI of an

+ * immediate import does not refer to a library declaration.

* @param uri the uri pointing to a non-library declaration

- * @see StaticWarningCode#IMPORT_OF_NON_LIBRARY

+ * @see [StaticWarningCode.IMPORT_OF_NON_LIBRARY]

- static const CompileTimeErrorCode IMPORT_OF_NON_LIBRARY = const CompileTimeErrorCode.con1('IMPORT_OF_NON_LIBRARY', 73, "The imported library '{0}' must not have a part-of directive");

+ static const CompileTimeErrorCode IMPORT_OF_NON_LIBRARY = const CompileTimeErrorCode('IMPORT_OF_NON_LIBRARY', "The imported library '{0}' must not have a part-of directive");

/**

- * 13.9 Switch: It is a compile-time error if values of the expressions ek are

- * not instances of the same class C, for all 1 <= k <= n.

+ * 13.9 Switch: It is a compile-time error if values of the expressions

+ * ek are not instances of the same class C, for all

+ * 1 <= k <= n.

- * @param expressionSource the expression source code that is the unexpected type

+ * @param expressionSource the expression source code that is the unexpected

+ * type

* @param expectedType the name of the expected type

- static const CompileTimeErrorCode INCONSISTENT_CASE_EXPRESSION_TYPES = const CompileTimeErrorCode.con1('INCONSISTENT_CASE_EXPRESSION_TYPES', 74, "Case expressions must have the same types, '{0}' is not a '{1}'");

+ static const CompileTimeErrorCode INCONSISTENT_CASE_EXPRESSION_TYPES = const CompileTimeErrorCode('INCONSISTENT_CASE_EXPRESSION_TYPES', "Case expressions must have the same types, '{0}' is not a '{1}'");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. It is a compile-time

- * error if k's initializer list contains an initializer for a variable that is not an

- * instance variable declared in the immediately surrounding class.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor. It

+ * is a compile-time error if k's initializer list contains an

+ * initializer for a variable that is not an instance variable declared in the

+ * immediately surrounding class.

- * @param id the name of the initializing formal that is not an instance variable in the

- * immediately enclosing class

- * @see #INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD

+ * @param id the name of the initializing formal that is not an instance

+ * variable in the immediately enclosing class

+ * @see [INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD]

- static const CompileTimeErrorCode INITIALIZER_FOR_NON_EXISTENT_FIELD = const CompileTimeErrorCode.con1('INITIALIZER_FOR_NON_EXISTENT_FIELD', 75, "'{0}' is not a variable in the enclosing class");

+ static const CompileTimeErrorCode INITIALIZER_FOR_NON_EXISTENT_FIELD = const CompileTimeErrorCode('INITIALIZER_FOR_NON_EXISTENT_FIELD', "'{0}' is not a variable in the enclosing class");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. It is a compile-time

- * error if k's initializer list contains an initializer for a variable that is not an

- * instance variable declared in the immediately surrounding class.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor. It

+ * is a compile-time error if k's initializer list contains an

+ * initializer for a variable that is not an instance variable declared in the

+ * immediately surrounding class.

- * @param id the name of the initializing formal that is a static variable in the immediately

- * enclosing class

+ * @param id the name of the initializing formal that is a static variable in

+ * the immediately enclosing class

* @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD

- static const CompileTimeErrorCode INITIALIZER_FOR_STATIC_FIELD = const CompileTimeErrorCode.con1('INITIALIZER_FOR_STATIC_FIELD', 76, "'{0}' is a static variable in the enclosing class, variables initialized in a constructor cannot be static");

+ static const CompileTimeErrorCode INITIALIZER_FOR_STATIC_FIELD = const CompileTimeErrorCode('INITIALIZER_FOR_STATIC_FIELD', "'{0}' is a static variable in the enclosing class, variables initialized in a constructor cannot be static");

/**

- * 7.6.1 Generative Constructors: An initializing formal has the form this.id. It is a

- * compile-time error if id is not the name of an instance variable of the immediately

- * enclosing class.

+ * 7.6.1 Generative Constructors: An initializing formal has the form

+ * this.id. It is a compile-time error if id is not the name of

+ * an instance variable of the immediately enclosing class.

- * @param id the name of the initializing formal that is not an instance variable in the

- * immediately enclosing class

- * @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD

- * @see #INITIALIZER_FOR_NON_EXISTENT_FIELD

+ * @param id the name of the initializing formal that is not an instance

+ * variable in the immediately enclosing class

+ * @see [INITIALIZING_FORMAL_FOR_STATIC_FIELD]

+ * @see [INITIALIZER_FOR_NON_EXISTENT_FIELD]

- static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD', 77, "'{0}' is not a variable in the enclosing class");

+ static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD = const CompileTimeErrorCode('INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD', "'{0}' is not a variable in the enclosing class");

/**

- * 7.6.1 Generative Constructors: An initializing formal has the form this.id. It is a

- * compile-time error if id is not the name of an instance variable of the immediately

- * enclosing class.

+ * 7.6.1 Generative Constructors: An initializing formal has the form

+ * this.id. It is a compile-time error if id is not the name of

+ * an instance variable of the immediately enclosing class.

- * @param id the name of the initializing formal that is a static variable in the immediately

- * enclosing class

- * @see #INITIALIZER_FOR_STATIC_FIELD

+ * @param id the name of the initializing formal that is a static variable in

+ * the immediately enclosing class

+ * @see [INITIALIZER_FOR_STATIC_FIELD]

- static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_STATIC_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_STATIC_FIELD', 78, "'{0}' is a static field in the enclosing class, fields initialized in a constructor cannot be static");

+ static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_STATIC_FIELD = const CompileTimeErrorCode('INITIALIZING_FORMAL_FOR_STATIC_FIELD', "'{0}' is a static field in the enclosing class, fields initialized in a constructor cannot be static");

/**

- * 12.30 Identifier Reference: Otherwise, e is equivalent to the property extraction

- * this.id.

+ * 12.30 Identifier Reference: Otherwise, e is equivalent to the property

+ * extraction this.id.

- static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_FACTORY = const CompileTimeErrorCode.con1('INSTANCE_MEMBER_ACCESS_FROM_FACTORY', 79, "Instance members cannot be accessed from a factory constructor");

+ static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_FACTORY = const CompileTimeErrorCode('INSTANCE_MEMBER_ACCESS_FROM_FACTORY', "Instance members cannot be accessed from a factory constructor");

/**

- * 12.30 Identifier Reference: Otherwise, e is equivalent to the property extraction

- * this.id.

+ * 12.30 Identifier Reference: Otherwise, e is equivalent to the property

+ * extraction this.id.

- static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_STATIC = const CompileTimeErrorCode.con1('INSTANCE_MEMBER_ACCESS_FROM_STATIC', 80, "Instance members cannot be accessed from a static method");

+ static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_STATIC = const CompileTimeErrorCode('INSTANCE_MEMBER_ACCESS_FROM_STATIC', "Instance members cannot be accessed from a static method");

/**

- * Enum proposal: It is also a compile-time error to explicitly instantiate an enum via 'new' or

- * 'const' or to access its private fields.

+ * Enum proposal: It is also a compile-time error to explicitly instantiate an

+ * enum via 'new' or 'const' or to access its private fields.

- static const CompileTimeErrorCode INSTANTIATE_ENUM = const CompileTimeErrorCode.con1('INSTANTIATE_ENUM', 81, "Enums cannot be instantiated");

+ static const CompileTimeErrorCode INSTANTIATE_ENUM = const CompileTimeErrorCode('INSTANTIATE_ENUM', "Enums cannot be instantiated");

/**

- * 11 Metadata: Metadata consists of a series of annotations, each of which begin with the

- * character @, followed by a constant expression that must be either a reference to a

- * compile-time constant variable, or a call to a constant constructor.

+ * 11 Metadata: Metadata consists of a series of annotations, each of which

+ * begin with the character @, followed by a constant expression that must be

+ * either a reference to a compile-time constant variable, or a call to a

+ * constant constructor.

- static const CompileTimeErrorCode INVALID_ANNOTATION = const CompileTimeErrorCode.con1('INVALID_ANNOTATION', 82, "Annotation can be only constant variable or constant constructor invocation");

+ static const CompileTimeErrorCode INVALID_ANNOTATION = const CompileTimeErrorCode('INVALID_ANNOTATION', "Annotation can be only constant variable or constant constructor invocation");

/**

- * 11 Metadata: Metadata consists of a series of annotations, each of which begin with the

- * character @, followed by a constant expression that must be either a reference to a

- * compile-time constant variable, or a call to a constant constructor.

+ * 11 Metadata: Metadata consists of a series of annotations, each of which

+ * begin with the character @, followed by a constant expression that must be

+ * either a reference to a compile-time constant variable, or a call to a

+ * constant constructor.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY', 83, "Constant values from a deferred library cannot be used as annotations");

+ static const CompileTimeErrorCode INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as annotations");

/**

- * 15.31 Identifier Reference: It is a compile-time error if any of the identifiers async, await

- * or yield is used as an identifier in a function body marked with either async, async* or sync*.

+ * 15.31 Identifier Reference: It is a compile-time error if any of the

+ * identifiers async, await or yield is used as an identifier in a function

+ * body marked with either async, async* or sync*.

- static const CompileTimeErrorCode INVALID_IDENTIFIER_IN_ASYNC = const CompileTimeErrorCode.con1('INVALID_IDENTIFIER_IN_ASYNC', 84, "The identifier '{0}' cannot be used in a function marked with async, async* or sync*");

+ static const CompileTimeErrorCode INVALID_IDENTIFIER_IN_ASYNC = const CompileTimeErrorCode('INVALID_IDENTIFIER_IN_ASYNC', "The identifier '{0}' cannot be used in a function marked with async, async* or sync*");

/**

- * 9. Functions: It is a compile-time error if an async, async* or sync* modifier is attached to

- * the body of a setter or constructor.

+ * 9. Functions: It is a compile-time error if an async, async* or sync*

+ * modifier is attached to the body of a setter or constructor.

- static const CompileTimeErrorCode INVALID_MODIFIER_ON_CONSTRUCTOR = const CompileTimeErrorCode.con1('INVALID_MODIFIER_ON_CONSTRUCTOR', 85, "The modifier '{0}' cannot be applied to the body of a constructor");

+ static const CompileTimeErrorCode INVALID_MODIFIER_ON_CONSTRUCTOR = const CompileTimeErrorCode('INVALID_MODIFIER_ON_CONSTRUCTOR', "The modifier '{0}' cannot be applied to the body of a constructor");

/**

- * 9. Functions: It is a compile-time error if an async, async* or sync* modifier is attached to

- * the body of a setter or constructor.

+ * 9. Functions: It is a compile-time error if an async, async* or sync*

+ * modifier is attached to the body of a setter or constructor.

- static const CompileTimeErrorCode INVALID_MODIFIER_ON_SETTER = const CompileTimeErrorCode.con1('INVALID_MODIFIER_ON_SETTER', 86, "The modifier '{0}' cannot be applied to the body of a setter");

+ static const CompileTimeErrorCode INVALID_MODIFIER_ON_SETTER = const CompileTimeErrorCode('INVALID_MODIFIER_ON_SETTER', "The modifier '{0}' cannot be applied to the body of a setter");

/**

- * TODO(brianwilkerson) Remove this when we have decided on how to report errors in compile-time

- * constants. Until then, this acts as a placeholder for more informative errors.

+ * TODO(brianwilkerson) Remove this when we have decided on how to report

+ * errors in compile-time constants. Until then, this acts as a placeholder

+ * for more informative errors.

* See TODOs in ConstantVisitor

- static const CompileTimeErrorCode INVALID_CONSTANT = const CompileTimeErrorCode.con1('INVALID_CONSTANT', 87, "Invalid constant value");

+ static const CompileTimeErrorCode INVALID_CONSTANT = const CompileTimeErrorCode('INVALID_CONSTANT', "Invalid constant value");

/**

- * 7.6 Constructors: It is a compile-time error if the name of a constructor is not a constructor

- * name.

+ * 7.6 Constructors: It is a compile-time error if the name of a constructor

+ * is not a constructor name.

- static const CompileTimeErrorCode INVALID_CONSTRUCTOR_NAME = const CompileTimeErrorCode.con1('INVALID_CONSTRUCTOR_NAME', 88, "Invalid constructor name");

+ static const CompileTimeErrorCode INVALID_CONSTRUCTOR_NAME = const CompileTimeErrorCode('INVALID_CONSTRUCTOR_NAME', "Invalid constructor name");

/**

- * 7.6.2 Factories: It is a compile-time error if M is not the name of the immediately

- * enclosing class.

+ * 7.6.2 Factories: It is a compile-time error if M is not the name of

+ * the immediately enclosing class.

- static const CompileTimeErrorCode INVALID_FACTORY_NAME_NOT_A_CLASS = const CompileTimeErrorCode.con1('INVALID_FACTORY_NAME_NOT_A_CLASS', 89, "The name of the immediately enclosing class expected");

+ static const CompileTimeErrorCode INVALID_FACTORY_NAME_NOT_A_CLASS = const CompileTimeErrorCode('INVALID_FACTORY_NAME_NOT_A_CLASS', "The name of the immediately enclosing class expected");

/**

- * 12.10 This: It is a compile-time error if this appears in a top-level function or variable

- * initializer, in a factory constructor, or in a static method or variable initializer, or in the

- * initializer of an instance variable.

+ * 12.10 This: It is a compile-time error if this appears in a top-level

+ * function or variable initializer, in a factory constructor, or in a static

+ * method or variable initializer, or in the initializer of an instance

+ * variable.

- static const CompileTimeErrorCode INVALID_REFERENCE_TO_THIS = const CompileTimeErrorCode.con1('INVALID_REFERENCE_TO_THIS', 90, "Invalid reference to 'this' expression");

+ static const CompileTimeErrorCode INVALID_REFERENCE_TO_THIS = const CompileTimeErrorCode('INVALID_REFERENCE_TO_THIS', "Invalid reference to 'this' expression");

/**

- * 12.6 Lists: It is a compile time error if the type argument of a constant list literal includes

- * a type parameter.

+ * 12.6 Lists: It is a compile time error if the type argument of a constant

+ * list literal includes a type parameter.

* @name the name of the type parameter

- static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_LIST = const CompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_LIST', 91, "Constant list literals cannot include a type parameter as a type argument, such as '{0}'");

+ static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_LIST = const CompileTimeErrorCode('INVALID_TYPE_ARGUMENT_IN_CONST_LIST', "Constant list literals cannot include a type parameter as a type argument, such as '{0}'");

/**

- * 12.7 Maps: It is a compile time error if the type arguments of a constant map literal include a

- * type parameter.

+ * 12.7 Maps: It is a compile time error if the type arguments of a constant

+ * map literal include a type parameter.

* @name the name of the type parameter

- static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_MAP = const CompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_MAP', 92, "Constant map literals cannot include a type parameter as a type argument, such as '{0}'");

+ static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_MAP = const CompileTimeErrorCode('INVALID_TYPE_ARGUMENT_IN_CONST_MAP', "Constant map literals cannot include a type parameter as a type argument, such as '{0}'");

/**

- * 14.2 Exports: It is a compile-time error if the compilation unit found at the specified URI is

- * not a library declaration.

+ * 14.2 Exports: It is a compile-time error if the compilation unit found at

+ * the specified URI is not a library declaration.

- * 14.1 Imports: It is a compile-time error if the compilation unit found at the specified URI is

- * not a library declaration.

+ * 14.1 Imports: It is a compile-time error if the compilation unit found at

+ * the specified URI is not a library declaration.

- * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part

- * declaration.

+ * 14.3 Parts: It is a compile time error if the contents of the URI are not a

+ * valid part declaration.

* @param uri the URI that is invalid

- * @see #URI_DOES_NOT_EXIST

+ * @see [URI_DOES_NOT_EXIST]

- static const CompileTimeErrorCode INVALID_URI = const CompileTimeErrorCode.con1('INVALID_URI', 93, "Invalid URI syntax: '{0}'");

+ static const CompileTimeErrorCode INVALID_URI = const CompileTimeErrorCode('INVALID_URI', "Invalid URI syntax: '{0}'");

/**

- * 13.13 Break: It is a compile-time error if no such statement sE exists within

- * the innermost function in which sb occurs.

+ * 13.13 Break: It is a compile-time error if no such statement

+ * sE exists within the innermost function in which

+ * sb occurs.

- * 13.14 Continue: It is a compile-time error if no such statement or case clause

- * sE exists within the innermost function in which sc occurs.

+ * 13.14 Continue: It is a compile-time error if no such statement or case

+ * clause sE exists within the innermost function in which

+ * sc occurs.

* @param labelName the name of the unresolvable label

- static const CompileTimeErrorCode LABEL_IN_OUTER_SCOPE = const CompileTimeErrorCode.con1('LABEL_IN_OUTER_SCOPE', 94, "Cannot reference label '{0}' declared in an outer method");

+ static const CompileTimeErrorCode LABEL_IN_OUTER_SCOPE = const CompileTimeErrorCode('LABEL_IN_OUTER_SCOPE', "Cannot reference label '{0}' declared in an outer method");

/**

- * 13.13 Break: It is a compile-time error if no such statement sE exists within

- * the innermost function in which sb occurs.

+ * 13.13 Break: It is a compile-time error if no such statement

+ * sE exists within the innermost function in which

+ * sb occurs.

- * 13.14 Continue: It is a compile-time error if no such statement or case clause

- * sE exists within the innermost function in which sc occurs.

+ * 13.14 Continue: It is a compile-time error if no such statement or case

+ * clause sE exists within the innermost function in which

+ * sc occurs.

* @param labelName the name of the unresolvable label

- static const CompileTimeErrorCode LABEL_UNDEFINED = const CompileTimeErrorCode.con1('LABEL_UNDEFINED', 95, "Cannot reference undefined label '{0}'");

+ static const CompileTimeErrorCode LABEL_UNDEFINED = const CompileTimeErrorCode('LABEL_UNDEFINED', "Cannot reference undefined label '{0}'");

/**

- * 7 Classes: It is a compile time error if a class C declares a member with the same name

- * as C.

+ * 7 Classes: It is a compile time error if a class C declares a member

+ * with the same name as C.

- static const CompileTimeErrorCode MEMBER_WITH_CLASS_NAME = const CompileTimeErrorCode.con1('MEMBER_WITH_CLASS_NAME', 96, "Class members cannot have the same name as the enclosing class");

+ static const CompileTimeErrorCode MEMBER_WITH_CLASS_NAME = const CompileTimeErrorCode('MEMBER_WITH_CLASS_NAME', "Class members cannot have the same name as the enclosing class");

/**

- * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same

- * name.

+ * 7.2 Getters: It is a compile-time error if a class has both a getter and a

+ * method with the same name.

* @param name the conflicting name of the getter and method

- static const CompileTimeErrorCode METHOD_AND_GETTER_WITH_SAME_NAME = const CompileTimeErrorCode.con1('METHOD_AND_GETTER_WITH_SAME_NAME', 97, "'{0}' cannot be used to name a method, there is already a getter with the same name");

+ static const CompileTimeErrorCode METHOD_AND_GETTER_WITH_SAME_NAME = const CompileTimeErrorCode('METHOD_AND_GETTER_WITH_SAME_NAME', "'{0}' cannot be used to name a method, there is already a getter with the same name");

/**

* 12.1 Constants: A constant expression is ... a constant list literal.

- static const CompileTimeErrorCode MISSING_CONST_IN_LIST_LITERAL = const CompileTimeErrorCode.con1('MISSING_CONST_IN_LIST_LITERAL', 98, "List literals must be prefixed with 'const' when used as a constant expression");

+ static const CompileTimeErrorCode MISSING_CONST_IN_LIST_LITERAL = const CompileTimeErrorCode('MISSING_CONST_IN_LIST_LITERAL', "List literals must be prefixed with 'const' when used as a constant expression");

/**

* 12.1 Constants: A constant expression is ... a constant map literal.

- static const CompileTimeErrorCode MISSING_CONST_IN_MAP_LITERAL = const CompileTimeErrorCode.con1('MISSING_CONST_IN_MAP_LITERAL', 99, "Map literals must be prefixed with 'const' when used as a constant expression");

+ static const CompileTimeErrorCode MISSING_CONST_IN_MAP_LITERAL = const CompileTimeErrorCode('MISSING_CONST_IN_MAP_LITERAL', "Map literals must be prefixed with 'const' when used as a constant expression");

/**

- * Enum proposal: It is a static warning if all of the following conditions hold:

+ * Enum proposal: It is a static warning if all of the following conditions

+ * hold:

* * The switch statement does not have a 'default' clause.

- * * The static type of e is an enumerated typed with elements id1,

- * …, idn.

- * * The sets {e1, …, ek} and {id1,

- * …, idn} are not the same.

+ * * The static type of e is an enumerated typed with elements

+ * id1, …, idn.

+ * * The sets {e1, …, ek} and

+ * {id1, …, idn} are not the same.

* @param constantName the name of the constant that is missing

- static const CompileTimeErrorCode MISSING_ENUM_CONSTANT_IN_SWITCH = const CompileTimeErrorCode.con2('MISSING_ENUM_CONSTANT_IN_SWITCH', 100, "Missing case clause for '{0}'", "Add a case clause for the missing constant or add a default clause.");

+ static const CompileTimeErrorCode MISSING_ENUM_CONSTANT_IN_SWITCH = const CompileTimeErrorCode('MISSING_ENUM_CONSTANT_IN_SWITCH', "Missing case clause for '{0}'", "Add a case clause for the missing constant or add a default clause.");

/**

- * 9 Mixins: It is a compile-time error if a declared or derived mixin explicitly declares a

- * constructor.

+ * 9 Mixins: It is a compile-time error if a declared or derived mixin

+ * explicitly declares a constructor.

* @param typeName the name of the mixin that is invalid

- static const CompileTimeErrorCode MIXIN_DECLARES_CONSTRUCTOR = const CompileTimeErrorCode.con1('MIXIN_DECLARES_CONSTRUCTOR', 101, "The class '{0}' cannot be used as a mixin because it declares a constructor");

+ static const CompileTimeErrorCode MIXIN_DECLARES_CONSTRUCTOR = const CompileTimeErrorCode('MIXIN_DECLARES_CONSTRUCTOR', "The class '{0}' cannot be used as a mixin because it declares a constructor");

/**

- * 9.1 Mixin Application: It is a compile-time error if the with clause of a mixin application

- * C includes a deferred type expression.

+ * 9.1 Mixin Application: It is a compile-time error if the with clause of a

+ * mixin application C includes a deferred type expression.

* @param typeName the name of the type that cannot be extended

* @see #EXTENDS_DEFERRED_CLASS

* @see #IMPLEMENTS_DEFERRED_CLASS

- static const CompileTimeErrorCode MIXIN_DEFERRED_CLASS = const CompileTimeErrorCode.con1('MIXIN_DEFERRED_CLASS', 102, "This class cannot mixin the deferred class '{0}'");

+ static const CompileTimeErrorCode MIXIN_DEFERRED_CLASS = const CompileTimeErrorCode('MIXIN_DEFERRED_CLASS', "This class cannot mixin the deferred class '{0}'");

/**

- * 9 Mixins: It is a compile-time error if a mixin is derived from a class whose superclass is not

- * Object.

+ * 9 Mixins: It is a compile-time error if a mixin is derived from a class

+ * whose superclass is not Object.

* @param typeName the name of the mixin that is invalid

- static const CompileTimeErrorCode MIXIN_INHERITS_FROM_NOT_OBJECT = const CompileTimeErrorCode.con1('MIXIN_INHERITS_FROM_NOT_OBJECT', 103, "The class '{0}' cannot be used as a mixin because it extends a class other than Object");

+ static const CompileTimeErrorCode MIXIN_INHERITS_FROM_NOT_OBJECT = const CompileTimeErrorCode('MIXIN_INHERITS_FROM_NOT_OBJECT', "The class '{0}' cannot be used as a mixin because it extends a class other than Object");

/**

- * 12.2 Null: It is a compile-time error for a class to attempt to extend or implement Null.

+ * 12.2 Null: It is a compile-time error for a class to attempt to extend or

+ * implement Null.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement int.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement int.

- * 12.3 Numbers: It is a compile-time error for a class to attempt to extend or implement double.

+ * 12.3 Numbers: It is a compile-time error for a class to attempt to extend

+ * or implement double.

- * 12.3 Numbers: It is a compile-time error for any type other than the types int and double to

- * attempt to extend or implement num.

+ * 12.3 Numbers: It is a compile-time error for any type other than the types

+ * int and double to attempt to extend or implement num.

- * 12.4 Booleans: It is a compile-time error for a class to attempt to extend or implement bool.

+ * 12.4 Booleans: It is a compile-time error for a class to attempt to extend

+ * or implement bool.

- * 12.5 Strings: It is a compile-time error for a class to attempt to extend or implement String.

+ * 12.5 Strings: It is a compile-time error for a class to attempt to extend

+ * or implement String.

* @param typeName the name of the type that cannot be extended

- * @see #IMPLEMENTS_DISALLOWED_CLASS

+ * @see [IMPLEMENTS_DISALLOWED_CLASS]

- static const CompileTimeErrorCode MIXIN_OF_DISALLOWED_CLASS = const CompileTimeErrorCode.con1('MIXIN_OF_DISALLOWED_CLASS', 104, "Classes cannot mixin '{0}'");

+ static const CompileTimeErrorCode MIXIN_OF_DISALLOWED_CLASS = const CompileTimeErrorCode('MIXIN_OF_DISALLOWED_CLASS', "Classes cannot mixin '{0}'");

/**

- * Enum proposal: It is a compile-time error to subclass, mix-in or implement an enum.

+ * Enum proposal: It is a compile-time error to subclass, mix-in or implement

+ * an enum.

- static const CompileTimeErrorCode MIXIN_OF_ENUM = const CompileTimeErrorCode.con1('MIXIN_OF_ENUM', 105, "Classes cannot mixin an enum");

+ static const CompileTimeErrorCode MIXIN_OF_ENUM = const CompileTimeErrorCode('MIXIN_OF_ENUM', "Classes cannot mixin an enum");

/**

- * 9.1 Mixin Application: It is a compile-time error if M does not denote a class or mixin

- * available in the immediately enclosing scope.

+ * 9.1 Mixin Application: It is a compile-time error if M does not

+ * denote a class or mixin available in the immediately enclosing scope.

- static const CompileTimeErrorCode MIXIN_OF_NON_CLASS = const CompileTimeErrorCode.con1('MIXIN_OF_NON_CLASS', 106, "Classes can only mixin other classes");

+ static const CompileTimeErrorCode MIXIN_OF_NON_CLASS = const CompileTimeErrorCode('MIXIN_OF_NON_CLASS', "Classes can only mixin other classes");

/**

- * 9 Mixins: It is a compile-time error if a declared or derived mixin refers to super.

+ * 9 Mixins: It is a compile-time error if a declared or derived mixin refers

+ * to super.

- static const CompileTimeErrorCode MIXIN_REFERENCES_SUPER = const CompileTimeErrorCode.con1('MIXIN_REFERENCES_SUPER', 107, "The class '{0}' cannot be used as a mixin because it references 'super'");

+ static const CompileTimeErrorCode MIXIN_REFERENCES_SUPER = const CompileTimeErrorCode('MIXIN_REFERENCES_SUPER', "The class '{0}' cannot be used as a mixin because it references 'super'");

/**

- * 9.1 Mixin Application: It is a compile-time error if S does not denote a class available

- * in the immediately enclosing scope.

+ * 9.1 Mixin Application: It is a compile-time error if S does not

+ * denote a class available in the immediately enclosing scope.

- static const CompileTimeErrorCode MIXIN_WITH_NON_CLASS_SUPERCLASS = const CompileTimeErrorCode.con1('MIXIN_WITH_NON_CLASS_SUPERCLASS', 108, "Mixin can only be applied to class");

+ static const CompileTimeErrorCode MIXIN_WITH_NON_CLASS_SUPERCLASS = const CompileTimeErrorCode('MIXIN_WITH_NON_CLASS_SUPERCLASS', "Mixin can only be applied to class");

/**

- * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its

- * only action is to invoke another generative constructor.

+ * 7.6.1 Generative Constructors: A generative constructor may be redirecting,

+ * in which case its only action is to invoke another generative constructor.

- static const CompileTimeErrorCode MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS = const CompileTimeErrorCode.con1('MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS', 109, "Constructor may have at most one 'this' redirection");

+ static const CompileTimeErrorCode MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS = const CompileTimeErrorCode('MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS', "Constructor may have at most one 'this' redirection");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. Then k may

- * include at most one superinitializer in its initializer list or a compile time error occurs.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor.

+ * Then k may include at most one superinitializer in its initializer

+ * list or a compile time error occurs.

- static const CompileTimeErrorCode MULTIPLE_SUPER_INITIALIZERS = const CompileTimeErrorCode.con1('MULTIPLE_SUPER_INITIALIZERS', 110, "Constructor may have at most one 'super' initializer");

+ static const CompileTimeErrorCode MULTIPLE_SUPER_INITIALIZERS = const CompileTimeErrorCode('MULTIPLE_SUPER_INITIALIZERS', "Constructor may have at most one 'super' initializer");

/**

- * 11 Metadata: Metadata consists of a series of annotations, each of which begin with the

- * character @, followed by a constant expression that must be either a reference to a

- * compile-time constant variable, or a call to a constant constructor.

+ * 11 Metadata: Metadata consists of a series of annotations, each of which

+ * begin with the character @, followed by a constant expression that must be

+ * either a reference to a compile-time constant variable, or a call to a

+ * constant constructor.

- static const CompileTimeErrorCode NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS = const CompileTimeErrorCode.con1('NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS', 111, "Annotation creation must have arguments");

+ static const CompileTimeErrorCode NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS = const CompileTimeErrorCode('NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS', "Annotation creation must have arguments");

/**

- * 7.6.1 Generative Constructors: If no superinitializer is provided, an implicit superinitializer

- * of the form super() is added at the end of k's initializer list, unless the

- * enclosing class is class Object.

+ * 7.6.1 Generative Constructors: If no superinitializer is provided, an

+ * implicit superinitializer of the form super() is added at the end of

+ * k's initializer list, unless the enclosing class is class

+ * Object.

- * 7.6.1 Generative constructors. It is a compile-time error if class S does not declare a

- * generative constructor named S (respectively S.id)

+ * 7.6.1 Generative constructors. It is a compile-time error if class S

+ * does not declare a generative constructor named S (respectively

+ * S.id)

- static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT = const CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT', 112, "The class '{0}' does not have a default constructor");

+ static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT = const CompileTimeErrorCode('NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT', "The class '{0}' does not have a default constructor");

/**

- * 7.6 Constructors: Iff no constructor is specified for a class C, it implicitly has a

- * default constructor C() : super() {}, unless C is class Object.

+ * 7.6 Constructors: Iff no constructor is specified for a class C, it

+ * implicitly has a default constructor C() : super() {}, unless

+ * C is class Object.

- * 7.6.1 Generative constructors. It is a compile-time error if class S does not declare a

- * generative constructor named S (respectively S.id)

+ * 7.6.1 Generative constructors. It is a compile-time error if class S

+ * does not declare a generative constructor named S (respectively

+ * S.id)

- static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT = const CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT', 113, "The class '{0}' does not have a default constructor");

+ static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT = const CompileTimeErrorCode('NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT', "The class '{0}' does not have a default constructor");

/**

- * 13.2 Expression Statements: It is a compile-time error if a non-constant map literal that has

- * no explicit type arguments appears in a place where a statement is expected.

+ * 13.2 Expression Statements: It is a compile-time error if a non-constant

+ * map literal that has no explicit type arguments appears in a place where a

+ * statement is expected.

- static const CompileTimeErrorCode NON_CONST_MAP_AS_EXPRESSION_STATEMENT = const CompileTimeErrorCode.con1('NON_CONST_MAP_AS_EXPRESSION_STATEMENT', 114, "A non-constant map literal without type arguments cannot be used as an expression statement");

+ static const CompileTimeErrorCode NON_CONST_MAP_AS_EXPRESSION_STATEMENT = const CompileTimeErrorCode('NON_CONST_MAP_AS_EXPRESSION_STATEMENT', "A non-constant map literal without type arguments cannot be used as an expression statement");

/**

- * 13.9 Switch: Given a switch statement of the form switch (e) { label11 …

- * label1j1 case e1: s1 … labeln1 …

- * labelnjn case en: sn default: sn+1} or the form

- * switch (e) { label11 … label1j1 case e1:

- * s1 … labeln1 … labelnjn case en:

- * sn}, it is a compile-time error if the expressions ek are not

+ * 13.9 Switch: Given a switch statement of the form switch (e) {

+ * label11 … label1j1 case e1:

+ * s1 … labeln1 … labelnjn case

+ * en: sn default: sn+1} or the form

+ * switch (e) { label11 … label1j1 case

+ * e1: s1 … labeln1 …

+ * labelnjn case en: sn}, it is a

+ * compile-time error if the expressions ek are not

* compile-time constants, for all 1 <= k <= n.

- static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION = const CompileTimeErrorCode.con1('NON_CONSTANT_CASE_EXPRESSION', 115, "Case expressions must be constant");

+ static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION = const CompileTimeErrorCode('NON_CONSTANT_CASE_EXPRESSION', "Case expressions must be constant");

/**

- * 13.9 Switch: Given a switch statement of the form switch (e) { label11 …

- * label1j1 case e1: s1 … labeln1 …

- * labelnjn case en: sn default: sn+1} or the form

- * switch (e) { label11 … label1j1 case e1:

- * s1 … labeln1 … labelnjn case en:

- * sn}, it is a compile-time error if the expressions ek are not

+ * 13.9 Switch: Given a switch statement of the form switch (e) {

+ * label11 … label1j1 case e1:

+ * s1 … labeln1 … labelnjn case

+ * en: sn default: sn+1} or the form

+ * switch (e) { label11 … label1j1 case

+ * e1: s1 … labeln1 …

+ * labelnjn case en: sn}, it is a

+ * compile-time error if the expressions ek are not

* compile-time constants, for all 1 <= k <= n.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_CASE_EXPRESSION_FROM_DEFERRED_LIBRARY', 116, "Constant values from a deferred library cannot be used as a case expression");

+ static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_CASE_EXPRESSION_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as a case expression");

/**

- * 6.2.2 Optional Formals: It is a compile-time error if the default value of an optional

- * parameter is not a compile-time constant.

+ * 6.2.2 Optional Formals: It is a compile-time error if the default value of

+ * an optional parameter is not a compile-time constant.

- static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE = const CompileTimeErrorCode.con1('NON_CONSTANT_DEFAULT_VALUE', 117, "Default values of an optional parameter must be constant");

+ static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE = const CompileTimeErrorCode('NON_CONSTANT_DEFAULT_VALUE', "Default values of an optional parameter must be constant");

/**

- * 6.2.2 Optional Formals: It is a compile-time error if the default value of an optional

- * parameter is not a compile-time constant.

+ * 6.2.2 Optional Formals: It is a compile-time error if the default value of

+ * an optional parameter is not a compile-time constant.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_DEFAULT_VALUE_FROM_DEFERRED_LIBRARY', 118, "Constant values from a deferred library cannot be used as a default parameter value");

+ static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_DEFAULT_VALUE_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as a default parameter value");

/**

- * 12.6 Lists: It is a compile time error if an element of a constant list literal is not a

- * compile-time constant.

+ * 12.6 Lists: It is a compile time error if an element of a constant list

+ * literal is not a compile-time constant.

- static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT = const CompileTimeErrorCode.con1('NON_CONSTANT_LIST_ELEMENT', 119, "'const' lists must have all constant values");

+ static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT = const CompileTimeErrorCode('NON_CONSTANT_LIST_ELEMENT', "'const' lists must have all constant values");

/**

- * 12.6 Lists: It is a compile time error if an element of a constant list literal is not a

- * compile-time constant.

+ * 12.6 Lists: It is a compile time error if an element of a constant list

+ * literal is not a compile-time constant.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_LIST_ELEMENT_FROM_DEFERRED_LIBRARY', 120, "Constant values from a deferred library cannot be used as values in a 'const' list");

+ static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_LIST_ELEMENT_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as values in a 'const' list");

/**

- * 12.7 Maps: It is a compile time error if either a key or a value of an entry in a constant map

- * literal is not a compile-time constant.

+ * 12.7 Maps: It is a compile time error if either a key or a value of an

+ * entry in a constant map literal is not a compile-time constant.

- static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY = const CompileTimeErrorCode.con1('NON_CONSTANT_MAP_KEY', 121, "The keys in a map must be constant");

+ static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY = const CompileTimeErrorCode('NON_CONSTANT_MAP_KEY', "The keys in a map must be constant");

/**

- * 12.7 Maps: It is a compile time error if either a key or a value of an entry in a constant map

- * literal is not a compile-time constant.

+ * 12.7 Maps: It is a compile time error if either a key or a value of an

+ * entry in a constant map literal is not a compile-time constant.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_MAP_KEY_FROM_DEFERRED_LIBRARY', 122, "Constant values from a deferred library cannot be used as keys in a map");

+ static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_MAP_KEY_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as keys in a map");

/**

- * 12.7 Maps: It is a compile time error if either a key or a value of an entry in a constant map

- * literal is not a compile-time constant.

+ * 12.7 Maps: It is a compile time error if either a key or a value of an

+ * entry in a constant map literal is not a compile-time constant.

- static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE = const CompileTimeErrorCode.con1('NON_CONSTANT_MAP_VALUE', 123, "The values in a 'const' map must be constant");

+ static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE = const CompileTimeErrorCode('NON_CONSTANT_MAP_VALUE', "The values in a 'const' map must be constant");

/**

- * 12.7 Maps: It is a compile time error if either a key or a value of an entry in a constant map

- * literal is not a compile-time constant.

+ * 12.7 Maps: It is a compile time error if either a key or a value of an

+ * entry in a constant map literal is not a compile-time constant.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_MAP_VALUE_FROM_DEFERRED_LIBRARY', 124, "Constant values from a deferred library cannot be used as values in a 'const' map");

+ static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_MAP_VALUE_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as values in a 'const' map");

/**

- * 11 Metadata: Metadata consists of a series of annotations, each of which begin with the

- * character @, followed by a constant expression that must be either a reference to a

- * compile-time constant variable, or a call to a constant constructor.

+ * 11 Metadata: Metadata consists of a series of annotations, each of which

+ * begin with the character @, followed by a constant expression that must be

+ * either a reference to a compile-time constant variable, or a call to a

+ * constant constructor.

* "From deferred library" case is covered by

* [CompileTimeErrorCode#INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY].

- static const CompileTimeErrorCode NON_CONSTANT_ANNOTATION_CONSTRUCTOR = const CompileTimeErrorCode.con1('NON_CONSTANT_ANNOTATION_CONSTRUCTOR', 125, "Annotation creation can use only 'const' constructor");

+ static const CompileTimeErrorCode NON_CONSTANT_ANNOTATION_CONSTRUCTOR = const CompileTimeErrorCode('NON_CONSTANT_ANNOTATION_CONSTRUCTOR', "Annotation creation can use only 'const' constructor");

/**

- * 7.6.3 Constant Constructors: Any expression that appears within the initializer list of a

- * constant constructor must be a potentially constant expression, or a compile-time error occurs.

+ * 7.6.3 Constant Constructors: Any expression that appears within the

+ * initializer list of a constant constructor must be a potentially constant

+ * expression, or a compile-time error occurs.

- static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER = const CompileTimeErrorCode.con1('NON_CONSTANT_VALUE_IN_INITIALIZER', 126, "Initializer expressions in constant constructors must be constants");

+ static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER = const CompileTimeErrorCode('NON_CONSTANT_VALUE_IN_INITIALIZER', "Initializer expressions in constant constructors must be constants");

/**

- * 7.6.3 Constant Constructors: Any expression that appears within the initializer list of a

- * constant constructor must be a potentially constant expression, or a compile-time error occurs.

+ * 7.6.3 Constant Constructors: Any expression that appears within the

+ * initializer list of a constant constructor must be a potentially constant

+ * expression, or a compile-time error occurs.

- * 12.1 Constants: A qualified reference to a static constant variable that is not qualified by a

- * deferred prefix.

+ * 12.1 Constants: A qualified reference to a static constant variable that is

+ * not qualified by a deferred prefix.

- static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode.con1('NON_CONSTANT_VALUE_IN_INITIALIZER_FROM_DEFERRED_LIBRARY', 127, "Constant values from a deferred library cannot be used as constant initializers");

+ static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER_FROM_DEFERRED_LIBRARY = const CompileTimeErrorCode('NON_CONSTANT_VALUE_IN_INITIALIZER_FROM_DEFERRED_LIBRARY', "Constant values from a deferred library cannot be used as constant initializers");

/**

- * 12.14.2 Binding Actuals to Formals: It is a static warning if m < h or if m > n.

+ * 12.14.2 Binding Actuals to Formals: It is a static warning if m < h

+ * or if m > n.

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

* @param requiredCount the expected number of required arguments

* @param argumentCount the actual number of positional arguments given

- static const CompileTimeErrorCode NOT_ENOUGH_REQUIRED_ARGUMENTS = const CompileTimeErrorCode.con1('NOT_ENOUGH_REQUIRED_ARGUMENTS', 128, "{0} required argument(s) expected, but {1} found");

+ static const CompileTimeErrorCode NOT_ENOUGH_REQUIRED_ARGUMENTS = const CompileTimeErrorCode('NOT_ENOUGH_REQUIRED_ARGUMENTS', "{0} required argument(s) expected, but {1} found");

/**

- * 7.6.1 Generative Constructors: Let C be the class in which the superinitializer appears

- * and let S be the superclass of C. Let k be a generative constructor. It is

- * a compile-time error if class S does not declare a generative constructor named S

+ * 7.6.1 Generative Constructors: Let C be the class in which the

+ * superinitializer appears and let S be the superclass of C.

+ * Let k be a generative constructor. It is a compile-time error if

+ * class S does not declare a generative constructor named S

* (respectively S.id)

- static const CompileTimeErrorCode NON_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode.con1('NON_GENERATIVE_CONSTRUCTOR', 129, "The generative constructor '{0}' expected, but factory found");

+ static const CompileTimeErrorCode NON_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode('NON_GENERATIVE_CONSTRUCTOR', "The generative constructor '{0}' expected, but factory found");

/**

- * 7.9 Superclasses: It is a compile-time error to specify an extends clause for class Object.

+ * 7.9 Superclasses: It is a compile-time error to specify an extends clause

+ * for class Object.

- static const CompileTimeErrorCode OBJECT_CANNOT_EXTEND_ANOTHER_CLASS = const CompileTimeErrorCode.con1('OBJECT_CANNOT_EXTEND_ANOTHER_CLASS', 130, "");

+ static const CompileTimeErrorCode OBJECT_CANNOT_EXTEND_ANOTHER_CLASS = const CompileTimeErrorCode('OBJECT_CANNOT_EXTEND_ANOTHER_CLASS', "");

/**

- * 7.1.1 Operators: It is a compile-time error to declare an optional parameter in an operator.

+ * 7.1.1 Operators: It is a compile-time error to declare an optional

+ * parameter in an operator.

- static const CompileTimeErrorCode OPTIONAL_PARAMETER_IN_OPERATOR = const CompileTimeErrorCode.con1('OPTIONAL_PARAMETER_IN_OPERATOR', 131, "Optional parameters are not allowed when defining an operator");

+ static const CompileTimeErrorCode OPTIONAL_PARAMETER_IN_OPERATOR = const CompileTimeErrorCode('OPTIONAL_PARAMETER_IN_OPERATOR', "Optional parameters are not allowed when defining an operator");

/**

- * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part

- * declaration.

+ * 14.3 Parts: It is a compile time error if the contents of the URI are not a

+ * valid part declaration.

* @param uri the uri pointing to a non-library declaration

- static const CompileTimeErrorCode PART_OF_NON_PART = const CompileTimeErrorCode.con1('PART_OF_NON_PART', 132, "The included part '{0}' must have a part-of directive");

+ static const CompileTimeErrorCode PART_OF_NON_PART = const CompileTimeErrorCode('PART_OF_NON_PART', "The included part '{0}' must have a part-of directive");

/**

- * 14.1 Imports: It is a compile-time error if the current library declares a top-level member

- * named p.

+ * 14.1 Imports: It is a compile-time error if the current library declares a

+ * top-level member named p.

- static const CompileTimeErrorCode PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER = const CompileTimeErrorCode.con1('PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER', 133, "The name '{0}' is already used as an import prefix and cannot be used to name a top-level element");

+ static const CompileTimeErrorCode PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER = const CompileTimeErrorCode('PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER', "The name '{0}' is already used as an import prefix and cannot be used to name a top-level element");

/**

- * 6.2.2 Optional Formals: It is a compile-time error if the name of a named optional parameter

- * begins with an '_' character.

+ * 6.2.2 Optional Formals: It is a compile-time error if the name of a named

+ * optional parameter begins with an '_' character.

- static const CompileTimeErrorCode PRIVATE_OPTIONAL_PARAMETER = const CompileTimeErrorCode.con1('PRIVATE_OPTIONAL_PARAMETER', 134, "Named optional parameters cannot start with an underscore");

+ static const CompileTimeErrorCode PRIVATE_OPTIONAL_PARAMETER = const CompileTimeErrorCode('PRIVATE_OPTIONAL_PARAMETER', "Named optional parameters cannot start with an underscore");

/**

- * 12.1 Constants: It is a compile-time error if the value of a compile-time constant expression

- * depends on itself.

+ * 12.1 Constants: It is a compile-time error if the value of a compile-time

+ * constant expression depends on itself.

- static const CompileTimeErrorCode RECURSIVE_COMPILE_TIME_CONSTANT = const CompileTimeErrorCode.con1('RECURSIVE_COMPILE_TIME_CONSTANT', 135, "");

+ static const CompileTimeErrorCode RECURSIVE_COMPILE_TIME_CONSTANT = const CompileTimeErrorCode('RECURSIVE_COMPILE_TIME_CONSTANT', "");

/**

- * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its

- * only action is to invoke another generative constructor.

+ * 7.6.1 Generative Constructors: A generative constructor may be redirecting,

+ * in which case its only action is to invoke another generative constructor.

- * TODO(scheglov) review this later, there are no explicit "it is a compile-time error" in

- * specification. But it was added to the co19 and there is same error for factories.

+ * TODO(scheglov) review this later, there are no explicit "it is a

+ * compile-time error" in specification. But it was added to the co19 and

+ * there is same error for factories.

* https://code.google.com/p/dart/issues/detail?id=954

- static const CompileTimeErrorCode RECURSIVE_CONSTRUCTOR_REDIRECT = const CompileTimeErrorCode.con1('RECURSIVE_CONSTRUCTOR_REDIRECT', 136, "Cycle in redirecting generative constructors");

+ static const CompileTimeErrorCode RECURSIVE_CONSTRUCTOR_REDIRECT = const CompileTimeErrorCode('RECURSIVE_CONSTRUCTOR_REDIRECT', "Cycle in redirecting generative constructors");

/**

- * 7.6.2 Factories: It is a compile-time error if a redirecting factory constructor redirects to

- * itself, either directly or indirectly via a sequence of redirections.

+ * 7.6.2 Factories: It is a compile-time error if a redirecting factory

+ * constructor redirects to itself, either directly or indirectly via a

+ * sequence of redirections.

- static const CompileTimeErrorCode RECURSIVE_FACTORY_REDIRECT = const CompileTimeErrorCode.con1('RECURSIVE_FACTORY_REDIRECT', 137, "Cycle in redirecting factory constructors");

+ static const CompileTimeErrorCode RECURSIVE_FACTORY_REDIRECT = const CompileTimeErrorCode('RECURSIVE_FACTORY_REDIRECT', "Cycle in redirecting factory constructors");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the interface of a class C is a

- * superinterface of itself.

+ * 7.10 Superinterfaces: It is a compile-time error if the interface of a

+ * class C is a superinterface of itself.

- * 8.1 Superinterfaces: It is a compile-time error if an interface is a superinterface of itself.

+ * 8.1 Superinterfaces: It is a compile-time error if an interface is a

+ * superinterface of itself.

- * 7.9 Superclasses: It is a compile-time error if a class C is a superclass of itself.

+ * 7.9 Superclasses: It is a compile-time error if a class C is a

+ * superclass of itself.

* @param className the name of the class that implements itself recursively

* @param strImplementsPath a string representation of the implements loop

- static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE', 138, "'{0}' cannot be a superinterface of itself: {1}");

+ static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE = const CompileTimeErrorCode('RECURSIVE_INTERFACE_INHERITANCE', "'{0}' cannot be a superinterface of itself: {1}");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the interface of a class C is a

- * superinterface of itself.

+ * 7.10 Superinterfaces: It is a compile-time error if the interface of a

+ * class C is a superinterface of itself.

- * 8.1 Superinterfaces: It is a compile-time error if an interface is a superinterface of itself.

+ * 8.1 Superinterfaces: It is a compile-time error if an interface is a

+ * superinterface of itself.

- * 7.9 Superclasses: It is a compile-time error if a class C is a superclass of itself.

+ * 7.9 Superclasses: It is a compile-time error if a class C is a

+ * superclass of itself.

* @param className the name of the class that implements itself recursively

- static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS', 139, "'{0}' cannot extend itself");

+ static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS = const CompileTimeErrorCode('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS', "'{0}' cannot extend itself");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the interface of a class C is a

- * superinterface of itself.

+ * 7.10 Superinterfaces: It is a compile-time error if the interface of a

+ * class C is a superinterface of itself.

- * 8.1 Superinterfaces: It is a compile-time error if an interface is a superinterface of itself.

+ * 8.1 Superinterfaces: It is a compile-time error if an interface is a

+ * superinterface of itself.

- * 7.9 Superclasses: It is a compile-time error if a class C is a superclass of itself.

+ * 7.9 Superclasses: It is a compile-time error if a class C is a

+ * superclass of itself.

* @param className the name of the class that implements itself recursively

- static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS', 140, "'{0}' cannot implement itself");

+ static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS = const CompileTimeErrorCode('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS', "'{0}' cannot implement itself");

/**

- * 7.10 Superinterfaces: It is a compile-time error if the interface of a class C is a

- * superinterface of itself.

+ * 7.10 Superinterfaces: It is a compile-time error if the interface of a

+ * class C is a superinterface of itself.

- * 8.1 Superinterfaces: It is a compile-time error if an interface is a superinterface of itself.

+ * 8.1 Superinterfaces: It is a compile-time error if an interface is a

+ * superinterface of itself.

- * 7.9 Superclasses: It is a compile-time error if a class C is a superclass of itself.

+ * 7.9 Superclasses: It is a compile-time error if a class C is a

+ * superclass of itself.

* @param className the name of the class that implements itself recursively

- static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH', 141, "'{0}' cannot use itself as a mixin");

+ static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH = const CompileTimeErrorCode('RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH', "'{0}' cannot use itself as a mixin");

/**

- * 7.6.2 Factories: It is a compile-time error if k is prefixed with the const modifier but

- * k' is not a constant constructor.

+ * 7.6.2 Factories: It is a compile-time error if k is prefixed with

+ * the const modifier but k' is not a constant constructor.

- static const CompileTimeErrorCode REDIRECT_TO_MISSING_CONSTRUCTOR = const CompileTimeErrorCode.con1('REDIRECT_TO_MISSING_CONSTRUCTOR', 142, "The constructor '{0}' could not be found in '{1}'");

+ static const CompileTimeErrorCode REDIRECT_TO_MISSING_CONSTRUCTOR = const CompileTimeErrorCode('REDIRECT_TO_MISSING_CONSTRUCTOR', "The constructor '{0}' could not be found in '{1}'");

/**

- * 7.6.2 Factories: It is a compile-time error if k is prefixed with the const modifier but

- * k' is not a constant constructor.

+ * 7.6.2 Factories: It is a compile-time error if k is prefixed with

+ * the const modifier but k' is not a constant constructor.

- static const CompileTimeErrorCode REDIRECT_TO_NON_CLASS = const CompileTimeErrorCode.con1('REDIRECT_TO_NON_CLASS', 143, "The name '{0}' is not a type and cannot be used in a redirected constructor");

+ static const CompileTimeErrorCode REDIRECT_TO_NON_CLASS = const CompileTimeErrorCode('REDIRECT_TO_NON_CLASS', "The name '{0}' is not a type and cannot be used in a redirected constructor");

/**

- * 7.6.2 Factories: It is a compile-time error if k is prefixed with the const modifier but

- * k' is not a constant constructor.

+ * 7.6.2 Factories: It is a compile-time error if k is prefixed with

+ * the const modifier but k' is not a constant constructor.

- static const CompileTimeErrorCode REDIRECT_TO_NON_CONST_CONSTRUCTOR = const CompileTimeErrorCode.con1('REDIRECT_TO_NON_CONST_CONSTRUCTOR', 144, "Constant factory constructor cannot delegate to a non-constant constructor");

+ static const CompileTimeErrorCode REDIRECT_TO_NON_CONST_CONSTRUCTOR = const CompileTimeErrorCode('REDIRECT_TO_NON_CONST_CONSTRUCTOR', "Constant factory constructor cannot delegate to a non-constant constructor");

/**

- * 7.6.1 Generative constructors: A generative constructor may be redirecting, in which

- * case its only action is to invoke another generative constructor.

+ * 7.6.1 Generative constructors: A generative constructor may be

+ * redirecting, in which case its only action is to invoke another

+ * generative constructor.

- static const CompileTimeErrorCode REDIRECT_GENERATIVE_TO_MISSING_CONSTRUCTOR = const CompileTimeErrorCode.con1('REDIRECT_GENERATIVE_TO_MISSING_CONSTRUCTOR', 145, "The constructor '{0}' could not be found in '{1}'");

+ static const CompileTimeErrorCode REDIRECT_GENERATIVE_TO_MISSING_CONSTRUCTOR = const CompileTimeErrorCode('REDIRECT_GENERATIVE_TO_MISSING_CONSTRUCTOR', "The constructor '{0}' could not be found in '{1}'");

/**

- * 7.6.1 Generative constructors: A generative constructor may be redirecting, in which

- * case its only action is to invoke another generative constructor.

+ * 7.6.1 Generative constructors: A generative constructor may be

+ * redirecting, in which case its only action is to invoke another

+ * generative constructor.

- static const CompileTimeErrorCode REDIRECT_GENERATIVE_TO_NON_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode.con1('REDIRECT_GENERATIVE_TO_NON_GENERATIVE_CONSTRUCTOR', 146, "Generative constructor cannot redirect to a factory constructor");

+ static const CompileTimeErrorCode REDIRECT_GENERATIVE_TO_NON_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode('REDIRECT_GENERATIVE_TO_NON_GENERATIVE_CONSTRUCTOR', "Generative constructor cannot redirect to a factory constructor");

/**

- * 5 Variables: A local variable may only be referenced at a source code location that is after

- * its initializer, if any, is complete, or a compile-time error occurs.

+ * 5 Variables: A local variable may only be referenced at a source code

+ * location that is after its initializer, if any, is complete, or a

+ * compile-time error occurs.

- static const CompileTimeErrorCode REFERENCED_BEFORE_DECLARATION = const CompileTimeErrorCode.con1('REFERENCED_BEFORE_DECLARATION', 147, "Local variables cannot be referenced before they are declared");

+ static const CompileTimeErrorCode REFERENCED_BEFORE_DECLARATION = const CompileTimeErrorCode('REFERENCED_BEFORE_DECLARATION', "Local variables cannot be referenced before they are declared");

/**

- * 12.8.1 Rethrow: It is a compile-time error if an expression of the form rethrow; is not

- * enclosed within a on-catch clause.

+ * 12.8.1 Rethrow: It is a compile-time error if an expression of the form

+ * rethrow; is not enclosed within a on-catch clause.

- static const CompileTimeErrorCode RETHROW_OUTSIDE_CATCH = const CompileTimeErrorCode.con1('RETHROW_OUTSIDE_CATCH', 148, "rethrow must be inside of a catch clause");

+ static const CompileTimeErrorCode RETHROW_OUTSIDE_CATCH = const CompileTimeErrorCode('RETHROW_OUTSIDE_CATCH', "rethrow must be inside of a catch clause");

/**

- * 13.12 Return: It is a compile-time error if a return statement of the form return e;

- * appears in a generative constructor.

+ * 13.12 Return: It is a compile-time error if a return statement of the form

+ * return e; appears in a generative constructor.

- static const CompileTimeErrorCode RETURN_IN_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode.con1('RETURN_IN_GENERATIVE_CONSTRUCTOR', 149, "Constructors cannot return a value");

+ static const CompileTimeErrorCode RETURN_IN_GENERATIVE_CONSTRUCTOR = const CompileTimeErrorCode('RETURN_IN_GENERATIVE_CONSTRUCTOR', "Constructors cannot return a value");

/**

- * 13.12 Return: It is a compile-time error if a return statement of the form return e;

- * appears in a generator function.

+ * 13.12 Return: It is a compile-time error if a return statement of the form

+ * return e; appears in a generator function.

- static const CompileTimeErrorCode RETURN_IN_GENERATOR = const CompileTimeErrorCode.con1('RETURN_IN_GENERATOR', 150, "Cannot return a value from a generator function (one marked with either 'async*' or 'sync*')");

+ static const CompileTimeErrorCode RETURN_IN_GENERATOR = const CompileTimeErrorCode('RETURN_IN_GENERATOR', "Cannot return a value from a generator function (one marked with either 'async*' or 'sync*')");

/**

- * 14.1 Imports: It is a compile-time error if a prefix used in a deferred import is used in

- * another import clause.

+ * 14.1 Imports: It is a compile-time error if a prefix used in a deferred

+ * import is used in another import clause.

- static const CompileTimeErrorCode SHARED_DEFERRED_PREFIX = const CompileTimeErrorCode.con1('SHARED_DEFERRED_PREFIX', 151, "The prefix of a deferred import cannot be used in other import directives");

+ static const CompileTimeErrorCode SHARED_DEFERRED_PREFIX = const CompileTimeErrorCode('SHARED_DEFERRED_PREFIX', "The prefix of a deferred import cannot be used in other import directives");

/**

* 12.15.4 Super Invocation: A super method invocation i has the form

- * super.m(a1, …, an, xn+1: an+1, …

- * xn+k: an+k). It is a compile-time error if a super method invocation

- * occurs in a top-level function or variable initializer, in an instance variable initializer or

- * initializer list, in class Object, in a factory constructor, or in a static method or variable

- * initializer.

+ * super.m(a1, …, an, xn+1:

+ * an+1, … xn+k: an+k). It is a

+ * compile-time error if a super method invocation occurs in a top-level

+ * function or variable initializer, in an instance variable initializer or

+ * initializer list, in class Object, in a factory constructor, or in a static

+ * method or variable initializer.

- static const CompileTimeErrorCode SUPER_IN_INVALID_CONTEXT = const CompileTimeErrorCode.con1('SUPER_IN_INVALID_CONTEXT', 152, "Invalid context for 'super' invocation");

+ static const CompileTimeErrorCode SUPER_IN_INVALID_CONTEXT = const CompileTimeErrorCode('SUPER_IN_INVALID_CONTEXT', "Invalid context for 'super' invocation");

/**

- * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its

- * only action is to invoke another generative constructor.

+ * 7.6.1 Generative Constructors: A generative constructor may be redirecting,

+ * in which case its only action is to invoke another generative constructor.

- static const CompileTimeErrorCode SUPER_IN_REDIRECTING_CONSTRUCTOR = const CompileTimeErrorCode.con1('SUPER_IN_REDIRECTING_CONSTRUCTOR', 153, "The redirecting constructor cannot have a 'super' initializer");

+ static const CompileTimeErrorCode SUPER_IN_REDIRECTING_CONSTRUCTOR = const CompileTimeErrorCode('SUPER_IN_REDIRECTING_CONSTRUCTOR', "The redirecting constructor cannot have a 'super' initializer");

/**

- * 7.6.1 Generative Constructors: Let k be a generative constructor. It is a compile-time

- * error if a generative constructor of class Object includes a superinitializer.

+ * 7.6.1 Generative Constructors: Let k be a generative constructor. It

+ * is a compile-time error if a generative constructor of class Object

+ * includes a superinitializer.

- static const CompileTimeErrorCode SUPER_INITIALIZER_IN_OBJECT = const CompileTimeErrorCode.con1('SUPER_INITIALIZER_IN_OBJECT', 154, "");

+ static const CompileTimeErrorCode SUPER_INITIALIZER_IN_OBJECT = const CompileTimeErrorCode('SUPER_INITIALIZER_IN_OBJECT', "");

/**

- * 12.11 Instance Creation: It is a static type warning if any of the type arguments to a

- * constructor of a generic type G invoked by a new expression or a constant object

- * expression are not subtypes of the bounds of the corresponding formal type parameters of

- * G.

+ * 12.11 Instance Creation: It is a static type warning if any of the type

+ * arguments to a constructor of a generic type G invoked by a new

+ * expression or a constant object expression are not subtypes of the bounds

+ * of the corresponding formal type parameters of G.

- * 12.11.1 New: If T is malformed a dynamic error occurs. In checked mode, if T is mal-bounded a

- * dynamic error occurs.

+ * 12.11.1 New: If T is malformed a dynamic error occurs. In checked mode, if

+ * T is mal-bounded a dynamic error occurs.

- * 12.1 Constants: It is a compile-time error if evaluation of a compile-time constant would raise

- * an exception.

+ * 12.1 Constants: It is a compile-time error if evaluation of a compile-time

+ * constant would raise an exception.

- * @param boundedTypeName the name of the type used in the instance creation that should be

- * limited by the bound as specified in the class declaration

+ * @param boundedTypeName the name of the type used in the instance creation

+ * that should be limited by the bound as specified in the class

+ * declaration

* @param boundingTypeName the name of the bounding type

- * @see StaticTypeWarningCode#TYPE_ARGUMENT_NOT_MATCHING_BOUNDS

+ * @see [StaticTypeWarningCode.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS]

- static const CompileTimeErrorCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const CompileTimeErrorCode.con1('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', 155, "'{0}' does not extend '{1}'");

+ static const CompileTimeErrorCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const CompileTimeErrorCode('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', "'{0}' does not extend '{1}'");

/**

- * 15.3.1 Typedef: Any self reference, either directly, or recursively via another typedef, is a

- * compile time error.

+ * 15.3.1 Typedef: Any self reference, either directly, or recursively via

+ * another typedef, is a compile time error.

- static const CompileTimeErrorCode TYPE_ALIAS_CANNOT_REFERENCE_ITSELF = const CompileTimeErrorCode.con1('TYPE_ALIAS_CANNOT_REFERENCE_ITSELF', 156, "Type alias cannot reference itself directly or recursively via another typedef");

+ static const CompileTimeErrorCode TYPE_ALIAS_CANNOT_REFERENCE_ITSELF = const CompileTimeErrorCode('TYPE_ALIAS_CANNOT_REFERENCE_ITSELF', "Type alias cannot reference itself directly or recursively via another typedef");

/**

- * 12.11.2 Const: It is a compile-time error if T is not a class accessible in the current

- * scope, optionally followed by type arguments.

+ * 12.11.2 Const: It is a compile-time error if T is not a class

+ * accessible in the current scope, optionally followed by type arguments.

- static const CompileTimeErrorCode UNDEFINED_CLASS = const CompileTimeErrorCode.con1('UNDEFINED_CLASS', 157, "Undefined class '{0}'");

+ static const CompileTimeErrorCode UNDEFINED_CLASS = const CompileTimeErrorCode('UNDEFINED_CLASS', "Undefined class '{0}'");

/**

- * 7.6.1 Generative Constructors: Let C be the class in which the superinitializer appears

- * and let S be the superclass of C. Let k be a generative constructor. It is

- * a compile-time error if class S does not declare a generative constructor named S

+ * 7.6.1 Generative Constructors: Let C be the class in which the

+ * superinitializer appears and let S be the superclass of C.

+ * Let k be a generative constructor. It is a compile-time error if

+ * class S does not declare a generative constructor named S

* (respectively S.id)

- static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER', 158, "The class '{0}' does not have a generative constructor '{1}'");

+ static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER = const CompileTimeErrorCode('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER', "The class '{0}' does not have a generative constructor '{1}'");

/**

- * 7.6.1 Generative Constructors: Let C be the class in which the superinitializer appears

- * and let S be the superclass of C. Let k be a generative constructor. It is

- * a compile-time error if class S does not declare a generative constructor named S

+ * 7.6.1 Generative Constructors: Let C be the class in which the

+ * superinitializer appears and let S be the superclass of C.

+ * Let k be a generative constructor. It is a compile-time error if

+ * class S does not declare a generative constructor named S

* (respectively S.id)

- static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT', 159, "The class '{0}' does not have a default generative constructor");

+ static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT = const CompileTimeErrorCode('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT', "The class '{0}' does not have a default generative constructor");

/**

- * 12.14.2 Binding Actuals to Formals: Furthermore, each qi, 1<=i<=l,

- * must have a corresponding named parameter in the set {pn+1 ...

- * pn+k} or a static warning occurs.

+ * 12.14.2 Binding Actuals to Formals: Furthermore, each qi,

+ * 1<=i<=l, must have a corresponding named parameter in the set

+ * {pn+1 ... pn+k} or a static warning

+ * occurs.

- * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an

- * uncaught exception being thrown.

+ * 12.11.2 Const: It is a compile-time error if evaluation of a constant

+ * object results in an uncaught exception being thrown.

* @param name the name of the requested named parameter

- static const CompileTimeErrorCode UNDEFINED_NAMED_PARAMETER = const CompileTimeErrorCode.con1('UNDEFINED_NAMED_PARAMETER', 160, "The named parameter '{0}' is not defined");

+ static const CompileTimeErrorCode UNDEFINED_NAMED_PARAMETER = const CompileTimeErrorCode('UNDEFINED_NAMED_PARAMETER', "The named parameter '{0}' is not defined");

/**

- * 14.2 Exports: It is a compile-time error if the compilation unit found at the specified URI is

- * not a library declaration.

+ * 14.2 Exports: It is a compile-time error if the compilation unit found at

+ * the specified URI is not a library declaration.

- * 14.1 Imports: It is a compile-time error if the compilation unit found at the specified URI is

- * not a library declaration.

+ * 14.1 Imports: It is a compile-time error if the compilation unit found at

+ * the specified URI is not a library declaration.

- * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part

- * declaration.

+ * 14.3 Parts: It is a compile time error if the contents of the URI are not a

+ * valid part declaration.

* @param uri the URI pointing to a non-existent file

- * @see #INVALID_URI

+ * @see [INVALID_URI]

- static const CompileTimeErrorCode URI_DOES_NOT_EXIST = const CompileTimeErrorCode.con1('URI_DOES_NOT_EXIST', 161, "Target of URI does not exist: '{0}'");

+ static const CompileTimeErrorCode URI_DOES_NOT_EXIST = const CompileTimeErrorCode('URI_DOES_NOT_EXIST', "Target of URI does not exist: '{0}'");

/**

- * 14.1 Imports: It is a compile-time error if x is not a compile-time constant, or if

- * x involves string interpolation.

+ * 14.1 Imports: It is a compile-time error if x is not a compile-time

+ * constant, or if x involves string interpolation.

- * 14.3 Parts: It is a compile-time error if s is not a compile-time constant, or if

- * s involves string interpolation.

+ * 14.3 Parts: It is a compile-time error if s is not a compile-time

+ * constant, or if s involves string interpolation.

- * 14.5 URIs: It is a compile-time error if the string literal x that describes a URI is

- * not a compile-time constant, or if x involves string interpolation.

+ * 14.5 URIs: It is a compile-time error if the string literal x that

+ * describes a URI is not a compile-time constant, or if x involves

+ * string interpolation.

- static const CompileTimeErrorCode URI_WITH_INTERPOLATION = const CompileTimeErrorCode.con1('URI_WITH_INTERPOLATION', 162, "URIs cannot use string interpolation");

+ static const CompileTimeErrorCode URI_WITH_INTERPOLATION = const CompileTimeErrorCode('URI_WITH_INTERPOLATION', "URIs cannot use string interpolation");

/**

- * 7.1.1 Operators: It is a compile-time error if the arity of the user-declared operator []= is

- * not 2. It is a compile time error if the arity of a user-declared operator with one of the

- * names: <, >, <=, >=, ==, +, /, ~/, *, %, |, ^, &, <<, >>, [] is not 1.

- * It is a compile time error if the arity of the user-declared operator - is not 0 or 1. It is a

- * compile time error if the arity of the user-declared operator ~ is not 0.

+ * 7.1.1 Operators: It is a compile-time error if the arity of the

+ * user-declared operator []= is not 2. It is a compile time error if the

+ * arity of a user-declared operator with one of the names: <, >, <=,

+ * >=, ==, +, /, ~/, *, %, |, ^, &, <<, >>, [] is not 1. It is

+ * a compile time error if the arity of the user-declared operator - is not 0

+ * or 1. It is a compile time error if the arity of the user-declared operator

+ * ~ is not 0.

* @param operatorName the name of the declared operator

* @param expectedNumberOfParameters the number of parameters expected

- * @param actualNumberOfParameters the number of parameters found in the operator declaration

- */

- static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR = const CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR', 163, "Operator '{0}' should declare exactly {1} parameter(s), but {2} found");

- /**

- * 7.1.1 Operators: It is a compile time error if the arity of the user-declared operator - is not

- * 0 or 1.

- *

- * @param actualNumberOfParameters the number of parameters found in the operator declaration

- */

- static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINUS = const CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINUS', 164, "Operator '-' should declare 0 or 1 parameter, but {0} found");

- /**

- * 7.3 Setters: It is a compile-time error if a setter's formal parameter list does not include

- * exactly one required formal parameter p.

- */

- static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER = const CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER', 165, "Setters should declare exactly one required parameter");

- /**

- * ?? Yield: It is a compile-time error if a yield statement appears in a function that is not a

- * generator function.

- */

- static const CompileTimeErrorCode YIELD_EACH_IN_NON_GENERATOR = const CompileTimeErrorCode.con1('YIELD_EACH_IN_NON_GENERATOR', 166, "Yield-each statements must be in a generator function (one marked with either 'async*' or 'sync*')");

- /**

- * ?? Yield: It is a compile-time error if a yield statement appears in a function that is not a

- * generator function.

- */

- static const CompileTimeErrorCode YIELD_IN_NON_GENERATOR = const CompileTimeErrorCode.con1('YIELD_IN_NON_GENERATOR', 167, "Yield statements must be in a generator function (one marked with either 'async*' or 'sync*')");

- static const List<CompileTimeErrorCode> values = const [

- ACCESS_PRIVATE_ENUM_FIELD,

- AMBIGUOUS_EXPORT,

- ARGUMENT_DEFINITION_TEST_NON_PARAMETER,

- ASYNC_FOR_IN_WRONG_CONTEXT,

- AWAIT_IN_WRONG_CONTEXT,

- BUILT_IN_IDENTIFIER_AS_TYPE,

- BUILT_IN_IDENTIFIER_AS_TYPE_NAME,

- BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME,

- BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME,

- CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS,

- COMPILE_TIME_CONSTANT_RAISES_EXCEPTION,

- CONFLICTING_GETTER_AND_METHOD,

- CONFLICTING_METHOD_AND_GETTER,

- CONFLICTING_CONSTRUCTOR_NAME_AND_FIELD,

- CONFLICTING_CONSTRUCTOR_NAME_AND_METHOD,

- CONFLICTING_TYPE_VARIABLE_AND_CLASS,

- CONFLICTING_TYPE_VARIABLE_AND_MEMBER,

- CONST_CONSTRUCTOR_THROWS_EXCEPTION,

- CONST_CONSTRUCTOR_WITH_FIELD_INITIALIZED_BY_NON_CONST,

- CONST_CONSTRUCTOR_WITH_MIXIN,

- CONST_CONSTRUCTOR_WITH_NON_CONST_SUPER,

- CONST_CONSTRUCTOR_WITH_NON_FINAL_FIELD,

- CONST_DEFERRED_CLASS,

- CONST_FORMAL_PARAMETER,

- CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE,

- CONST_INITIALIZED_WITH_NON_CONSTANT_VALUE_FROM_DEFERRED_LIBRARY,

- CONST_INSTANCE_FIELD,

- CONST_MAP_KEY_EXPRESSION_TYPE_IMPLEMENTS_EQUALS,

- CONST_NOT_INITIALIZED,

- CONST_EVAL_TYPE_BOOL,

- CONST_EVAL_TYPE_BOOL_NUM_STRING,

- CONST_EVAL_TYPE_INT,

- CONST_EVAL_TYPE_NUM,

- CONST_EVAL_THROWS_EXCEPTION,

- CONST_EVAL_THROWS_IDBZE,

- CONST_WITH_INVALID_TYPE_PARAMETERS,

- CONST_WITH_NON_CONST,

- CONST_WITH_NON_CONSTANT_ARGUMENT,

- CONST_WITH_NON_TYPE,

- CONST_WITH_TYPE_PARAMETERS,

- CONST_WITH_UNDEFINED_CONSTRUCTOR,

- CONST_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT,

- DEFAULT_VALUE_IN_FUNCTION_TYPE_ALIAS,

- DEFAULT_VALUE_IN_FUNCTION_TYPED_PARAMETER,

- DEFAULT_VALUE_IN_REDIRECTING_FACTORY_CONSTRUCTOR,

- DUPLICATE_CONSTRUCTOR_DEFAULT,

- DUPLICATE_CONSTRUCTOR_NAME,

- DUPLICATE_DEFINITION,

- DUPLICATE_DEFINITION_INHERITANCE,

- DUPLICATE_NAMED_ARGUMENT,

- EXPORT_INTERNAL_LIBRARY,

- EXPORT_OF_NON_LIBRARY,

- EXTENDS_ENUM,

- EXTENDS_NON_CLASS,

- EXTENDS_DISALLOWED_CLASS,

- EXTENDS_DEFERRED_CLASS,

- EXTRA_POSITIONAL_ARGUMENTS,

- FIELD_INITIALIZED_BY_MULTIPLE_INITIALIZERS,

- FIELD_INITIALIZED_IN_PARAMETER_AND_INITIALIZER,

- FINAL_INITIALIZED_MULTIPLE_TIMES,

- FIELD_INITIALIZER_FACTORY_CONSTRUCTOR,

- FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR,

- FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR,

- GETTER_AND_METHOD_WITH_SAME_NAME,

- IMPLEMENTS_DEFERRED_CLASS,

- IMPLEMENTS_DISALLOWED_CLASS,

- IMPLEMENTS_DYNAMIC,

- IMPLEMENTS_ENUM,

- IMPLEMENTS_NON_CLASS,

- IMPLEMENTS_REPEATED,

- IMPLEMENTS_SUPER_CLASS,

- IMPLICIT_THIS_REFERENCE_IN_INITIALIZER,

- IMPORT_INTERNAL_LIBRARY,

- IMPORT_OF_NON_LIBRARY,

- INCONSISTENT_CASE_EXPRESSION_TYPES,

- INITIALIZER_FOR_NON_EXISTENT_FIELD,

- INITIALIZER_FOR_STATIC_FIELD,

- INITIALIZING_FORMAL_FOR_NON_EXISTENT_FIELD,

- INITIALIZING_FORMAL_FOR_STATIC_FIELD,

- INSTANCE_MEMBER_ACCESS_FROM_FACTORY,

- INSTANCE_MEMBER_ACCESS_FROM_STATIC,

- INSTANTIATE_ENUM,

- INVALID_ANNOTATION,

- INVALID_ANNOTATION_FROM_DEFERRED_LIBRARY,

- INVALID_IDENTIFIER_IN_ASYNC,

- INVALID_MODIFIER_ON_CONSTRUCTOR,

- INVALID_MODIFIER_ON_SETTER,

- INVALID_CONSTANT,

- INVALID_CONSTRUCTOR_NAME,

- INVALID_FACTORY_NAME_NOT_A_CLASS,

- INVALID_REFERENCE_TO_THIS,

- INVALID_TYPE_ARGUMENT_IN_CONST_LIST,

- INVALID_TYPE_ARGUMENT_IN_CONST_MAP,

- INVALID_URI,

- LABEL_IN_OUTER_SCOPE,

- LABEL_UNDEFINED,

- MEMBER_WITH_CLASS_NAME,

- METHOD_AND_GETTER_WITH_SAME_NAME,

- MISSING_CONST_IN_LIST_LITERAL,

- MISSING_CONST_IN_MAP_LITERAL,

- MISSING_ENUM_CONSTANT_IN_SWITCH,

- MIXIN_DECLARES_CONSTRUCTOR,

- MIXIN_DEFERRED_CLASS,

- MIXIN_INHERITS_FROM_NOT_OBJECT,

- MIXIN_OF_DISALLOWED_CLASS,

- MIXIN_OF_ENUM,

- MIXIN_OF_NON_CLASS,

- MIXIN_REFERENCES_SUPER,

- MIXIN_WITH_NON_CLASS_SUPERCLASS,

- MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS,

- MULTIPLE_SUPER_INITIALIZERS,

- NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS,

- NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT,

- NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT,

- NON_CONST_MAP_AS_EXPRESSION_STATEMENT,

- NON_CONSTANT_CASE_EXPRESSION,

- NON_CONSTANT_CASE_EXPRESSION_FROM_DEFERRED_LIBRARY,

- NON_CONSTANT_DEFAULT_VALUE,

- NON_CONSTANT_DEFAULT_VALUE_FROM_DEFERRED_LIBRARY,

- NON_CONSTANT_LIST_ELEMENT,

- NON_CONSTANT_LIST_ELEMENT_FROM_DEFERRED_LIBRARY,

- NON_CONSTANT_MAP_KEY,

- NON_CONSTANT_MAP_KEY_FROM_DEFERRED_LIBRARY,

- NON_CONSTANT_MAP_VALUE,

- NON_CONSTANT_MAP_VALUE_FROM_DEFERRED_LIBRARY,

- NON_CONSTANT_ANNOTATION_CONSTRUCTOR,

- NON_CONSTANT_VALUE_IN_INITIALIZER,

- NON_CONSTANT_VALUE_IN_INITIALIZER_FROM_DEFERRED_LIBRARY,

- NOT_ENOUGH_REQUIRED_ARGUMENTS,

- NON_GENERATIVE_CONSTRUCTOR,

- OBJECT_CANNOT_EXTEND_ANOTHER_CLASS,

- OPTIONAL_PARAMETER_IN_OPERATOR,

- PART_OF_NON_PART,

- PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER,

- PRIVATE_OPTIONAL_PARAMETER,

- RECURSIVE_COMPILE_TIME_CONSTANT,

- RECURSIVE_CONSTRUCTOR_REDIRECT,

- RECURSIVE_FACTORY_REDIRECT,

- RECURSIVE_INTERFACE_INHERITANCE,

- RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS,

- RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS,

- RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_WITH,

- REDIRECT_TO_MISSING_CONSTRUCTOR,

- REDIRECT_TO_NON_CLASS,

- REDIRECT_TO_NON_CONST_CONSTRUCTOR,

- REDIRECT_GENERATIVE_TO_MISSING_CONSTRUCTOR,

- REDIRECT_GENERATIVE_TO_NON_GENERATIVE_CONSTRUCTOR,

- REFERENCED_BEFORE_DECLARATION,

- RETHROW_OUTSIDE_CATCH,

- RETURN_IN_GENERATIVE_CONSTRUCTOR,

- RETURN_IN_GENERATOR,

- SHARED_DEFERRED_PREFIX,

- SUPER_IN_INVALID_CONTEXT,

- SUPER_IN_REDIRECTING_CONSTRUCTOR,

- SUPER_INITIALIZER_IN_OBJECT,

- TYPE_ARGUMENT_NOT_MATCHING_BOUNDS,

- TYPE_ALIAS_CANNOT_REFERENCE_ITSELF,

- UNDEFINED_CLASS,

- UNDEFINED_CONSTRUCTOR_IN_INITIALIZER,

- UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT,

- UNDEFINED_NAMED_PARAMETER,

- URI_DOES_NOT_EXIST,

- URI_WITH_INTERPOLATION,

- WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR,

- WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINUS,

- WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER,

- YIELD_EACH_IN_NON_GENERATOR,

- YIELD_IN_NON_GENERATOR];

- /**

- * The template used to create the message to be displayed for this error.

+ * @param actualNumberOfParameters the number of parameters found in the

+ * operator declaration

- final String message;

+ static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR = const CompileTimeErrorCode('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR', "Operator '{0}' should declare exactly {1} parameter(s), but {2} found");

/**

- * The template used to create the correction to be displayed for this error, or `null` if

- * there is no correction information for this error.

+ * 7.1.1 Operators: It is a compile time error if the arity of the

+ * user-declared operator - is not 0 or 1.

+ *

+ * @param actualNumberOfParameters the number of parameters found in the

+ * operator declaration

- final String correction;

+ static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINUS = const CompileTimeErrorCode('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINUS', "Operator '-' should declare 0 or 1 parameter, but {0} found");

/**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

+ * 7.3 Setters: It is a compile-time error if a setter's formal parameter list

+ * does not include exactly one required formal parameter p.

- const CompileTimeErrorCode.con1(String name, int ordinal, String message) : this.con2(name, ordinal, message, null);

+ static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER = const CompileTimeErrorCode('WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER', "Setters should declare exactly one required parameter");

/**

- * Initialize a newly created error code to have the given message and correction.

- *

- * @param message the template used to create the message to be displayed for the error

- * @param correction the template used to create the correction to be displayed for the error

+ * ?? Yield: It is a compile-time error if a yield statement appears in a

+ * function that is not a generator function.

+ */

+ static const CompileTimeErrorCode YIELD_EACH_IN_NON_GENERATOR = const CompileTimeErrorCode('YIELD_EACH_IN_NON_GENERATOR', "Yield-each statements must be in a generator function (one marked with either 'async*' or 'sync*')");

+ /**

+ * ?? Yield: It is a compile-time error if a yield statement appears in a

+ * function that is not a generator function.

+ */

+ static const CompileTimeErrorCode YIELD_IN_NON_GENERATOR = const CompileTimeErrorCode('YIELD_IN_NON_GENERATOR', "Yield statements must be in a generator function (one marked with either 'async*' or 'sync*')");

+ /**

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- const CompileTimeErrorCode.con2(String name, int ordinal, this.message, this.correction) : super(name, ordinal);

+ const CompileTimeErrorCode(String name, String message, [String correction]) : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorType.COMPILE_TIME_ERROR.severity;

@override

ErrorType get type => ErrorType.COMPILE_TIME_ERROR;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

- * The interface `ErrorCode` defines the behavior common to objects representing error codes

- * associated with [AnalysisError].

+ * An `ErrorCode` represents an error code associated with an [AnalysisError].

- * Generally, we want to provide messages that consist of three sentences: 1. what is wrong, 2. why

- * is it wrong, and 3. how do I fix it. However, we combine the first two in the result of

- * [getMessage] and the last in the result of [getCorrection].

+ * Generally, we want to provide messages that consist of three sentences. From

+ * the user's perspective these sentences should explain:

+ * 1. what is wrong,

+ * 2. why is it wrong, and

+ * 3. how do I fix it.

+ * However, we combine the first two in the [message] and the last in the

+ * [correction].

abstract class ErrorCode {

/**

- * Return the template used to create the correction to be displayed for this error, or

- * `null` if there is no correction information for this error. The correction should

- * indicate how the user can fix the error.

- *

- * @return the template used to create the correction to be displayed for this error

+ * The name of the error code.

- String get correction;

+ final String name;

/**

- * Return the severity of this error.

- *

- * @return the severity of this error

+ * The template used to create the message to be displayed for this error. The

+ * message should indicate what is wrong and why it is wrong.

- ErrorSeverity get errorSeverity;

+ final String message;

/**

- * Return the template used to create the message to be displayed for this error. The message

- * should indicate what is wrong and why it is wrong.

- *

- * @return the template used to create the message to be displayed for this error

+ * The template used to create the correction to be displayed for this error,

+ * or `null` if there is no correction information for this error. The

+ * correction should indicate how the user can fix the error.

- String get message;

+ final String correction;

/**

- * Return the type of the error.

- *

- * @return the type of the error

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

+ */

+ const ErrorCode(this.name, this.message, [this.correction]);

+ /**

+ * The severity of the error.

+ */

+ ErrorSeverity get errorSeverity;

+ /**

+ * The type of the error.

ErrorType get type;

/**

- * Return a unique name for this error code.

- *

- * @return a unique name for this error code

+ * The unique name of this error code.

- String get uniqueName;

+ String get uniqueName => "$runtimeType.$name";

}

/**

@@ -2478,1720 +2408,1602 @@ class ErrorType extends Enum<ErrorType> {

}

/**

- * The enumeration `HintCode` defines the hints and coding recommendations for best practices

- * which are not mentioned in the Dart Language Specification.

+ * The class `HintCode` defines the hints and coding recommendations for best

+ * practices which are not mentioned in the Dart Language Specification.

-class HintCode extends Enum<HintCode> implements ErrorCode {

+class HintCode extends ErrorCode {

/**

* This hint is generated anywhere where the

- * [StaticWarningCode#ARGUMENT_TYPE_NOT_ASSIGNABLE] would have been generated, if we used

- * propagated information for the warnings.

+ * [StaticWarningCode.ARGUMENT_TYPE_NOT_ASSIGNABLE] would have been generated,

+ * if we used propagated information for the warnings.

* @param actualType the name of the actual argument type

* @param expectedType the name of the expected type

- * @see StaticWarningCode#ARGUMENT_TYPE_NOT_ASSIGNABLE

- static const HintCode ARGUMENT_TYPE_NOT_ASSIGNABLE = const HintCode.con1('ARGUMENT_TYPE_NOT_ASSIGNABLE', 0, "The argument type '{0}' cannot be assigned to the parameter type '{1}'");

+ static const HintCode ARGUMENT_TYPE_NOT_ASSIGNABLE = const HintCode('ARGUMENT_TYPE_NOT_ASSIGNABLE', "The argument type '{0}' cannot be assigned to the parameter type '{1}'");

/**

- * Dead code is code that is never reached, this can happen for instance if a statement follows a

- * return statement.

+ * Dead code is code that is never reached, this can happen for instance if a

+ * statement follows a return statement.

- static const HintCode DEAD_CODE = const HintCode.con1('DEAD_CODE', 1, "Dead code");

+ static const HintCode DEAD_CODE = const HintCode('DEAD_CODE', "Dead code");

/**

- * Dead code is code that is never reached. This case covers cases where the user has catch

- * clauses after `catch (e)` or `on Object catch (e)`.

+ * Dead code is code that is never reached. This case covers cases where the

+ * user has catch clauses after `catch (e)` or `on Object catch (e)`.

- static const HintCode DEAD_CODE_CATCH_FOLLOWING_CATCH = const HintCode.con1('DEAD_CODE_CATCH_FOLLOWING_CATCH', 2, "Dead code, catch clauses after a 'catch (e)' or an 'on Object catch (e)' are never reached");

+ static const HintCode DEAD_CODE_CATCH_FOLLOWING_CATCH = const HintCode('DEAD_CODE_CATCH_FOLLOWING_CATCH', "Dead code, catch clauses after a 'catch (e)' or an 'on Object catch (e)' are never reached");

/**

- * Dead code is code that is never reached. This case covers cases where the user has an on-catch

- * clause such as `on A catch (e)`, where a supertype of `A` was already caught.

+ * Dead code is code that is never reached. This case covers cases where the

+ * user has an on-catch clause such as `on A catch (e)`, where a supertype of

+ * `A` was already caught.

* @param subtypeName name of the subtype

* @param supertypeName name of the supertype

- static const HintCode DEAD_CODE_ON_CATCH_SUBTYPE = const HintCode.con1('DEAD_CODE_ON_CATCH_SUBTYPE', 3, "Dead code, this on-catch block will never be executed since '{0}' is a subtype of '{1}'");

+ static const HintCode DEAD_CODE_ON_CATCH_SUBTYPE = const HintCode('DEAD_CODE_ON_CATCH_SUBTYPE', "Dead code, this on-catch block will never be executed since '{0}' is a subtype of '{1}'");

/**

* Deprecated members should not be invoked or used.

* @param memberName the name of the member

- static const HintCode DEPRECATED_MEMBER_USE = const HintCode.con1('DEPRECATED_MEMBER_USE', 4, "'{0}' is deprecated");

+ static const HintCode DEPRECATED_MEMBER_USE = const HintCode('DEPRECATED_MEMBER_USE', "'{0}' is deprecated");

/**

* Duplicate imports.

- static const HintCode DUPLICATE_IMPORT = const HintCode.con1('DUPLICATE_IMPORT', 5, "Duplicate import");

+ static const HintCode DUPLICATE_IMPORT = const HintCode('DUPLICATE_IMPORT', "Duplicate import");

/**

* Hint to use the ~/ operator.

- static const HintCode DIVISION_OPTIMIZATION = const HintCode.con1('DIVISION_OPTIMIZATION', 6, "The operator x ~/ y is more efficient than (x / y).toInt()");

+ static const HintCode DIVISION_OPTIMIZATION = const HintCode('DIVISION_OPTIMIZATION', "The operator x ~/ y is more efficient than (x / y).toInt()");

/**

* Hint for the `x is double` type checks.

- static const HintCode IS_DOUBLE = const HintCode.con1('IS_DOUBLE', 7, "When compiled to JS, this test might return true when the left hand side is an int");

+ static const HintCode IS_DOUBLE = const HintCode('IS_DOUBLE', "When compiled to JS, this test might return true when the left hand side is an int");

/**

* Hint for the `x is int` type checks.

- static const HintCode IS_INT = const HintCode.con1('IS_INT', 8, "When compiled to JS, this test might return true when the left hand side is a double");

+ static const HintCode IS_INT = const HintCode('IS_INT', "When compiled to JS, this test might return true when the left hand side is a double");

/**

* Hint for the `x is! double` type checks.

- static const HintCode IS_NOT_DOUBLE = const HintCode.con1('IS_NOT_DOUBLE', 9, "When compiled to JS, this test might return false when the left hand side is an int");

+ static const HintCode IS_NOT_DOUBLE = const HintCode('IS_NOT_DOUBLE', "When compiled to JS, this test might return false when the left hand side is an int");

/**

* Hint for the `x is! int` type checks.

- static const HintCode IS_NOT_INT = const HintCode.con1('IS_NOT_INT', 10, "When compiled to JS, this test might return false when the left hand side is a double");

+ static const HintCode IS_NOT_INT = const HintCode('IS_NOT_INT', "When compiled to JS, this test might return false when the left hand side is a double");

/**

* Deferred libraries shouldn't define a top level function 'loadLibrary'.

- static const HintCode IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION = const HintCode.con1('IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION', 11, "The library '{0}' defines a top-level function named 'loadLibrary' which is hidden by deferring this library");

+ static const HintCode IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION = const HintCode('IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION', "The library '{0}' defines a top-level function named 'loadLibrary' which is hidden by deferring this library");

/**

- * This hint is generated anywhere where the [StaticTypeWarningCode#INVALID_ASSIGNMENT]

- * would have been generated, if we used propagated information for the warnings.

+ * This hint is generated anywhere where the

+ * [StaticTypeWarningCode.INVALID_ASSIGNMENT] would have been generated, if we

+ * used propagated information for the warnings.

* @param rhsTypeName the name of the right hand side type

* @param lhsTypeName the name of the left hand side type

- * @see StaticTypeWarningCode#INVALID_ASSIGNMENT

+ * @see [StaticTypeWarningCode.INVALID_ASSIGNMENT]

- static const HintCode INVALID_ASSIGNMENT = const HintCode.con1('INVALID_ASSIGNMENT', 12, "A value of type '{0}' cannot be assigned to a variable of type '{1}'");

+ static const HintCode INVALID_ASSIGNMENT = const HintCode('INVALID_ASSIGNMENT', "A value of type '{0}' cannot be assigned to a variable of type '{1}'");

/**

- * Generate a hint for methods or functions that have a return type, but do not have a non-void

- * return statement on all branches. At the end of methods or functions with no return, Dart

- * implicitly returns `null`, avoiding these implicit returns is considered a best practice.

+ * Generate a hint for methods or functions that have a return type, but do

+ * not have a non-void return statement on all branches. At the end of methods

+ * or functions with no return, Dart implicitly returns `null`, avoiding these

+ * implicit returns is considered a best practice.

* @param returnType the name of the declared return type

- static const HintCode MISSING_RETURN = const HintCode.con2('MISSING_RETURN', 13, "This function declares a return type of '{0}', but does not end with a return statement", "Either add a return statement or change the return type to 'void'");

+ static const HintCode MISSING_RETURN = const HintCode('MISSING_RETURN', "This function declares a return type of '{0}', but does not end with a return statement", "Either add a return statement or change the return type to 'void'");

/**

* A getter with the override annotation does not override an existing getter.

- static const HintCode OVERRIDE_ON_NON_OVERRIDING_GETTER = const HintCode.con1('OVERRIDE_ON_NON_OVERRIDING_GETTER', 14, "Getter does not override an inherited getter");

+ static const HintCode OVERRIDE_ON_NON_OVERRIDING_GETTER = const HintCode('OVERRIDE_ON_NON_OVERRIDING_GETTER', "Getter does not override an inherited getter");

/**

* A method with the override annotation does not override an existing method.

- static const HintCode OVERRIDE_ON_NON_OVERRIDING_METHOD = const HintCode.con1('OVERRIDE_ON_NON_OVERRIDING_METHOD', 15, "Method does not override an inherited method");

+ static const HintCode OVERRIDE_ON_NON_OVERRIDING_METHOD = const HintCode('OVERRIDE_ON_NON_OVERRIDING_METHOD', "Method does not override an inherited method");

/**

* A setter with the override annotation does not override an existing setter.

- static const HintCode OVERRIDE_ON_NON_OVERRIDING_SETTER = const HintCode.con1('OVERRIDE_ON_NON_OVERRIDING_SETTER', 16, "Setter does not override an inherited setter");

+ static const HintCode OVERRIDE_ON_NON_OVERRIDING_SETTER = const HintCode('OVERRIDE_ON_NON_OVERRIDING_SETTER', "Setter does not override an inherited setter");

/**

* Hint for classes that override equals, but not hashCode.

* @param className the name of the current class

- static const HintCode OVERRIDE_EQUALS_BUT_NOT_HASH_CODE = const HintCode.con1('OVERRIDE_EQUALS_BUT_NOT_HASH_CODE', 17, "The class '{0}' overrides 'operator==', but not 'get hashCode'");

+ static const HintCode OVERRIDE_EQUALS_BUT_NOT_HASH_CODE = const HintCode('OVERRIDE_EQUALS_BUT_NOT_HASH_CODE', "The class '{0}' overrides 'operator==', but not 'get hashCode'");

/**

* Type checks of the type `x is! Null` should be done with `x != null`.

- static const HintCode TYPE_CHECK_IS_NOT_NULL = const HintCode.con1('TYPE_CHECK_IS_NOT_NULL', 18, "Tests for non-null should be done with '!= null'");

+ static const HintCode TYPE_CHECK_IS_NOT_NULL = const HintCode('TYPE_CHECK_IS_NOT_NULL', "Tests for non-null should be done with '!= null'");

/**

* Type checks of the type `x is Null` should be done with `x == null`.

- static const HintCode TYPE_CHECK_IS_NULL = const HintCode.con1('TYPE_CHECK_IS_NULL', 19, "Tests for null should be done with '== null'");

+ static const HintCode TYPE_CHECK_IS_NULL = const HintCode('TYPE_CHECK_IS_NULL', "Tests for null should be done with '== null'");

/**

- * This hint is generated anywhere where the [StaticTypeWarningCode#UNDEFINED_GETTER] or

- * [StaticWarningCode#UNDEFINED_GETTER] would have been generated, if we used propagated

- * information for the warnings.

+ * This hint is generated anywhere where the

+ * [StaticTypeWarningCode.UNDEFINED_GETTER] or

+ * [StaticWarningCode.UNDEFINED_GETTER] would have been generated, if we used

+ * propagated information for the warnings.

* @param getterName the name of the getter

- * @param enclosingType the name of the enclosing type where the getter is being looked for

- * @see StaticTypeWarningCode#UNDEFINED_GETTER

- * @see StaticWarningCode#UNDEFINED_GETTER

+ * @param enclosingType the name of the enclosing type where the getter is

+ * being looked for

+ * @see [StaticTypeWarningCode.UNDEFINED_GETTER]

+ * @see [StaticWarningCode.UNDEFINED_GETTER]

- static const HintCode UNDEFINED_GETTER = const HintCode.con1('UNDEFINED_GETTER', 20, "There is no such getter '{0}' in '{1}'");

+ static const HintCode UNDEFINED_GETTER = const HintCode('UNDEFINED_GETTER', "There is no such getter '{0}' in '{1}'");

/**

- * This hint is generated anywhere where the [StaticTypeWarningCode#UNDEFINED_METHOD] would

- * have been generated, if we used propagated information for the warnings.

+ * This hint is generated anywhere where the

+ * [StaticTypeWarningCode.UNDEFINED_METHOD] would have been generated, if we

+ * used propagated information for the warnings.

* @param methodName the name of the method that is undefined

- * @param typeName the resolved type name that the method lookup is happening on

- * @see StaticTypeWarningCode#UNDEFINED_METHOD

+ * @param typeName the resolved type name that the method lookup is happening

+ * on

+ * @see [StaticTypeWarningCode.UNDEFINED_METHOD]

- static const HintCode UNDEFINED_METHOD = const HintCode.con1('UNDEFINED_METHOD', 21, "The method '{0}' is not defined for the class '{1}'");

+ static const HintCode UNDEFINED_METHOD = const HintCode('UNDEFINED_METHOD', "The method '{0}' is not defined for the class '{1}'");

/**

- * This hint is generated anywhere where the [StaticTypeWarningCode#UNDEFINED_OPERATOR]

- * would have been generated, if we used propagated information for the warnings.

+ * This hint is generated anywhere where the

+ * [StaticTypeWarningCode.UNDEFINED_OPERATOR] would have been generated, if we

+ * used propagated information for the warnings.

* @param operator the name of the operator

- * @param enclosingType the name of the enclosing type where the operator is being looked for

- * @see StaticTypeWarningCode#UNDEFINED_OPERATOR

+ * @param enclosingType the name of the enclosing type where the operator is

+ * being looked for

+ * @see [StaticTypeWarningCode.UNDEFINED_OPERATOR]

- static const HintCode UNDEFINED_OPERATOR = const HintCode.con1('UNDEFINED_OPERATOR', 22, "There is no such operator '{0}' in '{1}'");

+ static const HintCode UNDEFINED_OPERATOR = const HintCode('UNDEFINED_OPERATOR', "There is no such operator '{0}' in '{1}'");

/**

- * This hint is generated anywhere where the [StaticTypeWarningCode#UNDEFINED_SETTER] or

- * [StaticWarningCode#UNDEFINED_SETTER] would have been generated, if we used propagated

- * information for the warnings.

+ * This hint is generated anywhere where the

+ * [StaticTypeWarningCode.UNDEFINED_SETTER] or

+ * [StaticWarningCode.UNDEFINED_SETTER] would have been generated, if we used

+ * propagated information for the warnings.

* @param setterName the name of the setter

- * @param enclosingType the name of the enclosing type where the setter is being looked for

- * @see StaticTypeWarningCode#UNDEFINED_SETTER

- * @see StaticWarningCode#UNDEFINED_SETTER

+ * @param enclosingType the name of the enclosing type where the setter is

+ * being looked for

+ * @see [StaticTypeWarningCode.UNDEFINED_SETTER]

+ * @see [StaticWarningCode.UNDEFINED_SETTER]

- static const HintCode UNDEFINED_SETTER = const HintCode.con1('UNDEFINED_SETTER', 23, "There is no such setter '{0}' in '{1}'");

+ static const HintCode UNDEFINED_SETTER = const HintCode('UNDEFINED_SETTER', "There is no such setter '{0}' in '{1}'");

/**

* Unnecessary cast.

- static const HintCode UNNECESSARY_CAST = const HintCode.con1('UNNECESSARY_CAST', 24, "Unnecessary cast");

+ static const HintCode UNNECESSARY_CAST = const HintCode('UNNECESSARY_CAST', "Unnecessary cast");

/**

* Unnecessary type checks, the result is always true.

- static const HintCode UNNECESSARY_TYPE_CHECK_FALSE = const HintCode.con1('UNNECESSARY_TYPE_CHECK_FALSE', 25, "Unnecessary type check, the result is always false");

+ static const HintCode UNNECESSARY_TYPE_CHECK_FALSE = const HintCode('UNNECESSARY_TYPE_CHECK_FALSE', "Unnecessary type check, the result is always false");

/**

* Unnecessary type checks, the result is always false.

- static const HintCode UNNECESSARY_TYPE_CHECK_TRUE = const HintCode.con1('UNNECESSARY_TYPE_CHECK_TRUE', 26, "Unnecessary type check, the result is always true");

+ static const HintCode UNNECESSARY_TYPE_CHECK_TRUE = const HintCode('UNNECESSARY_TYPE_CHECK_TRUE', "Unnecessary type check, the result is always true");

/**

* Unused imports are imports which are never used.

- static const HintCode UNUSED_IMPORT = const HintCode.con1('UNUSED_IMPORT', 27, "Unused import");

+ static const HintCode UNUSED_IMPORT = const HintCode('UNUSED_IMPORT', "Unused import");

/**

* Unused local variables are local varaibles which are never read.

- static const HintCode UNUSED_LOCAL_VARIABLE = const HintCode.con1('UNUSED_LOCAL_VARIABLE', 28, "The value of the local variable '{0}' is not used");

+ static const HintCode UNUSED_LOCAL_VARIABLE = const HintCode('UNUSED_LOCAL_VARIABLE', "The value of the local variable '{0}' is not used");

/**

- * Hint for cases where the source expects a method or function to return a non-void result, but

- * the method or function signature returns void.

+ * Hint for cases where the source expects a method or function to return a

+ * non-void result, but the method or function signature returns void.

* @param name the name of the method or function that returns void

- static const HintCode USE_OF_VOID_RESULT = const HintCode.con1('USE_OF_VOID_RESULT', 29, "The result of '{0}' is being used, even though it is declared to be 'void'");

- /**

- * It is a bad practice for a source file in a package "lib" directory hierarchy to traverse

- * outside that directory hierarchy. For example, a source file in the "lib" directory should not

- * contain a directive such as `import '../web/some.dart'` which references a file outside

- * the lib directory.

- */

- static const HintCode FILE_IMPORT_INSIDE_LIB_REFERENCES_FILE_OUTSIDE = const HintCode.con1('FILE_IMPORT_INSIDE_LIB_REFERENCES_FILE_OUTSIDE', 30, "A file in the 'lib' directory hierarchy should not reference a file outside that hierarchy");

- /**

- * It is a bad practice for a source file ouside a package "lib" directory hierarchy to traverse

- * into that directory hierarchy. For example, a source file in the "web" directory should not

- * contain a directive such as `import '../lib/some.dart'` which references a file inside

- * the lib directory.

- */

- static const HintCode FILE_IMPORT_OUTSIDE_LIB_REFERENCES_FILE_INSIDE = const HintCode.con1('FILE_IMPORT_OUTSIDE_LIB_REFERENCES_FILE_INSIDE', 31, "A file outside the 'lib' directory hierarchy should not reference a file inside that hierarchy. Use a package: reference instead.");

- /**

- * It is a bad practice for a package import to reference anything outside the given package, or

- * more generally, it is bad practice for a package import to contain a "..". For example, a

- * source file should not contain a directive such as `import 'package:foo/../some.dart'`.

- */

- static const HintCode PACKAGE_IMPORT_CONTAINS_DOT_DOT = const HintCode.con1('PACKAGE_IMPORT_CONTAINS_DOT_DOT', 32, "A package import should not contain '..'");

- static const List<HintCode> values = const [

- ARGUMENT_TYPE_NOT_ASSIGNABLE,

- DEAD_CODE,

- DEAD_CODE_CATCH_FOLLOWING_CATCH,

- DEAD_CODE_ON_CATCH_SUBTYPE,

- DEPRECATED_MEMBER_USE,

- DUPLICATE_IMPORT,

- DIVISION_OPTIMIZATION,

- IS_DOUBLE,

- IS_INT,

- IS_NOT_DOUBLE,

- IS_NOT_INT,

- IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION,

- INVALID_ASSIGNMENT,

- MISSING_RETURN,

- OVERRIDE_ON_NON_OVERRIDING_GETTER,

- OVERRIDE_ON_NON_OVERRIDING_METHOD,

- OVERRIDE_ON_NON_OVERRIDING_SETTER,

- OVERRIDE_EQUALS_BUT_NOT_HASH_CODE,

- TYPE_CHECK_IS_NOT_NULL,

- TYPE_CHECK_IS_NULL,

- UNDEFINED_GETTER,

- UNDEFINED_METHOD,

- UNDEFINED_OPERATOR,

- UNDEFINED_SETTER,

- UNNECESSARY_CAST,

- UNNECESSARY_TYPE_CHECK_FALSE,

- UNNECESSARY_TYPE_CHECK_TRUE,

- UNUSED_IMPORT,

- UNUSED_LOCAL_VARIABLE,

- USE_OF_VOID_RESULT,

- FILE_IMPORT_INSIDE_LIB_REFERENCES_FILE_OUTSIDE,

- FILE_IMPORT_OUTSIDE_LIB_REFERENCES_FILE_INSIDE,

- PACKAGE_IMPORT_CONTAINS_DOT_DOT];

- /**

- * The template used to create the message to be displayed for this error.

+ static const HintCode USE_OF_VOID_RESULT = const HintCode('USE_OF_VOID_RESULT', "The result of '{0}' is being used, even though it is declared to be 'void'");

+ /**

+ * It is a bad practice for a source file in a package "lib" directory

+ * hierarchy to traverse outside that directory hierarchy. For example, a

+ * source file in the "lib" directory should not contain a directive such as

+ * `import '../web/some.dart'` which references a file outside the lib

+ * directory.

- final String message;

+ static const HintCode FILE_IMPORT_INSIDE_LIB_REFERENCES_FILE_OUTSIDE = const HintCode('FILE_IMPORT_INSIDE_LIB_REFERENCES_FILE_OUTSIDE', "A file in the 'lib' directory hierarchy should not reference a file outside that hierarchy");

/**

- * The template used to create the correction to be displayed for this error, or `null` if

- * there is no correction information for this error.

+ * It is a bad practice for a source file ouside a package "lib" directory

+ * hierarchy to traverse into that directory hierarchy. For example, a source

+ * file in the "web" directory should not contain a directive such as

+ * `import '../lib/some.dart'` which references a file inside the lib

+ * directory.

- final String correction;

+ static const HintCode FILE_IMPORT_OUTSIDE_LIB_REFERENCES_FILE_INSIDE = const HintCode('FILE_IMPORT_OUTSIDE_LIB_REFERENCES_FILE_INSIDE', "A file outside the 'lib' directory hierarchy should not reference a file inside that hierarchy. Use a package: reference instead.");

/**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

+ * It is a bad practice for a package import to reference anything outside the

+ * given package, or more generally, it is bad practice for a package import

+ * to contain a "..". For example, a source file should not contain a

+ * directive such as `import 'package:foo/../some.dart'`.

- const HintCode.con1(String name, int ordinal, String message) : this.con2(name, ordinal, message, null);

+ static const HintCode PACKAGE_IMPORT_CONTAINS_DOT_DOT = const HintCode('PACKAGE_IMPORT_CONTAINS_DOT_DOT', "A package import should not contain '..'");

/**

- * Initialize a newly created error code to have the given message and correction.

- *

- * @param message the template used to create the message to be displayed for the error

- * @param correction the template used to create the correction to be displayed for the error

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- const HintCode.con2(String name, int ordinal, this.message, this.correction) : super(name, ordinal);

+ const HintCode(String name, String message, [String correction]) : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorType.HINT.severity;

@override

ErrorType get type => ErrorType.HINT;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

- * The enumeration `HtmlWarningCode` defines the error codes used for warnings in HTML files.

- * The convention for this class is for the name of the error code to indicate the problem that

- * caused the error to be generated and for the error message to explain what is wrong and, when

- * appropriate, how the problem can be corrected.

+ * The enumeration `HtmlWarningCode` defines the error codes used for warnings

+ * in HTML files. The convention for this class is for the name of the error

+ * code to indicate the problem that caused the error to be generated and for

+ * the error message to explain what is wrong and, when appropriate, how the

+ * problem can be corrected.

-class HtmlWarningCode extends Enum<HtmlWarningCode> implements ErrorCode {

+class HtmlWarningCode extends ErrorCode {

/**

- * An error code indicating that the value of the 'src' attribute of a Dart script tag is not a

- * valid URI.

+ * An error code indicating that the value of the 'src' attribute of a Dart

+ * script tag is not a valid URI.

* @param uri the URI that is invalid

- static const HtmlWarningCode INVALID_URI = const HtmlWarningCode.con1('INVALID_URI', 0, "Invalid URI syntax: '{0}'");

+ static const HtmlWarningCode INVALID_URI = const HtmlWarningCode('INVALID_URI', "Invalid URI syntax: '{0}'");

/**

- * An error code indicating that the value of the 'src' attribute of a Dart script tag references

- * a file that does not exist.

+ * An error code indicating that the value of the 'src' attribute of a Dart

+ * script tag references a file that does not exist.

* @param uri the URI pointing to a non-existent file

- static const HtmlWarningCode URI_DOES_NOT_EXIST = const HtmlWarningCode.con1('URI_DOES_NOT_EXIST', 1, "Target of URI does not exist: '{0}'");

- static const List<HtmlWarningCode> values = const [INVALID_URI, URI_DOES_NOT_EXIST];

- /**

- * The template used to create the message to be displayed for this error.

- */

- final String message;

- /**

- * The template used to create the correction to be displayed for this error, or `null` if

- * there is no correction information for this error.

- */

- final String correction;

- /**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

- */

- const HtmlWarningCode.con1(String name, int ordinal, String message) : this.con2(name, ordinal, message, null);

+ static const HtmlWarningCode URI_DOES_NOT_EXIST = const HtmlWarningCode('URI_DOES_NOT_EXIST', "Target of URI does not exist: '{0}'");

/**

- * Initialize a newly created error code to have the given message and correction.

- *

- * @param message the template used to create the message to be displayed for the error

- * @param correction the template used to create the correction to be displayed for the error

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- const HtmlWarningCode.con2(String name, int ordinal, this.message, this.correction) : super(name, ordinal);

+ const HtmlWarningCode(String name, String message, [String correction]) : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorSeverity.WARNING;

@override

ErrorType get type => ErrorType.STATIC_WARNING;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

* The enumeration `PolymerCode` defines Polymer specific problems.

-class PolymerCode extends Enum<PolymerCode> implements ErrorCode {

- static const PolymerCode ATTRIBUTE_FIELD_NOT_PUBLISHED = const PolymerCode('ATTRIBUTE_FIELD_NOT_PUBLISHED', 0, "Field '{0}' in '{1}' must be @published");

- static const PolymerCode DUPLICATE_ATTRIBUTE_DEFINITION = const PolymerCode('DUPLICATE_ATTRIBUTE_DEFINITION', 1, "The attribute '{0}' is already defined");

+class PolymerCode extends ErrorCode {

+ static const PolymerCode ATTRIBUTE_FIELD_NOT_PUBLISHED = const PolymerCode('ATTRIBUTE_FIELD_NOT_PUBLISHED', "Field '{0}' in '{1}' must be @published");

- static const PolymerCode EMPTY_ATTRIBUTES = const PolymerCode('EMPTY_ATTRIBUTES', 2, "Empty 'attributes' attribute is useless");

+ static const PolymerCode DUPLICATE_ATTRIBUTE_DEFINITION = const PolymerCode('DUPLICATE_ATTRIBUTE_DEFINITION', "The attribute '{0}' is already defined");

- static const PolymerCode INVALID_ATTRIBUTE_NAME = const PolymerCode('INVALID_ATTRIBUTE_NAME', 3, "'{0}' is not a valid name for a custom element attribute");

+ static const PolymerCode EMPTY_ATTRIBUTES = const PolymerCode('EMPTY_ATTRIBUTES', "Empty 'attributes' attribute is useless");

- static const PolymerCode INVALID_TAG_NAME = const PolymerCode('INVALID_TAG_NAME', 4, "'{0}' is not a valid name for a custom element");

+ static const PolymerCode INVALID_ATTRIBUTE_NAME = const PolymerCode('INVALID_ATTRIBUTE_NAME', "'{0}' is not a valid name for a custom element attribute");

- static const PolymerCode MISSING_TAG_NAME = const PolymerCode('MISSING_TAG_NAME', 5, "Missing tag name of the custom element. Please include an attribute like name='your-tag-name'");

+ static const PolymerCode INVALID_TAG_NAME = const PolymerCode('INVALID_TAG_NAME', "'{0}' is not a valid name for a custom element");

- static const PolymerCode UNDEFINED_ATTRIBUTE_FIELD = const PolymerCode('UNDEFINED_ATTRIBUTE_FIELD', 6, "There is no such field '{0}' in '{1}'");

+ static const PolymerCode MISSING_TAG_NAME = const PolymerCode('MISSING_TAG_NAME', "Missing tag name of the custom element. Please include an attribute like name='your-tag-name'");

- static const List<PolymerCode> values = const [

- ATTRIBUTE_FIELD_NOT_PUBLISHED,

- DUPLICATE_ATTRIBUTE_DEFINITION,

- EMPTY_ATTRIBUTES,

- INVALID_ATTRIBUTE_NAME,

- INVALID_TAG_NAME,

- MISSING_TAG_NAME,

- UNDEFINED_ATTRIBUTE_FIELD];

+ static const PolymerCode UNDEFINED_ATTRIBUTE_FIELD = const PolymerCode('UNDEFINED_ATTRIBUTE_FIELD', "There is no such field '{0}' in '{1}'");

/**

- * The template used to create the message to be displayed for this error.

- */

- final String message;

- /**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- const PolymerCode(String name, int ordinal, this.message) : super(name, ordinal);

- @override

- String get correction => null;

+ const PolymerCode(String name, String message, [String correction]) : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorSeverity.INFO;

@override

ErrorType get type => ErrorType.POLYMER;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

- * The enumeration `StaticTypeWarningCode` defines the error codes used for static type

- * warnings. The convention for this class is for the name of the error code to indicate the problem

- * that caused the error to be generated and for the error message to explain what is wrong and,

- * when appropriate, how the problem can be corrected.

+ * The class `StaticTypeWarningCode` defines the error codes used for static

+ * type warnings. The convention for this class is for the name of the error

+ * code to indicate the problem that caused the error to be generated and for

+ * the error message to explain what is wrong and, when appropriate, how the

+ * problem can be corrected.

-class StaticTypeWarningCode extends Enum<StaticTypeWarningCode> implements ErrorCode {

+class StaticTypeWarningCode extends ErrorCode {

/**

- * 12.7 Lists: A fresh instance (7.6.1) a, of size n, whose class implements the

- * built-in class List<E> is allocated.

+ * 12.7 Lists: A fresh instance (7.6.1) a, of size n, whose

+ * class implements the built-in class List<E> is allocated.

* @param numTypeArgument the number of provided type arguments

- static const StaticTypeWarningCode EXPECTED_ONE_LIST_TYPE_ARGUMENTS = const StaticTypeWarningCode.con1('EXPECTED_ONE_LIST_TYPE_ARGUMENTS', 0, "List literal requires exactly one type arguments or none, but {0} found");

+ static const StaticTypeWarningCode EXPECTED_ONE_LIST_TYPE_ARGUMENTS = const StaticTypeWarningCode('EXPECTED_ONE_LIST_TYPE_ARGUMENTS', "List literal requires exactly one type arguments or none, but {0} found");

/**

- * 12.8 Maps: A fresh instance (7.6.1) m, of size n, whose class implements the

- * built-in class Map<K, V> is allocated.

+ * 12.8 Maps: A fresh instance (7.6.1) m, of size n, whose class

+ * implements the built-in class Map<K, V> is allocated.

* @param numTypeArgument the number of provided type arguments

- static const StaticTypeWarningCode EXPECTED_TWO_MAP_TYPE_ARGUMENTS = const StaticTypeWarningCode.con1('EXPECTED_TWO_MAP_TYPE_ARGUMENTS', 1, "Map literal requires exactly two type arguments or none, but {0} found");

+ static const StaticTypeWarningCode EXPECTED_TWO_MAP_TYPE_ARGUMENTS = const StaticTypeWarningCode('EXPECTED_TWO_MAP_TYPE_ARGUMENTS', "Map literal requires exactly two type arguments or none, but {0} found");

/**

- * 12.18 Assignment: Let T be the static type of e1. It is a static type

- * warning if T does not have an accessible instance setter named v=.

+ * 12.18 Assignment: Let T be the static type of e1.

+ * It is a static type warning if T does not have an accessible

+ * instance setter named v=.

- * @see #UNDEFINED_SETTER

+ * @see [UNDEFINED_SETTER]

- static const StaticTypeWarningCode INACCESSIBLE_SETTER = const StaticTypeWarningCode.con1('INACCESSIBLE_SETTER', 2, "");

+ static const StaticTypeWarningCode INACCESSIBLE_SETTER = const StaticTypeWarningCode('INACCESSIBLE_SETTER', "");

/**

- * 8.1.1 Inheritance and Overriding: However, if the above rules would cause multiple members

- * m1, …, mk with the same name n that would be

- * inherited (because identically named members existed in several superinterfaces) then at most

- * one member is inherited.

+ * 8.1.1 Inheritance and Overriding: However, if the above rules would cause

+ * multiple members m1, …, mk with the

+ * same name n that would be inherited (because identically named

+ * members existed in several superinterfaces) then at most one member is

+ * inherited.

- * If the static types T1, …, Tk of the members

- * m1, …, mk are not identical, then there must be a member

- * mx such that Tx <: Ti, 1 <= x <= k for

- * all i, 1 <= i <= k, or a static type warning occurs. The member that is inherited

- * is mx, if it exists; otherwise:

- * * Let numberOfPositionals(f) denote the number of positional parameters of a

- * function f, and let numberOfRequiredParams(f) denote the number of

- * required parameters of a function f. Furthermore, let s denote the set of all

- * named parameters of the m1, …, mk. Then let

+ * If the static types T1, …, Tk of the

+ * members m1, …, mk are not identical,

+ * then there must be a member mx such that Tx

+ * <: Ti, 1 <= x <= k for all i, 1 <= i <=

+ * k, or a static type warning occurs. The member that is inherited is

+ * mx, if it exists; otherwise:

+ * * Let numberOfPositionals(f) denote the number of positional

+ * parameters of a function f, and let

+ * numberOfRequiredParams(f) denote the number of required

+ * parameters of a function f. Furthermore, let s denote the

+ * set of all named parameters of the m1, …,

+ * mk. Then let

* * h = max(numberOfPositionals(mi)),

- * * r = min(numberOfRequiredParams(mi)), for all i, 1 <= i <= k.

- * If r <= h then I has a method named n, with r required parameters

- * of type dynamic, h positional parameters of type dynamic, named parameters

- * s of type dynamic and return type dynamic.

- * * Otherwise none of the members m1, …, mk is inherited.

+ * * r = min(numberOfRequiredParams(mi)), for all i, 1 <=

+ * i <= k. If r <= h then I has a method named n,

+ * with r required parameters of type dynamic, h

+ * positional parameters of type dynamic, named parameters s

+ * of type dynamic and return type dynamic.

+ * * Otherwise none of the members m1, …,

+ * mk is inherited.

- static const StaticTypeWarningCode INCONSISTENT_METHOD_INHERITANCE = const StaticTypeWarningCode.con1('INCONSISTENT_METHOD_INHERITANCE', 3, "'{0}' is inherited by at least two interfaces inconsistently, from {1}");

+ static const StaticTypeWarningCode INCONSISTENT_METHOD_INHERITANCE = const StaticTypeWarningCode('INCONSISTENT_METHOD_INHERITANCE', "'{0}' is inherited by at least two interfaces inconsistently, from {1}");

/**

- * 12.15.1 Ordinary Invocation: It is a static type warning if T does not have an

- * accessible (3.2) instance member named m.

+ * 12.15.1 Ordinary Invocation: It is a static type warning if T does

+ * not have an accessible (3.2) instance member named m.

* @param memberName the name of the static member

- * @see UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER

+ * @see [UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER]

- static const StaticTypeWarningCode INSTANCE_ACCESS_TO_STATIC_MEMBER = const StaticTypeWarningCode.con1('INSTANCE_ACCESS_TO_STATIC_MEMBER', 4, "Static member '{0}' cannot be accessed using instance access");

+ static const StaticTypeWarningCode INSTANCE_ACCESS_TO_STATIC_MEMBER = const StaticTypeWarningCode('INSTANCE_ACCESS_TO_STATIC_MEMBER', "Static member '{0}' cannot be accessed using instance access");

/**

- * 12.18 Assignment: It is a static type warning if the static type of e may not be

- * assigned to the static type of v. The static type of the expression v = e is the

- * static type of e.

+ * 12.18 Assignment: It is a static type warning if the static type of

+ * e may not be assigned to the static type of v. The static

+ * type of the expression v = e is the static type of e.

- * 12.18 Assignment: It is a static type warning if the static type of e may not be

- * assigned to the static type of C.v. The static type of the expression C.v = e is

- * the static type of e.

+ * 12.18 Assignment: It is a static type warning if the static type of

+ * e may not be assigned to the static type of C.v. The static

+ * type of the expression C.v = e is the static type of e.

- * 12.18 Assignment: Let T be the static type of e1. It is a static type

- * warning if the static type of e2 may not be assigned to T.

+ * 12.18 Assignment: Let T be the static type of e1.

+ * It is a static type warning if the static type of e2 may

+ * not be assigned to T.

* @param rhsTypeName the name of the right hand side type

* @param lhsTypeName the name of the left hand side type

- static const StaticTypeWarningCode INVALID_ASSIGNMENT = const StaticTypeWarningCode.con1('INVALID_ASSIGNMENT', 5, "A value of type '{0}' cannot be assigned to a variable of type '{1}'");

+ static const StaticTypeWarningCode INVALID_ASSIGNMENT = const StaticTypeWarningCode('INVALID_ASSIGNMENT', "A value of type '{0}' cannot be assigned to a variable of type '{1}'");

/**

- * 12.15.1 Ordinary Invocation: An ordinary method invocation i has the form

- * o.m(a1, …, an, xn+1: an+1, …

- * xn+k: an+k).

+ * 12.15.1 Ordinary Invocation: An ordinary method invocation i has the

+ * form o.m(a1, …, an, xn+1:

+ * an+1, … xn+k: an+k).

- * Let T be the static type of o. It is a static type warning if T does not

- * have an accessible instance member named m. If T.m exists, it is a static warning

- * if the type F of T.m may not be assigned to a function type. If T.m does

- * not exist, or if F is not a function type, the static type of i is dynamic.

+ * Let T be the static type of o. It is a static type warning if

+ * T does not have an accessible instance member named m. If

+ * T.m exists, it is a static warning if the type F of

+ * T.m may not be assigned to a function type. If T.m does not

+ * exist, or if F is not a function type, the static type of i

+ * is dynamic.

- * 12.15.3 Static Invocation: It is a static type warning if the type F of C.m may

- * not be assigned to a function type.

+ * 12.15.3 Static Invocation: It is a static type warning if the type F

+ * of C.m may not be assigned to a function type.

* 12.15.4 Super Invocation: A super method invocation i has the form

- * super.m(a1, …, an, xn+1: an+1, …

- * xn+k: an+k). If S.m exists, it is a static warning if the type

- * F of S.m may not be assigned to a function type.

+ * super.m(a1, …, an, xn+1:

+ * an+1, … xn+k: an+k). If

+ * S.m exists, it is a static warning if the type F of

+ * S.m may not be assigned to a function type.

- * @param nonFunctionIdentifier the name of the identifier that is not a function type

+ * @param nonFunctionIdentifier the name of the identifier that is not a

+ * function type

- static const StaticTypeWarningCode INVOCATION_OF_NON_FUNCTION = const StaticTypeWarningCode.con1('INVOCATION_OF_NON_FUNCTION', 6, "'{0}' is not a method");

+ static const StaticTypeWarningCode INVOCATION_OF_NON_FUNCTION = const StaticTypeWarningCode('INVOCATION_OF_NON_FUNCTION', "'{0}' is not a method");

/**

- * 12.14.4 Function Expression Invocation: A function expression invocation i has the form

- * ef(a1, …, an, xn+1: an+1,

- * …, xn+k: an+k), where ef is an expression.

+ * 12.14.4 Function Expression Invocation: A function expression invocation

+ * i has the form ef(a1, …,

+ * an, xn+1: an+1, …, xn+k:

+ * an+k), where ef is an expression.

- * It is a static type warning if the static type F of ef may not be

- * assigned to a function type.

+ * It is a static type warning if the static type F of

+ * ef may not be assigned to a function type.

- static const StaticTypeWarningCode INVOCATION_OF_NON_FUNCTION_EXPRESSION = const StaticTypeWarningCode.con1('INVOCATION_OF_NON_FUNCTION_EXPRESSION', 7, "Cannot invoke a non-function");

+ static const StaticTypeWarningCode INVOCATION_OF_NON_FUNCTION_EXPRESSION = const StaticTypeWarningCode('INVOCATION_OF_NON_FUNCTION_EXPRESSION', "Cannot invoke a non-function");

/**

- * 12.20 Conditional: It is a static type warning if the type of e1 may not be

- * assigned to bool.

+ * 12.20 Conditional: It is a static type warning if the type of

+ * e1 may not be assigned to bool.

- * 13.5 If: It is a static type warning if the type of the expression b may not be assigned

- * to bool.

+ * 13.5 If: It is a static type warning if the type of the expression b

+ * may not be assigned to bool.

- * 13.7 While: It is a static type warning if the type of e may not be assigned to bool.

+ * 13.7 While: It is a static type warning if the type of e may not be

+ * assigned to bool.

- * 13.8 Do: It is a static type warning if the type of e cannot be assigned to bool.

+ * 13.8 Do: It is a static type warning if the type of e cannot be

+ * assigned to bool.

- static const StaticTypeWarningCode NON_BOOL_CONDITION = const StaticTypeWarningCode.con1('NON_BOOL_CONDITION', 8, "Conditions must have a static type of 'bool'");

+ static const StaticTypeWarningCode NON_BOOL_CONDITION = const StaticTypeWarningCode('NON_BOOL_CONDITION', "Conditions must have a static type of 'bool'");

/**

- * 13.15 Assert: It is a static type warning if the type of e may not be assigned to either

- * bool or () → bool

+ * 13.15 Assert: It is a static type warning if the type of e may not

+ * be assigned to either bool or () → bool

- static const StaticTypeWarningCode NON_BOOL_EXPRESSION = const StaticTypeWarningCode.con1('NON_BOOL_EXPRESSION', 9, "Assertions must be on either a 'bool' or '() -> bool'");

+ static const StaticTypeWarningCode NON_BOOL_EXPRESSION = const StaticTypeWarningCode('NON_BOOL_EXPRESSION', "Assertions must be on either a 'bool' or '() -> bool'");

/**

- * 12.28 Unary Expressions: The expression !e is equivalent to the expression

- * e?false : true.

+ * 12.28 Unary Expressions: The expression !e is equivalent to the

+ * expression e?false : true.

- * 12.20 Conditional: It is a static type warning if the type of e1 may not be

- * assigned to bool.

+ * 12.20 Conditional: It is a static type warning if the type of

+ * e1 may not be assigned to bool.

- static const StaticTypeWarningCode NON_BOOL_NEGATION_EXPRESSION = const StaticTypeWarningCode.con1('NON_BOOL_NEGATION_EXPRESSION', 10, "Negation argument must have a static type of 'bool'");

+ static const StaticTypeWarningCode NON_BOOL_NEGATION_EXPRESSION = const StaticTypeWarningCode('NON_BOOL_NEGATION_EXPRESSION', "Negation argument must have a static type of 'bool'");

/**

- * 12.21 Logical Boolean Expressions: It is a static type warning if the static types of both of

- * e1 and e2 may not be assigned to bool.

+ * 12.21 Logical Boolean Expressions: It is a static type warning if the

+ * static types of both of e1 and e2 may

+ * not be assigned to bool.

* @param operator the lexeme of the logical operator

- static const StaticTypeWarningCode NON_BOOL_OPERAND = const StaticTypeWarningCode.con1('NON_BOOL_OPERAND', 11, "The operands of the '{0}' operator must be assignable to 'bool'");

+ static const StaticTypeWarningCode NON_BOOL_OPERAND = const StaticTypeWarningCode('NON_BOOL_OPERAND', "The operands of the '{0}' operator must be assignable to 'bool'");

/**

- * 15.8 Parameterized Types: It is a static type warning if Ai, 1 <= i <=

- * n does not denote a type in the enclosing lexical scope.

+ * 15.8 Parameterized Types: It is a static type warning if Ai,

+ * 1 <= i <= n does not denote a type in the enclosing lexical scope.

- static const StaticTypeWarningCode NON_TYPE_AS_TYPE_ARGUMENT = const StaticTypeWarningCode.con1('NON_TYPE_AS_TYPE_ARGUMENT', 12, "The name '{0}' is not a type and cannot be used as a parameterized type");

+ static const StaticTypeWarningCode NON_TYPE_AS_TYPE_ARGUMENT = const StaticTypeWarningCode('NON_TYPE_AS_TYPE_ARGUMENT', "The name '{0}' is not a type and cannot be used as a parameterized type");

/**

- * 13.11 Return: It is a static type warning if the type of e may not be assigned to the

- * declared return type of the immediately enclosing function.

+ * 13.11 Return: It is a static type warning if the type of e may not

+ * be assigned to the declared return type of the immediately enclosing

+ * function.

* @param actualReturnType the return type as declared in the return statement

* @param expectedReturnType the expected return type as defined by the method

* @param methodName the name of the method

- static const StaticTypeWarningCode RETURN_OF_INVALID_TYPE = const StaticTypeWarningCode.con1('RETURN_OF_INVALID_TYPE', 13, "The return type '{0}' is not a '{1}', as defined by the method '{2}'");

+ static const StaticTypeWarningCode RETURN_OF_INVALID_TYPE = const StaticTypeWarningCode('RETURN_OF_INVALID_TYPE', "The return type '{0}' is not a '{1}', as defined by the method '{2}'");

/**

- * 12.11 Instance Creation: It is a static type warning if any of the type arguments to a

- * constructor of a generic type G invoked by a new expression or a constant object

- * expression are not subtypes of the bounds of the corresponding formal type parameters of

- * G.

+ * 12.11 Instance Creation: It is a static type warning if any of the type

+ * arguments to a constructor of a generic type G invoked by a new

+ * expression or a constant object expression are not subtypes of the bounds

+ * of the corresponding formal type parameters of G.

- * 15.8 Parameterized Types: If S is the static type of a member m of G, then

- * the static type of the member m of G<A1, …,

- * An> is [A1, …, An/T1, …,

- * Tn]S where T1, …, Tn are the formal type

- * parameters of G. Let Bi be the bounds of Ti, 1 <= i

- * <= n. It is a static type warning if Ai is not a subtype of

- * [A1, …, An/T1, …,

- * Tn]Bi, 1 <= i <= n.

+ * 15.8 Parameterized Types: If S is the static type of a member

+ * m of G, then the static type of the member m of

+ * G<A1, …, An> is [A1,

+ * …, An/T1, …, Tn]S where

+ * T1, …, Tn are the formal type

+ * parameters of G. Let Bi be the bounds of

+ * Ti, 1 <= i <= n. It is a static type warning if

+ * Ai is not a subtype of [A1, …,

+ * An/T1, …, Tn]Bi, 1 <=

+ * i <= n.

- * 7.6.2 Factories: It is a static type warning if any of the type arguments to k' are not

- * subtypes of the bounds of the corresponding formal type parameters of type.

+ * 7.6.2 Factories: It is a static type warning if any of the type arguments

+ * to k' are not subtypes of the bounds of the corresponding formal

+ * type parameters of type.

- * @param boundedTypeName the name of the type used in the instance creation that should be

- * limited by the bound as specified in the class declaration

+ * @param boundedTypeName the name of the type used in the instance creation

+ * that should be limited by the bound as specified in the class

+ * declaration

* @param boundingTypeName the name of the bounding type

- * @see #TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND

+ * @see [TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND]

- static const StaticTypeWarningCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const StaticTypeWarningCode.con1('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', 14, "'{0}' does not extend '{1}'");

+ static const StaticTypeWarningCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const StaticTypeWarningCode('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', "'{0}' does not extend '{1}'");

/**

- * 10 Generics: It is a static type warning if a type parameter is a supertype of its upper bound.

+ * 10 Generics: It is a static type warning if a type parameter is a supertype

+ * of its upper bound.

* @param typeParameterName the name of the type parameter

- * @see #TYPE_ARGUMENT_NOT_MATCHING_BOUNDS

+ * @see [TYPE_ARGUMENT_NOT_MATCHING_BOUNDS]

- static const StaticTypeWarningCode TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND = const StaticTypeWarningCode.con1('TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND', 15, "'{0}' cannot be a supertype of its upper bound");

+ static const StaticTypeWarningCode TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND = const StaticTypeWarningCode('TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND', "'{0}' cannot be a supertype of its upper bound");

/**

- * 12.17 Getter Invocation: It is a static warning if there is no class C in the enclosing

- * lexical scope of i, or if C does not declare, implicitly or explicitly, a getter

- * named m.

+ * 12.17 Getter Invocation: It is a static warning if there is no class

+ * C in the enclosing lexical scope of i, or if C does

+ * not declare, implicitly or explicitly, a getter named m.

- * @param constantName the name of the enumeration constant that is not defined

+ * @param constantName the name of the enumeration constant that is not

+ * defined

* @param enumName the name of the enumeration used to access the constant

- static const StaticTypeWarningCode UNDEFINED_ENUM_CONSTANT = const StaticTypeWarningCode.con1('UNDEFINED_ENUM_CONSTANT', 16, "There is no constant named '{0}' in '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_ENUM_CONSTANT = const StaticTypeWarningCode('UNDEFINED_ENUM_CONSTANT', "There is no constant named '{0}' in '{1}'");

/**

- * 12.15.3 Unqualified Invocation: If there exists a lexically visible declaration named

- * id, let fid be the innermost such declaration. Then: [skip].

- * Otherwise, fid is considered equivalent to the ordinary method invocation

- * this.id(a1, ..., an, xn+1 :

- * an+1, ..., xn+k : an+k).

+ * 12.15.3 Unqualified Invocation: If there exists a lexically visible

+ * declaration named id, let fid be the innermost

+ * such declaration. Then: [skip]. Otherwise, fid is

+ * considered equivalent to the ordinary method invocation

+ * this.id(a1, ..., an,

+ * xn+1 : an+1, ...,

+ * xn+k : an+k).

* @param methodName the name of the method that is undefined

- static const StaticTypeWarningCode UNDEFINED_FUNCTION = const StaticTypeWarningCode.con1('UNDEFINED_FUNCTION', 17, "The function '{0}' is not defined");

+ static const StaticTypeWarningCode UNDEFINED_FUNCTION = const StaticTypeWarningCode('UNDEFINED_FUNCTION', "The function '{0}' is not defined");

/**

- * 12.17 Getter Invocation: Let T be the static type of e. It is a static type

- * warning if T does not have a getter named m.

+ * 12.17 Getter Invocation: Let T be the static type of e. It is

+ * a static type warning if T does not have a getter named m.

* @param getterName the name of the getter

- * @param enclosingType the name of the enclosing type where the getter is being looked for

+ * @param enclosingType the name of the enclosing type where the getter is

+ * being looked for

- static const StaticTypeWarningCode UNDEFINED_GETTER = const StaticTypeWarningCode.con1('UNDEFINED_GETTER', 18, "There is no such getter '{0}' in '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_GETTER = const StaticTypeWarningCode('UNDEFINED_GETTER', "There is no such getter '{0}' in '{1}'");

/**

- * 12.15.1 Ordinary Invocation: Let T be the static type of o. It is a static type

- * warning if T does not have an accessible instance member named m.

+ * 12.15.1 Ordinary Invocation: Let T be the static type of o.

+ * It is a static type warning if T does not have an accessible

+ * instance member named m.

* @param methodName the name of the method that is undefined

- * @param typeName the resolved type name that the method lookup is happening on

+ * @param typeName the resolved type name that the method lookup is happening

+ * on

- static const StaticTypeWarningCode UNDEFINED_METHOD = const StaticTypeWarningCode.con1('UNDEFINED_METHOD', 19, "The method '{0}' is not defined for the class '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_METHOD = const StaticTypeWarningCode('UNDEFINED_METHOD', "The method '{0}' is not defined for the class '{1}'");

/**

* 12.18 Assignment: Evaluation of an assignment of the form

- * e1[e2] = e3 is equivalent to the

- * evaluation of the expression (a, i, e){a.[]=(i, e); return e;} (e1,

- * e2, e2).

+ * e1[e2] = e3 is

+ * equivalent to the evaluation of the expression (a, i, e){a.[]=(i, e);

+ * return e;} (e1, e2,

+ * e2).

* 12.29 Assignable Expressions: An assignable expression of the form

- * e1[e2] is evaluated as a method invocation of the operator

- * method [] on e1 with argument e2.

+ * e1[e2] is evaluated as a method

+ * invocation of the operator method [] on e1 with argument

+ * e2.

- * 12.15.1 Ordinary Invocation: Let T be the static type of o. It is a static type

- * warning if T does not have an accessible instance member named m.

+ * 12.15.1 Ordinary Invocation: Let T be the static type of o.

+ * It is a static type warning if T does not have an accessible

+ * instance member named m.

* @param operator the name of the operator

- * @param enclosingType the name of the enclosing type where the operator is being looked for

+ * @param enclosingType the name of the enclosing type where the operator is

+ * being looked for

- static const StaticTypeWarningCode UNDEFINED_OPERATOR = const StaticTypeWarningCode.con1('UNDEFINED_OPERATOR', 20, "There is no such operator '{0}' in '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_OPERATOR = const StaticTypeWarningCode('UNDEFINED_OPERATOR', "There is no such operator '{0}' in '{1}'");

/**

- * 12.18 Assignment: Let T be the static type of e1. It is a static type

- * warning if T does not have an accessible instance setter named v=.

+ * 12.18 Assignment: Let T be the static type of e1.

+ * It is a static type warning if T does not have an accessible

+ * instance setter named v=.

* @param setterName the name of the setter

- * @param enclosingType the name of the enclosing type where the setter is being looked for

- * @see #INACCESSIBLE_SETTER

+ * @param enclosingType the name of the enclosing type where the setter is

+ * being looked for

+ * @see [INACCESSIBLE_SETTER]

- static const StaticTypeWarningCode UNDEFINED_SETTER = const StaticTypeWarningCode.con1('UNDEFINED_SETTER', 21, "There is no such setter '{0}' in '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_SETTER = const StaticTypeWarningCode('UNDEFINED_SETTER', "There is no such setter '{0}' in '{1}'");

/**

* 12.15.4 Super Invocation: A super method invocation i has the form

- * super.m(a1, …, an, xn+1: an+1, …

- * xn+k: an+k). It is a static type warning if S does not have an

- * accessible instance member named m.

+ * super.m(a1, …, an, xn+1:

+ * an+1, … xn+k: an+k). It is a

+ * static type warning if S does not have an accessible instance member

+ * named m.

* @param methodName the name of the method that is undefined

- * @param typeName the resolved type name that the method lookup is happening on

+ * @param typeName the resolved type name that the method lookup is happening

+ * on

- static const StaticTypeWarningCode UNDEFINED_SUPER_METHOD = const StaticTypeWarningCode.con1('UNDEFINED_SUPER_METHOD', 22, "There is no such method '{0}' in '{1}'");

+ static const StaticTypeWarningCode UNDEFINED_SUPER_METHOD = const StaticTypeWarningCode('UNDEFINED_SUPER_METHOD', "There is no such method '{0}' in '{1}'");

/**

- * 12.15.1 Ordinary Invocation: It is a static type warning if T does not have an

- * accessible (3.2) instance member named m.

+ * 12.15.1 Ordinary Invocation: It is a static type warning if T does

+ * not have an accessible (3.2) instance member named m.

- * This is a specialization of [INSTANCE_ACCESS_TO_STATIC_MEMBER] that is used when we are

- * able to find the name defined in a supertype. It exists to provide a more informative error

- * message.

+ * This is a specialization of [INSTANCE_ACCESS_TO_STATIC_MEMBER] that is used

+ * when we are able to find the name defined in a supertype. It exists to

+ * provide a more informative error message.

- static const StaticTypeWarningCode UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER = const StaticTypeWarningCode.con1('UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER', 23, "Static members from supertypes must be qualified by the name of the defining type");

+ static const StaticTypeWarningCode UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER = const StaticTypeWarningCode('UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER', "Static members from supertypes must be qualified by the name of the defining type");

/**

- * 15.8 Parameterized Types: It is a static type warning if G is not a generic type with

- * exactly n type parameters.

+ * 15.8 Parameterized Types: It is a static type warning if G is not a

+ * generic type with exactly n type parameters.

* @param typeName the name of the type being referenced (G)

* @param parameterCount the number of type parameters that were declared

* @param argumentCount the number of type arguments provided

- * @see CompileTimeErrorCode#CONST_WITH_INVALID_TYPE_PARAMETERS

- * @see CompileTimeErrorCode#NEW_WITH_INVALID_TYPE_PARAMETERS

- */

- static const StaticTypeWarningCode WRONG_NUMBER_OF_TYPE_ARGUMENTS = const StaticTypeWarningCode.con1('WRONG_NUMBER_OF_TYPE_ARGUMENTS', 24, "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

- static const List<StaticTypeWarningCode> values = const [

- EXPECTED_ONE_LIST_TYPE_ARGUMENTS,

- EXPECTED_TWO_MAP_TYPE_ARGUMENTS,

- INACCESSIBLE_SETTER,

- INCONSISTENT_METHOD_INHERITANCE,

- INSTANCE_ACCESS_TO_STATIC_MEMBER,

- INVALID_ASSIGNMENT,

- INVOCATION_OF_NON_FUNCTION,

- INVOCATION_OF_NON_FUNCTION_EXPRESSION,

- NON_BOOL_CONDITION,

- NON_BOOL_EXPRESSION,

- NON_BOOL_NEGATION_EXPRESSION,

- NON_BOOL_OPERAND,

- NON_TYPE_AS_TYPE_ARGUMENT,

- RETURN_OF_INVALID_TYPE,

- TYPE_ARGUMENT_NOT_MATCHING_BOUNDS,

- TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND,

- UNDEFINED_ENUM_CONSTANT,

- UNDEFINED_FUNCTION,

- UNDEFINED_GETTER,

- UNDEFINED_METHOD,

- UNDEFINED_OPERATOR,

- UNDEFINED_SETTER,

- UNDEFINED_SUPER_METHOD,

- UNQUALIFIED_REFERENCE_TO_NON_LOCAL_STATIC_MEMBER,

- WRONG_NUMBER_OF_TYPE_ARGUMENTS];

- /**

- * The template used to create the message to be displayed for this error.

+ * @see [CompileTimeErrorCode.CONST_WITH_INVALID_TYPE_PARAMETERS]

+ * @see [CompileTimeErrorCode.NEW_WITH_INVALID_TYPE_PARAMETERS]

- final String message;

- /**

- * The template used to create the correction to be displayed for this error, or `null` if

- * there is no correction information for this error.

- */

- final String correction;

- /**

- * Initialize a newly created error code to have the given message.

- *

- * @param message the message template used to create the message to be displayed for the error

- */

- const StaticTypeWarningCode.con1(String name, int ordinal, String message) : this.con2(name, ordinal, message, null);

+ static const StaticTypeWarningCode WRONG_NUMBER_OF_TYPE_ARGUMENTS = const StaticTypeWarningCode('WRONG_NUMBER_OF_TYPE_ARGUMENTS', "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

/**

- * Initialize a newly created error code to have the given message and correction.

- *

- * @param message the template used to create the message to be displayed for the error

- * @param correction the template used to create the correction to be displayed for the error

+ * Initialize a newly created error code to have the given [name]. The message

+ * associated with the error will be created from the given [message]

+ * template. The correction associated with the error will be created from the

+ * given [correction] template.

- const StaticTypeWarningCode.con2(String name, int ordinal, this.message, this.correction) : super(name, ordinal);

+ const StaticTypeWarningCode(String name, String message, [String correction]) : super(name, message, correction);

@override

ErrorSeverity get errorSeverity => ErrorType.STATIC_TYPE_WARNING.severity;

@override

ErrorType get type => ErrorType.STATIC_TYPE_WARNING;

- @override

- String get uniqueName => "$runtimeType.$name";

}

/**

- * The enumeration `StaticWarningCode` defines the error codes used for static warnings. The

- * convention for this class is for the name of the error code to indicate the problem that caused

- * the error to be generated and for the error message to explain what is wrong and, when

- * appropriate, how the problem can be corrected.

+ * The enumeration `StaticWarningCode` defines the error codes used for static

+ * warnings. The convention for this class is for the name of the error code to

+ * indicate the problem that caused the error to be generated and for the error

+ * message to explain what is wrong and, when appropriate, how the problem can

+ * be corrected.

-class StaticWarningCode extends Enum<StaticWarningCode> implements ErrorCode {

+class StaticWarningCode extends ErrorCode {

/**

- * 14.1 Imports: If a name N is referenced by a library L and N is introduced

- * into the top level scope L by more than one import then:

- * <ol>

- * * A static warning occurs.

- * * If N is referenced as a function, getter or setter, a NoSuchMethodError is

- * raised.

- * * If N is referenced as a type, it is treated as a malformed type.

- * </ol>

+ * 14.1 Imports: If a name N is referenced by a library L and

+ * N is introduced into the top level scope L by more than one

+ * import then:

+ * 1. A static warning occurs.

+ * 2. If N is referenced as a function, getter or setter, a

+ * NoSuchMethodError is raised.

+ * 3. If N is referenced as a type, it is treated as a malformed type.

* @param ambiguousTypeName the name of the ambiguous type

- * @param firstLibraryName the name of the first library that the type is found

- * @param secondLibraryName the name of the second library that the type is found

- */

- static const StaticWarningCode AMBIGUOUS_IMPORT = const StaticWarningCode.con1('AMBIGUOUS_IMPORT', 0, "The name '{0}' is defined in the libraries {1}");

- /**

- * 12.11.1 New: It is a static warning if the static type of ai, 1 <= i <= n+

- * k may not be assigned to the type of the corresponding formal parameter of the constructor

- * T.id (respectively T).

- *

- * 12.11.2 Const: It is a static warning if the static type of ai, 1 <= i <=

- * n+ k may not be assigned to the type of the corresponding formal parameter of the

- * constructor T.id (respectively T).

- *

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

- *

- * 12.14.2 Binding Actuals to Formals: Furthermore, each qi, 1 <= i <= l,

- * must have a corresponding named parameter in the set {pn+1, …

- * pn+k} or a static warning occurs. It is a static warning if

- * Tm+j may not be assigned to Sr, where r = qj,

- * 1 <= j <= l.

+ * @param firstLibraryName the name of the first library that the type is

+ * found

+ * @param secondLibraryName the name of the second library that the type is

+ * found

+ */

+ static const StaticWarningCode AMBIGUOUS_IMPORT = const StaticWarningCode('AMBIGUOUS_IMPORT', "The name '{0}' is defined in the libraries {1}");

+ /**

+ * 12.11.1 New: It is a static warning if the static type of ai,

+ * 1 <= i <= n+ k may not be assigned to the type of the

+ * corresponding formal parameter of the constructor T.id (respectively

+ * T).

+ *

+ * 12.11.2 Const: It is a static warning if the static type of

+ * ai, 1 <= i <= n+ k may not be assigned to the type

+ * of the corresponding formal parameter of the constructor T.id

+ * (respectively T).

+ *

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

+ *

+ * 12.14.2 Binding Actuals to Formals: Furthermore, each qi, 1

+ * <= i <= l, must have a corresponding named parameter in the set

+ * {pn+1, … pn+k} or a static warning

+ * occurs. It is a static warning if Tm+j may not be

+ * assigned to Sr, where r = qj, 1 <= j

+ * <= l.

* @param actualType the name of the actual argument type

* @param expectedType the name of the expected type

- static const StaticWarningCode ARGUMENT_TYPE_NOT_ASSIGNABLE = const StaticWarningCode.con1('ARGUMENT_TYPE_NOT_ASSIGNABLE', 1, "The argument type '{0}' cannot be assigned to the parameter type '{1}'");

+ static const StaticWarningCode ARGUMENT_TYPE_NOT_ASSIGNABLE = const StaticWarningCode('ARGUMENT_TYPE_NOT_ASSIGNABLE', "The argument type '{0}' cannot be assigned to the parameter type '{1}'");

/**

- * 5 Variables: Attempting to assign to a final variable elsewhere will cause a NoSuchMethodError

- * to be thrown, because no setter is defined for it. The assignment will also give rise to a

- * static warning for the same reason.

+ * 5 Variables: Attempting to assign to a final variable elsewhere will cause

+ * a NoSuchMethodError to be thrown, because no setter is defined for it. The

+ * assignment will also give rise to a static warning for the same reason.

* A constant variable is always implicitly final.

- static const StaticWarningCode ASSIGNMENT_TO_CONST = const StaticWarningCode.con1('ASSIGNMENT_TO_CONST', 2, "Constant variables cannot be assigned a value");

+ static const StaticWarningCode ASSIGNMENT_TO_CONST = const StaticWarningCode('ASSIGNMENT_TO_CONST', "Constant variables cannot be assigned a value");

/**

- * 5 Variables: Attempting to assign to a final variable elsewhere will cause a NoSuchMethodError

- * to be thrown, because no setter is defined for it. The assignment will also give rise to a

- * static warning for the same reason.

+ * 5 Variables: Attempting to assign to a final variable elsewhere will cause

+ * a NoSuchMethodError to be thrown, because no setter is defined for it. The

+ * assignment will also give rise to a static warning for the same reason.

- static const StaticWarningCode ASSIGNMENT_TO_FINAL = const StaticWarningCode.con1('ASSIGNMENT_TO_FINAL', 3, "'{0}' cannot be used as a setter, it is final");

+ static const StaticWarningCode ASSIGNMENT_TO_FINAL = const StaticWarningCode('ASSIGNMENT_TO_FINAL', "'{0}' cannot be used as a setter, it is final");

/**

- * 5 Variables: Attempting to assign to a final variable elsewhere will cause a NoSuchMethodError

- * to be thrown, because no setter is defined for it. The assignment will also give rise to a

- * static warning for the same reason.

+ * 5 Variables: Attempting to assign to a final variable elsewhere will cause

+ * a NoSuchMethodError to be thrown, because no setter is defined for it. The

+ * assignment will also give rise to a static warning for the same reason.

- static const StaticWarningCode ASSIGNMENT_TO_FINAL_NO_SETTER = const StaticWarningCode.con1('ASSIGNMENT_TO_FINAL_NO_SETTER', 4, "No setter named '{0}' in class '{1}'");

+ static const StaticWarningCode ASSIGNMENT_TO_FINAL_NO_SETTER = const StaticWarningCode('ASSIGNMENT_TO_FINAL_NO_SETTER', "No setter named '{0}' in class '{1}'");

/**

- * 12.18 Assignment: It is as static warning if an assignment of the form v = e occurs

- * inside a top level or static function (be it function, method, getter, or setter) or variable

- * initializer and there is neither a local variable declaration with name v nor setter

- * declaration with name v= in the lexical scope enclosing the assignment.

+ * 12.18 Assignment: It is as static warning if an assignment of the form

+ * v = e occurs inside a top level or static function (be it function,

+ * method, getter, or setter) or variable initializer and there is neither a

+ * local variable declaration with name v nor setter declaration with

+ * name v= in the lexical scope enclosing the assignment.

- static const StaticWarningCode ASSIGNMENT_TO_FUNCTION = const StaticWarningCode.con1('ASSIGNMENT_TO_FUNCTION', 5, "Functions cannot be assigned a value");

+ static const StaticWarningCode ASSIGNMENT_TO_FUNCTION = const StaticWarningCode('ASSIGNMENT_TO_FUNCTION', "Functions cannot be assigned a value");

/**

- * 12.18 Assignment: Let T be the static type of e1. It is a static type

- * warning if T does not have an accessible instance setter named v=.

+ * 12.18 Assignment: Let T be the static type of e1

+ * It is a static type warning if T does not have an accessible

+ * instance setter named v=.

- static const StaticWarningCode ASSIGNMENT_TO_METHOD = const StaticWarningCode.con1('ASSIGNMENT_TO_METHOD', 6, "Methods cannot be assigned a value");

+ static const StaticWarningCode ASSIGNMENT_TO_METHOD = const StaticWarningCode('ASSIGNMENT_TO_METHOD', "Methods cannot be assigned a value");

/**

- * 13.9 Switch: It is a static warning if the last statement of the statement sequence

- * sk is not a break, continue, return or throw statement.

+ * 13.9 Switch: It is a static warning if the last statement of the statement

+ * sequence sk is not a break, continue, return or throw

+ * statement.

- static const StaticWarningCode CASE_BLOCK_NOT_TERMINATED = const StaticWarningCode.con1('CASE_BLOCK_NOT_TERMINATED', 7, "The last statement of the 'case' should be 'break', 'continue', 'return' or 'throw'");

+ static const StaticWarningCode CASE_BLOCK_NOT_TERMINATED = const StaticWarningCode('CASE_BLOCK_NOT_TERMINATED', "The last statement of the 'case' should be 'break', 'continue', 'return' or 'throw'");

/**

- * 12.32 Type Cast: It is a static warning if T does not denote a type available in the

- * current lexical scope.

+ * 12.32 Type Cast: It is a static warning if T does not denote a type

+ * available in the current lexical scope.

- static const StaticWarningCode CAST_TO_NON_TYPE = const StaticWarningCode.con1('CAST_TO_NON_TYPE', 8, "The name '{0}' is not a type and cannot be used in an 'as' expression");

+ static const StaticWarningCode CAST_TO_NON_TYPE = const StaticWarningCode('CAST_TO_NON_TYPE', "The name '{0}' is not a type and cannot be used in an 'as' expression");

/**

- * 7.4 Abstract Instance Members: It is a static warning if an abstract member is declared or

- * inherited in a concrete class.

+ * 7.4 Abstract Instance Members: It is a static warning if an abstract member

+ * is declared or inherited in a concrete class.

- static const StaticWarningCode CONCRETE_CLASS_WITH_ABSTRACT_MEMBER = const StaticWarningCode.con1('CONCRETE_CLASS_WITH_ABSTRACT_MEMBER', 9, "'{0}' must have a method body because '{1}' is not abstract");

+ static const StaticWarningCode CONCRETE_CLASS_WITH_ABSTRACT_MEMBER = const StaticWarningCode('CONCRETE_CLASS_WITH_ABSTRACT_MEMBER', "'{0}' must have a method body because '{1}' is not abstract");

/**

- * 14.1 Imports: If a name N is referenced by a library L and N would be

- * introduced into the top level scope of L by an import from a library whose URI begins

- * with dart: and an import from a library whose URI does not begin with dart::

+ * 14.1 Imports: If a name N is referenced by a library L and

+ * N would be introduced into the top level scope of L by an

+ * import from a library whose URI begins with dart: and an import from

+ * a library whose URI does not begin with dart::

* * The import from dart: is implicitly extended by a hide N clause.

* * A static warning is issued.

* @param ambiguousName the ambiguous name

- * @param sdkLibraryName the name of the dart: library that the element is found

- * @param otherLibraryName the name of the non-dart: library that the element is found

+ * @param sdkLibraryName the name of the dart: library that the element is

+ * found

+ * @param otherLibraryName the name of the non-dart: library that the element

+ * is found

- static const StaticWarningCode CONFLICTING_DART_IMPORT = const StaticWarningCode.con1('CONFLICTING_DART_IMPORT', 10, "Element '{0}' from SDK library '{1}' is implicitly hidden by '{2}'");

+ static const StaticWarningCode CONFLICTING_DART_IMPORT = const StaticWarningCode('CONFLICTING_DART_IMPORT', "Element '{0}' from SDK library '{1}' is implicitly hidden by '{2}'");

/**

- * 7.2 Getters: It is a static warning if a class C declares an instance getter named

- * v and an accessible static member named v or v= is declared in a

- * superclass of C.

+ * 7.2 Getters: It is a static warning if a class C declares an

+ * instance getter named v and an accessible static member named

+ * v or v= is declared in a superclass of C.

* @param superName the name of the super class declaring a static member

- static const StaticWarningCode CONFLICTING_INSTANCE_GETTER_AND_SUPERCLASS_MEMBER = const StaticWarningCode.con1('CONFLICTING_INSTANCE_GETTER_AND_SUPERCLASS_MEMBER', 11, "Superclass '{0}' declares static member with the same name");

+ static const StaticWarningCode CONFLICTING_INSTANCE_GETTER_AND_SUPERCLASS_MEMBER = const StaticWarningCode('CONFLICTING_INSTANCE_GETTER_AND_SUPERCLASS_MEMBER', "Superclass '{0}' declares static member with the same name");

/**

- * 7.1 Instance Methods: It is a static warning if a class C declares an instance method

- * named n and has a setter named n=.

+ * 7.1 Instance Methods: It is a static warning if a class C declares

+ * an instance method named n and has a setter named n=.

- static const StaticWarningCode CONFLICTING_INSTANCE_METHOD_SETTER = const StaticWarningCode.con1('CONFLICTING_INSTANCE_METHOD_SETTER', 12, "Class '{0}' declares instance method '{1}', but also has a setter with the same name from '{2}'");

+ static const StaticWarningCode CONFLICTING_INSTANCE_METHOD_SETTER = const StaticWarningCode('CONFLICTING_INSTANCE_METHOD_SETTER', "Class '{0}' declares instance method '{1}', but also has a setter with the same name from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if a class C declares an instance method

- * named n and has a setter named n=.

+ * 7.1 Instance Methods: It is a static warning if a class C declares

+ * an instance method named n and has a setter named n=.

- static const StaticWarningCode CONFLICTING_INSTANCE_METHOD_SETTER2 = const StaticWarningCode.con1('CONFLICTING_INSTANCE_METHOD_SETTER2', 13, "Class '{0}' declares the setter '{1}', but also has an instance method in the same class");

+ static const StaticWarningCode CONFLICTING_INSTANCE_METHOD_SETTER2 = const StaticWarningCode('CONFLICTING_INSTANCE_METHOD_SETTER2', "Class '{0}' declares the setter '{1}', but also has an instance method in the same class");

/**

- * 7.3 Setters: It is a static warning if a class C declares an instance setter named

- * v= and an accessible static member named v= or v is declared in a

- * superclass of C.

+ * 7.3 Setters: It is a static warning if a class C declares an

+ * instance setter named v= and an accessible static member named

+ * v= or v is declared in a superclass of C.

* @param superName the name of the super class declaring a static member

- static const StaticWarningCode CONFLICTING_INSTANCE_SETTER_AND_SUPERCLASS_MEMBER = const StaticWarningCode.con1('CONFLICTING_INSTANCE_SETTER_AND_SUPERCLASS_MEMBER', 14, "Superclass '{0}' declares static member with the same name");

+ static const StaticWarningCode CONFLICTING_INSTANCE_SETTER_AND_SUPERCLASS_MEMBER = const StaticWarningCode('CONFLICTING_INSTANCE_SETTER_AND_SUPERCLASS_MEMBER', "Superclass '{0}' declares static member with the same name");

/**

- * 7.2 Getters: It is a static warning if a class declares a static getter named v and also

- * has a non-static setter named v=.

+ * 7.2 Getters: It is a static warning if a class declares a static getter

+ * named v and also has a non-static setter named v=.

- static const StaticWarningCode CONFLICTING_STATIC_GETTER_AND_INSTANCE_SETTER = const StaticWarningCode.con1('CONFLICTING_STATIC_GETTER_AND_INSTANCE_SETTER', 15, "Class '{0}' declares non-static setter with the same name");

+ static const StaticWarningCode CONFLICTING_STATIC_GETTER_AND_INSTANCE_SETTER = const StaticWarningCode('CONFLICTING_STATIC_GETTER_AND_INSTANCE_SETTER', "Class '{0}' declares non-static setter with the same name");

/**

- * 7.3 Setters: It is a static warning if a class declares a static setter named v= and

- * also has a non-static member named v.

+ * 7.3 Setters: It is a static warning if a class declares a static setter

+ * named v= and also has a non-static member named v.

- static const StaticWarningCode CONFLICTING_STATIC_SETTER_AND_INSTANCE_MEMBER = const StaticWarningCode.con1('CONFLICTING_STATIC_SETTER_AND_INSTANCE_MEMBER', 16, "Class '{0}' declares non-static member with the same name");

+ static const StaticWarningCode CONFLICTING_STATIC_SETTER_AND_INSTANCE_MEMBER = const StaticWarningCode('CONFLICTING_STATIC_SETTER_AND_INSTANCE_MEMBER', "Class '{0}' declares non-static member with the same name");

/**

- * 12.11.2 Const: Given an instance creation expression of the form const q(a1,

- * … an) it is a static warning if q is the constructor of an

- * abstract class but q is not a factory constructor.

+ * 12.11.2 Const: Given an instance creation expression of the form const

+ * q(a1, … an) it is a static warning if

+ * q is the constructor of an abstract class but q is not a

+ * factory constructor.

- static const StaticWarningCode CONST_WITH_ABSTRACT_CLASS = const StaticWarningCode.con1('CONST_WITH_ABSTRACT_CLASS', 17, "Abstract classes cannot be created with a 'const' expression");

+ static const StaticWarningCode CONST_WITH_ABSTRACT_CLASS = const StaticWarningCode('CONST_WITH_ABSTRACT_CLASS', "Abstract classes cannot be created with a 'const' expression");

/**

- * 12.7 Maps: It is a static warning if the values of any two keys in a map literal are equal.

+ * 12.7 Maps: It is a static warning if the values of any two keys in a map

+ * literal are equal.

- static const StaticWarningCode EQUAL_KEYS_IN_MAP = const StaticWarningCode.con1('EQUAL_KEYS_IN_MAP', 18, "Keys in a map cannot be equal");

+ static const StaticWarningCode EQUAL_KEYS_IN_MAP = const StaticWarningCode('EQUAL_KEYS_IN_MAP', "Keys in a map cannot be equal");

/**

- * 14.2 Exports: It is a static warning to export two different libraries with the same name.

+ * 14.2 Exports: It is a static warning to export two different libraries with

+ * the same name.

* @param uri1 the uri pointing to a first library

* @param uri2 the uri pointing to a second library

* @param name the shared name of the exported libraries

- static const StaticWarningCode EXPORT_DUPLICATED_LIBRARY_NAME = const StaticWarningCode.con1('EXPORT_DUPLICATED_LIBRARY_NAME', 19, "The exported libraries '{0}' and '{1}' should not have the same name '{2}'");

+ static const StaticWarningCode EXPORT_DUPLICATED_LIBRARY_NAME = const StaticWarningCode('EXPORT_DUPLICATED_LIBRARY_NAME', "The exported libraries '{0}' and '{1}' should not have the same name '{2}'");

/**

- * 12.14.2 Binding Actuals to Formals: It is a static warning if m < h or if m >

- * n.

+ * 12.14.2 Binding Actuals to Formals: It is a static warning if m <

+ * h or if m > n.

* @param requiredCount the maximum number of positional arguments

* @param argumentCount the actual number of positional arguments given

- * @see #NOT_ENOUGH_REQUIRED_ARGUMENTS

+ * @see [NOT_ENOUGH_REQUIRED_ARGUMENTS]

- static const StaticWarningCode EXTRA_POSITIONAL_ARGUMENTS = const StaticWarningCode.con1('EXTRA_POSITIONAL_ARGUMENTS', 20, "{0} positional arguments expected, but {1} found");

+ static const StaticWarningCode EXTRA_POSITIONAL_ARGUMENTS = const StaticWarningCode('EXTRA_POSITIONAL_ARGUMENTS', "{0} positional arguments expected, but {1} found");

/**

- * 5. Variables: It is a static warning if a final instance variable that has been initialized at

- * its point of declaration is also initialized in a constructor.

+ * 5. Variables: It is a static warning if a final instance variable that has

+ * been initialized at its point of declaration is also initialized in a

+ * constructor.

- static const StaticWarningCode FIELD_INITIALIZED_IN_INITIALIZER_AND_DECLARATION = const StaticWarningCode.con1('FIELD_INITIALIZED_IN_INITIALIZER_AND_DECLARATION', 21, "Values cannot be set in the constructor if they are final, and have already been set");

+ static const StaticWarningCode FIELD_INITIALIZED_IN_INITIALIZER_AND_DECLARATION = const StaticWarningCode('FIELD_INITIALIZED_IN_INITIALIZER_AND_DECLARATION', "Values cannot be set in the constructor if they are final, and have already been set");

/**

- * 5. Variables: It is a static warning if a final instance variable that has been initialized at

- * its point of declaration is also initialized in a constructor.

+ * 5. Variables: It is a static warning if a final instance variable that has

+ * been initialized at its point of declaration is also initialized in a

+ * constructor.

* @param name the name of the field in question

- static const StaticWarningCode FINAL_INITIALIZED_IN_DECLARATION_AND_CONSTRUCTOR = const StaticWarningCode.con1('FINAL_INITIALIZED_IN_DECLARATION_AND_CONSTRUCTOR', 22, "'{0}' is final and was given a value when it was declared, so it cannot be set to a new value");

+ static const StaticWarningCode FINAL_INITIALIZED_IN_DECLARATION_AND_CONSTRUCTOR = const StaticWarningCode('FINAL_INITIALIZED_IN_DECLARATION_AND_CONSTRUCTOR', "'{0}' is final and was given a value when it was declared, so it cannot be set to a new value");

/**

- * 7.6.1 Generative Constructors: Execution of an initializer of the form this.v =

- * e proceeds as follows: First, the expression e is evaluated to an object

- * o. Then, the instance variable v of the object denoted by this is bound to

- * o.

+ * 7.6.1 Generative Constructors: Execution of an initializer of the form

+ * this.v = e proceeds as follows: First, the expression

+ * e is evaluated to an object o. Then, the instance variable

+ * v of the object denoted by this is bound to o.

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

* @param initializerType the name of the type of the initializer expression

* @param fieldType the name of the type of the field

- static const StaticWarningCode FIELD_INITIALIZER_NOT_ASSIGNABLE = const StaticWarningCode.con1('FIELD_INITIALIZER_NOT_ASSIGNABLE', 23, "The initializer type '{0}' cannot be assigned to the field type '{1}'");

+ static const StaticWarningCode FIELD_INITIALIZER_NOT_ASSIGNABLE = const StaticWarningCode('FIELD_INITIALIZER_NOT_ASSIGNABLE', "The initializer type '{0}' cannot be assigned to the field type '{1}'");

/**

- * 7.6.1 Generative Constructors: An initializing formal has the form this.id. It is a

- * static warning if the static type of id is not assignable to Tid.

+ * 7.6.1 Generative Constructors: An initializing formal has the form

+ * this.id. It is a static warning if the static type of id is

+ * not assignable to Tid.

* @param parameterType the name of the type of the field formal parameter

* @param fieldType the name of the type of the field

- static const StaticWarningCode FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE = const StaticWarningCode.con1('FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE', 24, "The parameter type '{0}' is incompatable with the field type '{1}'");

+ static const StaticWarningCode FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE = const StaticWarningCode('FIELD_INITIALIZING_FORMAL_NOT_ASSIGNABLE', "The parameter type '{0}' is incompatable with the field type '{1}'");

/**

- * 5 Variables: It is a static warning if a library, static or local variable v is final

- * and v is not initialized at its point of declaration.

+ * 5 Variables: It is a static warning if a library, static or local variable

+ * v is final and v is not initialized at its point of

+ * declaration.

- * 7.6.1 Generative Constructors: Each final instance variable f declared in the

- * immediately enclosing class must have an initializer in k's initializer list unless it

- * has already been initialized by one of the following means:

+ * 7.6.1 Generative Constructors: Each final instance variable f

+ * declared in the immediately enclosing class must have an initializer in

+ * k's initializer list unless it has already been initialized by one

+ * of the following means:

* * Initialization at the declaration of f.

* * Initialization by means of an initializing formal of k.

* or a static warning occurs.

* @param name the name of the uninitialized final variable

- static const StaticWarningCode FINAL_NOT_INITIALIZED = const StaticWarningCode.con1('FINAL_NOT_INITIALIZED', 25, "The final variable '{0}' must be initialized");

+ static const StaticWarningCode FINAL_NOT_INITIALIZED = const StaticWarningCode('FINAL_NOT_INITIALIZED', "The final variable '{0}' must be initialized");

/**

- * 15.5 Function Types: It is a static warning if a concrete class implements Function and does

- * not have a concrete method named call().

+ * 15.5 Function Types: It is a static warning if a concrete class implements

+ * Function and does not have a concrete method named call().

- static const StaticWarningCode FUNCTION_WITHOUT_CALL = const StaticWarningCode.con1('FUNCTION_WITHOUT_CALL', 26, "Concrete classes that implement Function must implement the method call()");

+ static const StaticWarningCode FUNCTION_WITHOUT_CALL = const StaticWarningCode('FUNCTION_WITHOUT_CALL', "Concrete classes that implement Function must implement the method call()");

/**

- * 14.1 Imports: It is a static warning to import two different libraries with the same name.

+ * 14.1 Imports: It is a static warning to import two different libraries with

+ * the same name.

* @param uri1 the uri pointing to a first library

* @param uri2 the uri pointing to a second library

* @param name the shared name of the imported libraries

- static const StaticWarningCode IMPORT_DUPLICATED_LIBRARY_NAME = const StaticWarningCode.con1('IMPORT_DUPLICATED_LIBRARY_NAME', 27, "The imported libraries '{0}' and '{1}' should not have the same name '{2}'");

+ static const StaticWarningCode IMPORT_DUPLICATED_LIBRARY_NAME = const StaticWarningCode('IMPORT_DUPLICATED_LIBRARY_NAME', "The imported libraries '{0}' and '{1}' should not have the same name '{2}'");

/**

- * 14.1 Imports: It is a static warning if the specified URI of a deferred import does not refer

- * to a library declaration.

+ * 14.1 Imports: It is a static warning if the specified URI of a deferred

+ * import does not refer to a library declaration.

* @param uri the uri pointing to a non-library declaration

- * @see CompileTimeErrorCode#IMPORT_OF_NON_LIBRARY

+ * @see [CompileTimeErrorCode.IMPORT_OF_NON_LIBRARY]

- static const StaticWarningCode IMPORT_OF_NON_LIBRARY = const StaticWarningCode.con1('IMPORT_OF_NON_LIBRARY', 28, "The imported library '{0}' must not have a part-of directive");

+ static const StaticWarningCode IMPORT_OF_NON_LIBRARY = const StaticWarningCode('IMPORT_OF_NON_LIBRARY', "The imported library '{0}' must not have a part-of directive");

/**

- * 8.1.1 Inheritance and Overriding: However, if the above rules would cause multiple members

- * m1, …, mk with the same name n that would be

- * inherited (because identically named members existed in several superinterfaces) then at most

- * one member is inherited.

+ * 8.1.1 Inheritance and Overriding: However, if the above rules would cause

+ * multiple members m1, …, mk with the

+ * same name n that would be inherited (because identically named

+ * members existed in several superinterfaces) then at most one member is

+ * inherited.

- * If some but not all of the mi, 1 <= i <= k are getters none of the

- * mi are inherited, and a static warning is issued.

+ * If some but not all of the mi, 1 <= i <= k are

+ * getters none of the mi are inherited, and a static

+ * warning is issued.

- static const StaticWarningCode INCONSISTENT_METHOD_INHERITANCE_GETTER_AND_METHOD = const StaticWarningCode.con1('INCONSISTENT_METHOD_INHERITANCE_GETTER_AND_METHOD', 29, "'{0}' is inherited as a getter and also a method");

+ static const StaticWarningCode INCONSISTENT_METHOD_INHERITANCE_GETTER_AND_METHOD = const StaticWarningCode('INCONSISTENT_METHOD_INHERITANCE_GETTER_AND_METHOD', "'{0}' is inherited as a getter and also a method");

/**

- * 7.1 Instance Methods: It is a static warning if a class C declares an instance method

- * named n and an accessible static member named n is declared in a superclass of

- * C.

+ * 7.1 Instance Methods: It is a static warning if a class C declares

+ * an instance method named n and an accessible static member named

+ * n is declared in a superclass of C.

* @param memberName the name of the member with the name conflict

- * @param superclassName the name of the enclosing class that has the static member

+ * @param superclassName the name of the enclosing class that has the static

+ * member

- static const StaticWarningCode INSTANCE_METHOD_NAME_COLLIDES_WITH_SUPERCLASS_STATIC = const StaticWarningCode.con1('INSTANCE_METHOD_NAME_COLLIDES_WITH_SUPERCLASS_STATIC', 30, "'{0}' collides with a static member in the superclass '{1}'");

+ static const StaticWarningCode INSTANCE_METHOD_NAME_COLLIDES_WITH_SUPERCLASS_STATIC = const StaticWarningCode('INSTANCE_METHOD_NAME_COLLIDES_WITH_SUPERCLASS_STATIC', "'{0}' collides with a static member in the superclass '{1}'");

/**

- * 7.2 Getters: It is a static warning if a getter m1 overrides a getter m2 and the

- * type of m1 is not a subtype of the type of m2.

+ * 7.2 Getters: It is a static warning if a getter m1 overrides a

+ * getter m2 and the type of m1 is not a subtype of the type of

+ * m2.

* @param actualReturnTypeName the name of the expected return type

- * @param expectedReturnType the name of the actual return type, not assignable to the

- * actualReturnTypeName

- * @param className the name of the class where the overridden getter is declared

- * @see #INVALID_METHOD_OVERRIDE_RETURN_TYPE

+ * @param expectedReturnType the name of the actual return type, not

+ * assignable to the actualReturnTypeName

+ * @param className the name of the class where the overridden getter is

+ * declared

+ * @see [INVALID_METHOD_OVERRIDE_RETURN_TYPE]

- static const StaticWarningCode INVALID_GETTER_OVERRIDE_RETURN_TYPE = const StaticWarningCode.con1('INVALID_GETTER_OVERRIDE_RETURN_TYPE', 31, "The return type '{0}' is not assignable to '{1}' as required by the getter it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_GETTER_OVERRIDE_RETURN_TYPE = const StaticWarningCode('INVALID_GETTER_OVERRIDE_RETURN_TYPE', "The return type '{0}' is not assignable to '{1}' as required by the getter it is overriding from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance method m2 and the type of m1 is not a subtype of the type of m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance method m2 and the type of m1

+ * is not a subtype of the type of m2.

* @param actualParamTypeName the name of the expected parameter type

- * @param expectedParamType the name of the actual parameter type, not assignable to the

- * actualParamTypeName

- * @param className the name of the class where the overridden method is declared

+ * @param expectedParamType the name of the actual parameter type, not

+ * assignable to the actualParamTypeName

+ * @param className the name of the class where the overridden method is

+ * declared

- static const StaticWarningCode INVALID_METHOD_OVERRIDE_NAMED_PARAM_TYPE = const StaticWarningCode.con1('INVALID_METHOD_OVERRIDE_NAMED_PARAM_TYPE', 32, "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_METHOD_OVERRIDE_NAMED_PARAM_TYPE = const StaticWarningCode('INVALID_METHOD_OVERRIDE_NAMED_PARAM_TYPE', "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance method m2 and the type of m1 is not a subtype of the type of m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance method m2 and the type of m1

+ * is not a subtype of the type of m2.

* @param actualParamTypeName the name of the expected parameter type

- * @param expectedParamType the name of the actual parameter type, not assignable to the

- * actualParamTypeName

- * @param className the name of the class where the overridden method is declared

- * @see #INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE

+ * @param expectedParamType the name of the actual parameter type, not

+ * assignable to the actualParamTypeName

+ * @param className the name of the class where the overridden method is

+ * declared

+ * @see [INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE]

- static const StaticWarningCode INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE = const StaticWarningCode.con1('INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE', 33, "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE = const StaticWarningCode('INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE', "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance method m2 and the type of m1 is not a subtype of the type of m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance method m2 and the type of m1

+ * is not a subtype of the type of m2.

* @param actualParamTypeName the name of the expected parameter type

- * @param expectedParamType the name of the actual parameter type, not assignable to the

- * actualParamTypeName

- * @param className the name of the class where the overridden method is declared

+ * @param expectedParamType the name of the actual parameter type, not

+ * assignable to the actualParamTypeName

+ * @param className the name of the class where the overridden method is

+ * declared

- static const StaticWarningCode INVALID_METHOD_OVERRIDE_OPTIONAL_PARAM_TYPE = const StaticWarningCode.con1('INVALID_METHOD_OVERRIDE_OPTIONAL_PARAM_TYPE', 34, "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_METHOD_OVERRIDE_OPTIONAL_PARAM_TYPE = const StaticWarningCode('INVALID_METHOD_OVERRIDE_OPTIONAL_PARAM_TYPE', "The parameter type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance method m2 and the type of m1 is not a subtype of the type of m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance method m2 and the type of m1

+ * is not a subtype of the type of m2.

* @param actualReturnTypeName the name of the expected return type

- * @param expectedReturnType the name of the actual return type, not assignable to the

- * actualReturnTypeName

- * @param className the name of the class where the overridden method is declared

- * @see #INVALID_GETTER_OVERRIDE_RETURN_TYPE

+ * @param expectedReturnType the name of the actual return type, not

+ * assignable to the actualReturnTypeName

+ * @param className the name of the class where the overridden method is

+ * declared

+ * @see [INVALID_GETTER_OVERRIDE_RETURN_TYPE]

- static const StaticWarningCode INVALID_METHOD_OVERRIDE_RETURN_TYPE = const StaticWarningCode.con1('INVALID_METHOD_OVERRIDE_RETURN_TYPE', 35, "The return type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_METHOD_OVERRIDE_RETURN_TYPE = const StaticWarningCode('INVALID_METHOD_OVERRIDE_RETURN_TYPE', "The return type '{0}' is not assignable to '{1}' as required by the method it is overriding from '{2}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance member m2, the signature of m2 explicitly specifies a default value for

- * a formal parameter p and the signature of m1 specifies a different default value

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance member m2, the signature of

+ * m2 explicitly specifies a default value for a formal parameter

+ * p and the signature of m1 specifies a different default value

* for p.

- static const StaticWarningCode INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_NAMED = const StaticWarningCode.con1('INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_NAMED', 36, "Parameters cannot override default values, this method overrides '{0}.{1}' where '{2}' has a different value");

+ static const StaticWarningCode INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_NAMED = const StaticWarningCode('INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_NAMED', "Parameters cannot override default values, this method overrides '{0}.{1}' where '{2}' has a different value");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance member m2, the signature of m2 explicitly specifies a default value for

- * a formal parameter p and the signature of m1 specifies a different default value

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance member m2, the signature of

+ * m2 explicitly specifies a default value for a formal parameter

+ * p and the signature of m1 specifies a different default value

* for p.

- static const StaticWarningCode INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_POSITIONAL = const StaticWarningCode.con1('INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_POSITIONAL', 37, "Parameters cannot override default values, this method overrides '{0}.{1}' where this positional parameter has a different value");

+ static const StaticWarningCode INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_POSITIONAL = const StaticWarningCode('INVALID_OVERRIDE_DIFFERENT_DEFAULT_VALUES_POSITIONAL', "Parameters cannot override default values, this method overrides '{0}.{1}' where this positional parameter has a different value");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance member m2 and m1 does not declare all the named parameters declared by

- * m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance member m2 and m1 does not

+ * declare all the named parameters declared by m2.

* @param paramCount the number of named parameters in the overridden member

* @param className the name of the class from the overridden method

- static const StaticWarningCode INVALID_OVERRIDE_NAMED = const StaticWarningCode.con1('INVALID_OVERRIDE_NAMED', 38, "Missing the named parameter '{0}' to match the overridden method from '{1}'");

+ static const StaticWarningCode INVALID_OVERRIDE_NAMED = const StaticWarningCode('INVALID_OVERRIDE_NAMED', "Missing the named parameter '{0}' to match the overridden method from '{1}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance member m2 and m1 has fewer positional parameters than m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance member m2 and m1 has fewer

+ * positional parameters than m2.

- * @param paramCount the number of positional parameters in the overridden member

+ * @param paramCount the number of positional parameters in the overridden

+ * member

* @param className the name of the class from the overridden method

- static const StaticWarningCode INVALID_OVERRIDE_POSITIONAL = const StaticWarningCode.con1('INVALID_OVERRIDE_POSITIONAL', 39, "Must have at least {0} parameters to match the overridden method from '{1}'");

+ static const StaticWarningCode INVALID_OVERRIDE_POSITIONAL = const StaticWarningCode('INVALID_OVERRIDE_POSITIONAL', "Must have at least {0} parameters to match the overridden method from '{1}'");

/**

- * 7.1 Instance Methods: It is a static warning if an instance method m1 overrides an

- * instance member m2 and m1 has a greater number of required parameters than

- * m2.

+ * 7.1 Instance Methods: It is a static warning if an instance method

+ * m1 overrides an instance member m2 and m1 has a

+ * greater number of required parameters than m2.

- * @param paramCount the number of required parameters in the overridden member

+ * @param paramCount the number of required parameters in the overridden

+ * member

* @param className the name of the class from the overridden method

- static const StaticWarningCode INVALID_OVERRIDE_REQUIRED = const StaticWarningCode.con1('INVALID_OVERRIDE_REQUIRED', 40, "Must have {0} required parameters or less to match the overridden method from '{1}'");

+ static const StaticWarningCode INVALID_OVERRIDE_REQUIRED = const StaticWarningCode('INVALID_OVERRIDE_REQUIRED', "Must have {0} required parameters or less to match the overridden method from '{1}'");

/**

- * 7.3 Setters: It is a static warning if a setter m1 overrides a setter m2 and the

- * type of m1 is not a subtype of the type of m2.

+ * 7.3 Setters: It is a static warning if a setter m1 overrides a

+ * setter m2 and the type of m1 is not a subtype of the type of

+ * m2.

* @param actualParamTypeName the name of the expected parameter type

- * @param expectedParamType the name of the actual parameter type, not assignable to the

- * actualParamTypeName

- * @param className the name of the class where the overridden setter is declared

- * @see #INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE

+ * @param expectedParamType the name of the actual parameter type, not

+ * assignable to the actualParamTypeName

+ * @param className the name of the class where the overridden setter is

+ * declared

+ * @see [INVALID_METHOD_OVERRIDE_NORMAL_PARAM_TYPE]

- static const StaticWarningCode INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE = const StaticWarningCode.con1('INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE', 41, "The parameter type '{0}' is not assignable to '{1}' as required by the setter it is overriding from '{2}'");

+ static const StaticWarningCode INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE = const StaticWarningCode('INVALID_SETTER_OVERRIDE_NORMAL_PARAM_TYPE', "The parameter type '{0}' is not assignable to '{1}' as required by the setter it is overriding from '{2}'");

/**

- * 12.6 Lists: A run-time list literal <E> [e1 …

- * en] is evaluated as follows:

- * * The operator []= is invoked on a with first argument i and second argument

- * oi+1, 1 <= i <= n

+ * 12.6 Lists: A run-time list literal <E> [e1

+ * … en] is evaluated as follows:

+ * * The operator []= is invoked on a with first argument i and

+ * second argument oi+1, 1 <= i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

- static const StaticWarningCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE = const StaticWarningCode.con1('LIST_ELEMENT_TYPE_NOT_ASSIGNABLE', 42, "The element type '{0}' cannot be assigned to the list type '{1}'");

+ static const StaticWarningCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE = const StaticWarningCode('LIST_ELEMENT_TYPE_NOT_ASSIGNABLE', "The element type '{0}' cannot be assigned to the list type '{1}'");

/**

- * 12.7 Map: A run-time map literal <K, V> [k1 :

- * e1 … kn : en] is evaluated as

- * follows:

- * * The operator []= is invoked on m with first argument ki and second

- * argument ei, 1 <= i <= n

+ * 12.7 Map: A run-time map literal <K, V>

+ * [k1 : e1 … kn

+ * : en] is evaluated as follows:

+ * * The operator []= is invoked on m with first argument

+ * ki and second argument ei, 1 <=

+ * i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

- static const StaticWarningCode MAP_KEY_TYPE_NOT_ASSIGNABLE = const StaticWarningCode.con1('MAP_KEY_TYPE_NOT_ASSIGNABLE', 43, "The element type '{0}' cannot be assigned to the map key type '{1}'");

+ static const StaticWarningCode MAP_KEY_TYPE_NOT_ASSIGNABLE = const StaticWarningCode('MAP_KEY_TYPE_NOT_ASSIGNABLE', "The element type '{0}' cannot be assigned to the map key type '{1}'");

/**

- * 12.7 Map: A run-time map literal <K, V> [k1 :

- * e1 … kn : en] is evaluated as

- * follows:

- * * The operator []= is invoked on m with first argument ki and second

- * argument ei, 1 <= i <= n

+ * 12.7 Map: A run-time map literal <K, V>

+ * [k1 : e1 … kn

+ * : en] is evaluated as follows:

+ * * The operator []= is invoked on m with first argument

+ * ki and second argument ei, 1 <=

+ * i <= n

- * 12.14.2 Binding Actuals to Formals: Let Ti be the static type of

- * ai, let Si be the type of pi, 1 <= i <=

- * n+k and let Sq be the type of the named parameter q of f.

- * It is a static warning if Tj may not be assigned to Sj, 1 <=

- * j <= m.

+ * 12.14.2 Binding Actuals to Formals: Let Ti be the static

+ * type of ai, let Si be the type of

+ * pi, 1 <= i <= n+k and let Sq be

+ * the type of the named parameter q of f. It is a static

+ * warning if Tj may not be assigned to Sj, 1

+ * <= j <= m.

- static const StaticWarningCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const StaticWarningCode.con1('MAP_VALUE_TYPE_NOT_ASSIGNABLE', 44, "The element type '{0}' cannot be assigned to the map value type '{1}'");

+ static const StaticWarningCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const StaticWarningCode('MAP_VALUE_TYPE_NOT_ASSIGNABLE', "The element type '{0}' cannot be assigned to the map value type '{1}'");

/**

- * 7.3 Setters: It is a static warning if a class has a setter named v= with argument type

- * T and a getter named v with return type S, and T may not be

- * assigned to S.

+ * 7.3 Setters: It is a static warning if a class has a setter named v=

+ * with argument type T and a getter named v with return type

+ * S, and T may not be assigned to S.

- static const StaticWarningCode MISMATCHED_GETTER_AND_SETTER_TYPES = const StaticWarningCode.con1('MISMATCHED_GETTER_AND_SETTER_TYPES', 45, "The parameter type for setter '{0}' is '{1}' which is not assignable to its getter (of type '{2}')");

+ static const StaticWarningCode MISMATCHED_GETTER_AND_SETTER_TYPES = const StaticWarningCode('MISMATCHED_GETTER_AND_SETTER_TYPES', "The parameter type for setter '{0}' is '{1}' which is not assignable to its getter (of type '{2}')");

/**

- * 7.3 Setters: It is a static warning if a class has a setter named v= with argument type

- * T and a getter named v with return type S, and T may not be

- * assigned to S.

+ * 7.3 Setters: It is a static warning if a class has a setter named v=

+ * with argument type T and a getter named v with return type

+ * S, and T may not be assigned to S.

- static const StaticWarningCode MISMATCHED_GETTER_AND_SETTER_TYPES_FROM_SUPERTYPE = const StaticWarningCode.con1('MISMATCHED_GETTER_AND_SETTER_TYPES_FROM_SUPERTYPE', 46, "The parameter type for setter '{0}' is '{1}' which is not assignable to its getter (of type '{2}'), from superclass '{3}'");

+ static const StaticWarningCode MISMATCHED_GETTER_AND_SETTER_TYPES_FROM_SUPERTYPE = const StaticWarningCode('MISMATCHED_GETTER_AND_SETTER_TYPES_FROM_SUPERTYPE', "The parameter type for setter '{0}' is '{1}' which is not assignable to its getter (of type '{2}'), from superclass '{3}'");

/**

- * 13.12 Return: It is a static warning if a function contains both one or more return statements

- * of the form return; and one or more return statements of the form return e;.

+ * 13.12 Return: It is a static warning if a function contains both one or

+ * more return statements of the form return; and one or more return

+ * statements of the form return e;.

- static const StaticWarningCode MIXED_RETURN_TYPES = const StaticWarningCode.con1('MIXED_RETURN_TYPES', 47, "Methods and functions cannot use return both with and without values");

+ static const StaticWarningCode MIXED_RETURN_TYPES = const StaticWarningCode('MIXED_RETURN_TYPES', "Methods and functions cannot use return both with and without values");

/**

- * 12.11.1 New: It is a static warning if q is a constructor of an abstract class and

- * q is not a factory constructor.

+ * 12.11.1 New: It is a static warning if q is a constructor of an

+ * abstract class and q is not a factory constructor.

- static const StaticWarningCode NEW_WITH_ABSTRACT_CLASS = const StaticWarningCode.con1('NEW_WITH_ABSTRACT_CLASS', 48, "Abstract classes cannot be created with a 'new' expression");

+ static const StaticWarningCode NEW_WITH_ABSTRACT_CLASS = const StaticWarningCode('NEW_WITH_ABSTRACT_CLASS', "Abstract classes cannot be created with a 'new' expression");

/**

- * 15.8 Parameterized Types: Any use of a malbounded type gives rise to a static warning.

+ * 15.8 Parameterized Types: Any use of a malbounded type gives rise to a

+ * static warning.

* @param typeName the name of the type being referenced (S)

* @param parameterCount the number of type parameters that were declared

* @param argumentCount the number of type arguments provided

- * @see CompileTimeErrorCode#CONST_WITH_INVALID_TYPE_PARAMETERS

- * @see StaticTypeWarningCode#WRONG_NUMBER_OF_TYPE_ARGUMENTS

+ * @see [CompileTimeErrorCode.CONST_WITH_INVALID_TYPE_PARAMETERS]

+ * @see [StaticTypeWarningCode.WRONG_NUMBER_OF_TYPE_ARGUMENTS]

- static const StaticWarningCode NEW_WITH_INVALID_TYPE_PARAMETERS = const StaticWarningCode.con1('NEW_WITH_INVALID_TYPE_PARAMETERS', 49, "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

+ static const StaticWarningCode NEW_WITH_INVALID_TYPE_PARAMETERS = const StaticWarningCode('NEW_WITH_INVALID_TYPE_PARAMETERS', "The type '{0}' is declared with {1} type parameters, but {2} type arguments were given");

/**

- * 12.11.1 New: It is a static warning if T is not a class accessible in the current scope,

- * optionally followed by type arguments.

+ * 12.11.1 New: It is a static warning if T is not a class accessible

+ * in the current scope, optionally followed by type arguments.

* @param name the name of the non-type element

- static const StaticWarningCode NEW_WITH_NON_TYPE = const StaticWarningCode.con1('NEW_WITH_NON_TYPE', 50, "The name '{0}' is not a class");

+ static const StaticWarningCode NEW_WITH_NON_TYPE = const StaticWarningCode('NEW_WITH_NON_TYPE', "The name '{0}' is not a class");

/**

- * 12.11.1 New: If T is a class or parameterized type accessible in the current scope then:

- * 1. If e is of the form new T.id(a1, …, an,

- * xn+1: an+1, …, xn+k: an+k) it is a

- * static warning if T.id is not the name of a constructor declared by the type T.

- * If e of the form new T(a1, …, an, xn+1:

- * an+1, …, xn+k: an+kM/sub>) it is a static warning if the

- * type T does not declare a constructor with the same name as the declaration of T.

+ * 12.11.1 New: If T is a class or parameterized type accessible in the

+ * current scope then:

+ * 1. If e is of the form new T.id(a1, …,

+ * an, xn+1: an+1, …,

+ * xn+k: an+k) it is a static warning if

+ * T.id is not the name of a constructor declared by the type

+ * T.

+ * If e of the form new T(a1, …, an,

+ * xn+1: an+1, …, xn+k:

+ * an+kM/sub>) it is a static warning if the type T does not

+ * declare a constructor with the same name as the declaration of T.

- static const StaticWarningCode NEW_WITH_UNDEFINED_CONSTRUCTOR = const StaticWarningCode.con1('NEW_WITH_UNDEFINED_CONSTRUCTOR', 51, "The class '{0}' does not have a constructor '{1}'");

+ static const StaticWarningCode NEW_WITH_UNDEFINED_CONSTRUCTOR = const StaticWarningCode('NEW_WITH_UNDEFINED_CONSTRUCTOR', "The class '{0}' does not have a constructor '{1}'");

/**

- * 12.11.1 New: If T is a class or parameterized type accessible in the current scope then:

- * 1. If e is of the form new T.id(a1, …, an,

- * xn+1: an+1, …, xn+k: an+k) it is a

- * static warning if T.id is not the name of a constructor declared by the type T.

- * If e of the form new T(a1, …, an, xn+1:

- * an+1, …, xn+k: an+kM/sub>) it is a static warning if the

- * type T does not declare a constructor with the same name as the declaration of T.

+ * 12.11.1 New: If T is a class or parameterized type accessible in the

+ * current scope then:

+ * 1. If e is of the form new T.id(a1, …,

+ * an, xn+1: an+1, …, xn+k:

+ * an+k) it is a static warning if T.id is not the name

+ * of a constructor declared by the type T. If e of the form

+ * new T(a1, …, an, xn+1:

+ * an+1, …, xn+k: an+kM/sub>) it is a

+ * static warning if the type T does not declare a constructor with the

+ * same name as the declaration of T.

- static const StaticWarningCode NEW_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT = const StaticWarningCode.con1('NEW_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT', 52, "The class '{0}' does not have a default constructor");

+ static const StaticWarningCode NEW_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT = const StaticWarningCode('NEW_WITH_UNDEFINED_CONSTRUCTOR_DEFAULT', "The class '{0}' does not have a default constructor");

/**

- * 7.9.1 Inheritance and Overriding: It is a static warning if a non-abstract class inherits an

- * abstract method.

+ * 7.9.1 Inheritance and Overriding: It is a static warning if a non-abstract

+ * class inherits an abstract method.

- * 7.10 Superinterfaces: Let C be a concrete class that does not declare its own

- * noSuchMethod() method. It is a static warning if the implicit interface of C

- * includes an instance member m of type F and C does not declare or inherit

- * a corresponding instance member m of type F' such that F' <: F.

+ * 7.10 Superinterfaces: Let C be a concrete class that does not

+ * declare its own noSuchMethod() method. It is a static warning if the

+ * implicit interface of C includes an instance member m of type

+ * F and C does not declare or inherit a corresponding instance

+ * member m of type F' such that F' <: F.

- * 7.4 Abstract Instance Members: It is a static warning if an abstract member is declared or

- * inherited in a concrete class unless that member overrides a concrete one.

+ * 7.4 Abstract Instance Members: It is a static warning if an abstract member

+ * is declared or inherited in a concrete class unless that member overrides a

+ * concrete one.

* @param memberName the name of the first member

* @param memberName the name of the second member

* @param memberName the name of the third member

* @param memberName the name of the fourth member

- * @param additionalCount the number of additional missing members that aren't listed

+ * @param additionalCount the number of additional missing members that aren't

+ * listed

- static const StaticWarningCode NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_FIVE_PLUS = const StaticWarningCode.con1('NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_FIVE_PLUS', 53, "Missing concrete implementation of {0}, {1}, {2}, {3} and {4} more");

+ static const StaticWarningCode NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_FIVE_PLUS = const StaticWarningCode('NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_FIVE_PLUS', "Missing concrete implementation of {0}, {1}, {2}, {3} and {4} more");