Index: sdk/lib/_internal/compiler/implementation/warnings.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/warnings.dart b/sdk/lib/_internal/compiler/implementation/warnings.dart |
deleted file mode 100644 |
index d6945d2819ab634a6959fdecb21498602ebd525c..0000000000000000000000000000000000000000 |
--- a/sdk/lib/_internal/compiler/implementation/warnings.dart |
+++ /dev/null |
@@ -1,2243 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-part of dart2js; |
- |
-const DONT_KNOW_HOW_TO_FIX = ""; |
- |
-/** |
- * The messages in this file should meet the following guide lines: |
- * |
- * 1. The message should be a complete sentence starting with an uppercase |
- * letter, and ending with a period. |
- * |
- * 2. Reserved words and embedded identifiers should be in single quotes, so |
- * prefer double quotes for the complete message. For example, "The |
- * class '#{className}' can't use 'super'." Notice that the word 'class' in the |
- * preceding message is not quoted as it refers to the concept 'class', not the |
- * reserved word. On the other hand, 'super' refers to the reserved word. Do |
- * not quote 'null' and numeric literals. |
- * |
- * 3. Do not try to compose messages, as it can make translating them hard. |
- * |
- * 4. Try to keep the error messages short, but informative. |
- * |
- * 5. Use simple words and terminology, assume the reader of the message |
- * doesn't have an advanced degree in math, and that English is not the |
- * reader's native language. Do not assume any formal computer science |
- * training. For example, do not use Latin abbreviations (prefer "that is" over |
- * "i.e.", and "for example" over "e.g."). Also avoid phrases such as "if and |
- * only if" and "iff", that level of precision is unnecessary. |
- * |
- * 6. Prefer contractions when they are in common use, for example, prefer |
- * "can't" over "cannot". Using "cannot", "must not", "shall not", etc. is |
- * off-putting to people new to programming. |
- * |
- * 7. Use common terminology, preferably from the Dart Language |
- * Specification. This increases the user's chance of finding a good |
- * explanation on the web. |
- * |
- * 8. Do not try to be cute or funny. It is extremely frustrating to work on a |
- * product that crashes with a "tongue-in-cheek" message, especially if you did |
- * not want to use this product to begin with with. |
- * |
- * 9. Do not lie, that is, do not write error messages containing phrases like |
- * "can't happen". If the user ever saw this message, it would be a |
- * lie. Prefer messages like: "Internal error: This function should not be |
- * called when 'x' is null.". |
- * |
- * 10. Prefer to not use imperative tone. That is, the message should not sound |
- * accusing or like it is ordering the user around. The computer should |
- * describe the problem, not criticize for violating the specification. |
- * |
- * Other things to keep in mind: |
- * |
- * An INFO message should always be preceded by a non-INFO message, and the |
- * INFO messages are additional details about the preceding non-INFO |
- * message. For example, consider duplicated elements. First report a WARNING |
- * or ERROR about the duplicated element, and then report an INFO about the |
- * location of the existing element. |
- * |
- * Generally, we want to provide messages that consists of three sentences: |
- * 1. what is wrong, 2. why is it wrong, 3. how do I fix it. However, we |
- * combine the first two in [template] and the last in [howToFix]. |
- */ |
-// TODO(johnnniwinther): For Infos, consider adding a reference to the |
-// error/warning/hint that they belong to. |
-class MessageKind { |
- /// Should describe what is wrong and why. |
- final String template; |
- |
- /// Should describe how to fix the problem. Elided when using --terse option. |
- final String howToFix; |
- |
- /** |
- * Examples will be checked by |
- * tests/compiler/dart2js/message_kind_test.dart. |
- * |
- * An example is either a String containing the example source code or a Map |
- * from filenames to source code. In the latter case, the filename for the |
- * main library code must be 'main.dart'. |
- */ |
- final List examples; |
- |
- /// Additional options needed for the examples to work. |
- final List<String> options; |
- |
- const MessageKind(this.template, |
- {this.howToFix, |
- this.examples, |
- this.options: const <String>[]}); |
- |
- /// Do not use this. It is here for legacy and debugging. It violates item 4 |
- /// above. |
- static const MessageKind GENERIC = const MessageKind('#{text}'); |
- |
- static const MessageKind NOT_ASSIGNABLE = const MessageKind( |
- "'#{fromType}' is not assignable to '#{toType}'."); |
- |
- static const MessageKind VOID_EXPRESSION = const MessageKind( |
- "Expression does not yield a value."); |
- |
- static const MessageKind VOID_VARIABLE = const MessageKind( |
- "Variable cannot be of type void."); |
- |
- static const MessageKind RETURN_VALUE_IN_VOID = const MessageKind( |
- "Cannot return value from void function."); |
- |
- static const MessageKind RETURN_NOTHING = const MessageKind( |
- "Value of type '#{returnType}' expected."); |
- |
- static const MessageKind MISSING_ARGUMENT = const MessageKind( |
- "Missing argument of type '#{argumentType}'."); |
- |
- static const MessageKind ADDITIONAL_ARGUMENT = const MessageKind( |
- "Additional argument."); |
- |
- static const MessageKind NAMED_ARGUMENT_NOT_FOUND = const MessageKind( |
- "No named argument '#{argumentName}' found on method."); |
- |
- static const MessageKind MEMBER_NOT_FOUND = const MessageKind( |
- "No member named '#{memberName}' in class '#{className}'."); |
- |
- static const MessageKind METHOD_NOT_FOUND = const MessageKind( |
- "No method named '#{memberName}' in class '#{className}'."); |
- |
- static const MessageKind OPERATOR_NOT_FOUND = const MessageKind( |
- "No operator '#{memberName}' in class '#{className}'."); |
- |
- static const MessageKind SETTER_NOT_FOUND = const MessageKind( |
- "No setter named '#{memberName}' in class '#{className}'."); |
- |
- static const MessageKind GETTER_NOT_FOUND = const MessageKind( |
- "No getter named '#{memberName}' in class '#{className}'."); |
- |
- static const MessageKind NOT_CALLABLE = const MessageKind( |
- "'#{elementName}' is not callable."); |
- |
- static const MessageKind MEMBER_NOT_STATIC = const MessageKind( |
- "'#{className}.#{memberName}' is not static."); |
- |
- static const MessageKind NO_INSTANCE_AVAILABLE = const MessageKind( |
- "'#{name}' is only available in instance methods."); |
- |
- static const MessageKind PRIVATE_ACCESS = const MessageKind( |
- "'#{name}' is declared private within library " |
- "'#{libraryName}'."); |
- |
- static const MessageKind THIS_IS_THE_DECLARATION = const MessageKind( |
- "This is the declaration of '#{name}'."); |
- |
- static const MessageKind THIS_IS_THE_METHOD = const MessageKind( |
- "This is the method declaration."); |
- |
- static const MessageKind CANNOT_RESOLVE = const MessageKind( |
- "Cannot resolve '#{name}'."); |
- |
- static const MessageKind CANNOT_RESOLVE_CONSTRUCTOR = const MessageKind( |
- "Cannot resolve constructor '#{constructorName}'."); |
- |
- static const MessageKind CANNOT_RESOLVE_CONSTRUCTOR_FOR_IMPLICIT = |
- const MessageKind("cannot resolve constructor '#{constructorName}'" |
- " for implicit super call.", |
- howToFix: "Try explicitly invoking a constructor of the super class", |
- examples: const [""" |
-class A { |
- A.foo() {} |
-} |
-class B extends A { |
- B(); |
-} |
-main() => new B(); |
-"""]); |
- |
- static const MessageKind INVALID_UNNAMED_CONSTRUCTOR_NAME = const MessageKind( |
- "Unnamed constructor name must be '#{name}'."); |
- |
- static const MessageKind INVALID_CONSTRUCTOR_NAME = const MessageKind( |
- "Constructor name must start with '#{name}'."); |
- |
- static const MessageKind CANNOT_RESOLVE_TYPE = const MessageKind( |
- "Cannot resolve type '#{typeName}'."); |
- |
- static const MessageKind DUPLICATE_DEFINITION = const MessageKind( |
- "Duplicate definition of '#{name}'."); |
- |
- static const MessageKind EXISTING_DEFINITION = const MessageKind( |
- "Existing definition of '#{name}'."); |
- |
- static const MessageKind DUPLICATE_IMPORT = const MessageKind( |
- "Duplicate import of '#{name}'."); |
- |
- static const MessageKind HIDDEN_IMPORT = const MessageKind( |
- "'#{name}' from library '#{hiddenUri}' is hidden by '#{name}' " |
- "from library '#{hidingUri}'.", |
- howToFix: "Try adding 'hide #{name}' to the import of '#{hiddenUri}'.", |
- examples: const [ |
- const { |
-'main.dart': |
-""" |
-import 'dart:async'; // This imports a class Future. |
-import 'future.dart'; |
- |
-void main() => new Future();""", |
- |
-'future.dart': |
-""" |
-library future; |
- |
-class Future {}"""}, |
- |
- const { |
-'main.dart': |
-""" |
-import 'future.dart'; |
-import 'dart:async'; // This imports a class Future. |
- |
-void main() => new Future();""", |
- |
-'future.dart': |
-""" |
-library future; |
- |
-class Future {}"""}, |
- |
- const { |
-'main.dart': |
-""" |
-import 'export.dart'; |
-import 'dart:async'; // This imports a class Future. |
- |
-void main() => new Future();""", |
- |
-'future.dart': |
-""" |
-library future; |
- |
-class Future {}""", |
- |
-'export.dart': |
-""" |
-library export; |
- |
-export 'future.dart';"""}, |
- |
- const { |
-'main.dart': |
-""" |
-import 'future.dart' as prefix; |
-import 'dart:async' as prefix; // This imports a class Future. |
- |
-void main() => new prefix.Future();""", |
- |
-'future.dart': |
-""" |
-library future; |
- |
-class Future {}"""}]); |
- |
- |
- static const MessageKind HIDDEN_IMPLICIT_IMPORT = const MessageKind( |
- "'#{name}' from library '#{hiddenUri}' is hidden by '#{name}' " |
- "from library '#{hidingUri}'.", |
- howToFix: "Try adding an explicit " |
- "'import \"#{hiddenUri}\" hide #{name}'.", |
- examples: const [ |
- const { |
-'main.dart': |
-""" |
-// This hides the implicit import of class Type from dart:core. |
-import 'type.dart'; |
- |
-void main() => new Type();""", |
- |
-'type.dart': |
-""" |
-library type; |
- |
-class Type {}"""}, |
- const { |
-'conflictsWithDart.dart': |
-""" |
-library conflictsWithDart; |
- |
-class Duration { |
- static var x = 100; |
-} |
-""", |
- |
-'conflictsWithDartAsWell.dart': |
-""" |
-library conflictsWithDartAsWell; |
- |
-class Duration { |
- static var x = 100; |
-} |
-""", |
- |
-'main.dart': |
-r""" |
-library testDartConflicts; |
- |
-import 'conflictsWithDart.dart'; |
-import 'conflictsWithDartAsWell.dart'; |
- |
-main() { |
- print("Hail Caesar ${Duration.x}"); |
-} |
-"""}]); |
- |
- static const MessageKind DUPLICATE_EXPORT = const MessageKind( |
- "Duplicate export of '#{name}'.", |
- howToFix: "Trying adding 'hide #{name}' to one of the exports.", |
- examples: const [const { |
-'main.dart': """ |
-export 'decl1.dart'; |
-export 'decl2.dart'; |
- |
-main() {}""", |
-'decl1.dart': "class Class {}", |
-'decl2.dart': "class Class {}"}]); |
- |
- static const MessageKind DUPLICATE_EXPORT_CONT = const MessageKind( |
- "This is another export of '#{name}'."); |
- |
- static const MessageKind DUPLICATE_EXPORT_DECL = const MessageKind( |
- "The exported '#{name}' from export #{uriString} is defined here."); |
- |
- static const MessageKind NOT_A_TYPE = const MessageKind( |
- "'#{node}' is not a type."); |
- |
- static const MessageKind NOT_A_PREFIX = const MessageKind( |
- "'#{node}' is not a prefix."); |
- |
- static const MessageKind CANNOT_FIND_CONSTRUCTOR = const MessageKind( |
- "Cannot find constructor '#{constructorName}'."); |
- |
- static const MessageKind CYCLIC_CLASS_HIERARCHY = const MessageKind( |
- "'#{className}' creates a cycle in the class hierarchy."); |
- |
- static const MessageKind CYCLIC_REDIRECTING_FACTORY = const MessageKind( |
- 'Redirecting factory leads to a cyclic redirection.'); |
- |
- static const MessageKind INVALID_RECEIVER_IN_INITIALIZER = const MessageKind( |
- "Field initializer expected."); |
- |
- static const MessageKind NO_SUPER_IN_STATIC = const MessageKind( |
- "'super' is only available in instance methods."); |
- |
- static const MessageKind DUPLICATE_INITIALIZER = const MessageKind( |
- "Field '#{fieldName}' is initialized more than once."); |
- |
- static const MessageKind ALREADY_INITIALIZED = const MessageKind( |
- "'#{fieldName}' was already initialized here."); |
- |
- static const MessageKind INIT_STATIC_FIELD = const MessageKind( |
- "Cannot initialize static field '#{fieldName}'."); |
- |
- static const MessageKind NOT_A_FIELD = const MessageKind( |
- "'#{fieldName}' is not a field."); |
- |
- static const MessageKind CONSTRUCTOR_CALL_EXPECTED = const MessageKind( |
- "only call to 'this' or 'super' constructor allowed."); |
- |
- static const MessageKind INVALID_FOR_IN = const MessageKind( |
- "Invalid for-in variable declaration."); |
- |
- static const MessageKind INVALID_INITIALIZER = const MessageKind( |
- "Invalid initializer."); |
- |
- static const MessageKind FUNCTION_WITH_INITIALIZER = const MessageKind( |
- "Only constructors can have initializers."); |
- |
- static const MessageKind REDIRECTING_CONSTRUCTOR_CYCLE = const MessageKind( |
- "Cyclic constructor redirection."); |
- |
- static const MessageKind REDIRECTING_CONSTRUCTOR_HAS_BODY = const MessageKind( |
- "Redirecting constructor can't have a body."); |
- |
- static const MessageKind CONST_CONSTRUCTOR_HAS_BODY = const MessageKind( |
- "Const constructor or factory can't have a body.", |
- howToFix: "Remove the 'const' keyword or the body", |
- examples: const [""" |
-class C { |
- const C() {} |
-} |
- |
-main() => new C();"""]); |
- |
- static const MessageKind REDIRECTING_CONSTRUCTOR_HAS_INITIALIZER = |
- const MessageKind( |
- "Redirecting constructor cannot have other initializers."); |
- |
- static const MessageKind SUPER_INITIALIZER_IN_OBJECT = const MessageKind( |
- "'Object' cannot have a super initializer."); |
- |
- static const MessageKind DUPLICATE_SUPER_INITIALIZER = const MessageKind( |
- "Cannot have more than one super initializer."); |
- |
- static const MessageKind INVALID_CONSTRUCTOR_ARGUMENTS = const MessageKind( |
- "Arguments do not match the expected parameters of constructor " |
- "'#{constructorName}'."); |
- |
- static const MessageKind NO_MATCHING_CONSTRUCTOR = const MessageKind( |
- "'super' call arguments and constructor parameters do not match."); |
- |
- static const MessageKind NO_MATCHING_CONSTRUCTOR_FOR_IMPLICIT = |
- const MessageKind( |
- "Implicit 'super' call arguments and constructor parameters " |
- "do not match."); |
- |
- static const MessageKind CONST_CALLS_NON_CONST = const MessageKind( |
- "'const' constructor cannot call a non-const constructor."); |
- |
- static const MessageKind CONST_CONSTRUCTOR_WITH_NONFINAL_FIELDS = |
- const MessageKind( |
- "Can't declare constructor 'const' on class #{className} " |
- "because the class contains non-final instance fields.", |
- howToFix: "Try making all fields final.", |
- examples: const [""" |
-class C { |
- // 'a' must be declared final to allow for the const constructor. |
- var a; |
- const C(this.a); |
-} |
- |
-main() => new C(0);"""]); |
- |
- static const MessageKind CONST_CONSTRUCTOR_WITH_NONFINAL_FIELDS_FIELD = |
- const MessageKind("This non-final field prevents using const " |
- "constructors."); |
- |
- static const MessageKind CONST_CONSTRUCTOR_WITH_NONFINAL_FIELDS_CONSTRUCTOR = |
- const MessageKind("This const constructor is not allowed due to " |
- "non-final fields."); |
- |
- |
- static const MessageKind INITIALIZING_FORMAL_NOT_ALLOWED = const MessageKind( |
- "Initializing formal parameter only allowed in generative " |
- "constructor."); |
- |
- static const MessageKind INVALID_PARAMETER = const MessageKind( |
- "Cannot resolve parameter."); |
- |
- static const MessageKind NOT_INSTANCE_FIELD = const MessageKind( |
- "'#{fieldName}' is not an instance field."); |
- |
- static const MessageKind NO_CATCH_NOR_FINALLY = const MessageKind( |
- "Expected 'catch' or 'finally'."); |
- |
- static const MessageKind EMPTY_CATCH_DECLARATION = const MessageKind( |
- "Expected an identifier in catch declaration."); |
- |
- static const MessageKind EXTRA_CATCH_DECLARATION = const MessageKind( |
- "Extra parameter in catch declaration."); |
- |
- static const MessageKind PARAMETER_WITH_TYPE_IN_CATCH = const MessageKind( |
- "Cannot use type annotations in catch."); |
- |
- static const MessageKind PARAMETER_WITH_MODIFIER_IN_CATCH = const MessageKind( |
- "Cannot use modifiers in catch."); |
- |
- static const MessageKind OPTIONAL_PARAMETER_IN_CATCH = const MessageKind( |
- "Cannot use optional parameters in catch."); |
- |
- static const MessageKind THROW_WITHOUT_EXPRESSION = const MessageKind( |
- "Cannot use re-throw outside of catch block " |
- "(expression expected after 'throw')."); |
- |
- static const MessageKind UNBOUND_LABEL = const MessageKind( |
- "Cannot resolve label '#{labelName}'."); |
- |
- static const MessageKind NO_BREAK_TARGET = const MessageKind( |
- "'break' statement not inside switch or loop."); |
- |
- static const MessageKind NO_CONTINUE_TARGET = const MessageKind( |
- "'continue' statement not inside loop."); |
- |
- static const MessageKind EXISTING_LABEL = const MessageKind( |
- "Original declaration of duplicate label '#{labelName}'."); |
- |
- static const MessageKind DUPLICATE_LABEL = const MessageKind( |
- "Duplicate declaration of label '#{labelName}'."); |
- |
- static const MessageKind UNUSED_LABEL = const MessageKind( |
- "Unused label '#{labelName}'."); |
- |
- static const MessageKind INVALID_CONTINUE = const MessageKind( |
- "Target of continue is not a loop or switch case."); |
- |
- static const MessageKind INVALID_BREAK = const MessageKind( |
- "Target of break is not a statement."); |
- |
- static const MessageKind DUPLICATE_TYPE_VARIABLE_NAME = const MessageKind( |
- "Type variable '#{typeVariableName}' already declared."); |
- |
- static const MessageKind TYPE_VARIABLE_WITHIN_STATIC_MEMBER = |
- const MessageKind( |
- "Cannot refer to type variable '#{typeVariableName}' " |
- "within a static member."); |
- |
- static const MessageKind TYPE_VARIABLE_IN_CONSTANT = const MessageKind( |
- "Constant expressions can't refer to type variables.", |
- howToFix: "Try removing the type variable or replacing it with a " |
- "concrete type.", |
- examples: const [""" |
-class C<T> { |
- const C(); |
- |
- m(T t) => const C<T>(); |
-} |
- |
-void main() => new C().m(null); |
-""" |
-]); |
- |
- |
- static const MessageKind INVALID_TYPE_VARIABLE_BOUND = const MessageKind( |
- "'#{typeArgument}' is not a subtype of bound '#{bound}' for " |
- "type variable '#{typeVariable}' of type '#{thisType}'.", |
- howToFix: "Try to change or remove the type argument.", |
- examples: const [""" |
-class C<T extends num> {} |
- |
-// 'String' is not a valid instantiation of T with bound num.'. |
-main() => new C<String>(); |
-"""]); |
- |
- static const MessageKind INVALID_USE_OF_SUPER = const MessageKind( |
- "'super' not allowed here."); |
- |
- static const MessageKind INVALID_CASE_DEFAULT = const MessageKind( |
- "'default' only allowed on last case of a switch."); |
- |
- static const MessageKind SWITCH_CASE_TYPES_NOT_EQUAL = const MessageKind( |
- "'case' expressions do not all have type '#{type}'."); |
- |
- static const MessageKind SWITCH_CASE_TYPES_NOT_EQUAL_CASE = const MessageKind( |
- "'case' expression of type '#{type}'."); |
- |
- static const MessageKind SWITCH_CASE_FORBIDDEN = const MessageKind( |
- "'case' expression may not be of type '#{type}'."); |
- |
- static const MessageKind SWITCH_CASE_VALUE_OVERRIDES_EQUALS = |
- const MessageKind( |
- "'case' expression type '#{type}' overrides 'operator =='."); |
- |
- static const MessageKind INVALID_ARGUMENT_AFTER_NAMED = const MessageKind( |
- "Unnamed argument after named argument."); |
- |
- static const MessageKind NOT_A_COMPILE_TIME_CONSTANT = const MessageKind( |
- "Not a compile-time constant."); |
- |
- static const MessageKind DEFERRED_COMPILE_TIME_CONSTANT = const MessageKind( |
- "A Deferred value cannot be used as a compile-time constant."); |
- |
- static const MessageKind DEFERRED_COMPILE_TIME_CONSTANT_CONSTRUCTION = |
- const MessageKind("A deferred class cannot be used to create a" |
- "compile-time constant."); |
- |
- static const MessageKind CYCLIC_COMPILE_TIME_CONSTANTS = const MessageKind( |
- "Cycle in the compile-time constant computation."); |
- |
- static const MessageKind CONSTRUCTOR_IS_NOT_CONST = const MessageKind( |
- "Constructor is not a 'const' constructor."); |
- |
- static const MessageKind CONST_MAP_KEY_OVERRIDES_EQUALS = |
- const MessageKind( |
- "Const-map key type '#{type}' overrides 'operator =='."); |
- |
- static const MessageKind NO_SUCH_LIBRARY_MEMBER = const MessageKind( |
- "'#{libraryName}' has no member named '#{memberName}'."); |
- |
- static const MessageKind CANNOT_INSTANTIATE_TYPEDEF = const MessageKind( |
- "Cannot instantiate typedef '#{typedefName}'."); |
- |
- static const MessageKind REQUIRED_PARAMETER_WITH_DEFAULT = const MessageKind( |
- "Non-optional parameters can't have a default value.", |
- howToFix: |
- "Try removing the default value or making the parameter optional.", |
- examples: const [""" |
-main() { |
- foo(a: 1) => print(a); |
- foo(2); |
-}""", """ |
-main() { |
- foo(a = 1) => print(a); |
- foo(2); |
-}"""]); |
- |
- static const MessageKind NAMED_PARAMETER_WITH_EQUALS = const MessageKind( |
- "Named optional parameters can't use '=' to specify a default " |
- "value.", |
- howToFix: "Try replacing '=' with ':'.", |
- examples: const [""" |
-main() { |
- foo({a = 1}) => print(a); |
- foo(a: 2); |
-}"""]); |
- |
- static const MessageKind POSITIONAL_PARAMETER_WITH_EQUALS = const MessageKind( |
- "Positional optional parameters can't use ':' to specify a " |
- "default value.", |
- howToFix: "Try replacing ':' with '='.", |
- examples: const [""" |
-main() { |
- foo([a: 1]) => print(a); |
- foo(2); |
-}"""]); |
- |
- static const MessageKind TYPEDEF_FORMAL_WITH_DEFAULT = const MessageKind( |
- "A parameter of a typedef can't specify a default value.", |
- howToFix: |
- "Try removing the default value.", |
- examples: const [""" |
-typedef void F([int arg = 0]); |
- |
-main() { |
- F f; |
-}""", """ |
-typedef void F({int arg: 0}); |
- |
-main() { |
- F f; |
-}"""]); |
- |
- static const MessageKind FUNCTION_TYPE_FORMAL_WITH_DEFAULT = const MessageKind( |
- "A function type parameter can't specify a default value.", |
- howToFix: |
- "Try removing the default value.", |
- examples: const [""" |
-foo(f(int i, [a = 1])) {} |
- |
-main() { |
- foo(1, 2); |
-}""", """ |
-foo(f(int i, {a: 1})) {} |
- |
-main() { |
- foo(1, a: 2); |
-}"""]); |
- |
- static const MessageKind REDIRECTING_FACTORY_WITH_DEFAULT = const MessageKind( |
- "A parameter of a redirecting factory constructor can't specify a " |
- "default value.", |
- howToFix: |
- "Try removing the default value.", |
- examples: const [""" |
-class A { |
- A([a]); |
- factory A.foo([a = 1]) = A; |
-} |
- |
-main() { |
- new A.foo(1); |
-}""", """ |
-class A { |
- A({a}); |
- factory A.foo({a: 1}) = A; |
-} |
- |
-main() { |
- new A.foo(a: 1); |
-}"""]); |
- |
- static const MessageKind FORMAL_DECLARED_CONST = const MessageKind( |
- "A formal parameter can't be declared const.", |
- howToFix: "Try removing 'const'.", |
- examples: const [""" |
-foo(const x) {} |
-main() => foo(42); |
-""", """ |
-foo({const x}) {} |
-main() => foo(42); |
-""", """ |
-foo([const x]) {} |
-main() => foo(42); |
-"""]); |
- |
- static const MessageKind FORMAL_DECLARED_STATIC = const MessageKind( |
- "A formal parameter can't be declared static.", |
- howToFix: "Try removing 'static'.", |
- examples: const [""" |
-foo(static x) {} |
-main() => foo(42); |
-""", """ |
-foo({static x}) {} |
-main() => foo(42); |
-""", """ |
-foo([static x]) {} |
-main() => foo(42); |
-"""]); |
- |
- static const MessageKind FINAL_FUNCTION_TYPE_PARAMETER = const MessageKind( |
- "A function type parameter can't be declared final.", |
- howToFix: "Try removing 'final'.", |
- examples: const [""" |
-foo(final int x(int a)) {} |
-main() => foo((y) => 42); |
-""", """ |
-foo({final int x(int a)}) {} |
-main() => foo((y) => 42); |
-""", """ |
-foo([final int x(int a)]) {} |
-main() => foo((y) => 42); |
-"""]); |
- |
- static const MessageKind VAR_FUNCTION_TYPE_PARAMETER = const MessageKind( |
- "A function type parameter can't be declared with 'var'.", |
- howToFix: "Try removing 'var'.", |
- examples: const [""" |
-foo(var int x(int a)) {} |
-main() => foo((y) => 42); |
-""", """ |
-foo({var int x(int a)}) {} |
-main() => foo((y) => 42); |
-""", """ |
-foo([var int x(int a)]) {} |
-main() => foo((y) => 42); |
-"""]); |
- |
- static const MessageKind CANNOT_INSTANTIATE_TYPE_VARIABLE = const MessageKind( |
- "Cannot instantiate type variable '#{typeVariableName}'."); |
- |
- static const MessageKind CYCLIC_TYPE_VARIABLE = const MessageKind( |
- "Type variable '#{typeVariableName}' is a supertype of itself."); |
- |
- static const CYCLIC_TYPEDEF = const MessageKind( |
- "A typedef can't refer to itself.", |
- howToFix: "Try removing all references to '#{typedefName}' " |
- "in the definition of '#{typedefName}'.", |
- examples: const [""" |
-typedef F F(); // The return type 'F' is a self-reference. |
-main() { F f = null; }"""]); |
- |
- static const CYCLIC_TYPEDEF_ONE = const MessageKind( |
- "A typedef can't refer to itself through another typedef.", |
- howToFix: "Try removing all references to " |
- "'#{otherTypedefName}' in the definition of '#{typedefName}'.", |
- examples: const [""" |
-typedef G F(); // The return type 'G' is a self-reference through typedef 'G'. |
-typedef F G(); // The return type 'F' is a self-reference through typedef 'F'. |
-main() { F f = null; }""", |
-""" |
-typedef G F(); // The return type 'G' creates a self-reference. |
-typedef H G(); // The return type 'H' creates a self-reference. |
-typedef H(F f); // The argument type 'F' creates a self-reference. |
-main() { F f = null; }"""]); |
- |
- static const MessageKind CLASS_NAME_EXPECTED = const MessageKind( |
- "Class name expected."); |
- |
- static const MessageKind CANNOT_EXTEND = const MessageKind( |
- "'#{type}' cannot be extended."); |
- |
- static const MessageKind CANNOT_IMPLEMENT = const MessageKind( |
- "'#{type}' cannot be implemented."); |
- |
- // TODO(johnnwinther): Split messages into reasons for malformedness. |
- static const MessageKind CANNOT_EXTEND_MALFORMED = const MessageKind( |
- "Class '#{className}' can't extend the type '#{malformedType}' because " |
- "it is malformed.", |
- howToFix: "Try correcting the malformed type annotation or removing the " |
- "'extends' clause.", |
- examples: const [""" |
-class A extends Malformed {} |
-main() => new A();"""]); |
- |
- static const MessageKind CANNOT_IMPLEMENT_MALFORMED = const MessageKind( |
- "Class '#{className}' can't implement the type '#{malformedType}' " |
- "because it is malformed.", |
- howToFix: "Try correcting the malformed type annotation or removing the " |
- "type from the 'implements' clause.", |
- examples: const [""" |
-class A implements Malformed {} |
-main() => new A();"""]); |
- |
- static const MessageKind CANNOT_MIXIN_MALFORMED = const MessageKind( |
- "Class '#{className}' can't mixin the type '#{malformedType}' because it " |
- "is malformed.", |
- howToFix: "Try correcting the malformed type annotation or removing the " |
- "type from the 'with' clause.", |
- examples: const [""" |
-class A extends Object with Malformed {} |
-main() => new A();"""]); |
- |
- static const MessageKind CANNOT_MIXIN = const MessageKind( |
- "The type '#{type}' can't be mixed in.", |
- howToFix: "Try removing '#{type}' from the 'with' clause.", |
- examples: const [""" |
-class C extends Object with String {} |
- |
-main() => new C(); |
-""", """ |
-typedef C = Object with String; |
- |
-main() => new C(); |
-"""]); |
- |
- static const MessageKind DUPLICATE_EXTENDS_IMPLEMENTS = const MessageKind( |
- "'#{type}' can not be both extended and implemented."); |
- |
- static const MessageKind DUPLICATE_IMPLEMENTS = const MessageKind( |
- "'#{type}' must not occur more than once " |
- "in the implements clause."); |
- |
- static const MessageKind MULTI_INHERITANCE = const MessageKind( |
- "Dart2js does not currently support inheritance of the same class with " |
- "different type arguments: Both #{firstType} and #{secondType} are " |
- "supertypes of #{thisType}."); |
- |
- static const MessageKind ILLEGAL_SUPER_SEND = const MessageKind( |
- "'#{name}' cannot be called on super."); |
- |
- static const MessageKind NO_SUCH_SUPER_MEMBER = const MessageKind( |
- "Cannot resolve '#{memberName}' in a superclass of '#{className}'."); |
- |
- static const MessageKind ADDITIONAL_TYPE_ARGUMENT = const MessageKind( |
- "Additional type argument."); |
- |
- static const MessageKind MISSING_TYPE_ARGUMENT = const MessageKind( |
- "Missing type argument."); |
- |
- // TODO(johnniwinther): Use ADDITIONAL_TYPE_ARGUMENT or MISSING_TYPE_ARGUMENT |
- // instead. |
- static const MessageKind TYPE_ARGUMENT_COUNT_MISMATCH = const MessageKind( |
- "Incorrect number of type arguments on '#{type}'."); |
- |
- static const MessageKind GETTER_MISMATCH = const MessageKind( |
- "Setter disagrees on: '#{modifiers}'."); |
- |
- static const MessageKind SETTER_MISMATCH = const MessageKind( |
- "Getter disagrees on: '#{modifiers}'."); |
- |
- static const MessageKind ILLEGAL_SETTER_FORMALS = const MessageKind( |
- "A setter must have exactly one argument."); |
- |
- static const MessageKind NO_STATIC_OVERRIDE = const MessageKind( |
- "Static member cannot override instance member '#{memberName}' of " |
- "'#{className}'."); |
- |
- static const MessageKind NO_STATIC_OVERRIDE_CONT = const MessageKind( |
- "This is the instance member that cannot be overridden " |
- "by a static member."); |
- |
- static const MessageKind INSTANCE_STATIC_SAME_NAME = const MessageKind( |
- "Instance member '#{memberName}' and static member of " |
- "superclass '#{className}' have the same name."); |
- |
- static const MessageKind INSTANCE_STATIC_SAME_NAME_CONT = const MessageKind( |
- "This is the static member with the same name."); |
- |
- static const MessageKind INVALID_OVERRIDE_METHOD = const MessageKind( |
- "The type '#{declaredType}' of method '#{name}' declared in " |
- "'#{class}' is not a subtype of the overridden method type " |
- "'#{inheritedType}' inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDDEN_METHOD = const MessageKind( |
- "This is the overridden method '#{name}' declared in class " |
- "'#{class}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_GETTER = const MessageKind( |
- "The type '#{declaredType}' of getter '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden getter inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDDEN_GETTER = const MessageKind( |
- "This is the overridden getter '#{name}' declared in class " |
- "'#{class}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_GETTER_WITH_FIELD = |
- const MessageKind( |
- "The type '#{declaredType}' of field '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden getter inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_FIELD_WITH_GETTER = |
- const MessageKind( |
- "The type '#{declaredType}' of getter '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden field inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_SETTER = const MessageKind( |
- "The type '#{declaredType}' of setter '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden setter inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDDEN_SETTER = const MessageKind( |
- "This is the overridden setter '#{name}' declared in class " |
- "'#{class}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_SETTER_WITH_FIELD = |
- const MessageKind( |
- "The type '#{declaredType}' of field '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden setter inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_FIELD_WITH_SETTER = |
- const MessageKind( |
- "The type '#{declaredType}' of setter '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden field inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDE_FIELD = const MessageKind( |
- "The type '#{declaredType}' of field '#{name}' declared in " |
- "'#{class}' is not assignable to the type '#{inheritedType}' of the " |
- "overridden field inherited from '#{inheritedClass}'."); |
- |
- static const MessageKind INVALID_OVERRIDDEN_FIELD = const MessageKind( |
- "This is the overridden field '#{name}' declared in class " |
- "'#{class}'."); |
- |
- static const MessageKind CANNOT_OVERRIDE_FIELD_WITH_METHOD = |
- const MessageKind( |
- "Method '#{name}' in '#{class}' can't override field from " |
- "'#{inheritedClass}'."); |
- |
- static const MessageKind CANNOT_OVERRIDE_FIELD_WITH_METHOD_CONT = |
- const MessageKind( |
- "This is the field that cannot be overridden by a method."); |
- |
- static const MessageKind CANNOT_OVERRIDE_METHOD_WITH_FIELD = |
- const MessageKind( |
- "Field '#{name}' in '#{class}' can't override method from " |
- "'#{inheritedClass}'."); |
- |
- static const MessageKind CANNOT_OVERRIDE_METHOD_WITH_FIELD_CONT = |
- const MessageKind( |
- "This is the method that cannot be overridden by a field."); |
- |
- static const MessageKind CANNOT_OVERRIDE_GETTER_WITH_METHOD = |
- const MessageKind( |
- "Method '#{name}' in '#{class}' can't override getter from " |
- "'#{inheritedClass}'."); |
- |
- static const MessageKind CANNOT_OVERRIDE_GETTER_WITH_METHOD_CONT = |
- const MessageKind( |
- "This is the getter that cannot be overridden by a method."); |
- |
- static const MessageKind CANNOT_OVERRIDE_METHOD_WITH_GETTER = |
- const MessageKind( |
- "Getter '#{name}' in '#{class}' can't override method from " |
- "'#{inheritedClass}'."); |
- |
- static const MessageKind CANNOT_OVERRIDE_METHOD_WITH_GETTER_CONT = |
- const MessageKind( |
- "This is the method that cannot be overridden by a getter."); |
- |
- static const MessageKind MISSING_FORMALS = const MessageKind( |
- "Formal parameters are missing."); |
- |
- static const MessageKind EXTRA_FORMALS = const MessageKind( |
- "Formal parameters are not allowed here."); |
- |
- static const MessageKind UNARY_OPERATOR_BAD_ARITY = const MessageKind( |
- "Operator '#{operatorName}' must have no parameters."); |
- |
- static const MessageKind MINUS_OPERATOR_BAD_ARITY = const MessageKind( |
- "Operator '-' must have 0 or 1 parameters."); |
- |
- static const MessageKind BINARY_OPERATOR_BAD_ARITY = const MessageKind( |
- "Operator '#{operatorName}' must have exactly 1 parameter."); |
- |
- static const MessageKind TERNARY_OPERATOR_BAD_ARITY = const MessageKind( |
- "Operator '#{operatorName}' must have exactly 2 parameters."); |
- |
- static const MessageKind OPERATOR_OPTIONAL_PARAMETERS = const MessageKind( |
- "Operator '#{operatorName}' cannot have optional parameters."); |
- |
- static const MessageKind OPERATOR_NAMED_PARAMETERS = const MessageKind( |
- "Operator '#{operatorName}' cannot have named parameters."); |
- |
- static const MessageKind CONSTRUCTOR_WITH_RETURN_TYPE = const MessageKind( |
- "Cannot have return type for constructor."); |
- |
- static const MessageKind CANNOT_RETURN_FROM_CONSTRUCTOR = const MessageKind( |
- "Constructors can't return values.", |
- howToFix: "Remove the return statement or use a factory constructor.", |
- examples: const [""" |
-class C { |
- C() { |
- return 1; |
- } |
-} |
- |
-main() => new C();"""]); |
- |
- static const MessageKind ILLEGAL_FINAL_METHOD_MODIFIER = const MessageKind( |
- "Cannot have final modifier on method."); |
- |
- static const MessageKind ILLEGAL_CONST_FIELD_MODIFIER = const MessageKind( |
- "Cannot have const modifier on non-static field.", |
- howToFix: "Try adding a static modifier, or removing the const modifier.", |
- examples: const [""" |
-class C { |
- const int a = 1; |
-} |
- |
-main() => new C();"""]); |
- |
- static const MessageKind ILLEGAL_CONSTRUCTOR_MODIFIERS = const MessageKind( |
- "Illegal constructor modifiers: '#{modifiers}'."); |
- |
- static const MessageKind ILLEGAL_MIXIN_APPLICATION_MODIFIERS = |
- const MessageKind( |
- "Illegal mixin application modifiers: '#{modifiers}'."); |
- |
- static const MessageKind ILLEGAL_MIXIN_SUPERCLASS = const MessageKind( |
- "Class used as mixin must have Object as superclass."); |
- |
- static const MessageKind ILLEGAL_MIXIN_OBJECT = const MessageKind( |
- "Cannot use Object as mixin."); |
- |
- static const MessageKind ILLEGAL_MIXIN_CONSTRUCTOR = const MessageKind( |
- "Class used as mixin cannot have non-factory constructor."); |
- |
- static const MessageKind ILLEGAL_MIXIN_CYCLE = const MessageKind( |
- "Class used as mixin introduces mixin cycle: " |
- "'#{mixinName1}' <-> '#{mixinName2}'."); |
- |
- static const MessageKind ILLEGAL_MIXIN_WITH_SUPER = const MessageKind( |
- "Cannot use class '#{className}' as a mixin because it uses " |
- "'super'."); |
- |
- static const MessageKind ILLEGAL_MIXIN_SUPER_USE = const MessageKind( |
- "Use of 'super' in class used as mixin."); |
- |
- static const MessageKind PARAMETER_NAME_EXPECTED = const MessageKind( |
- "parameter name expected."); |
- |
- static const MessageKind CANNOT_RESOLVE_GETTER = const MessageKind( |
- "Cannot resolve getter."); |
- |
- static const MessageKind CANNOT_RESOLVE_SETTER = const MessageKind( |
- "Cannot resolve setter."); |
- |
- static const MessageKind ASSIGNING_METHOD = const MessageKind( |
- "Cannot assign a value to a method."); |
- |
- static const MessageKind ASSIGNING_TYPE = const MessageKind( |
- "Cannot assign a value to a type."); |
- |
- static const MessageKind VOID_NOT_ALLOWED = const MessageKind( |
- "Type 'void' can't be used here because it isn't a return type.", |
- howToFix: "Try removing 'void' keyword or replace it with 'var', 'final'," |
- " or a type.", |
- examples: const [ |
- "void x; main() {}", |
- "foo(void x) {} main() { foo(null); }", |
- ]); |
- |
- static const MessageKind NULL_NOT_ALLOWED = const MessageKind( |
- "`null` can't be used here."); |
- |
- static const MessageKind BEFORE_TOP_LEVEL = const MessageKind( |
- "Part header must come before top-level definitions."); |
- |
- static const MessageKind LIBRARY_NAME_MISMATCH = const MessageKind( |
- "Expected part of library name '#{libraryName}'.", |
- howToFix: "Trying changing the directive to 'part of #{libraryName};'.", |
- examples: const [const { |
-'main.dart': """ |
-library lib.foo; |
- |
-part 'part.dart'; |
- |
-main() {} |
-""", |
- |
-'part.dart': """ |
-part of lib.bar; |
-"""}]); |
- |
- static const MessageKind MISSING_LIBRARY_NAME = const MessageKind( |
- "Library has no name. Part directive expected library name " |
- "to be '#{libraryName}'.", |
- howToFix: "Trying adding 'library #{libraryName};' to the library.", |
- examples: const [const { |
-'main.dart': """ |
-part 'part.dart'; |
- |
-main() {} |
-""", |
- |
-'part.dart': """ |
-part of lib.foo; |
-"""}]); |
- |
- static const MessageKind THIS_IS_THE_PART_OF_TAG = const MessageKind( |
- "This is the part of directive."); |
- |
- static const MessageKind MISSING_PART_OF_TAG = const MessageKind( |
- "This file has no part-of tag, but it is being used as a part."); |
- |
- static const MessageKind DUPLICATED_PART_OF = const MessageKind( |
- "Duplicated part-of directive."); |
- |
- static const MessageKind ILLEGAL_DIRECTIVE = const MessageKind( |
- "Directive not allowed here."); |
- |
- static const MessageKind DUPLICATED_LIBRARY_NAME = const MessageKind( |
- "Duplicated library name '#{libraryName}'."); |
- |
- static const MessageKind DUPLICATED_RESOURCE = const MessageKind( |
- "The resource '#{resourceUri}' is loaded through both " |
- "'#{canonicalUri1}' and '#{canonicalUri2}'."); |
- |
- static const MessageKind DUPLICATED_LIBRARY_RESOURCE = |
- const MessageKind( |
- "The library '#{libraryName}' in '#{resourceUri}' is loaded through " |
- "both '#{canonicalUri1}' and '#{canonicalUri2}'."); |
- |
- // This is used as an exception. |
- static const MessageKind INVALID_SOURCE_FILE_LOCATION = const MessageKind(''' |
-Invalid offset (#{offset}) in source map. |
-File: #{fileName} |
-Length: #{length}'''); |
- |
- static const MessageKind TOP_LEVEL_VARIABLE_DECLARED_STATIC = |
- const MessageKind( |
- "Top-level variable cannot be declared static."); |
- |
- static const MessageKind REFERENCE_IN_INITIALIZATION = const MessageKind( |
- "Variable '#{variableName}' is referenced during its " |
- "initialization.", |
- howToFix: "If you are trying to reference a shadowed variable, rename" |
- " one of the variables.", |
- examples: const [""" |
-foo(t) { |
- var t = t; |
- return t; |
-} |
- |
-main() => foo(1); |
-"""]); |
- |
- static const MessageKind CONST_WITHOUT_INITIALIZER = const MessageKind( |
- "A constant variable must be initialized.", |
- howToFix: "Try adding an initializer or " |
- "removing the 'const' modifier.", |
- examples: const [""" |
-void main() { |
- const c; // This constant variable must be initialized. |
-}"""]); |
- |
- static const MessageKind FINAL_WITHOUT_INITIALIZER = const MessageKind( |
- "A final variable must be initialized.", |
- howToFix: "Try adding an initializer or " |
- "removing the 'final' modifier.", |
- examples: const [ |
- "class C { static final field; } main() => C.field;"]); |
- |
- static const MessageKind MEMBER_USES_CLASS_NAME = const MessageKind( |
- "Member variable can't have the same name as the class it is " |
- "declared in.", |
- howToFix: "Try renaming the variable.", |
- examples: const [""" |
-class A { var A; } |
-main() { |
- var a = new A(); |
- a.A = 1; |
-} |
-""", """ |
-class A { static var A; } |
-main() => A.A = 1; |
-"""]); |
- |
- static const MessageKind WRONG_NUMBER_OF_ARGUMENTS_FOR_ASSERT = |
- const MessageKind( |
- "Wrong number of arguments to assert. Should be 1, but given " |
- "#{argumentCount}."); |
- |
- static const MessageKind ASSERT_IS_GIVEN_NAMED_ARGUMENTS = const MessageKind( |
- "'assert' takes no named arguments, but given #{argumentCount}."); |
- |
- static const MessageKind FACTORY_REDIRECTION_IN_NON_FACTORY = |
- const MessageKind( |
- "Factory redirection only allowed in factories."); |
- |
- static const MessageKind MISSING_FACTORY_KEYWORD = const MessageKind( |
- "Did you forget a factory keyword here?"); |
- |
- static const MessageKind DEFERRED_LIBRARY_DART_2_DART = |
- const MessageKind( |
- "Deferred loading is not supported by the dart backend yet." |
- "The output will not be split."); |
- |
- static const MessageKind DEFERRED_LIBRARY_WITHOUT_PREFIX = |
- const MessageKind( |
- "This import is deferred but there is no prefix keyword.", |
- howToFix: |
- "Try adding a prefix to the import."); |
- |
- static const MessageKind DEFERRED_OLD_SYNTAX = |
- const MessageKind( |
- "The DeferredLibrary annotation is obsolete.", |
- howToFix: |
- "Use the \"import 'lib.dart' deferred as prefix\" syntax instead."); |
- |
- static const MessageKind DEFERRED_LIBRARY_DUPLICATE_PREFIX = |
- const MessageKind( |
- "The prefix of this deferred import is not unique.", |
- howToFix: |
- "Try changing the import prefix."); |
- |
- static const MessageKind DEFERRED_TYPE_ANNOTATION = |
- const MessageKind( |
- "The type #{node} is deferred. " |
- "Deferred types are not valid as type annotations.", |
- howToFix: |
- "Try using a non-deferred abstract class as an interface."); |
- |
- static const MessageKind ILLEGAL_STATIC = const MessageKind( |
- "Modifier static is only allowed on functions declared in " |
- "a class."); |
- |
- static const MessageKind STATIC_FUNCTION_BLOAT = const MessageKind( |
- "Using '#{class}.#{name}' may lead to unnecessarily large " |
- "generated code.", |
- howToFix: |
- "Try adding '@MirrorsUsed(...)' as described at " |
- "https://goo.gl/Akrrog."); |
- |
- static const MessageKind NON_CONST_BLOAT = const MessageKind( |
- "Using 'new #{name}' may lead to unnecessarily large generated " |
- "code.", |
- howToFix: |
- "Try using 'const #{name}' or adding '@MirrorsUsed(...)' as " |
- "described at https://goo.gl/Akrrog."); |
- |
- static const MessageKind STRING_EXPECTED = const MessageKind( |
- "Expected a 'String', but got an instance of '#{type}'."); |
- |
- static const MessageKind PRIVATE_IDENTIFIER = const MessageKind( |
- "'#{value}' is not a valid Symbol name because it starts with " |
- "'_'."); |
- |
- static const MessageKind PRIVATE_NAMED_PARAMETER = const MessageKind( |
- "Named optional parameter can't have a library private name.", |
- howToFix: "Try removing the '_' or making the parameter positional or " |
- "required.", |
- examples: const ["""foo({int _p}) {} main() => foo();"""] |
- ); |
- |
- static const MessageKind UNSUPPORTED_LITERAL_SYMBOL = const MessageKind( |
- "Symbol literal '##{value}' is currently unsupported by dart2js."); |
- |
- static const MessageKind INVALID_SYMBOL = const MessageKind(''' |
-'#{value}' is not a valid Symbol name because is not: |
- * an empty String, |
- * a user defined operator, |
- * a qualified non-private identifier optionally followed by '=', or |
- * a qualified non-private identifier followed by '.' and a user-defined ''' |
-"operator."); |
- |
- static const MessageKind AMBIGUOUS_REEXPORT = const MessageKind( |
- "'#{name}' is (re)exported by multiple libraries."); |
- |
- static const MessageKind AMBIGUOUS_LOCATION = const MessageKind( |
- "'#{name}' is defined here."); |
- |
- static const MessageKind IMPORTED_HERE = const MessageKind( |
- "'#{name}' is imported here."); |
- |
- static const MessageKind OVERRIDE_EQUALS_NOT_HASH_CODE = const MessageKind( |
- "The class '#{class}' overrides 'operator==', " |
- "but not 'get hashCode'."); |
- |
- static const MessageKind PACKAGE_ROOT_NOT_SET = const MessageKind( |
- "Cannot resolve '#{uri}'. Package root has not been set."); |
- |
- static const MessageKind INTERNAL_LIBRARY_FROM = const MessageKind( |
- "Internal library '#{resolvedUri}' is not accessible from " |
- "'#{importingUri}'."); |
- |
- static const MessageKind INTERNAL_LIBRARY = const MessageKind( |
- "Internal library '#{resolvedUri}' is not accessible."); |
- |
- static const MessageKind LIBRARY_NOT_FOUND = const MessageKind( |
- "Library not found '#{resolvedUri}'."); |
- |
- static const MessageKind UNSUPPORTED_EQ_EQ_EQ = const MessageKind( |
- "'===' is not an operator. " |
- "Did you mean '#{lhs} == #{rhs}' or 'identical(#{lhs}, #{rhs})'?"); |
- |
- static const MessageKind UNSUPPORTED_BANG_EQ_EQ = const MessageKind( |
- "'!==' is not an operator. " |
- "Did you mean '#{lhs} != #{rhs}' or '!identical(#{lhs}, #{rhs})'?"); |
- |
- static const MessageKind UNSUPPORTED_PREFIX_PLUS = const MessageKind( |
- "'+' is not a prefix operator. ", |
- howToFix: "Try removing '+'.", |
- examples: const [ |
- "main() => +2; // No longer a valid way to write '2'" |
- ]); |
- |
- static const MessageKind UNSUPPORTED_THROW_WITHOUT_EXP = const MessageKind( |
- "No expression after 'throw'. " |
- "Did you mean 'rethrow'?"); |
- |
- static const MessageKind DEPRECATED_TYPEDEF_MIXIN_SYNTAX = const MessageKind( |
- "'typedef' not allowed here. ", |
- howToFix: "Try replacing 'typedef' with 'class'.", |
- examples: const [ |
- """ |
-class B { } |
-class M1 { } |
-typedef C = B with M1; // Need to replace 'typedef' with 'class'. |
-main() { new C(); } |
-"""] |
-); |
- |
- static const MessageKind MIRRORS_EXPECTED_STRING = const MessageKind( |
- "Can't use '#{name}' here because it's an instance of '#{type}' " |
- "and a 'String' value is expected.", |
- howToFix: "Did you forget to add quotes?", |
- examples: const [ |
- """ |
-// 'Foo' is a type literal, not a string. |
-@MirrorsUsed(symbols: const [Foo]) |
-import 'dart:mirrors'; |
- |
-class Foo {} |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_EXPECTED_STRING_OR_TYPE = const MessageKind( |
- "Can't use '#{name}' here because it's an instance of '#{type}' " |
- "and a 'String' or 'Type' value is expected.", |
- howToFix: "Did you forget to add quotes?", |
- examples: const [ |
- """ |
-// 'main' is a method, not a class. |
-@MirrorsUsed(targets: const [main]) |
-import 'dart:mirrors'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_EXPECTED_STRING_OR_LIST = const MessageKind( |
- "Can't use '#{name}' here because it's an instance of '#{type}' " |
- "and a 'String' or 'List' value is expected.", |
- howToFix: "Did you forget to add quotes?", |
- examples: const [ |
- """ |
-// 'Foo' is not a string. |
-@MirrorsUsed(symbols: Foo) |
-import 'dart:mirrors'; |
- |
-class Foo {} |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_EXPECTED_STRING_TYPE_OR_LIST = |
- const MessageKind( |
- "Can't use '#{name}' here because it's an instance of '#{type}' " |
- "but a 'String', 'Type', or 'List' value is expected.", |
- howToFix: "Did you forget to add quotes?", |
- examples: const [ |
- """ |
-// '1' is not a string. |
-@MirrorsUsed(targets: 1) |
-import 'dart:mirrors'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_CANNOT_RESOLVE_IN_CURRENT_LIBRARY = |
- const MessageKind( |
- "Can't find '#{name}' in the current library.", |
- // TODO(ahe): The closest identifiers in edit distance would be nice. |
- howToFix: "Did you forget to add an import?", |
- examples: const [ |
- """ |
-// 'window' is not in scope because dart:html isn't imported. |
-@MirrorsUsed(targets: 'window') |
-import 'dart:mirrors'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_CANNOT_RESOLVE_IN_LIBRARY = |
- const MessageKind( |
- "Can't find '#{name}' in the library '#{library}'.", |
- // TODO(ahe): The closest identifiers in edit distance would be nice. |
- howToFix: "Is '#{name}' spelled right?", |
- examples: const [ |
- """ |
-// 'List' is misspelled. |
-@MirrorsUsed(targets: 'dart.core.Lsit') |
-import 'dart:mirrors'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind MIRRORS_CANNOT_FIND_IN_ELEMENT = |
- const MessageKind( |
- "Can't find '#{name}' in '#{element}'.", |
- // TODO(ahe): The closest identifiers in edit distance would be nice. |
- howToFix: "Is '#{name}' spelled right?", |
- examples: const [ |
- """ |
-// 'addAll' is misspelled. |
-@MirrorsUsed(targets: 'dart.core.List.addAl') |
-import 'dart:mirrors'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind READ_SCRIPT_ERROR = const MessageKind( |
- "Can't read '#{uri}' (#{exception}).", |
- // Don't know how to fix since the underlying error is unknown. |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [ |
- """ |
-// 'foo.dart' does not exist. |
-import 'foo.dart'; |
- |
-main() {} |
-"""]); |
- |
- static const MessageKind EXTRANEOUS_MODIFIER = const MessageKind( |
- "Can't have modifier '#{modifier}' here.", |
- howToFix: "Try removing '#{modifier}'.", |
- examples: const [ |
- "var String foo; main(){}", |
- // "var get foo; main(){}", |
- "var set foo; main(){}", |
- "var final foo; main(){}", |
- "var var foo; main(){}", |
- "var const foo; main(){}", |
- "var abstract foo; main(){}", |
- "var static foo; main(){}", |
- "var external foo; main(){}", |
- "get var foo; main(){}", |
- "set var foo; main(){}", |
- "final var foo; main(){}", |
- "var var foo; main(){}", |
- "const var foo; main(){}", |
- "abstract var foo; main(){}", |
- "static var foo; main(){}", |
- "external var foo; main(){}"]); |
- |
- static const MessageKind EXTRANEOUS_MODIFIER_REPLACE = const MessageKind( |
- "Can't have modifier '#{modifier}' here.", |
- howToFix: "Try replacing modifier '#{modifier}' with 'var', 'final'," |
- " or a type.", |
- examples: const [ |
- // "get foo; main(){}", |
- "set foo; main(){}", |
- "abstract foo; main(){}", |
- "static foo; main(){}", |
- "external foo; main(){}"]); |
- |
- static const MessageKind ABSTRACT_CLASS_INSTANTIATION = const MessageKind( |
- "Can't instantiate abstract class.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const ["abstract class A {} main() { new A(); }"]); |
- |
- static const MessageKind BODY_EXPECTED = const MessageKind( |
- "Expected a function body or '=>'.", |
- // TODO(ahe): In some scenarios, we can suggest removing the 'static' |
- // keyword. |
- howToFix: "Try adding {}.", |
- examples: const [ |
- "main();"]); |
- |
- static const MessageKind MIRROR_BLOAT = const MessageKind( |
- "#{count} methods retained for use by dart:mirrors out of #{total}" |
- " total methods (#{percentage}%)."); |
- |
- static const MessageKind MIRROR_IMPORT = const MessageKind( |
- "Import of 'dart:mirrors'."); |
- |
- static const MessageKind MIRROR_IMPORT_NO_USAGE = const MessageKind( |
- "This import is not annotated with @MirrorsUsed, which may lead to " |
- "unnecessarily large generated code.", |
- howToFix: |
- "Try adding '@MirrorsUsed(...)' as described at " |
- "https://goo.gl/Akrrog."); |
- |
- static const MessageKind WRONG_ARGUMENT_FOR_JS_INTERCEPTOR_CONSTANT = |
- const MessageKind( |
- "Argument for 'JS_INTERCEPTOR_CONSTANT' must be a type constant."); |
- |
- static const MessageKind EXPECTED_IDENTIFIER_NOT_RESERVED_WORD = |
- const MessageKind( |
- "'#{keyword}' is a reserved word and can't be used here.", |
- howToFix: "Try using a different name.", |
- examples: const ["do() {} main() {}"]); |
- |
- static const MessageKind NAMED_FUNCTION_EXPRESSION = |
- const MessageKind("Function expression '#{name}' cannot be named.", |
- howToFix: "Try removing the name.", |
- examples: const ["main() { var f = func() {}; }"]); |
- |
- static const MessageKind UNUSED_METHOD = const MessageKind( |
- "The method '#{name}' is never called.", |
- howToFix: "Consider deleting it.", |
- examples: const ["deadCode() {} main() {}"]); |
- |
- static const MessageKind UNUSED_CLASS = const MessageKind( |
- "The class '#{name}' is never used.", |
- howToFix: "Consider deleting it.", |
- examples: const ["class DeadCode {} main() {}"]); |
- |
- static const MessageKind UNUSED_TYPEDEF = const MessageKind( |
- "The typedef '#{name}' is never used.", |
- howToFix: "Consider deleting it.", |
- examples: const ["typedef DeadCode(); main() {}"]); |
- |
- static const MessageKind ABSTRACT_METHOD = const MessageKind( |
- "The method '#{name}' has no implementation in " |
- "class '#{class}'.", |
- howToFix: "Try adding a body to '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-class Class { |
- method(); |
-} |
-main() => new Class().method(); |
-"""]); |
- |
- static const MessageKind ABSTRACT_GETTER = const MessageKind( |
- "The getter '#{name}' has no implementation in " |
- "class '#{class}'.", |
- howToFix: "Try adding a body to '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-class Class { |
- get getter; |
-} |
-main() => new Class(); |
-"""]); |
- |
- static const MessageKind ABSTRACT_SETTER = const MessageKind( |
- "The setter '#{name}' has no implementation in " |
- "class '#{class}'.", |
- howToFix: "Try adding a body to '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-class Class { |
- set setter(_); |
-} |
-main() => new Class(); |
-"""]); |
- |
- static const MessageKind INHERIT_GETTER_AND_METHOD = const MessageKind( |
- "The class '#{class}' can't inherit both getters and methods " |
- "by the named '#{name}'.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [""" |
-class A { |
- get member => null; |
-} |
-class B { |
- member() {} |
-} |
-class Class implements A, B { |
-} |
-main() => new Class(); |
-"""]); |
- |
- static const MessageKind INHERITED_METHOD = const MessageKind( |
- "The inherited method '#{name}' is declared here in class " |
- "'#{class}'."); |
- |
- static const MessageKind INHERITED_EXPLICIT_GETTER = const MessageKind( |
- "The inherited getter '#{name}' is declared here in class " |
- "'#{class}'."); |
- |
- static const MessageKind INHERITED_IMPLICIT_GETTER = const MessageKind( |
- "The inherited getter '#{name}' is implicitly declared by this " |
- "field in class '#{class}'."); |
- |
- static const MessageKind UNIMPLEMENTED_METHOD_ONE = const MessageKind( |
- "'#{class}' doesn't implement '#{method}' " |
- "declared in '#{declarer}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- m(); |
-} |
-class C implements I {} |
-main() => new C(); |
-""", """ |
-abstract class I { |
- m(); |
-} |
-class C extends I {} |
-main() => new C(); |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_METHOD = const MessageKind( |
- "'#{class}' doesn't implement '#{method}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- m(); |
-} |
- |
-abstract class J { |
- m(); |
-} |
- |
-class C implements I, J {} |
- |
-main() { |
- new C(); |
-} |
-""", """ |
-abstract class I { |
- m(); |
-} |
- |
-abstract class J { |
- m(); |
-} |
- |
-class C extends I implements J {} |
- |
-main() { |
- new C(); |
-} |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_METHOD_CONT = const MessageKind( |
- "The method '#{name}' is declared here in class '#{class}'."); |
- |
- static const MessageKind UNIMPLEMENTED_SETTER_ONE = const MessageKind( |
- "'#{class}' doesn't implement the setter '#{name}' " |
- "declared in '#{declarer}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- set m(_); |
-} |
-class C implements I {} |
-class D implements I { |
- set m(_) {} |
-} |
-main() { |
- new D().m = 0; |
- new C(); |
-} |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_SETTER = const MessageKind( |
- "'#{class}' doesn't implement the setter '#{name}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- set m(_); |
-} |
-abstract class J { |
- set m(_); |
-} |
-class C implements I, J {} |
-main() => new C(); |
-""", """ |
-abstract class I { |
- set m(_); |
-} |
-abstract class J { |
- set m(_); |
-} |
-class C extends I implements J {} |
-main() => new C(); |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_EXPLICIT_SETTER = const MessageKind( |
- "The setter '#{name}' is declared here in class '#{class}'."); |
- |
- static const MessageKind UNIMPLEMENTED_IMPLICIT_SETTER = const MessageKind( |
- "The setter '#{name}' is implicitly declared by this field " |
- "in class '#{class}'."); |
- |
- static const MessageKind UNIMPLEMENTED_GETTER_ONE = const MessageKind( |
- "'#{class}' doesn't implement the getter '#{name}' " |
- "declared in '#{declarer}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- get m; |
-} |
-class C implements I {} |
-main() => new C(); |
-""", """ |
-abstract class I { |
- get m; |
-} |
-class C extends I {} |
-main() => new C(); |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_GETTER = const MessageKind( |
- "'#{class}' doesn't implement the getter '#{name}'.", |
- howToFix: "Try adding an implementation of '#{name}' or declaring " |
- "'#{class}' to be 'abstract'.", |
- examples: const [""" |
-abstract class I { |
- get m; |
-} |
-abstract class J { |
- get m; |
-} |
-class C implements I, J {} |
-main() => new C(); |
-""", """ |
-abstract class I { |
- get m; |
-} |
-abstract class J { |
- get m; |
-} |
-class C extends I implements J {} |
-main() => new C(); |
-"""]); |
- |
- static const MessageKind UNIMPLEMENTED_EXPLICIT_GETTER = const MessageKind( |
- "The getter '#{name}' is declared here in class '#{class}'."); |
- |
- static const MessageKind UNIMPLEMENTED_IMPLICIT_GETTER = const MessageKind( |
- "The getter '#{name}' is implicitly declared by this field " |
- "in class '#{class}'."); |
- |
- static const MessageKind EQUAL_MAP_ENTRY_KEY = const MessageKind( |
- "An entry with the same key already exists in the map.", |
- howToFix: "Try removing the previous entry or changing the key in one " |
- "of the entries.", |
- examples: const [""" |
-main() { |
- var m = const {'foo': 1, 'foo': 2}; |
-}"""]); |
- |
- static const MessageKind BAD_INPUT_CHARACTER = const MessageKind( |
- "Character U+#{characterHex} isn't allowed here.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [""" |
-main() { |
- String x = ç; |
-} |
-"""]); |
- |
- static const MessageKind UNTERMINATED_STRING = const MessageKind( |
- "String must end with #{quote}.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [""" |
-main() { |
- return ' |
-; |
-} |
-""", |
-""" |
-main() { |
- return \" |
-; |
-} |
-""", |
-""" |
-main() { |
- return r' |
-; |
-} |
-""", |
-""" |
-main() { |
- return r\" |
-; |
-} |
-""", |
-""" |
-main() => ''' |
-""", |
-""" |
-main() => \"\"\" |
-""", |
-""" |
-main() => r''' |
-""", |
-""" |
-main() => r\"\"\" |
-"""]); |
- |
- static const MessageKind UNMATCHED_TOKEN = const MessageKind( |
- "Can't find '#{end}' to match '#{begin}'.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const[ |
- "main(", |
- "main(){", |
- "main(){]}", |
- ]); |
- |
- static const MessageKind UNTERMINATED_TOKEN = const MessageKind( |
- // This is a fall-back message that shouldn't happen. |
- "Incomplete token."); |
- |
- static const MessageKind EXPONENT_MISSING = const MessageKind( |
- "Numbers in exponential notation should always contain an exponent" |
- " (an integer number with an optional sign).", |
- howToFix: "Make sure there is an exponent, and remove any whitespace " |
- "before it.", |
- examples: const [""" |
-main() { |
- var i = 1e; |
-} |
-"""]); |
- |
- static const MessageKind HEX_DIGIT_EXPECTED = const MessageKind( |
- "A hex digit (0-9 or A-F) must follow '0x'.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, // Seems obvious from the error message. |
- examples: const [""" |
-main() { |
- var i = 0x; |
-} |
-"""]); |
- |
- static const MessageKind MALFORMED_STRING_LITERAL = const MessageKind( |
- r"A '$' has special meaning inside a string, and must be followed by an" |
- " identifier or an expression in curly braces ({}).", |
- howToFix: r"Try adding a backslash (\) to escape the '$'.", |
- examples: const [r""" |
-main() { |
- return '$'; |
-} |
-""", |
-r''' |
-main() { |
- return "$"; |
-} |
-''', |
-r""" |
-main() { |
- return '''$'''; |
-} |
-""", |
-r''' |
-main() { |
- return """$"""; |
-} |
-''']); |
- |
- static const MessageKind UNTERMINATED_COMMENT = const MessageKind( |
- "Comment starting with '/*' must end with '*/'.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [r""" |
-main() { |
-} |
-/*"""]); |
- |
- static const MessageKind MISSING_TOKEN_BEFORE_THIS = const MessageKind( |
- "Expected '#{token}' before this.", |
- // Consider the second example below: the parser expects a ')' before |
- // 'y', but a ',' would also have worked. We don't have enough |
- // information to give a good suggestion. |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [ |
- "main() => true ? 1;", |
- "main() => foo(x: 1 y: 2);", |
- ]); |
- |
- static const MessageKind MISSING_TOKEN_AFTER_THIS = const MessageKind( |
- "Expected '#{token}' after this.", |
- // See [MISSING_TOKEN_BEFORE_THIS], we don't have enough information to |
- // give a good suggestion. |
- howToFix: DONT_KNOW_HOW_TO_FIX, |
- examples: const [ |
- "main(x) {x}", |
-""" |
-class S1 {} |
-class S2 {} |
-class S3 {} |
-class A = S1 with S2, S3 |
-main() => new A(); |
-""" |
-]); |
- |
- static const MessageKind CONSIDER_ANALYZE_ALL = const MessageKind( |
- "Could not find '#{main}'. Nothing will be analyzed.", |
- howToFix: "Try using '--analyze-all' to analyze everything.", |
- examples: const ['']); |
- |
- static const MessageKind MISSING_MAIN = const MessageKind( |
- "Could not find '#{main}'.", |
- howToFix: "Try adding a method named '#{main}' to your program." |
- /* No example, test uses '--analyze-only' which will produce the above |
- * message [CONSIDER_ANALYZE_ALL]. An example for a human operator would |
- * be an empty file. */); |
- |
- static const MessageKind MAIN_NOT_A_FUNCTION = const MessageKind( |
- "'#{main}' is not a function.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, /* Don't state the obvious. */ |
- examples: const ['var main;']); |
- |
- static const MessageKind MAIN_WITH_EXTRA_PARAMETER = const MessageKind( |
- "'#{main}' cannot have more than two parameters.", |
- howToFix: DONT_KNOW_HOW_TO_FIX, /* Don't state the obvious. */ |
- examples: const ['main(a, b, c) {}']); |
- |
- static const MessageKind COMPILER_CRASHED = const MessageKind( |
- "The compiler crashed when compiling this element."); |
- |
- static const MessageKind PLEASE_REPORT_THE_CRASH = const MessageKind(''' |
-The compiler is broken. |
- |
-When compiling the above element, the compiler crashed. It is not |
-possible to tell if this is caused by a problem in your program or |
-not. Regardless, the compiler should not crash. |
- |
-The Dart team would greatly appreciate if you would take a moment to |
-report this problem at http://dartbug.com/new. |
- |
-Please include the following information: |
- |
-* the name and version of your operating system, |
- |
-* the Dart SDK build number (#{buildId}), and |
- |
-* the entire message you see here (including the full stack trace |
- below as well as the source location above). |
-'''); |
- |
- static const MessageKind POTENTIAL_MUTATION = const MessageKind( |
- "Variable '#{variableName}' is not known to be of type " |
- "'#{shownType}' because it is potentially mutated in the scope for " |
- "promotion."); |
- |
- static const MessageKind POTENTIAL_MUTATION_HERE = const MessageKind( |
- "Variable '#{variableName}' is potentially mutated here."); |
- |
- static const MessageKind POTENTIAL_MUTATION_IN_CLOSURE = const MessageKind( |
- "Variable '#{variableName}' is not known to be of type " |
- "'#{shownType}' because it is potentially mutated within a closure."); |
- |
- static const MessageKind POTENTIAL_MUTATION_IN_CLOSURE_HERE = |
- const MessageKind( |
- "Variable '#{variableName}' is potentially mutated in a " |
- "closure here."); |
- |
- static const MessageKind ACCESSED_IN_CLOSURE = const MessageKind( |
- "Variable '#{variableName}' is not known to be of type " |
- "'#{shownType}' because it is accessed by a closure in the scope for " |
- "promotion and potentially mutated in the scope of '#{variableName}'."); |
- |
- static const MessageKind ACCESSED_IN_CLOSURE_HERE = const MessageKind( |
- "Variable '#{variableName}' is accessed in a closure here."); |
- |
- static const MessageKind NOT_MORE_SPECIFIC = const MessageKind( |
- "Variable '#{variableName}' is not shown to have type " |
- "'#{shownType}' because '#{shownType}' is not more specific than the " |
- "known type '#{knownType}' of '#{variableName}'."); |
- |
- static const MessageKind NOT_MORE_SPECIFIC_SUBTYPE = const MessageKind( |
- "Variable '#{variableName}' is not shown to have type " |
- "'#{shownType}' because '#{shownType}' is not a subtype of the " |
- "known type '#{knownType}' of '#{variableName}'."); |
- |
- static const MessageKind NOT_MORE_SPECIFIC_SUGGESTION = const MessageKind( |
- "Variable '#{variableName}' is not shown to have type " |
- "'#{shownType}' because '#{shownType}' is not more specific than the " |
- "known type '#{knownType}' of '#{variableName}'.", |
- howToFix: "Try replacing '#{shownType}' with '#{shownTypeSuggestion}'."); |
- |
- static const MessageKind HIDDEN_WARNINGS_HINTS = const MessageKind( |
- "#{warnings} warning(s) and #{hints} hint(s) suppressed in #{uri}."); |
- |
- static const MessageKind HIDDEN_WARNINGS = const MessageKind( |
- "#{warnings} warning(s) suppressed in #{uri}."); |
- |
- static const MessageKind HIDDEN_HINTS = const MessageKind( |
- "#{hints} hint(s) suppressed in #{uri}."); |
- |
- static const MessageKind PREAMBLE = const MessageKind( |
- "When run on the command-line, the compiled output might" |
- " require a preamble file located in:\n" |
- " <sdk>/lib/_internal/compiler/js_lib/preambles."); |
- |
- |
- static const MessageKind EXPERIMENTAL_ASYNC_AWAIT = const MessageKind( |
- "Experimental language feature 'async/await' is not supported."); |
- |
- static const MessageKind INVALID_STARRED_KEYWORD = const MessageKind( |
- "Invalid '#{keyword}' keyword.", |
- options: const ['--enable-async'], |
- howToFix: "Try removing whitespace between '#{keyword}' and '*'.", |
- examples: const [ |
- "main() async * {}", |
- "main() sync * {}", |
- "main() async* { yield * 0; }" |
- ]); |
- |
- static const MessageKind INVALID_SYNC_MODIFIER = const MessageKind( |
- "Invalid modifier 'sync'.", |
- options: const ['--enable-async'], |
- howToFix: "Try replacing 'sync' with 'sync*'.", |
- examples: const [ |
- "main() sync {}" |
- ]); |
- |
- static const MessageKind INVALID_AWAIT_FOR = const MessageKind( |
- "'await' is only supported on for-in loops.", |
- options: const ['--enable-async'], |
- howToFix: "Try rewriting the loop as a for-in loop or removing the " |
- "'await' keyword.", |
- examples: const [""" |
-main() async* { |
- await for (int i = 0; i < 10; i++) {} |
-} |
-"""]); |
- |
- static const MessageKind ASYNC_MODIFIER_ON_ABSTRACT_METHOD = |
- const MessageKind( |
- "The modifier '#{modifier}' is not allowed on an abstract method.", |
- options: const ['--enable-async'], |
- howToFix: "Try removing the '#{modifier}' modifier or adding a " |
- "body to the method.", |
- examples: const [""" |
-abstract class A { |
- method() async; |
-} |
-class B extends A { |
- method() {} |
-} |
-main() { |
- A a = new B(); |
- a.method(); |
-} |
-"""]); |
- |
- static const MessageKind ASYNC_MODIFIER_ON_CONSTRUCTOR = |
- const MessageKind( |
- "The modifier '#{modifier}' is not allowed on constructors.", |
- options: const ['--enable-async'], |
- howToFix: "Try removing the '#{modifier}' modifier.", |
- examples: const [""" |
-class A { |
- A() async; |
-} |
-main() => new A();""", |
- |
-""" |
-class A { |
- A(); |
- factory A.a() async* => new A(); |
-} |
-main() => new A.a();"""]); |
- |
- static const MessageKind YIELDING_MODIFIER_ON_ARROW_BODY = |
- const MessageKind( |
- "The modifier '#{modifier}' is not allowed on methods implemented " |
- "using '=>'.", |
- options: const ['--enable-async'], |
- howToFix: "Try removing the '#{modifier}' modifier or implementing " |
- "the method body using a block: '{ ... }'.", |
- examples: const ["main() sync* => null;", "main() async* => null;"]); |
- |
- // TODO(johnniwinther): Check for 'async' as identifier. |
- static const MessageKind ASYNC_KEYWORD_AS_IDENTIFIER = const MessageKind( |
- "'#{keyword}' cannot be used as an identifier in a function body marked " |
- "with '#{modifier}'.", |
- options: const ['--enable-async'], |
- howToFix: "Try removing the '#{modifier}' modifier or renaming the " |
- "identifier.", |
- examples: const [""" |
-main() async { |
- var await; |
-}""", |
-""" |
-main() async* { |
- var yield; |
-}""", |
-""" |
-main() sync* { |
- var yield; |
-}"""]); |
- |
- ////////////////////////////////////////////////////////////////////////////// |
- // Patch errors start. |
- ////////////////////////////////////////////////////////////////////////////// |
- |
- static const MessageKind PATCH_RETURN_TYPE_MISMATCH = const MessageKind( |
- "Patch return type '#{patchReturnType}' does not match " |
- "'#{originReturnType}' on origin method '#{methodName}'."); |
- |
- static const MessageKind PATCH_REQUIRED_PARAMETER_COUNT_MISMATCH = |
- const MessageKind( |
- "Required parameter count of patch method " |
- "(#{patchParameterCount}) does not match parameter count on origin " |
- "method '#{methodName}' (#{originParameterCount})."); |
- |
- static const MessageKind PATCH_OPTIONAL_PARAMETER_COUNT_MISMATCH = |
- const MessageKind( |
- "Optional parameter count of patch method " |
- "(#{patchParameterCount}) does not match parameter count on origin " |
- "method '#{methodName}' (#{originParameterCount})."); |
- |
- static const MessageKind PATCH_OPTIONAL_PARAMETER_NAMED_MISMATCH = |
- const MessageKind( |
- "Optional parameters of origin and patch method " |
- "'#{methodName}' must both be either named or positional."); |
- |
- static const MessageKind PATCH_PARAMETER_MISMATCH = const MessageKind( |
- "Patch method parameter '#{patchParameter}' does not match " |
- "'#{originParameter}' on origin method '#{methodName}'."); |
- |
- static const MessageKind PATCH_PARAMETER_TYPE_MISMATCH = const MessageKind( |
- "Patch method parameter '#{parameterName}' type " |
- "'#{patchParameterType}' does not match '#{originParameterType}' on " |
- "origin method '#{methodName}'."); |
- |
- static const MessageKind PATCH_EXTERNAL_WITHOUT_IMPLEMENTATION = |
- const MessageKind("External method without an implementation."); |
- |
- static const MessageKind PATCH_POINT_TO_FUNCTION = const MessageKind( |
- "This is the function patch '#{functionName}'."); |
- |
- static const MessageKind PATCH_POINT_TO_CLASS = const MessageKind( |
- "This is the class patch '#{className}'."); |
- |
- static const MessageKind PATCH_POINT_TO_GETTER = const MessageKind( |
- "This is the getter patch '#{getterName}'."); |
- |
- static const MessageKind PATCH_POINT_TO_SETTER = const MessageKind( |
- "This is the setter patch '#{setterName}'."); |
- |
- static const MessageKind PATCH_POINT_TO_CONSTRUCTOR = const MessageKind( |
- "This is the constructor patch '#{constructorName}'."); |
- |
- static const MessageKind PATCH_POINT_TO_PARAMETER = const MessageKind( |
- "This is the patch parameter '#{parameterName}'."); |
- |
- static const MessageKind PATCH_NON_EXISTING = const MessageKind( |
- "Origin does not exist for patch '#{name}'."); |
- |
- // TODO(ahe): Eventually, this error should be removed as it will be handled |
- // by the regular parser. |
- static const MessageKind PATCH_NONPATCHABLE = const MessageKind( |
- "Only classes and functions can be patched."); |
- |
- static const MessageKind PATCH_NON_EXTERNAL = const MessageKind( |
- "Only external functions can be patched."); |
- |
- static const MessageKind PATCH_NON_CLASS = const MessageKind( |
- "Patching non-class with class patch '#{className}'."); |
- |
- static const MessageKind PATCH_NON_GETTER = const MessageKind( |
- "Cannot patch non-getter '#{name}' with getter patch."); |
- |
- static const MessageKind PATCH_NO_GETTER = const MessageKind( |
- "No getter found for getter patch '#{getterName}'."); |
- |
- static const MessageKind PATCH_NON_SETTER = const MessageKind( |
- "Cannot patch non-setter '#{name}' with setter patch."); |
- |
- static const MessageKind PATCH_NO_SETTER = const MessageKind( |
- "No setter found for setter patch '#{setterName}'."); |
- |
- static const MessageKind PATCH_NON_CONSTRUCTOR = const MessageKind( |
- "Cannot patch non-constructor with constructor patch " |
- "'#{constructorName}'."); |
- |
- static const MessageKind PATCH_NON_FUNCTION = const MessageKind( |
- "Cannot patch non-function with function patch " |
- "'#{functionName}'."); |
- |
- ////////////////////////////////////////////////////////////////////////////// |
- // Patch errors end. |
- ////////////////////////////////////////////////////////////////////////////// |
- |
- static const MessageKind CALL_NOT_SUPPORTED_ON_NATIVE_CLASS = |
- const MessageKind( |
- "Non-supported 'call' member on a native class, or a " |
- "subclass of a native class."); |
- |
- toString() => template; |
- |
- Message message([Map arguments = const {}, bool terse = false]) { |
- return new Message(this, arguments, terse); |
- } |
- |
- bool get hasHowToFix => howToFix != null && howToFix != DONT_KNOW_HOW_TO_FIX; |
-} |
- |
-class Message { |
- final MessageKind kind; |
- final Map arguments; |
- final bool terse; |
- String message; |
- |
- Message(this.kind, this.arguments, this.terse) { |
- assert(() { computeMessage(); return true; }); |
- } |
- |
- String computeMessage() { |
- if (message == null) { |
- message = kind.template; |
- arguments.forEach((key, value) { |
- message = message.replaceAll('#{${key}}', convertToString(value)); |
- }); |
- assert(invariant( |
- CURRENT_ELEMENT_SPANNABLE, |
- kind == MessageKind.GENERIC || |
- !message.contains(new RegExp(r'#\{.+\}')), |
- message: 'Missing arguments in error message: "$message"')); |
- if (!terse && kind.hasHowToFix) { |
- String howToFix = kind.howToFix; |
- arguments.forEach((key, value) { |
- howToFix = howToFix.replaceAll('#{${key}}', convertToString(value)); |
- }); |
- message = '$message\n$howToFix'; |
- } |
- } |
- return message; |
- } |
- |
- String toString() { |
- return computeMessage(); |
- } |
- |
- bool operator==(other) { |
- if (other is !Message) return false; |
- return (kind == other.kind) && (toString() == other.toString()); |
- } |
- |
- int get hashCode => throw new UnsupportedError('Message.hashCode'); |
- |
- static String convertToString(value) { |
- if (value is ErrorToken) { |
- // Shouldn't happen. |
- return value.assertionMessage; |
- } else if (value is Token) { |
- value = value.value; |
- } |
- return '$value'; |
- } |
-} |