diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A01_t01.dart b/LanguageFeatures/Static-access-shorthand/grammar_A01_t01.dart index 1ff0d97405..c6da029229 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A01_t01.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A01_t01.dart @@ -4,15 +4,17 @@ /// @assertion We introduce grammar productions of the form: /// ``` -/// ::= ... -- all current productions -/// | +/// ::= ... -- all current productions +/// | /// /// ::= ... -- all current productions -/// | +/// | /// -/// ::= -/// '.' ( | 'new') -- shorthand qualified name -/// | 'const' '.' ( | 'new') -- shorthand object creation +/// ::= +/// +/// ::= +/// '.' ( | 'new') -- shorthand qualified name +/// | 'const' '.' ( | 'new') -- shorthand object creation /// ``` /// /// @description Checks that static members and constructors of a class can be diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A01_t02.dart b/LanguageFeatures/Static-access-shorthand/grammar_A01_t02.dart index 3ed9a01003..8ddaebd79b 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A01_t02.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A01_t02.dart @@ -4,15 +4,17 @@ /// @assertion We introduce grammar productions of the form: /// ``` -/// ::= ... -- all current productions -/// | +/// ::= ... -- all current productions +/// | /// /// ::= ... -- all current productions -/// | +/// | /// -/// ::= -/// '.' ( | 'new') -- shorthand qualified name -/// | 'const' '.' ( | 'new') -- shorthand object creation +/// ::= +/// +/// ::= +/// '.' ( | 'new') -- shorthand qualified name +/// | 'const' '.' ( | 'new') -- shorthand object creation /// ``` /// /// @description Checks that static members of a mixin can be accessed using the diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A01_t03.dart b/LanguageFeatures/Static-access-shorthand/grammar_A01_t03.dart index c0dcfc954d..f00107f584 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A01_t03.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A01_t03.dart @@ -4,15 +4,17 @@ /// @assertion We introduce grammar productions of the form: /// ``` -/// ::= ... -- all current productions -/// | +/// ::= ... -- all current productions +/// | /// /// ::= ... -- all current productions -/// | +/// | /// -/// ::= -/// '.' ( | 'new') -- shorthand qualified name -/// | 'const' '.' ( | 'new') -- shorthand object creation +/// ::= +/// +/// ::= +/// '.' ( | 'new') -- shorthand qualified name +/// | 'const' '.' ( | 'new') -- shorthand object creation /// ``` /// /// @description Checks that static members and values of an enum can be diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A01_t04.dart b/LanguageFeatures/Static-access-shorthand/grammar_A01_t04.dart index 33ca092d10..a3dfd23ed9 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A01_t04.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A01_t04.dart @@ -4,15 +4,17 @@ /// @assertion We introduce grammar productions of the form: /// ``` -/// ::= ... -- all current productions -/// | +/// ::= ... -- all current productions +/// | /// /// ::= ... -- all current productions -/// | +/// | /// -/// ::= -/// '.' ( | 'new') -- shorthand qualified name -/// | 'const' '.' ( | 'new') -- shorthand object creation +/// ::= +/// +/// ::= +/// '.' ( | 'new') -- shorthand qualified name +/// | 'const' '.' ( | 'new') -- shorthand object creation /// ``` /// /// @description Checks that static members and constructors of an extension diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A02_t01.dart b/LanguageFeatures/Static-access-shorthand/grammar_A02_t01.dart index be9655ca16..9053098daa 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A02_t01.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A02_t01.dart @@ -4,15 +4,17 @@ /// @assertion We introduce grammar productions of the form: /// ``` -/// ::= ... -- all current productions -/// | +/// ::= ... -- all current productions +/// | /// /// ::= ... -- all current productions -/// | +/// | /// -/// ::= -/// '.' ( | 'new') -- shorthand qualified name -/// | 'const' '.' ( | 'new') -- shorthand object creation +/// ::= +/// +/// ::= +/// '.' ( | 'new') -- shorthand qualified name +/// | 'const' '.' ( | 'new') -- shorthand object creation /// ``` /// /// @description Checks that it is a syntax error to use a `new` keyword in the diff --git a/LanguageFeatures/Static-access-shorthand/grammar_A03_t01.dart b/LanguageFeatures/Static-access-shorthand/grammar_A03_t01.dart index a4ea4a4858..35e247cc2e 100644 --- a/LanguageFeatures/Static-access-shorthand/grammar_A03_t01.dart +++ b/LanguageFeatures/Static-access-shorthand/grammar_A03_t01.dart @@ -2,10 +2,11 @@ // 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 We also add `.` to the tokens that an expression statement cannot -/// start with. +/// @assertion We also add . to the tokens that an expression statement cannot +/// start with. This doesn't affect starting with a double literal like `.42`, +/// since that's a different token than a single `.`. /// -/// @description Checks that numerical literal like `.123` is still not an error +/// @description Checks that numerical literal like `.42` is still not an error /// @author sgrekhov22@gmail.com // SharedOptions=--enable-experiment=enum-shorthands diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t01.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t01.dart index 0bae665242..4e143aff5c 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t01.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t01.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the forms `.id`, `.id(args)` and `.id(args)` includes a type diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t02.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t02.dart index a8dbf543c3..537f5eed69 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t02.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t02.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the forms `.id`, `.id(args)` and `.id(args)` includes a type diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t03.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t03.dart index 60eaa9b542..aa1322dc67 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t03.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t03.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the forms `.id`, `.id(args)` and `.id(args)` includes a type diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t04.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t04.dart index 58a0209655..3a831bb666 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t04.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t04.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the form `.id` includes a type alias expansion. diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t05.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t05.dart index b8eb764880..d717e1e233 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t05.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t05.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the form `.id` includes a type alias expansion. Test unprefixed diff --git a/LanguageFeatures/Static-access-shorthand/semantics_A01_t06.dart b/LanguageFeatures/Static-access-shorthand/semantics_A01_t06.dart index ac5fa05f6d..114f47cc24 100644 --- a/LanguageFeatures/Static-access-shorthand/semantics_A01_t06.dart +++ b/LanguageFeatures/Static-access-shorthand/semantics_A01_t06.dart @@ -16,9 +16,9 @@ /// `.id(args)`, `.id(args)`, `.new` or `.new(args)`. /// ... /// The general rule is that any of the expression forms above, starting with -/// `.id`, are treated exactly as if they were prefixed by a fresh identifier -/// `X` which denotes an accessible type alias for the greatest closure of the -/// context type scheme of the following primary and selector chain. +/// `.id`, are treated exactly as if they were preceded by a fresh prefixed +/// identifier `_p.C` which denotes the declaration of the type of the context +/// type scheme of the entire ``. /// /// @description Checks that the processing of the context type for shorthand /// of the form `.id` includes a type alias expansion. Test prefixed