Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1350)

Side by Side Diff: pkg/analyzer/lib/src/generated/error.dart

Issue 229653004: New analyzer snapshot with MapIterator. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 8 months 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 unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « pkg/analyzer/lib/src/generated/engine.dart ('k') | pkg/analyzer/lib/src/generated/html.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 // This code was auto-generated, is not intended to be edited, and is subject to 5 // This code was auto-generated, is not intended to be edited, and is subject to
6 // significant change. Please see the README file for more information. 6 // significant change. Please see the README file for more information.
7 7
8 library engine.error; 8 library engine.error;
9 9
10 import 'java_core.dart'; 10 import 'java_core.dart';
(...skipping 120 matching lines...) Expand 10 before | Expand all | Expand 10 after
131 */ 131 */
132 bool get errorReported => _errorReported; 132 bool get errorReported => _errorReported;
133 133
134 @override 134 @override
135 void onError(AnalysisError error) { 135 void onError(AnalysisError error) {
136 _errorReported = true; 136 _errorReported = true;
137 } 137 }
138 } 138 }
139 139
140 /** 140 /**
141 * The enumeration `PolymerCode` defines Polymer specific problems.
142 */
143 class PolymerCode extends Enum<PolymerCode> implements ErrorCode {
144 static const PolymerCode ATTRIBUTE_FIELD_NOT_PUBLISHED = const PolymerCode('AT TRIBUTE_FIELD_NOT_PUBLISHED', 0, "Field '%s' in '%s' must be @published");
145
146 static const PolymerCode DUPLICATE_ATTRIBUTE_DEFINITION = const PolymerCode('D UPLICATE_ATTRIBUTE_DEFINITION', 1, "The attribute '%s' is already defined");
147
148 static const PolymerCode EMPTY_ATTRIBUTES = const PolymerCode('EMPTY_ATTRIBUTE S', 2, "Empty 'attributes' attribute is useless");
149
150 static const PolymerCode INVALID_ATTRIBUTE_NAME = const PolymerCode('INVALID_A TTRIBUTE_NAME', 3, "'%s' is not a valid name for a custom element attribute");
151
152 static const PolymerCode INVALID_TAG_NAME = const PolymerCode('INVALID_TAG_NAM E', 4, "'%s' is not a valid name for a custom element");
153
154 static const PolymerCode MISSING_TAG_NAME = const PolymerCode('MISSING_TAG_NAM E', 5, "Missing tag name of the custom element. Please include an attribute like name='your-tag-name'");
155
156 static const PolymerCode UNDEFINED_ATTRIBUTE_FIELD = const PolymerCode('UNDEFI NED_ATTRIBUTE_FIELD', 6, "There is no such field '%s' in '%s'");
157
158 static const List<PolymerCode> values = const [
159 ATTRIBUTE_FIELD_NOT_PUBLISHED,
160 DUPLICATE_ATTRIBUTE_DEFINITION,
161 EMPTY_ATTRIBUTES,
162 INVALID_ATTRIBUTE_NAME,
163 INVALID_TAG_NAME,
164 MISSING_TAG_NAME,
165 UNDEFINED_ATTRIBUTE_FIELD];
166
167 /**
168 * The template used to create the message to be displayed for this error.
169 */
170 final String message;
171
172 /**
173 * Initialize a newly created error code to have the given message.
174 *
175 * @param message the message template used to create the message to be displa yed for the error
176 */
177 const PolymerCode(String name, int ordinal, this.message) : super(name, ordina l);
178
179 @override
180 String get correction => null;
181
182 @override
183 ErrorSeverity get errorSeverity => ErrorSeverity.INFO;
184
185 @override
186 ErrorType get type => ErrorType.POLYMER;
187 }
188
189 /**
141 * The enumeration `AngularCode` defines Angular specific problems. 190 * The enumeration `AngularCode` defines Angular specific problems.
142 */ 191 */
143 class AngularCode extends Enum<AngularCode> implements ErrorCode { 192 class AngularCode extends Enum<AngularCode> implements ErrorCode {
144 static const AngularCode CANNOT_PARSE_SELECTOR = const AngularCode('CANNOT_PAR SE_SELECTOR', 0, "The selector '%s' cannot be parsed"); 193 static const AngularCode CANNOT_PARSE_SELECTOR = const AngularCode('CANNOT_PAR SE_SELECTOR', 0, "The selector '%s' cannot be parsed");
145 194
146 static const AngularCode INVALID_PROPERTY_KIND = const AngularCode('INVALID_PR OPERTY_KIND', 1, "Unknown property binding kind '%s', use one of the '@', '=>', '=>!' or '<=>'"); 195 static const AngularCode INVALID_PROPERTY_KIND = const AngularCode('INVALID_PR OPERTY_KIND', 1, "Unknown property binding kind '%s', use one of the '@', '=>', '=>!' or '<=>'");
147 196
148 static const AngularCode INVALID_PROPERTY_FIELD = const AngularCode('INVALID_P ROPERTY_FIELD', 2, "Unknown property field '%s'"); 197 static const AngularCode INVALID_PROPERTY_FIELD = const AngularCode('INVALID_P ROPERTY_FIELD', 2, "Unknown property field '%s'");
149 198
150 static const AngularCode INVALID_PROPERTY_MAP = const AngularCode('INVALID_PRO PERTY_MAP', 3, "Argument 'map' must be a constant map literal"); 199 static const AngularCode INVALID_PROPERTY_MAP = const AngularCode('INVALID_PRO PERTY_MAP', 3, "Argument 'map' must be a constant map literal");
(...skipping 490 matching lines...) Expand 10 before | Expand all | Expand 10 after
641 * Hint for the `x is! double` type checks. 690 * Hint for the `x is! double` type checks.
642 */ 691 */
643 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"); 692 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");
644 693
645 /** 694 /**
646 * Hint for the `x is! int` type checks. 695 * Hint for the `x is! int` type checks.
647 */ 696 */
648 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 doubl e"); 697 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 doubl e");
649 698
650 /** 699 /**
700 * This hint is generated anywhere where the [StaticTypeWarningCode#INVALID_AS SIGNMENT]
701 * would have been generated, if we used propagated information for the warnin gs.
702 *
703 * @param rhsTypeName the name of the right hand side type
704 * @param lhsTypeName the name of the left hand side type
705 * @see StaticTypeWarningCode#INVALID_ASSIGNMENT
706 */
707 static const HintCode INVALID_ASSIGNMENT = const HintCode.con1('INVALID_ASSIGN MENT', 11, "A value of type '%s' cannot be assigned to a variable of type '%s'") ;
708
709 /**
651 * Generate a hint for methods or functions that have a return type, but do no t have a non-void 710 * Generate a hint for methods or functions that have a return type, but do no t have a non-void
652 * return statement on all branches. At the end of methods or functions with n o return, Dart 711 * return statement on all branches. At the end of methods or functions with n o return, Dart
653 * implicitly returns `null`, avoiding these implicit returns is considered a best practice. 712 * implicitly returns `null`, avoiding these implicit returns is considered a best practice.
654 * 713 *
655 * @param returnType the name of the declared return type 714 * @param returnType the name of the declared return type
656 */ 715 */
657 static const HintCode MISSING_RETURN = const HintCode.con2('MISSING_RETURN', 1 1, "This function declares a return type of '%s', but does not end with a return statement", "Either add a return statement or change the return type to 'void'" ); 716 static const HintCode MISSING_RETURN = const HintCode.con2('MISSING_RETURN', 1 2, "This function declares a return type of '%s', but does not end with a return statement", "Either add a return statement or change the return type to 'void'" );
658 717
659 /** 718 /**
660 * A getter with the override annotation does not override an existing getter. 719 * A getter with the override annotation does not override an existing getter.
661 */ 720 */
662 static const HintCode OVERRIDE_ON_NON_OVERRIDING_GETTER = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_GETTER', 12, "Getter does not override an inherited getter"); 721 static const HintCode OVERRIDE_ON_NON_OVERRIDING_GETTER = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_GETTER', 13, "Getter does not override an inherited getter");
663 722
664 /** 723 /**
665 * A method with the override annotation does not override an existing method. 724 * A method with the override annotation does not override an existing method.
666 */ 725 */
667 static const HintCode OVERRIDE_ON_NON_OVERRIDING_METHOD = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_METHOD', 13, "Method does not override an inherited method"); 726 static const HintCode OVERRIDE_ON_NON_OVERRIDING_METHOD = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_METHOD', 14, "Method does not override an inherited method");
668 727
669 /** 728 /**
670 * A setter with the override annotation does not override an existing setter. 729 * A setter with the override annotation does not override an existing setter.
671 */ 730 */
672 static const HintCode OVERRIDE_ON_NON_OVERRIDING_SETTER = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_SETTER', 14, "Setter does not override an inherited setter"); 731 static const HintCode OVERRIDE_ON_NON_OVERRIDING_SETTER = const HintCode.con1( 'OVERRIDE_ON_NON_OVERRIDING_SETTER', 15, "Setter does not override an inherited setter");
673
674 /**
675 * It is not in best practice to declare a private method that happens to over ride the method in a
676 * superclass- depending on where the superclass is (either in the same librar y, or out of the
677 * same library), behavior can be different.
678 *
679 * @param memberType this is either "method", "getter" or "setter"
680 * @param memberName some private member name
681 * @param className the class name where the member is overriding the function ality
682 */
683 static const HintCode OVERRIDDING_PRIVATE_MEMBER = const HintCode.con1('OVERRI DDING_PRIVATE_MEMBER', 15, "The %s '%s' does not override the definition from '% s' because it is private and in a different library");
684 732
685 /** 733 /**
686 * Hint for classes that override equals, but not hashCode. 734 * Hint for classes that override equals, but not hashCode.
687 * 735 *
688 * @param className the name of the current class 736 * @param className the name of the current class
689 */ 737 */
690 static const HintCode OVERRIDE_EQUALS_BUT_NOT_HASH_CODE = const HintCode.con1( 'OVERRIDE_EQUALS_BUT_NOT_HASH_CODE', 16, "The class '%s' overrides 'operator==', but not 'get hashCode'"); 738 static const HintCode OVERRIDE_EQUALS_BUT_NOT_HASH_CODE = const HintCode.con1( 'OVERRIDE_EQUALS_BUT_NOT_HASH_CODE', 16, "The class '%s' overrides 'operator==', but not 'get hashCode'");
691 739
692 /** 740 /**
693 * Type checks of the type `x is! Null` should be done with `x != null`. 741 * Type checks of the type `x is! Null` should be done with `x != null`.
(...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after
776 DEAD_CODE, 824 DEAD_CODE,
777 DEAD_CODE_CATCH_FOLLOWING_CATCH, 825 DEAD_CODE_CATCH_FOLLOWING_CATCH,
778 DEAD_CODE_ON_CATCH_SUBTYPE, 826 DEAD_CODE_ON_CATCH_SUBTYPE,
779 DEPRECATED_MEMBER_USE, 827 DEPRECATED_MEMBER_USE,
780 DUPLICATE_IMPORT, 828 DUPLICATE_IMPORT,
781 DIVISION_OPTIMIZATION, 829 DIVISION_OPTIMIZATION,
782 IS_DOUBLE, 830 IS_DOUBLE,
783 IS_INT, 831 IS_INT,
784 IS_NOT_DOUBLE, 832 IS_NOT_DOUBLE,
785 IS_NOT_INT, 833 IS_NOT_INT,
834 INVALID_ASSIGNMENT,
786 MISSING_RETURN, 835 MISSING_RETURN,
787 OVERRIDE_ON_NON_OVERRIDING_GETTER, 836 OVERRIDE_ON_NON_OVERRIDING_GETTER,
788 OVERRIDE_ON_NON_OVERRIDING_METHOD, 837 OVERRIDE_ON_NON_OVERRIDING_METHOD,
789 OVERRIDE_ON_NON_OVERRIDING_SETTER, 838 OVERRIDE_ON_NON_OVERRIDING_SETTER,
790 OVERRIDDING_PRIVATE_MEMBER,
791 OVERRIDE_EQUALS_BUT_NOT_HASH_CODE, 839 OVERRIDE_EQUALS_BUT_NOT_HASH_CODE,
792 TYPE_CHECK_IS_NOT_NULL, 840 TYPE_CHECK_IS_NOT_NULL,
793 TYPE_CHECK_IS_NULL, 841 TYPE_CHECK_IS_NULL,
794 UNDEFINED_GETTER, 842 UNDEFINED_GETTER,
795 UNDEFINED_METHOD, 843 UNDEFINED_METHOD,
796 UNDEFINED_OPERATOR, 844 UNDEFINED_OPERATOR,
797 UNDEFINED_SETTER, 845 UNDEFINED_SETTER,
798 UNNECESSARY_CAST, 846 UNNECESSARY_CAST,
799 UNNECESSARY_TYPE_CHECK_FALSE, 847 UNNECESSARY_TYPE_CHECK_FALSE,
800 UNNECESSARY_TYPE_CHECK_TRUE, 848 UNNECESSARY_TYPE_CHECK_TRUE,
(...skipping 116 matching lines...) Expand 10 before | Expand all | Expand 10 after
917 /** 965 /**
918 * Syntactic errors are errors produced as a result of input that does not con form to the grammar. 966 * Syntactic errors are errors produced as a result of input that does not con form to the grammar.
919 */ 967 */
920 static const ErrorType SYNTACTIC_ERROR = const ErrorType('SYNTACTIC_ERROR', 6, ErrorSeverity.ERROR); 968 static const ErrorType SYNTACTIC_ERROR = const ErrorType('SYNTACTIC_ERROR', 6, ErrorSeverity.ERROR);
921 969
922 /** 970 /**
923 * Angular specific semantic problems. 971 * Angular specific semantic problems.
924 */ 972 */
925 static const ErrorType ANGULAR = const ErrorType('ANGULAR', 7, ErrorSeverity.I NFO); 973 static const ErrorType ANGULAR = const ErrorType('ANGULAR', 7, ErrorSeverity.I NFO);
926 974
975 /**
976 * Polymer specific semantic problems.
977 */
978 static const ErrorType POLYMER = const ErrorType('POLYMER', 8, ErrorSeverity.I NFO);
979
927 static const List<ErrorType> values = const [ 980 static const List<ErrorType> values = const [
928 TODO, 981 TODO,
929 HINT, 982 HINT,
930 COMPILE_TIME_ERROR, 983 COMPILE_TIME_ERROR,
931 PUB_SUGGESTION, 984 PUB_SUGGESTION,
932 STATIC_WARNING, 985 STATIC_WARNING,
933 STATIC_TYPE_WARNING, 986 STATIC_TYPE_WARNING,
934 SYNTACTIC_ERROR, 987 SYNTACTIC_ERROR,
935 ANGULAR]; 988 ANGULAR,
989 POLYMER];
936 990
937 /** 991 /**
938 * The severity of this type of error. 992 * The severity of this type of error.
939 */ 993 */
940 final ErrorSeverity severity; 994 final ErrorSeverity severity;
941 995
942 /** 996 /**
943 * Initialize a newly created error type to have the given severity. 997 * Initialize a newly created error type to have the given severity.
944 * 998 *
945 * @param severity the severity of this type of error 999 * @param severity the severity of this type of error
(...skipping 501 matching lines...) Expand 10 before | Expand all | Expand 10 after
1447 * 1501 *
1448 * 12.10 This: It is a compile-time error if this appears in a top-level funct ion or variable 1502 * 12.10 This: It is a compile-time error if this appears in a top-level funct ion or variable
1449 * initializer, in a factory constructor, or in a static method or variable in itializer, or in the 1503 * initializer, in a factory constructor, or in a static method or variable in itializer, or in the
1450 * initializer of an instance variable. 1504 * initializer of an instance variable.
1451 * 1505 *
1452 * @param name the name of the type in question 1506 * @param name the name of the type in question
1453 */ 1507 */
1454 static const CompileTimeErrorCode IMPLICIT_THIS_REFERENCE_IN_INITIALIZER = con st CompileTimeErrorCode.con1('IMPLICIT_THIS_REFERENCE_IN_INITIALIZER', 61, "Only static members can be accessed in initializers"); 1508 static const CompileTimeErrorCode IMPLICIT_THIS_REFERENCE_IN_INITIALIZER = con st CompileTimeErrorCode.con1('IMPLICIT_THIS_REFERENCE_IN_INITIALIZER', 61, "Only static members can be accessed in initializers");
1455 1509
1456 /** 1510 /**
1511 * Speculative.
1512 */
1513 static const CompileTimeErrorCode IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION = const CompileTimeErrorCode.con1('IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION', 6 2, "The library '%s' defines a top-level function named 'loadLibrary' and theref ore cannot be deferred");
1514
1515 /**
1457 * SDK implementation libraries can be imported only by other SDK libraries. 1516 * SDK implementation libraries can be imported only by other SDK libraries.
1458 * 1517 *
1459 * @param uri the uri pointing to a library 1518 * @param uri the uri pointing to a library
1460 */ 1519 */
1461 static const CompileTimeErrorCode IMPORT_INTERNAL_LIBRARY = const CompileTimeE rrorCode.con1('IMPORT_INTERNAL_LIBRARY', 62, "The library '%s' is internal and c annot be imported"); 1520 static const CompileTimeErrorCode IMPORT_INTERNAL_LIBRARY = const CompileTimeE rrorCode.con1('IMPORT_INTERNAL_LIBRARY', 63, "The library '%s' is internal and c annot be imported");
1462 1521
1463 /** 1522 /**
1464 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is 1523 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is
1465 * not a library declaration. 1524 * not a library declaration.
1466 * 1525 *
1467 * @param uri the uri pointing to a non-library declaration 1526 * @param uri the uri pointing to a non-library declaration
1468 */ 1527 */
1469 static const CompileTimeErrorCode IMPORT_OF_NON_LIBRARY = const CompileTimeErr orCode.con1('IMPORT_OF_NON_LIBRARY', 63, "The imported library '%s' must not hav e a part-of directive"); 1528 static const CompileTimeErrorCode IMPORT_OF_NON_LIBRARY = const CompileTimeErr orCode.con1('IMPORT_OF_NON_LIBRARY', 64, "The imported library '%s' must not hav e a part-of directive");
1470 1529
1471 /** 1530 /**
1472 * 13.9 Switch: It is a compile-time error if values of the expressions <i>e<s ub>k</sub></i> are 1531 * 13.9 Switch: It is a compile-time error if values of the expressions <i>e<s ub>k</sub></i> are
1473 * not instances of the same class <i>C</i>, for all <i>1 &lt;= k &lt;= n</i>. 1532 * not instances of the same class <i>C</i>, for all <i>1 &lt;= k &lt;= n</i>.
1474 * 1533 *
1475 * @param expressionSource the expression source code that is the unexpected t ype 1534 * @param expressionSource the expression source code that is the unexpected t ype
1476 * @param expectedType the name of the expected type 1535 * @param expectedType the name of the expected type
1477 */ 1536 */
1478 static const CompileTimeErrorCode INCONSISTENT_CASE_EXPRESSION_TYPES = const C ompileTimeErrorCode.con1('INCONSISTENT_CASE_EXPRESSION_TYPES', 64, "Case express ions must have the same types, '%s' is not a %s'"); 1537 static const CompileTimeErrorCode INCONSISTENT_CASE_EXPRESSION_TYPES = const C ompileTimeErrorCode.con1('INCONSISTENT_CASE_EXPRESSION_TYPES', 65, "Case express ions must have the same types, '%s' is not a %s'");
1479 1538
1480 /** 1539 /**
1481 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time 1540 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time
1482 * error if <i>k</i>'s initializer list contains an initializer for a variable that is not an 1541 * error if <i>k</i>'s initializer list contains an initializer for a variable that is not an
1483 * instance variable declared in the immediately surrounding class. 1542 * instance variable declared in the immediately surrounding class.
1484 * 1543 *
1485 * @param id the name of the initializing formal that is not an instance varia ble in the 1544 * @param id the name of the initializing formal that is not an instance varia ble in the
1486 * immediately enclosing class 1545 * immediately enclosing class
1487 * @see #INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD 1546 * @see #INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD
1488 */ 1547 */
1489 static const CompileTimeErrorCode INITIALIZER_FOR_NON_EXISTANT_FIELD = const C ompileTimeErrorCode.con1('INITIALIZER_FOR_NON_EXISTANT_FIELD', 65, "'%s' is not a variable in the enclosing class"); 1548 static const CompileTimeErrorCode INITIALIZER_FOR_NON_EXISTANT_FIELD = const C ompileTimeErrorCode.con1('INITIALIZER_FOR_NON_EXISTANT_FIELD', 66, "'%s' is not a variable in the enclosing class");
1490 1549
1491 /** 1550 /**
1492 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time 1551 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time
1493 * error if <i>k</i>'s initializer list contains an initializer for a variable that is not an 1552 * error if <i>k</i>'s initializer list contains an initializer for a variable that is not an
1494 * instance variable declared in the immediately surrounding class. 1553 * instance variable declared in the immediately surrounding class.
1495 * 1554 *
1496 * @param id the name of the initializing formal that is a static variable in the immediately 1555 * @param id the name of the initializing formal that is a static variable in the immediately
1497 * enclosing class 1556 * enclosing class
1498 * @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD 1557 * @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD
1499 */ 1558 */
1500 static const CompileTimeErrorCode INITIALIZER_FOR_STATIC_FIELD = const Compile TimeErrorCode.con1('INITIALIZER_FOR_STATIC_FIELD', 66, "'%s' is a static variabl e in the enclosing class, variables initialized in a constructor cannot be stati c"); 1559 static const CompileTimeErrorCode INITIALIZER_FOR_STATIC_FIELD = const Compile TimeErrorCode.con1('INITIALIZER_FOR_STATIC_FIELD', 67, "'%s' is a static variabl e in the enclosing class, variables initialized in a constructor cannot be stati c");
1501 1560
1502 /** 1561 /**
1503 * 7.6.1 Generative Constructors: An initializing formal has the form <i>this. id</i>. It is a 1562 * 7.6.1 Generative Constructors: An initializing formal has the form <i>this. id</i>. It is a
1504 * compile-time error if <i>id</i> is not the name of an instance variable of the immediately 1563 * compile-time error if <i>id</i> is not the name of an instance variable of the immediately
1505 * enclosing class. 1564 * enclosing class.
1506 * 1565 *
1507 * @param id the name of the initializing formal that is not an instance varia ble in the 1566 * @param id the name of the initializing formal that is not an instance varia ble in the
1508 * immediately enclosing class 1567 * immediately enclosing class
1509 * @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD 1568 * @see #INITIALIZING_FORMAL_FOR_STATIC_FIELD
1510 * @see #INITIALIZER_FOR_NON_EXISTANT_FIELD 1569 * @see #INITIALIZER_FOR_NON_EXISTANT_FIELD
1511 */ 1570 */
1512 static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD', 6 7, "'%s' is not a variable in the enclosing class"); 1571 static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD', 6 8, "'%s' is not a variable in the enclosing class");
1513 1572
1514 /** 1573 /**
1515 * 7.6.1 Generative Constructors: An initializing formal has the form <i>this. id</i>. It is a 1574 * 7.6.1 Generative Constructors: An initializing formal has the form <i>this. id</i>. It is a
1516 * compile-time error if <i>id</i> is not the name of an instance variable of the immediately 1575 * compile-time error if <i>id</i> is not the name of an instance variable of the immediately
1517 * enclosing class. 1576 * enclosing class.
1518 * 1577 *
1519 * @param id the name of the initializing formal that is a static variable in the immediately 1578 * @param id the name of the initializing formal that is a static variable in the immediately
1520 * enclosing class 1579 * enclosing class
1521 * @see #INITIALIZER_FOR_STATIC_FIELD 1580 * @see #INITIALIZER_FOR_STATIC_FIELD
1522 */ 1581 */
1523 static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_STATIC_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_STATIC_FIELD', 68, "'%s' is a static variable in the enclosing class, variables initialized in a constructor cannot be static"); 1582 static const CompileTimeErrorCode INITIALIZING_FORMAL_FOR_STATIC_FIELD = const CompileTimeErrorCode.con1('INITIALIZING_FORMAL_FOR_STATIC_FIELD', 69, "'%s' is a static variable in the enclosing class, variables initialized in a constructor cannot be static");
1524 1583
1525 /** 1584 /**
1526 * 12.30 Identifier Reference: Otherwise, e is equivalent to the property extr action 1585 * 12.30 Identifier Reference: Otherwise, e is equivalent to the property extr action
1527 * <b>this</b>.<i>id</i>. 1586 * <b>this</b>.<i>id</i>.
1528 */ 1587 */
1529 static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_STATIC = const C ompileTimeErrorCode.con1('INSTANCE_MEMBER_ACCESS_FROM_STATIC', 69, "Instance mem ber cannot be accessed from static method"); 1588 static const CompileTimeErrorCode INSTANCE_MEMBER_ACCESS_FROM_STATIC = const C ompileTimeErrorCode.con1('INSTANCE_MEMBER_ACCESS_FROM_STATIC', 70, "Instance mem ber cannot be accessed from static method");
1530 1589
1531 /** 1590 /**
1532 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the 1591 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the
1533 * character @, followed by a constant expression that must be either a refere nce to a 1592 * character @, followed by a constant expression that must be either a refere nce to a
1534 * compile-time constant variable, or a call to a constant constructor. 1593 * compile-time constant variable, or a call to a constant constructor.
1535 */ 1594 */
1536 static const CompileTimeErrorCode INVALID_ANNOTATION = const CompileTimeErrorC ode.con1('INVALID_ANNOTATION', 70, "Annotation can be only constant variable or constant constructor invocation"); 1595 static const CompileTimeErrorCode INVALID_ANNOTATION = const CompileTimeErrorC ode.con1('INVALID_ANNOTATION', 71, "Annotation can be only constant variable or constant constructor invocation");
1537 1596
1538 /** 1597 /**
1539 * TODO(brianwilkerson) Remove this when we have decided on how to report erro rs in compile-time 1598 * TODO(brianwilkerson) Remove this when we have decided on how to report erro rs in compile-time
1540 * constants. Until then, this acts as a placeholder for more informative erro rs. 1599 * constants. Until then, this acts as a placeholder for more informative erro rs.
1541 * 1600 *
1542 * See TODOs in ConstantVisitor 1601 * See TODOs in ConstantVisitor
1543 */ 1602 */
1544 static const CompileTimeErrorCode INVALID_CONSTANT = const CompileTimeErrorCod e.con1('INVALID_CONSTANT', 71, "Invalid constant value"); 1603 static const CompileTimeErrorCode INVALID_CONSTANT = const CompileTimeErrorCod e.con1('INVALID_CONSTANT', 72, "Invalid constant value");
1545 1604
1546 /** 1605 /**
1547 * 7.6 Constructors: It is a compile-time error if the name of a constructor i s not a constructor 1606 * 7.6 Constructors: It is a compile-time error if the name of a constructor i s not a constructor
1548 * name. 1607 * name.
1549 */ 1608 */
1550 static const CompileTimeErrorCode INVALID_CONSTRUCTOR_NAME = const CompileTime ErrorCode.con1('INVALID_CONSTRUCTOR_NAME', 72, "Invalid constructor name"); 1609 static const CompileTimeErrorCode INVALID_CONSTRUCTOR_NAME = const CompileTime ErrorCode.con1('INVALID_CONSTRUCTOR_NAME', 73, "Invalid constructor name");
1551 1610
1552 /** 1611 /**
1553 * 7.6.2 Factories: It is a compile-time error if <i>M</i> is not the name of the immediately 1612 * 7.6.2 Factories: It is a compile-time error if <i>M</i> is not the name of the immediately
1554 * enclosing class. 1613 * enclosing class.
1555 */ 1614 */
1556 static const CompileTimeErrorCode INVALID_FACTORY_NAME_NOT_A_CLASS = const Com pileTimeErrorCode.con1('INVALID_FACTORY_NAME_NOT_A_CLASS', 73, "The name of the immediately enclosing class expected"); 1615 static const CompileTimeErrorCode INVALID_FACTORY_NAME_NOT_A_CLASS = const Com pileTimeErrorCode.con1('INVALID_FACTORY_NAME_NOT_A_CLASS', 74, "The name of the immediately enclosing class expected");
1557 1616
1558 /** 1617 /**
1559 * 12.10 This: It is a compile-time error if this appears in a top-level funct ion or variable 1618 * 12.10 This: It is a compile-time error if this appears in a top-level funct ion or variable
1560 * initializer, in a factory constructor, or in a static method or variable in itializer, or in the 1619 * initializer, in a factory constructor, or in a static method or variable in itializer, or in the
1561 * initializer of an instance variable. 1620 * initializer of an instance variable.
1562 */ 1621 */
1563 static const CompileTimeErrorCode INVALID_REFERENCE_TO_THIS = const CompileTim eErrorCode.con1('INVALID_REFERENCE_TO_THIS', 74, "Invalid reference to 'this' ex pression"); 1622 static const CompileTimeErrorCode INVALID_REFERENCE_TO_THIS = const CompileTim eErrorCode.con1('INVALID_REFERENCE_TO_THIS', 75, "Invalid reference to 'this' ex pression");
1564 1623
1565 /** 1624 /**
1566 * 12.6 Lists: It is a compile time error if the type argument of a constant l ist literal includes 1625 * 12.6 Lists: It is a compile time error if the type argument of a constant l ist literal includes
1567 * a type parameter. 1626 * a type parameter.
1568 * 1627 *
1569 * @name the name of the type parameter 1628 * @name the name of the type parameter
1570 */ 1629 */
1571 static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_LIST = const CompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_LIST', 75, "Constant l ist literals cannot include a type parameter as a type argument, such as '%s'"); 1630 static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_LIST = const CompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_LIST', 76, "Constant l ist literals cannot include a type parameter as a type argument, such as '%s'");
1572 1631
1573 /** 1632 /**
1574 * 12.7 Maps: It is a compile time error if the type arguments of a constant m ap literal include a 1633 * 12.7 Maps: It is a compile time error if the type arguments of a constant m ap literal include a
1575 * type parameter. 1634 * type parameter.
1576 * 1635 *
1577 * @name the name of the type parameter 1636 * @name the name of the type parameter
1578 */ 1637 */
1579 static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_MAP = const C ompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_MAP', 76, "Constant map literals cannot include a type parameter as a type argument, such as '%s'"); 1638 static const CompileTimeErrorCode INVALID_TYPE_ARGUMENT_IN_CONST_MAP = const C ompileTimeErrorCode.con1('INVALID_TYPE_ARGUMENT_IN_CONST_MAP', 77, "Constant map literals cannot include a type parameter as a type argument, such as '%s'");
1580 1639
1581 /** 1640 /**
1582 * 14.2 Exports: It is a compile-time error if the compilation unit found at t he specified URI is 1641 * 14.2 Exports: It is a compile-time error if the compilation unit found at t he specified URI is
1583 * not a library declaration. 1642 * not a library declaration.
1584 * 1643 *
1585 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is 1644 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is
1586 * not a library declaration. 1645 * not a library declaration.
1587 * 1646 *
1588 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part 1647 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part
1589 * declaration. 1648 * declaration.
1590 * 1649 *
1591 * @param uri the URI that is invalid 1650 * @param uri the URI that is invalid
1592 * @see #URI_DOES_NOT_EXIST 1651 * @see #URI_DOES_NOT_EXIST
1593 */ 1652 */
1594 static const CompileTimeErrorCode INVALID_URI = const CompileTimeErrorCode.con 1('INVALID_URI', 77, "Invalid URI syntax: '%s'"); 1653 static const CompileTimeErrorCode INVALID_URI = const CompileTimeErrorCode.con 1('INVALID_URI', 78, "Invalid URI syntax: '%s'");
1595 1654
1596 /** 1655 /**
1597 * 13.13 Break: It is a compile-time error if no such statement <i>s<sub>E</su b></i> exists within 1656 * 13.13 Break: It is a compile-time error if no such statement <i>s<sub>E</su b></i> exists within
1598 * the innermost function in which <i>s<sub>b</sub></i> occurs. 1657 * the innermost function in which <i>s<sub>b</sub></i> occurs.
1599 * 1658 *
1600 * 13.14 Continue: It is a compile-time error if no such statement or case cla use 1659 * 13.14 Continue: It is a compile-time error if no such statement or case cla use
1601 * <i>s<sub>E</sub></i> exists within the innermost function in which <i>s<sub >c</sub></i> occurs. 1660 * <i>s<sub>E</sub></i> exists within the innermost function in which <i>s<sub >c</sub></i> occurs.
1602 * 1661 *
1603 * @param labelName the name of the unresolvable label 1662 * @param labelName the name of the unresolvable label
1604 */ 1663 */
1605 static const CompileTimeErrorCode LABEL_IN_OUTER_SCOPE = const CompileTimeErro rCode.con1('LABEL_IN_OUTER_SCOPE', 78, "Cannot reference label '%s' declared in an outer method"); 1664 static const CompileTimeErrorCode LABEL_IN_OUTER_SCOPE = const CompileTimeErro rCode.con1('LABEL_IN_OUTER_SCOPE', 79, "Cannot reference label '%s' declared in an outer method");
1606 1665
1607 /** 1666 /**
1608 * 13.13 Break: It is a compile-time error if no such statement <i>s<sub>E</su b></i> exists within 1667 * 13.13 Break: It is a compile-time error if no such statement <i>s<sub>E</su b></i> exists within
1609 * the innermost function in which <i>s<sub>b</sub></i> occurs. 1668 * the innermost function in which <i>s<sub>b</sub></i> occurs.
1610 * 1669 *
1611 * 13.14 Continue: It is a compile-time error if no such statement or case cla use 1670 * 13.14 Continue: It is a compile-time error if no such statement or case cla use
1612 * <i>s<sub>E</sub></i> exists within the innermost function in which <i>s<sub >c</sub></i> occurs. 1671 * <i>s<sub>E</sub></i> exists within the innermost function in which <i>s<sub >c</sub></i> occurs.
1613 * 1672 *
1614 * @param labelName the name of the unresolvable label 1673 * @param labelName the name of the unresolvable label
1615 */ 1674 */
1616 static const CompileTimeErrorCode LABEL_UNDEFINED = const CompileTimeErrorCode .con1('LABEL_UNDEFINED', 79, "Cannot reference undefined label '%s'"); 1675 static const CompileTimeErrorCode LABEL_UNDEFINED = const CompileTimeErrorCode .con1('LABEL_UNDEFINED', 80, "Cannot reference undefined label '%s'");
1617 1676
1618 /** 1677 /**
1619 * 12.6 Lists: A run-time list literal &lt;<i>E</i>&gt; [<i>e<sub>1</sub></i> ... 1678 * 12.6 Lists: A run-time list literal &lt;<i>E</i>&gt; [<i>e<sub>1</sub></i> ...
1620 * <i>e<sub>n</sub></i>] is evaluated as follows: 1679 * <i>e<sub>n</sub></i>] is evaluated as follows:
1621 * * The operator []= is invoked on <i>a</i> with first argument <i>i</i> and second argument 1680 * * The operator []= is invoked on <i>a</i> with first argument <i>i</i> and second argument
1622 * <i>o<sub>i+1</sub></i><i>, 1 &lt;= i &lt;= n</i> 1681 * <i>o<sub>i+1</sub></i><i>, 1 &lt;= i &lt;= n</i>
1623 * 1682 *
1624 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of 1683 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
1625 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;= 1684 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;=
1626 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>. 1685 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>.
1627 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;= 1686 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;=
1628 * j &lt;= m</i>. 1687 * j &lt;= m</i>.
1629 */ 1688 */
1630 static const CompileTimeErrorCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE = const Com pileTimeErrorCode.con1('LIST_ELEMENT_TYPE_NOT_ASSIGNABLE', 80, "The element type '%s' cannot be assigned to the list type '%s'"); 1689 static const CompileTimeErrorCode LIST_ELEMENT_TYPE_NOT_ASSIGNABLE = const Com pileTimeErrorCode.con1('LIST_ELEMENT_TYPE_NOT_ASSIGNABLE', 81, "The element type '%s' cannot be assigned to the list type '%s'");
1631 1690
1632 /** 1691 /**
1633 * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</su b></i> : 1692 * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</su b></i> :
1634 * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is ev aluated as follows: 1693 * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is ev aluated as follows:
1635 * * The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</s ub></i> and second 1694 * * The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</s ub></i> and second
1636 * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i> 1695 * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i>
1637 * 1696 *
1638 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of 1697 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
1639 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;= 1698 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;=
1640 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>. 1699 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>.
1641 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;= 1700 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;=
1642 * j &lt;= m</i>. 1701 * j &lt;= m</i>.
1643 */ 1702 */
1644 static const CompileTimeErrorCode MAP_KEY_TYPE_NOT_ASSIGNABLE = const CompileT imeErrorCode.con1('MAP_KEY_TYPE_NOT_ASSIGNABLE', 81, "The element type '%s' cann ot be assigned to the map key type '%s'"); 1703 static const CompileTimeErrorCode MAP_KEY_TYPE_NOT_ASSIGNABLE = const CompileT imeErrorCode.con1('MAP_KEY_TYPE_NOT_ASSIGNABLE', 82, "The element type '%s' cann ot be assigned to the map key type '%s'");
1645 1704
1646 /** 1705 /**
1647 * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</su b></i> : 1706 * 12.7 Map: A run-time map literal &lt;<i>K</i>, <i>V</i>&gt; [<i>k<sub>1</su b></i> :
1648 * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is ev aluated as follows: 1707 * <i>e<sub>1</sub></i> ... <i>k<sub>n</sub></i> : <i>e<sub>n</sub></i>] is ev aluated as follows:
1649 * * The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</s ub></i> and second 1708 * * The operator []= is invoked on <i>m</i> with first argument <i>k<sub>i</s ub></i> and second
1650 * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i> 1709 * argument <i>e<sub>i</sub></i><i>, 1 &lt;= i &lt;= n</i>
1651 * 1710 *
1652 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of 1711 * 12.14.2 Binding Actuals to Formals: Let <i>T<sub>i</sub></i> be the static type of
1653 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;= 1712 * <i>a<sub>i</sub></i>, let <i>S<sub>i</sub></i> be the type of <i>p<sub>i</s ub>, 1 &lt;= i &lt;=
1654 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>. 1713 * n+k</i> and let <i>S<sub>q</sub></i> be the type of the named parameter <i> q</i> of <i>f</i>.
1655 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;= 1714 * It is a static warning if <i>T<sub>j</sub></i> may not be assigned to <i>S< sub>j</sub>, 1 &lt;=
1656 * j &lt;= m</i>. 1715 * j &lt;= m</i>.
1657 */ 1716 */
1658 static const CompileTimeErrorCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const Compil eTimeErrorCode.con1('MAP_VALUE_TYPE_NOT_ASSIGNABLE', 82, "The element type '%s' cannot be assigned to the map value type '%s'"); 1717 static const CompileTimeErrorCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const Compil eTimeErrorCode.con1('MAP_VALUE_TYPE_NOT_ASSIGNABLE', 83, "The element type '%s' cannot be assigned to the map value type '%s'");
1659 1718
1660 /** 1719 /**
1661 * 7 Classes: It is a compile time error if a class <i>C</i> declares a member with the same name 1720 * 7 Classes: It is a compile time error if a class <i>C</i> declares a member with the same name
1662 * as <i>C</i>. 1721 * as <i>C</i>.
1663 */ 1722 */
1664 static const CompileTimeErrorCode MEMBER_WITH_CLASS_NAME = const CompileTimeEr rorCode.con1('MEMBER_WITH_CLASS_NAME', 83, "Class members cannot have the same n ame as the enclosing class"); 1723 static const CompileTimeErrorCode MEMBER_WITH_CLASS_NAME = const CompileTimeEr rorCode.con1('MEMBER_WITH_CLASS_NAME', 84, "Class members cannot have the same n ame as the enclosing class");
1665 1724
1666 /** 1725 /**
1667 * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same 1726 * 7.2 Getters: It is a compile-time error if a class has both a getter and a method with the same
1668 * name. 1727 * name.
1669 * 1728 *
1670 * @param name the conflicting name of the getter and method 1729 * @param name the conflicting name of the getter and method
1671 */ 1730 */
1672 static const CompileTimeErrorCode METHOD_AND_GETTER_WITH_SAME_NAME = const Com pileTimeErrorCode.con1('METHOD_AND_GETTER_WITH_SAME_NAME', 84, "'%s' cannot be u sed to name a method, there is already a getter with the same name"); 1731 static const CompileTimeErrorCode METHOD_AND_GETTER_WITH_SAME_NAME = const Com pileTimeErrorCode.con1('METHOD_AND_GETTER_WITH_SAME_NAME', 85, "'%s' cannot be u sed to name a method, there is already a getter with the same name");
1673 1732
1674 /** 1733 /**
1675 * 12.1 Constants: A constant expression is ... a constant list literal. 1734 * 12.1 Constants: A constant expression is ... a constant list literal.
1676 */ 1735 */
1677 static const CompileTimeErrorCode MISSING_CONST_IN_LIST_LITERAL = const Compil eTimeErrorCode.con1('MISSING_CONST_IN_LIST_LITERAL', 85, "List literals must be prefixed with 'const' when used as a constant expression"); 1736 static const CompileTimeErrorCode MISSING_CONST_IN_LIST_LITERAL = const Compil eTimeErrorCode.con1('MISSING_CONST_IN_LIST_LITERAL', 86, "List literals must be prefixed with 'const' when used as a constant expression");
1678 1737
1679 /** 1738 /**
1680 * 12.1 Constants: A constant expression is ... a constant map literal. 1739 * 12.1 Constants: A constant expression is ... a constant map literal.
1681 */ 1740 */
1682 static const CompileTimeErrorCode MISSING_CONST_IN_MAP_LITERAL = const Compile TimeErrorCode.con1('MISSING_CONST_IN_MAP_LITERAL', 86, "Map literals must be pre fixed with 'const' when used as a constant expression"); 1741 static const CompileTimeErrorCode MISSING_CONST_IN_MAP_LITERAL = const Compile TimeErrorCode.con1('MISSING_CONST_IN_MAP_LITERAL', 87, "Map literals must be pre fixed with 'const' when used as a constant expression");
1683 1742
1684 /** 1743 /**
1685 * 9 Mixins: It is a compile-time error if a declared or derived mixin explici tly declares a 1744 * 9 Mixins: It is a compile-time error if a declared or derived mixin explici tly declares a
1686 * constructor. 1745 * constructor.
1687 * 1746 *
1688 * @param typeName the name of the mixin that is invalid 1747 * @param typeName the name of the mixin that is invalid
1689 */ 1748 */
1690 static const CompileTimeErrorCode MIXIN_DECLARES_CONSTRUCTOR = const CompileTi meErrorCode.con1('MIXIN_DECLARES_CONSTRUCTOR', 87, "The class '%s' cannot be use d as a mixin because it declares a constructor"); 1749 static const CompileTimeErrorCode MIXIN_DECLARES_CONSTRUCTOR = const CompileTi meErrorCode.con1('MIXIN_DECLARES_CONSTRUCTOR', 88, "The class '%s' cannot be use d as a mixin because it declares a constructor");
1691 1750
1692 /** 1751 /**
1693 * 9 Mixins: It is a compile-time error if a mixin is derived from a class who se superclass is not 1752 * 9 Mixins: It is a compile-time error if a mixin is derived from a class who se superclass is not
1694 * Object. 1753 * Object.
1695 * 1754 *
1696 * @param typeName the name of the mixin that is invalid 1755 * @param typeName the name of the mixin that is invalid
1697 */ 1756 */
1698 static const CompileTimeErrorCode MIXIN_INHERITS_FROM_NOT_OBJECT = const Compi leTimeErrorCode.con1('MIXIN_INHERITS_FROM_NOT_OBJECT', 88, "The class '%s' canno t be used as a mixin because it extends a class other than Object"); 1757 static const CompileTimeErrorCode MIXIN_INHERITS_FROM_NOT_OBJECT = const Compi leTimeErrorCode.con1('MIXIN_INHERITS_FROM_NOT_OBJECT', 89, "The class '%s' canno t be used as a mixin because it extends a class other than Object");
1699 1758
1700 /** 1759 /**
1701 * 12.2 Null: It is a compile-time error for a class to attempt to extend or i mplement Null. 1760 * 12.2 Null: It is a compile-time error for a class to attempt to extend or i mplement Null.
1702 * 1761 *
1703 * 12.3 Numbers: It is a compile-time error for a class to attempt to extend o r implement int. 1762 * 12.3 Numbers: It is a compile-time error for a class to attempt to extend o r implement int.
1704 * 1763 *
1705 * 12.3 Numbers: It is a compile-time error for a class to attempt to extend o r implement double. 1764 * 12.3 Numbers: It is a compile-time error for a class to attempt to extend o r implement double.
1706 * 1765 *
1707 * 12.3 Numbers: It is a compile-time error for any type other than the types int and double to 1766 * 12.3 Numbers: It is a compile-time error for any type other than the types int and double to
1708 * attempt to extend or implement num. 1767 * attempt to extend or implement num.
1709 * 1768 *
1710 * 12.4 Booleans: It is a compile-time error for a class to attempt to extend or implement bool. 1769 * 12.4 Booleans: It is a compile-time error for a class to attempt to extend or implement bool.
1711 * 1770 *
1712 * 12.5 Strings: It is a compile-time error for a class to attempt to extend o r implement String. 1771 * 12.5 Strings: It is a compile-time error for a class to attempt to extend o r implement String.
1713 * 1772 *
1714 * @param typeName the name of the type that cannot be extended 1773 * @param typeName the name of the type that cannot be extended
1715 * @see #IMPLEMENTS_DISALLOWED_CLASS 1774 * @see #IMPLEMENTS_DISALLOWED_CLASS
1716 */ 1775 */
1717 static const CompileTimeErrorCode MIXIN_OF_DISALLOWED_CLASS = const CompileTim eErrorCode.con1('MIXIN_OF_DISALLOWED_CLASS', 89, "Classes cannot mixin '%s'"); 1776 static const CompileTimeErrorCode MIXIN_OF_DISALLOWED_CLASS = const CompileTim eErrorCode.con1('MIXIN_OF_DISALLOWED_CLASS', 90, "Classes cannot mixin '%s'");
1718 1777
1719 /** 1778 /**
1720 * 9.1 Mixin Application: It is a compile-time error if <i>M</i> does not deno te a class or mixin 1779 * 9.1 Mixin Application: It is a compile-time error if <i>M</i> does not deno te a class or mixin
1721 * available in the immediately enclosing scope. 1780 * available in the immediately enclosing scope.
1722 */ 1781 */
1723 static const CompileTimeErrorCode MIXIN_OF_NON_CLASS = const CompileTimeErrorC ode.con1('MIXIN_OF_NON_CLASS', 90, "Classes can only mixin other classes"); 1782 static const CompileTimeErrorCode MIXIN_OF_NON_CLASS = const CompileTimeErrorC ode.con1('MIXIN_OF_NON_CLASS', 91, "Classes can only mixin other classes");
1724 1783
1725 /** 1784 /**
1726 * 9 Mixins: It is a compile-time error if a declared or derived mixin refers to super. 1785 * 9 Mixins: It is a compile-time error if a declared or derived mixin refers to super.
1727 */ 1786 */
1728 static const CompileTimeErrorCode MIXIN_REFERENCES_SUPER = const CompileTimeEr rorCode.con1('MIXIN_REFERENCES_SUPER', 91, "The class '%s' cannot be used as a m ixin because it references 'super'"); 1787 static const CompileTimeErrorCode MIXIN_REFERENCES_SUPER = const CompileTimeEr rorCode.con1('MIXIN_REFERENCES_SUPER', 92, "The class '%s' cannot be used as a m ixin because it references 'super'");
1729 1788
1730 /** 1789 /**
1731 * 9.1 Mixin Application: It is a compile-time error if <i>S</i> does not deno te a class available 1790 * 9.1 Mixin Application: It is a compile-time error if <i>S</i> does not deno te a class available
1732 * in the immediately enclosing scope. 1791 * in the immediately enclosing scope.
1733 */ 1792 */
1734 static const CompileTimeErrorCode MIXIN_WITH_NON_CLASS_SUPERCLASS = const Comp ileTimeErrorCode.con1('MIXIN_WITH_NON_CLASS_SUPERCLASS', 92, "Mixin can only be applied to class"); 1793 static const CompileTimeErrorCode MIXIN_WITH_NON_CLASS_SUPERCLASS = const Comp ileTimeErrorCode.con1('MIXIN_WITH_NON_CLASS_SUPERCLASS', 93, "Mixin can only be applied to class");
1735 1794
1736 /** 1795 /**
1737 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its 1796 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its
1738 * only action is to invoke another generative constructor. 1797 * only action is to invoke another generative constructor.
1739 */ 1798 */
1740 static const CompileTimeErrorCode MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS = const CompileTimeErrorCode.con1('MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS ', 93, "Constructor may have at most one 'this' redirection"); 1799 static const CompileTimeErrorCode MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS = const CompileTimeErrorCode.con1('MULTIPLE_REDIRECTING_CONSTRUCTOR_INVOCATIONS ', 94, "Constructor may have at most one 'this' redirection");
1741 1800
1742 /** 1801 /**
1743 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. Th en <i>k</i> may 1802 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. Th en <i>k</i> may
1744 * include at most one superinitializer in its initializer list or a compile t ime error occurs. 1803 * include at most one superinitializer in its initializer list or a compile t ime error occurs.
1745 */ 1804 */
1746 static const CompileTimeErrorCode MULTIPLE_SUPER_INITIALIZERS = const CompileT imeErrorCode.con1('MULTIPLE_SUPER_INITIALIZERS', 94, "Constructor may have at mo st one 'super' initializer"); 1805 static const CompileTimeErrorCode MULTIPLE_SUPER_INITIALIZERS = const CompileT imeErrorCode.con1('MULTIPLE_SUPER_INITIALIZERS', 95, "Constructor may have at mo st one 'super' initializer");
1747 1806
1748 /** 1807 /**
1749 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the 1808 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the
1750 * character @, followed by a constant expression that must be either a refere nce to a 1809 * character @, followed by a constant expression that must be either a refere nce to a
1751 * compile-time constant variable, or a call to a constant constructor. 1810 * compile-time constant variable, or a call to a constant constructor.
1752 */ 1811 */
1753 static const CompileTimeErrorCode NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS = const CompileTimeErrorCode.con1('NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS', 95, "Annotation creation must have arguments"); 1812 static const CompileTimeErrorCode NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS = const CompileTimeErrorCode.con1('NO_ANNOTATION_CONSTRUCTOR_ARGUMENTS', 96, "Annotation creation must have arguments");
1754 1813
1755 /** 1814 /**
1756 * 7.6.1 Generative Constructors: If no superinitializer is provided, an impli cit superinitializer 1815 * 7.6.1 Generative Constructors: If no superinitializer is provided, an impli cit superinitializer
1757 * of the form <b>super</b>() is added at the end of <i>k</i>'s initializer li st, unless the 1816 * of the form <b>super</b>() is added at the end of <i>k</i>'s initializer li st, unless the
1758 * enclosing class is class <i>Object</i>. 1817 * enclosing class is class <i>Object</i>.
1759 * 1818 *
1760 * 7.6.1 Generative constructors. It is a compile-time error if class <i>S</i> does not declare a 1819 * 7.6.1 Generative constructors. It is a compile-time error if class <i>S</i> does not declare a
1761 * generative constructor named <i>S</i> (respectively <i>S.id</i>) 1820 * generative constructor named <i>S</i> (respectively <i>S.id</i>)
1762 */ 1821 */
1763 static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT = cons t CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT', 96, "The cl ass '%s' does not have a default constructor"); 1822 static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT = cons t CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT', 97, "The cl ass '%s' does not have a default constructor");
1764 1823
1765 /** 1824 /**
1766 * 7.6 Constructors: Iff no constructor is specified for a class <i>C</i>, it implicitly has a 1825 * 7.6 Constructors: Iff no constructor is specified for a class <i>C</i>, it implicitly has a
1767 * default constructor C() : <b>super<b>() {}, unless <i>C</i> is class <i>Obj ect</i>. 1826 * default constructor C() : <b>super<b>() {}, unless <i>C</i> is class <i>Obj ect</i>.
1768 * 1827 *
1769 * 7.6.1 Generative constructors. It is a compile-time error if class <i>S</i> does not declare a 1828 * 7.6.1 Generative constructors. It is a compile-time error if class <i>S</i> does not declare a
1770 * generative constructor named <i>S</i> (respectively <i>S.id</i>) 1829 * generative constructor named <i>S</i> (respectively <i>S.id</i>)
1771 */ 1830 */
1772 static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT = cons t CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT', 97, "The cl ass '%s' does not have a default constructor"); 1831 static const CompileTimeErrorCode NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT = cons t CompileTimeErrorCode.con1('NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT', 98, "The cl ass '%s' does not have a default constructor");
1773 1832
1774 /** 1833 /**
1775 * 13.2 Expression Statements: It is a compile-time error if a non-constant ma p literal that has 1834 * 13.2 Expression Statements: It is a compile-time error if a non-constant ma p literal that has
1776 * no explicit type arguments appears in a place where a statement is expected . 1835 * no explicit type arguments appears in a place where a statement is expected .
1777 */ 1836 */
1778 static const CompileTimeErrorCode NON_CONST_MAP_AS_EXPRESSION_STATEMENT = cons t CompileTimeErrorCode.con1('NON_CONST_MAP_AS_EXPRESSION_STATEMENT', 98, "A non- constant map literal without type arguments cannot be used as an expression stat ement"); 1837 static const CompileTimeErrorCode NON_CONST_MAP_AS_EXPRESSION_STATEMENT = cons t CompileTimeErrorCode.con1('NON_CONST_MAP_AS_EXPRESSION_STATEMENT', 99, "A non- constant map literal without type arguments cannot be used as an expression stat ement");
1779 1838
1780 /** 1839 /**
1781 * 13.9 Switch: Given a switch statement of the form <i>switch (e) { label<sub >11</sub> &hellip; 1840 * 13.9 Switch: Given a switch statement of the form <i>switch (e) { label<sub >11</sub> &hellip;
1782 * label<sub>1j1</sub> case e<sub>1</sub>: s<sub>1</sub> &hellip; label<sub>n1 </sub> &hellip; 1841 * label<sub>1j1</sub> case e<sub>1</sub>: s<sub>1</sub> &hellip; label<sub>n1 </sub> &hellip;
1783 * label<sub>njn</sub> case e<sub>n</sub>: s<sub>n</sub> default: s<sub>n+1</s ub>}</i> or the form 1842 * label<sub>njn</sub> case e<sub>n</sub>: s<sub>n</sub> default: s<sub>n+1</s ub>}</i> or the form
1784 * <i>switch (e) { label<sub>11</sub> &hellip; label<sub>1j1</sub> case e<sub> 1</sub>: 1843 * <i>switch (e) { label<sub>11</sub> &hellip; label<sub>1j1</sub> case e<sub> 1</sub>:
1785 * s<sub>1</sub> &hellip; label<sub>n1</sub> &hellip; label<sub>njn</sub> case e<sub>n</sub>: 1844 * s<sub>1</sub> &hellip; label<sub>n1</sub> &hellip; label<sub>njn</sub> case e<sub>n</sub>:
1786 * s<sub>n</sub>}</i>, it is a compile-time error if the expressions <i>e<sub> k</sub></i> are not 1845 * s<sub>n</sub>}</i>, it is a compile-time error if the expressions <i>e<sub> k</sub></i> are not
1787 * compile-time constants, for all <i>1 &lt;= k &lt;= n</i>. 1846 * compile-time constants, for all <i>1 &lt;= k &lt;= n</i>.
1788 */ 1847 */
1789 static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION = const Compile TimeErrorCode.con1('NON_CONSTANT_CASE_EXPRESSION', 99, "Case expressions must be constant"); 1848 static const CompileTimeErrorCode NON_CONSTANT_CASE_EXPRESSION = const Compile TimeErrorCode.con1('NON_CONSTANT_CASE_EXPRESSION', 100, "Case expressions must b e constant");
1790 1849
1791 /** 1850 /**
1792 * 6.2.2 Optional Formals: It is a compile-time error if the default value of an optional 1851 * 6.2.2 Optional Formals: It is a compile-time error if the default value of an optional
1793 * parameter is not a compile-time constant. 1852 * parameter is not a compile-time constant.
1794 */ 1853 */
1795 static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE = const CompileTi meErrorCode.con1('NON_CONSTANT_DEFAULT_VALUE', 100, "Default values of an option al parameter must be constant"); 1854 static const CompileTimeErrorCode NON_CONSTANT_DEFAULT_VALUE = const CompileTi meErrorCode.con1('NON_CONSTANT_DEFAULT_VALUE', 101, "Default values of an option al parameter must be constant");
1796 1855
1797 /** 1856 /**
1798 * 12.6 Lists: It is a compile time error if an element of a constant list lit eral is not a 1857 * 12.6 Lists: It is a compile time error if an element of a constant list lit eral is not a
1799 * compile-time constant. 1858 * compile-time constant.
1800 */ 1859 */
1801 static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT = const CompileTim eErrorCode.con1('NON_CONSTANT_LIST_ELEMENT', 101, "'const' lists must have all c onstant values"); 1860 static const CompileTimeErrorCode NON_CONSTANT_LIST_ELEMENT = const CompileTim eErrorCode.con1('NON_CONSTANT_LIST_ELEMENT', 102, "'const' lists must have all c onstant values");
1802 1861
1803 /** 1862 /**
1804 * 12.7 Maps: It is a compile time error if either a key or a value of an entr y in a constant map 1863 * 12.7 Maps: It is a compile time error if either a key or a value of an entr y in a constant map
1805 * literal is not a compile-time constant. 1864 * literal is not a compile-time constant.
1806 */ 1865 */
1807 static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY = const CompileTimeErro rCode.con1('NON_CONSTANT_MAP_KEY', 102, "The keys in a map must be constant"); 1866 static const CompileTimeErrorCode NON_CONSTANT_MAP_KEY = const CompileTimeErro rCode.con1('NON_CONSTANT_MAP_KEY', 103, "The keys in a map must be constant");
1808 1867
1809 /** 1868 /**
1810 * 12.7 Maps: It is a compile time error if either a key or a value of an entr y in a constant map 1869 * 12.7 Maps: It is a compile time error if either a key or a value of an entr y in a constant map
1811 * literal is not a compile-time constant. 1870 * literal is not a compile-time constant.
1812 */ 1871 */
1813 static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE = const CompileTimeEr rorCode.con1('NON_CONSTANT_MAP_VALUE', 103, "The values in a 'const' map must be constant"); 1872 static const CompileTimeErrorCode NON_CONSTANT_MAP_VALUE = const CompileTimeEr rorCode.con1('NON_CONSTANT_MAP_VALUE', 104, "The values in a 'const' map must be constant");
1814 1873
1815 /** 1874 /**
1816 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the 1875 * 11 Metadata: Metadata consists of a series of annotations, each of which be gin with the
1817 * character @, followed by a constant expression that must be either a refere nce to a 1876 * character @, followed by a constant expression that must be either a refere nce to a
1818 * compile-time constant variable, or a call to a constant constructor. 1877 * compile-time constant variable, or a call to a constant constructor.
1819 */ 1878 */
1820 static const CompileTimeErrorCode NON_CONSTANT_ANNOTATION_CONSTRUCTOR = const CompileTimeErrorCode.con1('NON_CONSTANT_ANNOTATION_CONSTRUCTOR', 104, "Annotatio n creation can use only 'const' constructor"); 1879 static const CompileTimeErrorCode NON_CONSTANT_ANNOTATION_CONSTRUCTOR = const CompileTimeErrorCode.con1('NON_CONSTANT_ANNOTATION_CONSTRUCTOR', 105, "Annotatio n creation can use only 'const' constructor");
1821 1880
1822 /** 1881 /**
1823 * 7.6.3 Constant Constructors: Any expression that appears within the initial izer list of a 1882 * 7.6.3 Constant Constructors: Any expression that appears within the initial izer list of a
1824 * constant constructor must be a potentially constant expression, or a compil e-time error occurs. 1883 * constant constructor must be a potentially constant expression, or a compil e-time error occurs.
1825 */ 1884 */
1826 static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER = const Co mpileTimeErrorCode.con1('NON_CONSTANT_VALUE_IN_INITIALIZER', 105, "Initializer e xpressions in constant constructors must be constants"); 1885 static const CompileTimeErrorCode NON_CONSTANT_VALUE_IN_INITIALIZER = const Co mpileTimeErrorCode.con1('NON_CONSTANT_VALUE_IN_INITIALIZER', 106, "Initializer e xpressions in constant constructors must be constants");
1827 1886
1828 /** 1887 /**
1829 * 12.14.2 Binding Actuals to Formals: It is a static warning if <i>m < h</i> or if <i>m > n</i>. 1888 * 12.14.2 Binding Actuals to Formals: It is a static warning if <i>m < h</i> or if <i>m > n</i>.
1830 * 1889 *
1831 * 12.11.2 Const: It is a compile-time error if evaluation of a constant objec t results in an 1890 * 12.11.2 Const: It is a compile-time error if evaluation of a constant objec t results in an
1832 * uncaught exception being thrown. 1891 * uncaught exception being thrown.
1833 * 1892 *
1834 * @param requiredCount the expected number of required arguments 1893 * @param requiredCount the expected number of required arguments
1835 * @param argumentCount the actual number of positional arguments given 1894 * @param argumentCount the actual number of positional arguments given
1836 */ 1895 */
1837 static const CompileTimeErrorCode NOT_ENOUGH_REQUIRED_ARGUMENTS = const Compil eTimeErrorCode.con1('NOT_ENOUGH_REQUIRED_ARGUMENTS', 106, "%d required argument( s) expected, but %d found"); 1896 static const CompileTimeErrorCode NOT_ENOUGH_REQUIRED_ARGUMENTS = const Compil eTimeErrorCode.con1('NOT_ENOUGH_REQUIRED_ARGUMENTS', 107, "%d required argument( s) expected, but %d found");
1838 1897
1839 /** 1898 /**
1840 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears 1899 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears
1841 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is 1900 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is
1842 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i> 1901 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i>
1843 * (respectively <i>S.id</i>) 1902 * (respectively <i>S.id</i>)
1844 */ 1903 */
1845 static const CompileTimeErrorCode NON_GENERATIVE_CONSTRUCTOR = const CompileTi meErrorCode.con1('NON_GENERATIVE_CONSTRUCTOR', 107, "The generative constructor '%s' expected, but factory found"); 1904 static const CompileTimeErrorCode NON_GENERATIVE_CONSTRUCTOR = const CompileTi meErrorCode.con1('NON_GENERATIVE_CONSTRUCTOR', 108, "The generative constructor '%s' expected, but factory found");
1846 1905
1847 /** 1906 /**
1848 * 7.9 Superclasses: It is a compile-time error to specify an extends clause f or class Object. 1907 * 7.9 Superclasses: It is a compile-time error to specify an extends clause f or class Object.
1849 */ 1908 */
1850 static const CompileTimeErrorCode OBJECT_CANNOT_EXTEND_ANOTHER_CLASS = const C ompileTimeErrorCode.con1('OBJECT_CANNOT_EXTEND_ANOTHER_CLASS', 108, ""); 1909 static const CompileTimeErrorCode OBJECT_CANNOT_EXTEND_ANOTHER_CLASS = const C ompileTimeErrorCode.con1('OBJECT_CANNOT_EXTEND_ANOTHER_CLASS', 109, "");
1851 1910
1852 /** 1911 /**
1853 * 7.1.1 Operators: It is a compile-time error to declare an optional paramete r in an operator. 1912 * 7.1.1 Operators: It is a compile-time error to declare an optional paramete r in an operator.
1854 */ 1913 */
1855 static const CompileTimeErrorCode OPTIONAL_PARAMETER_IN_OPERATOR = const Compi leTimeErrorCode.con1('OPTIONAL_PARAMETER_IN_OPERATOR', 109, "Optional parameters are not allowed when defining an operator"); 1914 static const CompileTimeErrorCode OPTIONAL_PARAMETER_IN_OPERATOR = const Compi leTimeErrorCode.con1('OPTIONAL_PARAMETER_IN_OPERATOR', 110, "Optional parameters are not allowed when defining an operator");
1856 1915
1857 /** 1916 /**
1858 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part 1917 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part
1859 * declaration. 1918 * declaration.
1860 * 1919 *
1861 * @param uri the uri pointing to a non-library declaration 1920 * @param uri the uri pointing to a non-library declaration
1862 */ 1921 */
1863 static const CompileTimeErrorCode PART_OF_NON_PART = const CompileTimeErrorCod e.con1('PART_OF_NON_PART', 110, "The included part '%s' must have a part-of dire ctive"); 1922 static const CompileTimeErrorCode PART_OF_NON_PART = const CompileTimeErrorCod e.con1('PART_OF_NON_PART', 111, "The included part '%s' must have a part-of dire ctive");
1864 1923
1865 /** 1924 /**
1866 * 14.1 Imports: It is a compile-time error if the current library declares a top-level member 1925 * 14.1 Imports: It is a compile-time error if the current library declares a top-level member
1867 * named <i>p</i>. 1926 * named <i>p</i>.
1868 */ 1927 */
1869 static const CompileTimeErrorCode PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER = cons t CompileTimeErrorCode.con1('PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER', 111, "The n ame '%s' is already used as an import prefix and cannot be used to name a top-le vel element"); 1928 static const CompileTimeErrorCode PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER = cons t CompileTimeErrorCode.con1('PREFIX_COLLIDES_WITH_TOP_LEVEL_MEMBER', 112, "The n ame '%s' is already used as an import prefix and cannot be used to name a top-le vel element");
1870 1929
1871 /** 1930 /**
1872 * 6.2.2 Optional Formals: It is a compile-time error if the name of a named o ptional parameter 1931 * 6.2.2 Optional Formals: It is a compile-time error if the name of a named o ptional parameter
1873 * begins with an '_' character. 1932 * begins with an '_' character.
1874 */ 1933 */
1875 static const CompileTimeErrorCode PRIVATE_OPTIONAL_PARAMETER = const CompileTi meErrorCode.con1('PRIVATE_OPTIONAL_PARAMETER', 112, "Named optional parameters c annot start with an underscore"); 1934 static const CompileTimeErrorCode PRIVATE_OPTIONAL_PARAMETER = const CompileTi meErrorCode.con1('PRIVATE_OPTIONAL_PARAMETER', 113, "Named optional parameters c annot start with an underscore");
1876 1935
1877 /** 1936 /**
1878 * 12.1 Constants: It is a compile-time error if the value of a compile-time c onstant expression 1937 * 12.1 Constants: It is a compile-time error if the value of a compile-time c onstant expression
1879 * depends on itself. 1938 * depends on itself.
1880 */ 1939 */
1881 static const CompileTimeErrorCode RECURSIVE_COMPILE_TIME_CONSTANT = const Comp ileTimeErrorCode.con1('RECURSIVE_COMPILE_TIME_CONSTANT', 113, ""); 1940 static const CompileTimeErrorCode RECURSIVE_COMPILE_TIME_CONSTANT = const Comp ileTimeErrorCode.con1('RECURSIVE_COMPILE_TIME_CONSTANT', 114, "");
1882 1941
1883 /** 1942 /**
1884 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its 1943 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its
1885 * only action is to invoke another generative constructor. 1944 * only action is to invoke another generative constructor.
1886 * 1945 *
1887 * TODO(scheglov) review this later, there are no explicit "it is a compile-ti me error" in 1946 * TODO(scheglov) review this later, there are no explicit "it is a compile-ti me error" in
1888 * specification. But it was added to the co19 and there is same error for fac tories. 1947 * specification. But it was added to the co19 and there is same error for fac tories.
1889 * 1948 *
1890 * https://code.google.com/p/dart/issues/detail?id=954 1949 * https://code.google.com/p/dart/issues/detail?id=954
1891 */ 1950 */
1892 static const CompileTimeErrorCode RECURSIVE_CONSTRUCTOR_REDIRECT = const Compi leTimeErrorCode.con1('RECURSIVE_CONSTRUCTOR_REDIRECT', 114, "Cycle in redirectin g generative constructors"); 1951 static const CompileTimeErrorCode RECURSIVE_CONSTRUCTOR_REDIRECT = const Compi leTimeErrorCode.con1('RECURSIVE_CONSTRUCTOR_REDIRECT', 115, "Cycle in redirectin g generative constructors");
1893 1952
1894 /** 1953 /**
1895 * 7.6.2 Factories: It is a compile-time error if a redirecting factory constr uctor redirects to 1954 * 7.6.2 Factories: It is a compile-time error if a redirecting factory constr uctor redirects to
1896 * itself, either directly or indirectly via a sequence of redirections. 1955 * itself, either directly or indirectly via a sequence of redirections.
1897 */ 1956 */
1898 static const CompileTimeErrorCode RECURSIVE_FACTORY_REDIRECT = const CompileTi meErrorCode.con1('RECURSIVE_FACTORY_REDIRECT', 115, "Cycle in redirecting factor y constructors"); 1957 static const CompileTimeErrorCode RECURSIVE_FACTORY_REDIRECT = const CompileTi meErrorCode.con1('RECURSIVE_FACTORY_REDIRECT', 116, "Cycle in redirecting factor y constructors");
1899 1958
1900 /** 1959 /**
1901 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a 1960 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a
1902 * superinterface of itself. 1961 * superinterface of itself.
1903 * 1962 *
1904 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself. 1963 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself.
1905 * 1964 *
1906 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself. 1965 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself.
1907 * 1966 *
1908 * @param className the name of the class that implements itself recursively 1967 * @param className the name of the class that implements itself recursively
1909 * @param strImplementsPath a string representation of the implements loop 1968 * @param strImplementsPath a string representation of the implements loop
1910 */ 1969 */
1911 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE = const Comp ileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE', 116, "'%s' cannot be a superinterface of itself: %s"); 1970 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE = const Comp ileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE', 117, "'%s' cannot be a superinterface of itself: %s");
1912 1971
1913 /** 1972 /**
1914 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a 1973 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a
1915 * superinterface of itself. 1974 * superinterface of itself.
1916 * 1975 *
1917 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself. 1976 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself.
1918 * 1977 *
1919 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself. 1978 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself.
1920 * 1979 *
1921 * @param className the name of the class that implements itself recursively 1980 * @param className the name of the class that implements itself recursively
1922 */ 1981 */
1923 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EX TENDS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE_CA SE_EXTENDS', 117, "'%s' cannot extend itself"); 1982 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EX TENDS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE_CA SE_EXTENDS', 118, "'%s' cannot extend itself");
1924 1983
1925 /** 1984 /**
1926 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a 1985 * 7.10 Superinterfaces: It is a compile-time error if the interface of a clas s <i>C</i> is a
1927 * superinterface of itself. 1986 * superinterface of itself.
1928 * 1987 *
1929 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself. 1988 * 8.1 Superinterfaces: It is a compile-time error if an interface is a superi nterface of itself.
1930 * 1989 *
1931 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself. 1990 * 7.9 Superclasses: It is a compile-time error if a class <i>C</i> is a super class of itself.
1932 * 1991 *
1933 * @param className the name of the class that implements itself recursively 1992 * @param className the name of the class that implements itself recursively
1934 */ 1993 */
1935 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IM PLEMENTS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE _CASE_IMPLEMENTS', 118, "'%s' cannot implement itself"); 1994 static const CompileTimeErrorCode RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IM PLEMENTS = const CompileTimeErrorCode.con1('RECURSIVE_INTERFACE_INHERITANCE_BASE _CASE_IMPLEMENTS', 119, "'%s' cannot implement itself");
1936 1995
1937 /** 1996 /**
1938 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but 1997 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but
1939 * <i>k'</i> is not a constant constructor. 1998 * <i>k'</i> is not a constant constructor.
1940 */ 1999 */
1941 static const CompileTimeErrorCode REDIRECT_TO_MISSING_CONSTRUCTOR = const Comp ileTimeErrorCode.con1('REDIRECT_TO_MISSING_CONSTRUCTOR', 119, "The constructor ' %s' could not be found in '%s'"); 2000 static const CompileTimeErrorCode REDIRECT_TO_MISSING_CONSTRUCTOR = const Comp ileTimeErrorCode.con1('REDIRECT_TO_MISSING_CONSTRUCTOR', 120, "The constructor ' %s' could not be found in '%s'");
1942 2001
1943 /** 2002 /**
1944 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but 2003 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but
1945 * <i>k'</i> is not a constant constructor. 2004 * <i>k'</i> is not a constant constructor.
1946 */ 2005 */
1947 static const CompileTimeErrorCode REDIRECT_TO_NON_CLASS = const CompileTimeErr orCode.con1('REDIRECT_TO_NON_CLASS', 120, "The name '%s' is not a type and canno t be used in a redirected constructor"); 2006 static const CompileTimeErrorCode REDIRECT_TO_NON_CLASS = const CompileTimeErr orCode.con1('REDIRECT_TO_NON_CLASS', 121, "The name '%s' is not a type and canno t be used in a redirected constructor");
1948 2007
1949 /** 2008 /**
1950 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but 2009 * 7.6.2 Factories: It is a compile-time error if <i>k</i> is prefixed with th e const modifier but
1951 * <i>k'</i> is not a constant constructor. 2010 * <i>k'</i> is not a constant constructor.
1952 */ 2011 */
1953 static const CompileTimeErrorCode REDIRECT_TO_NON_CONST_CONSTRUCTOR = const Co mpileTimeErrorCode.con1('REDIRECT_TO_NON_CONST_CONSTRUCTOR', 121, "Constant fact ory constructor cannot delegate to a non-constant constructor"); 2012 static const CompileTimeErrorCode REDIRECT_TO_NON_CONST_CONSTRUCTOR = const Co mpileTimeErrorCode.con1('REDIRECT_TO_NON_CONST_CONSTRUCTOR', 122, "Constant fact ory constructor cannot delegate to a non-constant constructor");
1954 2013
1955 /** 2014 /**
1956 * 5 Variables: A local variable may only be referenced at a source code locat ion that is after 2015 * 5 Variables: A local variable may only be referenced at a source code locat ion that is after
1957 * its initializer, if any, is complete, or a compile-time error occurs. 2016 * its initializer, if any, is complete, or a compile-time error occurs.
1958 */ 2017 */
1959 static const CompileTimeErrorCode REFERENCED_BEFORE_DECLARATION = const Compil eTimeErrorCode.con1('REFERENCED_BEFORE_DECLARATION', 122, "Local variables canno t be referenced before they are declared"); 2018 static const CompileTimeErrorCode REFERENCED_BEFORE_DECLARATION = const Compil eTimeErrorCode.con1('REFERENCED_BEFORE_DECLARATION', 123, "Local variables canno t be referenced before they are declared");
1960 2019
1961 /** 2020 /**
1962 * 12.8.1 Rethrow: It is a compile-time error if an expression of the form <i> rethrow;</i> is not 2021 * 12.8.1 Rethrow: It is a compile-time error if an expression of the form <i> rethrow;</i> is not
1963 * enclosed within a on-catch clause. 2022 * enclosed within a on-catch clause.
1964 */ 2023 */
1965 static const CompileTimeErrorCode RETHROW_OUTSIDE_CATCH = const CompileTimeErr orCode.con1('RETHROW_OUTSIDE_CATCH', 123, "rethrow must be inside of a catch cla use"); 2024 static const CompileTimeErrorCode RETHROW_OUTSIDE_CATCH = const CompileTimeErr orCode.con1('RETHROW_OUTSIDE_CATCH', 124, "rethrow must be inside of a catch cla use");
1966 2025
1967 /** 2026 /**
1968 * 13.12 Return: It is a compile-time error if a return statement of the form <i>return e;</i> 2027 * 13.12 Return: It is a compile-time error if a return statement of the form <i>return e;</i>
1969 * appears in a generative constructor. 2028 * appears in a generative constructor.
1970 */ 2029 */
1971 static const CompileTimeErrorCode RETURN_IN_GENERATIVE_CONSTRUCTOR = const Com pileTimeErrorCode.con1('RETURN_IN_GENERATIVE_CONSTRUCTOR', 124, "Constructors ca nnot return a value"); 2030 static const CompileTimeErrorCode RETURN_IN_GENERATIVE_CONSTRUCTOR = const Com pileTimeErrorCode.con1('RETURN_IN_GENERATIVE_CONSTRUCTOR', 125, "Constructors ca nnot return a value");
2031
2032 /**
2033 * Speculative.
2034 */
2035 static const CompileTimeErrorCode SHARED_DEFERRED_PREFIX = const CompileTimeEr rorCode.con1('SHARED_DEFERRED_PREFIX', 126, "The prefix of a deferred import can not be used in other import directives");
1972 2036
1973 /** 2037 /**
1974 * 12.15.4 Super Invocation: A super method invocation <i>i</i> has the form 2038 * 12.15.4 Super Invocation: A super method invocation <i>i</i> has the form
1975 * <i>super.m(a<sub>1</sub>, &hellip;, a<sub>n</sub>, x<sub>n+1</sub>: a<sub>n +1</sub>, &hellip; 2039 * <i>super.m(a<sub>1</sub>, &hellip;, a<sub>n</sub>, x<sub>n+1</sub>: a<sub>n +1</sub>, &hellip;
1976 * x<sub>n+k</sub>: a<sub>n+k</sub>)</i>. It is a compile-time error if a supe r method invocation 2040 * x<sub>n+k</sub>: a<sub>n+k</sub>)</i>. It is a compile-time error if a supe r method invocation
1977 * occurs in a top-level function or variable initializer, in an instance vari able initializer or 2041 * occurs in a top-level function or variable initializer, in an instance vari able initializer or
1978 * initializer list, in class Object, in a factory constructor, or in a static method or variable 2042 * initializer list, in class Object, in a factory constructor, or in a static method or variable
1979 * initializer. 2043 * initializer.
1980 */ 2044 */
1981 static const CompileTimeErrorCode SUPER_IN_INVALID_CONTEXT = const CompileTime ErrorCode.con1('SUPER_IN_INVALID_CONTEXT', 125, "Invalid context for 'super' inv ocation"); 2045 static const CompileTimeErrorCode SUPER_IN_INVALID_CONTEXT = const CompileTime ErrorCode.con1('SUPER_IN_INVALID_CONTEXT', 127, "Invalid context for 'super' inv ocation");
1982 2046
1983 /** 2047 /**
1984 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its 2048 * 7.6.1 Generative Constructors: A generative constructor may be redirecting, in which case its
1985 * only action is to invoke another generative constructor. 2049 * only action is to invoke another generative constructor.
1986 */ 2050 */
1987 static const CompileTimeErrorCode SUPER_IN_REDIRECTING_CONSTRUCTOR = const Com pileTimeErrorCode.con1('SUPER_IN_REDIRECTING_CONSTRUCTOR', 126, "The redirecting constructor cannot have a 'super' initializer"); 2051 static const CompileTimeErrorCode SUPER_IN_REDIRECTING_CONSTRUCTOR = const Com pileTimeErrorCode.con1('SUPER_IN_REDIRECTING_CONSTRUCTOR', 128, "The redirecting constructor cannot have a 'super' initializer");
1988 2052
1989 /** 2053 /**
1990 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time 2054 * 7.6.1 Generative Constructors: Let <i>k</i> be a generative constructor. It is a compile-time
1991 * error if a generative constructor of class Object includes a superinitializ er. 2055 * error if a generative constructor of class Object includes a superinitializ er.
1992 */ 2056 */
1993 static const CompileTimeErrorCode SUPER_INITIALIZER_IN_OBJECT = const CompileT imeErrorCode.con1('SUPER_INITIALIZER_IN_OBJECT', 127, ""); 2057 static const CompileTimeErrorCode SUPER_INITIALIZER_IN_OBJECT = const CompileT imeErrorCode.con1('SUPER_INITIALIZER_IN_OBJECT', 129, "");
1994 2058
1995 /** 2059 /**
1996 * 12.11 Instance Creation: It is a static type warning if any of the type arg uments to a 2060 * 12.11 Instance Creation: It is a static type warning if any of the type arg uments to a
1997 * constructor of a generic type <i>G</i> invoked by a new expression or a con stant object 2061 * constructor of a generic type <i>G</i> invoked by a new expression or a con stant object
1998 * expression are not subtypes of the bounds of the corresponding formal type parameters of 2062 * expression are not subtypes of the bounds of the corresponding formal type parameters of
1999 * <i>G</i>. 2063 * <i>G</i>.
2000 * 2064 *
2001 * 12.11.1 New: If T is malformed a dynamic error occurs. In checked mode, if T is mal-bounded a 2065 * 12.11.1 New: If T is malformed a dynamic error occurs. In checked mode, if T is mal-bounded a
2002 * dynamic error occurs. 2066 * dynamic error occurs.
2003 * 2067 *
2004 * 12.1 Constants: It is a compile-time error if evaluation of a compile-time constant would raise 2068 * 12.1 Constants: It is a compile-time error if evaluation of a compile-time constant would raise
2005 * an exception. 2069 * an exception.
2006 * 2070 *
2007 * @param boundedTypeName the name of the type used in the instance creation t hat should be 2071 * @param boundedTypeName the name of the type used in the instance creation t hat should be
2008 * limited by the bound as specified in the class declaration 2072 * limited by the bound as specified in the class declaration
2009 * @param boundingTypeName the name of the bounding type 2073 * @param boundingTypeName the name of the bounding type
2010 * @see StaticTypeWarningCode#TYPE_ARGUMENT_NOT_MATCHING_BOUNDS 2074 * @see StaticTypeWarningCode#TYPE_ARGUMENT_NOT_MATCHING_BOUNDS
2011 */ 2075 */
2012 static const CompileTimeErrorCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const Co mpileTimeErrorCode.con1('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', 128, "'%s' does not extend '%s'"); 2076 static const CompileTimeErrorCode TYPE_ARGUMENT_NOT_MATCHING_BOUNDS = const Co mpileTimeErrorCode.con1('TYPE_ARGUMENT_NOT_MATCHING_BOUNDS', 130, "'%s' does not extend '%s'");
2013 2077
2014 /** 2078 /**
2015 * 15.3.1 Typedef: Any self reference, either directly, or recursively via ano ther typedef, is a 2079 * 15.3.1 Typedef: Any self reference, either directly, or recursively via ano ther typedef, is a
2016 * compile time error. 2080 * compile time error.
2017 */ 2081 */
2018 static const CompileTimeErrorCode TYPE_ALIAS_CANNOT_REFERENCE_ITSELF = const C ompileTimeErrorCode.con1('TYPE_ALIAS_CANNOT_REFERENCE_ITSELF', 129, "Type alias cannot reference itself directly or recursively via another typedef"); 2082 static const CompileTimeErrorCode TYPE_ALIAS_CANNOT_REFERENCE_ITSELF = const C ompileTimeErrorCode.con1('TYPE_ALIAS_CANNOT_REFERENCE_ITSELF', 131, "Type alias cannot reference itself directly or recursively via another typedef");
2019 2083
2020 /** 2084 /**
2021 * 12.11.2 Const: It is a compile-time error if <i>T</i> is not a class access ible in the current 2085 * 12.11.2 Const: It is a compile-time error if <i>T</i> is not a class access ible in the current
2022 * scope, optionally followed by type arguments. 2086 * scope, optionally followed by type arguments.
2023 */ 2087 */
2024 static const CompileTimeErrorCode UNDEFINED_CLASS = const CompileTimeErrorCode .con1('UNDEFINED_CLASS', 130, "Undefined class '%s'"); 2088 static const CompileTimeErrorCode UNDEFINED_CLASS = const CompileTimeErrorCode .con1('UNDEFINED_CLASS', 132, "Undefined class '%s'");
2025 2089
2026 /** 2090 /**
2027 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears 2091 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears
2028 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is 2092 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is
2029 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i> 2093 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i>
2030 * (respectively <i>S.id</i>) 2094 * (respectively <i>S.id</i>)
2031 */ 2095 */
2032 static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER', 131, "The cla ss '%s' does not have a generative constructor '%s'"); 2096 static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER', 133, "The cla ss '%s' does not have a generative constructor '%s'");
2033 2097
2034 /** 2098 /**
2035 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears 2099 * 7.6.1 Generative Constructors: Let <i>C</i> be the class in which the super initializer appears
2036 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is 2100 * and let <i>S</i> be the superclass of <i>C</i>. Let <i>k</i> be a generativ e constructor. It is
2037 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i> 2101 * a compile-time error if class <i>S</i> does not declare a generative constr uctor named <i>S</i>
2038 * (respectively <i>S.id</i>) 2102 * (respectively <i>S.id</i>)
2039 */ 2103 */
2040 static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT ', 132, "The class '%s' does not have a default generative constructor"); 2104 static const CompileTimeErrorCode UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT = const CompileTimeErrorCode.con1('UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT ', 134, "The class '%s' does not have a default generative constructor");
2041 2105
2042 /** 2106 /**
2043 * 12.14.3 Unqualified Invocation: If there exists a lexically visible declara tion named 2107 * 12.14.3 Unqualified Invocation: If there exists a lexically visible declara tion named
2044 * <i>id</i>, let <i>f<sub>id</sub></i> be the innermost such declaration. The n: [skip]. 2108 * <i>id</i>, let <i>f<sub>id</sub></i> be the innermost such declaration. The n: [skip].
2045 * Otherwise, <i>i</i> is equivalent to <b>this</b>.<i>id</i>(<i>a<sub>1</sub> </i>; ... 2109 * Otherwise, <i>i</i> is equivalent to <b>this</b>.<i>id</i>(<i>a<sub>1</sub> </i>; ...
2046 * <i>x<sub>n+k</sub></i> : <i>a<sub>n+k</sub></i>). 2110 * <i>x<sub>n+k</sub></i> : <i>a<sub>n+k</sub></i>).
2047 * 2111 *
2048 * @param methodName the name of the method that is undefined 2112 * @param methodName the name of the method that is undefined
2049 */ 2113 */
2050 static const CompileTimeErrorCode UNDEFINED_FUNCTION = const CompileTimeErrorC ode.con1('UNDEFINED_FUNCTION', 133, "The function '%s' is not defined"); 2114 static const CompileTimeErrorCode UNDEFINED_FUNCTION = const CompileTimeErrorC ode.con1('UNDEFINED_FUNCTION', 135, "The function '%s' is not defined");
2051 2115
2052 /** 2116 /**
2053 * 12.14.2 Binding Actuals to Formals: Furthermore, each <i>q<sub>i</sub></i>, <i>1<=i<=l</i>, 2117 * 12.14.2 Binding Actuals to Formals: Furthermore, each <i>q<sub>i</sub></i>, <i>1<=i<=l</i>,
2054 * must have a corresponding named parameter in the set {<i>p<sub>n+1</sub></i > ... 2118 * must have a corresponding named parameter in the set {<i>p<sub>n+1</sub></i > ...
2055 * <i>p<sub>n+k</sub></i>} or a static warning occurs. 2119 * <i>p<sub>n+k</sub></i>} or a static warning occurs.
2056 * 2120 *
2057 * 12.11.2 Const: It is a compile-time error if evaluation of a constant objec t results in an 2121 * 12.11.2 Const: It is a compile-time error if evaluation of a constant objec t results in an
2058 * uncaught exception being thrown. 2122 * uncaught exception being thrown.
2059 * 2123 *
2060 * @param name the name of the requested named parameter 2124 * @param name the name of the requested named parameter
2061 */ 2125 */
2062 static const CompileTimeErrorCode UNDEFINED_NAMED_PARAMETER = const CompileTim eErrorCode.con1('UNDEFINED_NAMED_PARAMETER', 134, "The named parameter '%s' is n ot defined"); 2126 static const CompileTimeErrorCode UNDEFINED_NAMED_PARAMETER = const CompileTim eErrorCode.con1('UNDEFINED_NAMED_PARAMETER', 136, "The named parameter '%s' is n ot defined");
2063 2127
2064 /** 2128 /**
2065 * 14.2 Exports: It is a compile-time error if the compilation unit found at t he specified URI is 2129 * 14.2 Exports: It is a compile-time error if the compilation unit found at t he specified URI is
2066 * not a library declaration. 2130 * not a library declaration.
2067 * 2131 *
2068 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is 2132 * 14.1 Imports: It is a compile-time error if the compilation unit found at t he specified URI is
2069 * not a library declaration. 2133 * not a library declaration.
2070 * 2134 *
2071 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part 2135 * 14.3 Parts: It is a compile time error if the contents of the URI are not a valid part
2072 * declaration. 2136 * declaration.
2073 * 2137 *
2074 * @param uri the URI pointing to a non-existent file 2138 * @param uri the URI pointing to a non-existent file
2075 * @see #INVALID_URI 2139 * @see #INVALID_URI
2076 */ 2140 */
2077 static const CompileTimeErrorCode URI_DOES_NOT_EXIST = const CompileTimeErrorC ode.con1('URI_DOES_NOT_EXIST', 135, "Target of URI does not exist: '%s'"); 2141 static const CompileTimeErrorCode URI_DOES_NOT_EXIST = const CompileTimeErrorC ode.con1('URI_DOES_NOT_EXIST', 137, "Target of URI does not exist: '%s'");
2078 2142
2079 /** 2143 /**
2080 * 14.1 Imports: It is a compile-time error if <i>x</i> is not a compile-time constant, or if 2144 * 14.1 Imports: It is a compile-time error if <i>x</i> is not a compile-time constant, or if
2081 * <i>x</i> involves string interpolation. 2145 * <i>x</i> involves string interpolation.
2082 * 2146 *
2083 * 14.3 Parts: It is a compile-time error if <i>s</i> is not a compile-time co nstant, or if 2147 * 14.3 Parts: It is a compile-time error if <i>s</i> is not a compile-time co nstant, or if
2084 * <i>s</i> involves string interpolation. 2148 * <i>s</i> involves string interpolation.
2085 * 2149 *
2086 * 14.5 URIs: It is a compile-time error if the string literal <i>x</i> that d escribes a URI is 2150 * 14.5 URIs: It is a compile-time error if the string literal <i>x</i> that d escribes a URI is
2087 * not a compile-time constant, or if <i>x</i> involves string interpolation. 2151 * not a compile-time constant, or if <i>x</i> involves string interpolation.
2088 */ 2152 */
2089 static const CompileTimeErrorCode URI_WITH_INTERPOLATION = const CompileTimeEr rorCode.con1('URI_WITH_INTERPOLATION', 136, "URIs cannot use string interpolatio n"); 2153 static const CompileTimeErrorCode URI_WITH_INTERPOLATION = const CompileTimeEr rorCode.con1('URI_WITH_INTERPOLATION', 138, "URIs cannot use string interpolatio n");
2090 2154
2091 /** 2155 /**
2092 * 7.1.1 Operators: It is a compile-time error if the arity of the user-declar ed operator []= is 2156 * 7.1.1 Operators: It is a compile-time error if the arity of the user-declar ed operator []= is
2093 * not 2. It is a compile time error if the arity of a user-declared operator with one of the 2157 * not 2. It is a compile time error if the arity of a user-declared operator with one of the
2094 * names: &lt;, &gt;, &lt;=, &gt;=, ==, +, /, ~/, *, %, |, ^, &, &lt;&lt;, &gt ;&gt;, [] is not 1. 2158 * names: &lt;, &gt;, &lt;=, &gt;=, ==, +, /, ~/, *, %, |, ^, &, &lt;&lt;, &gt ;&gt;, [] is not 1.
2095 * It is a compile time error if the arity of the user-declared operator - is not 0 or 1. It is a 2159 * It is a compile time error if the arity of the user-declared operator - is not 0 or 1. It is a
2096 * compile time error if the arity of the user-declared operator ~ is not 0. 2160 * compile time error if the arity of the user-declared operator ~ is not 0.
2097 * 2161 *
2098 * @param operatorName the name of the declared operator 2162 * @param operatorName the name of the declared operator
2099 * @param expectedNumberOfParameters the number of parameters expected 2163 * @param expectedNumberOfParameters the number of parameters expected
2100 * @param actualNumberOfParameters the number of parameters found in the opera tor declaration 2164 * @param actualNumberOfParameters the number of parameters found in the opera tor declaration
2101 */ 2165 */
2102 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR = co nst CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR', 137, "O perator '%s' should declare exactly %d parameter(s), but %d found"); 2166 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR = co nst CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR', 139, "O perator '%s' should declare exactly %d parameter(s), but %d found");
2103 2167
2104 /** 2168 /**
2105 * 7.1.1 Operators: It is a compile time error if the arity of the user-declar ed operator - is not 2169 * 7.1.1 Operators: It is a compile time error if the arity of the user-declar ed operator - is not
2106 * 0 or 1. 2170 * 0 or 1.
2107 * 2171 *
2108 * @param actualNumberOfParameters the number of parameters found in the opera tor declaration 2172 * @param actualNumberOfParameters the number of parameters found in the opera tor declaration
2109 */ 2173 */
2110 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINU S = const CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MIN US', 138, "Operator '-' should declare 0 or 1 parameter, but %d found"); 2174 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MINU S = const CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_OPERATOR_MIN US', 140, "Operator '-' should declare 0 or 1 parameter, but %d found");
2111 2175
2112 /** 2176 /**
2113 * 7.3 Setters: It is a compile-time error if a setter's formal parameter list does not include 2177 * 7.3 Setters: It is a compile-time error if a setter's formal parameter list does not include
2114 * exactly one required formal parameter <i>p</i>. 2178 * exactly one required formal parameter <i>p</i>.
2115 */ 2179 */
2116 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER = cons t CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER', 139, "Sette rs should declare exactly one required parameter"); 2180 static const CompileTimeErrorCode WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER = cons t CompileTimeErrorCode.con1('WRONG_NUMBER_OF_PARAMETERS_FOR_SETTER', 141, "Sette rs should declare exactly one required parameter");
2117 2181
2118 static const List<CompileTimeErrorCode> values = const [ 2182 static const List<CompileTimeErrorCode> values = const [
2119 AMBIGUOUS_EXPORT, 2183 AMBIGUOUS_EXPORT,
2120 ARGUMENT_DEFINITION_TEST_NON_PARAMETER, 2184 ARGUMENT_DEFINITION_TEST_NON_PARAMETER,
2121 BUILT_IN_IDENTIFIER_AS_TYPE, 2185 BUILT_IN_IDENTIFIER_AS_TYPE,
2122 BUILT_IN_IDENTIFIER_AS_TYPE_NAME, 2186 BUILT_IN_IDENTIFIER_AS_TYPE_NAME,
2123 BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME, 2187 BUILT_IN_IDENTIFIER_AS_TYPEDEF_NAME,
2124 BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME, 2188 BUILT_IN_IDENTIFIER_AS_TYPE_PARAMETER_NAME,
2125 CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS, 2189 CASE_EXPRESSION_TYPE_IMPLEMENTS_EQUALS,
2126 COMPILE_TIME_CONSTANT_RAISES_EXCEPTION, 2190 COMPILE_TIME_CONSTANT_RAISES_EXCEPTION,
(...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after
2171 FIELD_INITIALIZER_FACTORY_CONSTRUCTOR, 2235 FIELD_INITIALIZER_FACTORY_CONSTRUCTOR,
2172 FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR, 2236 FIELD_INITIALIZER_OUTSIDE_CONSTRUCTOR,
2173 FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR, 2237 FIELD_INITIALIZER_REDIRECTING_CONSTRUCTOR,
2174 GETTER_AND_METHOD_WITH_SAME_NAME, 2238 GETTER_AND_METHOD_WITH_SAME_NAME,
2175 IMPLEMENTS_DISALLOWED_CLASS, 2239 IMPLEMENTS_DISALLOWED_CLASS,
2176 IMPLEMENTS_DYNAMIC, 2240 IMPLEMENTS_DYNAMIC,
2177 IMPLEMENTS_NON_CLASS, 2241 IMPLEMENTS_NON_CLASS,
2178 IMPLEMENTS_REPEATED, 2242 IMPLEMENTS_REPEATED,
2179 IMPLEMENTS_SUPER_CLASS, 2243 IMPLEMENTS_SUPER_CLASS,
2180 IMPLICIT_THIS_REFERENCE_IN_INITIALIZER, 2244 IMPLICIT_THIS_REFERENCE_IN_INITIALIZER,
2245 IMPORT_DEFERRED_LIBRARY_WITH_LOAD_FUNCTION,
2181 IMPORT_INTERNAL_LIBRARY, 2246 IMPORT_INTERNAL_LIBRARY,
2182 IMPORT_OF_NON_LIBRARY, 2247 IMPORT_OF_NON_LIBRARY,
2183 INCONSISTENT_CASE_EXPRESSION_TYPES, 2248 INCONSISTENT_CASE_EXPRESSION_TYPES,
2184 INITIALIZER_FOR_NON_EXISTANT_FIELD, 2249 INITIALIZER_FOR_NON_EXISTANT_FIELD,
2185 INITIALIZER_FOR_STATIC_FIELD, 2250 INITIALIZER_FOR_STATIC_FIELD,
2186 INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD, 2251 INITIALIZING_FORMAL_FOR_NON_EXISTANT_FIELD,
2187 INITIALIZING_FORMAL_FOR_STATIC_FIELD, 2252 INITIALIZING_FORMAL_FOR_STATIC_FIELD,
2188 INSTANCE_MEMBER_ACCESS_FROM_STATIC, 2253 INSTANCE_MEMBER_ACCESS_FROM_STATIC,
2189 INVALID_ANNOTATION, 2254 INVALID_ANNOTATION,
2190 INVALID_CONSTANT, 2255 INVALID_CONSTANT,
(...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after
2234 RECURSIVE_FACTORY_REDIRECT, 2299 RECURSIVE_FACTORY_REDIRECT,
2235 RECURSIVE_INTERFACE_INHERITANCE, 2300 RECURSIVE_INTERFACE_INHERITANCE,
2236 RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS, 2301 RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_EXTENDS,
2237 RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS, 2302 RECURSIVE_INTERFACE_INHERITANCE_BASE_CASE_IMPLEMENTS,
2238 REDIRECT_TO_MISSING_CONSTRUCTOR, 2303 REDIRECT_TO_MISSING_CONSTRUCTOR,
2239 REDIRECT_TO_NON_CLASS, 2304 REDIRECT_TO_NON_CLASS,
2240 REDIRECT_TO_NON_CONST_CONSTRUCTOR, 2305 REDIRECT_TO_NON_CONST_CONSTRUCTOR,
2241 REFERENCED_BEFORE_DECLARATION, 2306 REFERENCED_BEFORE_DECLARATION,
2242 RETHROW_OUTSIDE_CATCH, 2307 RETHROW_OUTSIDE_CATCH,
2243 RETURN_IN_GENERATIVE_CONSTRUCTOR, 2308 RETURN_IN_GENERATIVE_CONSTRUCTOR,
2309 SHARED_DEFERRED_PREFIX,
2244 SUPER_IN_INVALID_CONTEXT, 2310 SUPER_IN_INVALID_CONTEXT,
2245 SUPER_IN_REDIRECTING_CONSTRUCTOR, 2311 SUPER_IN_REDIRECTING_CONSTRUCTOR,
2246 SUPER_INITIALIZER_IN_OBJECT, 2312 SUPER_INITIALIZER_IN_OBJECT,
2247 TYPE_ARGUMENT_NOT_MATCHING_BOUNDS, 2313 TYPE_ARGUMENT_NOT_MATCHING_BOUNDS,
2248 TYPE_ALIAS_CANNOT_REFERENCE_ITSELF, 2314 TYPE_ALIAS_CANNOT_REFERENCE_ITSELF,
2249 UNDEFINED_CLASS, 2315 UNDEFINED_CLASS,
2250 UNDEFINED_CONSTRUCTOR_IN_INITIALIZER, 2316 UNDEFINED_CONSTRUCTOR_IN_INITIALIZER,
2251 UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT, 2317 UNDEFINED_CONSTRUCTOR_IN_INITIALIZER_DEFAULT,
2252 UNDEFINED_FUNCTION, 2318 UNDEFINED_FUNCTION,
2253 UNDEFINED_NAMED_PARAMETER, 2319 UNDEFINED_NAMED_PARAMETER,
(...skipping 1392 matching lines...) Expand 10 before | Expand all | Expand 10 after
3646 * @param correction the template used to create the correction to be displaye d for the error 3712 * @param correction the template used to create the correction to be displaye d for the error
3647 */ 3713 */
3648 const StaticTypeWarningCode.con2(String name, int ordinal, this.message, this. correction) : super(name, ordinal); 3714 const StaticTypeWarningCode.con2(String name, int ordinal, this.message, this. correction) : super(name, ordinal);
3649 3715
3650 @override 3716 @override
3651 ErrorSeverity get errorSeverity => ErrorType.STATIC_TYPE_WARNING.severity; 3717 ErrorSeverity get errorSeverity => ErrorType.STATIC_TYPE_WARNING.severity;
3652 3718
3653 @override 3719 @override
3654 ErrorType get type => ErrorType.STATIC_TYPE_WARNING; 3720 ErrorType get type => ErrorType.STATIC_TYPE_WARNING;
3655 } 3721 }
OLDNEW
« no previous file with comments | « pkg/analyzer/lib/src/generated/engine.dart ('k') | pkg/analyzer/lib/src/generated/html.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698