#1400. [Views] Syntax tests added

LanguageFeatures/Views/syntax_A01_t01.dart

@@ -0,0 +1,37 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// The token `view` is made a built-in identifier.
+///
+/// @description Checks that it is a compile-time error to declare a class
+/// named `view`
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+class view {
+//    ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  view();
+}

LanguageFeatures/Views/syntax_A01_t02.dart

@@ -0,0 +1,39 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// The token `view` is made a built-in identifier.
+///
+/// @description Checks that it is a compile-time error to declare a mixin
+/// named `view`
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+mixin view on Object {
+//    ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class VA = Object with view;
+
+main() {
+  VA();
+}

LanguageFeatures/Views/syntax_A01_t03.dart

@@ -0,0 +1,36 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// The token `view` is made a built-in identifier.
+///
+/// @description Checks that it is a compile-time error import a library with
+/// import prefix `view`
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+import "views_lib.dart" as view;
+//                         ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  view.x;
+}

LanguageFeatures/Views/syntax_A01_t04.dart

@@ -0,0 +1,36 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// The token `view` is made a built-in identifier.
+///
+/// @description Checks that it is a compile-time error to declare a type alias
+/// named `view`
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+typedef view = String;
+//      ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  view s = "";
+}

LanguageFeatures/Views/syntax_A02_t01.dart

@@ -0,0 +1,67 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// ...
+/// If a view declaration named View includes a <viewPrimaryConstructor> then it
+/// is a compile-time error if the declaration includes a constructor
+/// declaration named View. (But it can still contain other constructors.)
+///
+/// @description Checks that it is a compile-time error if a view declaration
+/// named `View` includes a <viewPrimaryConstructor> and includes a constructor
+/// named `View`
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+view class View1(int id) {
+  View1(this.id);
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View2(int id) {
+  View2(int id, int x) {}
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View3(int id) {
+  View3();
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View4(int id) {
+  factory View4(int id) => View4.named(id);
+//        ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  View4.named(int x) : id = x;
+}
+
+main() {
+  print(View1);
+  print(View2);
+  print(View3);
+  print(View4);
+}

LanguageFeatures/Views/syntax_A02_t02.dart

@@ -0,0 +1,62 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// ...
+/// If a view declaration named View includes a <viewPrimaryConstructor> then it
+/// is a compile-time error if the declaration includes a constructor
+/// declaration named View. (But it can still contain other constructors.)
+///
+/// @description Checks that it is a compile-time error if a view declaration
+/// named `View` includes a <viewPrimaryConstructor> with zero or more than one
+/// parameters
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+view class View1() {
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View2(int id, String name) {
+//                     ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View3(int id, {String name}) {
+//                     ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View4(int id, [String name]) {
+//                     ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  print(View1);
+  print(View2);
+  print(View3);
+  print(View4);
+}

LanguageFeatures/Views/syntax_A02_t03.dart

@@ -0,0 +1,55 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// ...
+/// If a view declaration named View includes a <viewPrimaryConstructor> then it
+/// is a compile-time error if the declaration includes a constructor
+/// declaration named View. (But it can still contain other constructors.)
+///
+/// @description Checks that it is a compile-time error if a view declaration
+/// named `View` includes a <viewPrimaryConstructor> with named or optional
+/// positional parameter
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+view class View1({int id}) {
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View2({required int id}) {
+//               ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+view class View3([int id]) {
+//               ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  print(View1);
+  print(View2);
+  print(View3);
+}

LanguageFeatures/Views/syntax_A02_t04.dart

@@ -0,0 +1,46 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A rule for <viewDeclaration> is added to the grammar, along with
+/// some rules for elements used in view declarations:
+///
+/// <viewDeclaration> ::=
+///   'view' 'class' <typeIdentifier> <typeParameters>?
+///       <viewPrimaryConstructor>?
+///       <interfaces>?
+///   '{'
+///     (<metadata> <viewMemberDeclaration>)*
+///   '}'
+///
+/// <viewPrimaryConstructor> ::=
+///   '(' <type> <identifier> ')'
+///
+/// <viewMemberDeclaration> ::=
+///   <classMemberDefinition>
+/// ...
+/// If a view declaration named View includes a <viewPrimaryConstructor> then it
+/// is a compile-time error if the declaration includes a constructor
+/// declaration named View. (But it can still contain other constructors.)
+///
+/// @description Checks that if a view declaration named `View` includes a
+/// <viewPrimaryConstructor> then it can contain other (than named `View`)
+/// constructors
+///
+/// @author sgrekhov22@gmail.com
+
+// SharedOptions=--enable-experiment=extension-types
+
+import "../../Utils/expect.dart";
+
+view class View(int id) {
+  View.c1(int x, int y) : id = x + y;
+  View.c2(int x) : id = x;
+  View.c3() : id = 0;
+}
+
+main() {
+  Expect.equals(3, View.c1(1, 2).id);
+  Expect.equals(4, View.c2(4).id);
+  Expect.equals(0, View.c3().id);
+}