Fixes #2419. Add/update tests according to the recent spec changes (#…

…2442)

Language/Classes/Constructors/Generative_Constructors/initializers_t01.dart

@@ -2,20 +2,28 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion 
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer: 
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks various valid variations of an initializer list.
 /// @author iefremov
 
-
 typedef void FType();
 
 void foo() {}

Language/Classes/Constructors/Generative_Constructors/initializers_t02.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the initializer
 /// list terminates with a comma.
 /// @author iefremov
 
-
 class C {
   C() : super(), {}
 //             ^

Language/Classes/Constructors/Generative_Constructors/initializers_t03.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the initializer
 /// list starts with a comma.
 /// @author iefremov
 
-
 class C {
   C() : , super() {}
 //    ^

Language/Classes/Constructors/Generative_Constructors/initializers_t04.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the initializer
 /// list is not prefixed with a colon.
 /// @author iefremov
 
-
 class C {
   C() this.x = null {}
 //    ^

Language/Classes/Constructors/Generative_Constructors/initializers_t05.dart

@@ -2,16 +2,25 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the initializer
 /// list is empty (a lone colon).
 /// @author iefremov

Language/Classes/Constructors/Generative_Constructors/initializers_t06.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the superconstructor
 /// call does not include the constructor parameters in braces.
 /// @author iefremov
 
-
 class C {
   C() : super {}
 //            ^

Language/Classes/Constructors/Generative_Constructors/initializers_t07.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the identifier in
 /// a named superconstructor call is empty.
 /// @author iefremov
 
-
 class S {
 }
 

Language/Classes/Constructors/Generative_Constructors/initializers_t08.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when a field initializer
 /// does not include the actual assignment in addition to the field identifier.
 /// @author iefremov
 
-
 class C {
   C() : x {}
 //      ^

Language/Classes/Constructors/Generative_Constructors/initializers_t09.dart

@@ -2,21 +2,29 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-/// @assertion
-/// initializers:
-///   ':' superCallOrFieldInitializer (', ' superCallOrFieldInitializer)*
-/// ;
-/// superCallOrFieldInitializer:
-///   super arguments  | super '.' identifier arguments | fieldInitializer
-/// ;
-/// fieldInitializer:
-///   (this '.')? identifier '=' conditionalExpression cascadeSection*
-/// ;
+/// @assertion An initializer list begins with a colon, and consists of a
+/// comma-separated list of individual initializers.
+///
+/// ⟨initializers⟩ ::= ‘:’ ⟨initializerListEntry⟩ (‘,’ ⟨initializerListEntry⟩)*
+/// ⟨initializerListEntry⟩ ::= super ⟨arguments⟩
+/// | super ‘.’ ⟨identifier⟩ ⟨arguments⟩
+/// | ⟨fieldInitializer⟩
+/// | ⟨assertion⟩
+/// ⟨fieldInitializer⟩ ::=
+/// (this ‘.’)? ⟨identifier⟩ ‘=’ ⟨initializerExpression⟩
+/// ⟨initializerExpression⟩ ::=
+/// ⟨assignableExpression⟩ ⟨assignmentOperator⟩ ⟨expression⟩
+/// | ⟨conditionalExpression⟩
+/// | ⟨cascade⟩
+/// | ⟨throwExpression⟩
+///
+/// As a special disambiguation rule, an ⟨initializerExpression⟩ can not derive
+/// a ⟨functionExpression⟩
+///
 /// @description Checks that it is a compile-time error when the field
 /// initializer does not include the right-side expression.
 /// @author iefremov
 
-
 class C {
   C() : x = {}
   var x;