#1231. More Super parameters tests added

Author: sgrekhov

LanguageFeatures/Super-parameters/summary_A04_t01.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s;
+  S([this.s = 3.14]);
+}
+
+class C extends S {
+  int c;
+  C(this.c, [super.s, int x]);
+}
+
+main() {
+  Expect.equals(3.14, C(1).s);
+}
+

LanguageFeatures/Super-parameters/summary_A04_t02.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s;
+  S([num n = 3.14]) : s = n + 1;
+}
+
+class C extends S {
+  int c;
+  C(this.c, [super.s, int x]);
+}
+
+main() {
+  Expect.equals(4.14, C(1).s);
+}
+

LanguageFeatures/Super-parameters/summary_A04_t03.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s;
+  S({this.s = 3.14});
+}
+
+class C extends S {
+  int c;
+  C(this.c, {super.s, int x});
+}
+
+main() {
+  Expect.equals(3.14, C(1).s);
+}
+

LanguageFeatures/Super-parameters/summary_A04_t04.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Implicitly infers its type and default value, if not specified, if
+/// applicable, from the associated super-constructor parameter that they are
+/// forwarded to.
+///
+/// @description Check that super parameter implicitly infers its type from the
+/// associated super-constructor parameter that they are forwarded to.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s;
+  S({num n = 3.14}) : s = n + 1;
+}
+
+class C extends S {
+  int c;
+  C(this.c, {super.s, int x});
+}
+
+main() {
+  Expect.equals(4.14, C(1).s);
+}
+

LanguageFeatures/Super-parameters/summary_A05_t01.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Cannot be positional if the super-constructor invocation already has
+/// positional arguments.
+///
+/// @description Check that super parameter сannot be positional if the
+/// super-constructor invocation already has positional arguments.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+class S {
+  num s1, s2;
+  S(this.s1, [this.s2 = 3.14]);
+}
+
+class C extends S {
+  int c;
+  C(int x, super.s2) : this.c = x + 1, super(42);
+//         ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  C(1, 2);
+}
+

LanguageFeatures/Super-parameters/summary_A05_t02.dart

@@ -0,0 +1,32 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// Cannot be positional if the super-constructor invocation already has
+/// positional arguments.
+///
+/// @description Check that super parameter сannot be positional if the
+/// super-constructor invocation already has positional arguments.
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+class S {
+  num s1, s2, s3;
+  S(this.s1, int x, {this.s3 = 3.14});
+}
+
+class C extends S {
+  int c;
+  C(this.c, super.s2) : super. super(42, s3: 0);
+//          ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  C(1, 2);
+}
+

LanguageFeatures/Super-parameters/summary_A06_t01.dart

@@ -0,0 +1,31 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// But can always be named.
+///
+/// @description Check that super parameter always can be named
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s1, s2;
+  S(this.s1, {this.s2 = 3.14});
+}
+
+class C extends S {
+  int c;
+  C(int x, {super.s2}) : this.c = x + 1, super(42);
+}
+
+main() {
+  var c = C(1, s2: -1);
+  Expect.equals(-1, c.s2);
+  Expect.equals(42, c.s1);
+}
+

LanguageFeatures/Super-parameters/summary_A06_t02.dart

@@ -0,0 +1,33 @@
+// Copyright (c) 2021, 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 Effectively, each super parameters, super.p:
+/// ...
+/// But can always be named.
+///
+/// @description Check that super parameter always can be named
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=super-parameters
+
+import "../../Utils/expect.dart";
+
+class S {
+  num s1, s2, s3, s4;
+  S(this.s1, num x, {this.s3 = 3.14, this.s4 = 0}) : this.s2 = x;
+}
+
+class C extends S {
+  int c;
+  C(int x, {super.s3, super.s4}) : this.c = x + 1, super(42, -1);
+}
+
+main() {
+  var c = C(1, s3: -3, s4: 4);
+  Expect.equals(42, c.s1);
+  Expect.equals(-1, c.s2);
+  Expect.equals(-3, c.s3);
+  Expect.equals(4, c.s3);
+}
+