#495. Partial fix. Explicit extension member invocation tests for binary operations added

Author: Sergey G. Grekhov

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A07_t01.dart

@@ -16,22 +16,30 @@
 import "../../Utils/expect.dart";
 
 class C {
-  String id<T, Y extends num>(T t, Y val) => "C: t=" + t.toString() + ", i=$val";
+  String id<T, Y extends num>(T t, Y val) =>
+      "C: t=" + t.toString() + ", i=$val";
 }
 
 extension Extension1 on C {
-  String id<T, Y extends num>(T t, Y val) => "Extension1: t=" + t.toString() + ", i=$val";
+  String id<T, Y extends num>(T t, Y val) =>
+      "Extension1: t=" + t.toString() + ", i=$val";
 }
 
 extension Extension2 on C {
-  String id<T, Y extends num>(T t, Y val) => "Extension2: t=" + t.toString() + ", i=$val";
+  String id<T, Y extends num>(T t, Y val) =>
+      "Extension2: t=" + t.toString() + ", i=$val";
 }
 
 main() {
   C c = new C();
-  Expect.equals("Extension1: t=Lily was here, i=42", Extension1(c).id<String, int>("Lily was here", 42));
-  Expect.equals("Extension1: t=Show must go on, i=3.14", Extension1(c).id<String, double>("Show must go on", 3.14));
-  Expect.equals("Extension2: t=Lily was here, i=42", Extension2(c).id<String, int>("Lily was here", 42));
-  Expect.equals("Extension2: t=Show must go on, i=3.14", Extension2(c).id<String, double>("Show must go on", 3.14));
-  Expect.equals("C: t=Show must go on, i=3.14", c.id<String, double>("Show must go on", 3.14));
+  Expect.equals("Extension1: t=Lily was here, i=42",
+      Extension1(c).id<String, int>("Lily was here", 42));
+  Expect.equals("Extension1: t=Show must go on, i=3.14",
+      Extension1(c).id<String, double>("Show must go on", 3.14));
+  Expect.equals("Extension2: t=Lily was here, i=42",
+      Extension2(c).id<String, int>("Lily was here", 42));
+  Expect.equals("Extension2: t=Show must go on, i=3.14",
+      Extension2(c).id<String, double>("Show must go on", 3.14));
+  Expect.equals("C: t=Show must go on, i=3.14",
+      c.id<String, double>("Show must go on", 3.14));
 }

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A07_t02.dart

@@ -15,11 +15,13 @@
 // SharedOptions=--enable-experiment=extension-methods
 
 class C {
-  String id2<T, Y extends num>(T t, Y val) => "C: t=" + t.toString() + ", i=$val";
+  String id2<T, Y extends num>(T t, Y val) =>
+      "C: t=" + t.toString() + ", i=$val";
 }
 
 extension Extension1 on C {
-  String id<T, Y extends num>(T t, Y val) => "Extension1: t=" + t.toString() + ", i=$val";
+  String id<T, Y extends num>(T t, Y val) =>
+      "Extension1: t=" + t.toString() + ", i=$val";
 }
 
 main() {

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A08_t01.dart

@@ -0,0 +1,34 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   -X                                     unary-
+ * @description Check explicit extension member invocation in form of -X
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+import "../../Utils/expect.dart";
+
+class C {
+  String operator -() => "Lily was here";
+}
+
+extension Extension1 on C {
+  String operator -() => "Show must go on";
+}
+
+extension Extension2 on C {
+  String operator -() => "Let it be";
+}
+
+main() {
+  C c = new C();
+  Expect.equals("Show must go on", -Extension1(c));
+  Expect.equals("Let it be", -Extension2(c));
+  Expect.equals("Lily was here", -c);
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A08_t02.dart

@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   -X                                     unary-
+ * @description Check explicit extension member invocation in form of -X
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+
+class C {
+  String operator -() => "Lily was here";
+}
+
+extension Extension1 on C {
+  String operator ~() => "Show must go on";
+}
+
+main() {
+  C c = new C();
+  -Extension1(c);
+//^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A09_t01.dart

@@ -0,0 +1,34 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   ~X                                     ~
+ * @description Check explicit extension member invocation in form of ~X
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+import "../../Utils/expect.dart";
+
+class C {
+  String operator ~() => "Lily was here";
+}
+
+extension Extension1 on C {
+  String operator ~() => "Show must go on";
+}
+
+extension Extension2 on C {
+  String operator ~() => "Let it be";
+}
+
+main() {
+  C c = new C();
+  Expect.equals("Show must go on", ~Extension1(c));
+  Expect.equals("Let it be", ~Extension2(c));
+  Expect.equals("Lily was here", ~c);
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A09_t02.dart

@@ -0,0 +1,30 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   ~X                                     unary~
+ * @description Check explicit extension member invocation in form of ~X
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+
+class C {
+  String operator ~() => "Lily was here";
+}
+
+extension Extension1 on C {
+  String operator -() => "Show must go on";
+}
+
+main() {
+  C c = new C();
+  ~Extension1(c);
+//^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A10_t01.dart

@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   X binop expr2        +, -, *, / , ~/, %, <, <=, >, >=, <<, >>, >>>, ^, |, &
+ * @description Check explicit extension member invocation in form of X + expr2
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+import "../../Utils/expect.dart";
+
+class C {
+  String value;
+  C(this.value);
+  String operator +(C other) => this.value + "," + other.value;
+}
+
+extension Extension1 on C {
+  String operator +(C other) => "Show must go on," + other.value;
+}
+
+extension Extension2 on C {
+  String operator +(C other) => "Let it be," + other.value;
+}
+
+main() {
+  C c = new C("Lily was here");
+  C other = new C("No woman no cry");
+  Expect.equals("Show must go on,No woman no cry", Extension1(c) + other);
+  Expect.equals("Let it be,No woman no cry", Extension2(c) + other);
+  Expect.equals("Lily was here,No woman no cry", c + other);
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A10_t02.dart

@@ -0,0 +1,33 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   X binop expr2        +, -, *, / , ~/, %, <, <=, >, >=, <<, >>, >>>, ^, |, &
+ * @description Check explicit extension member invocation in form of X + expr2
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+
+class C {
+  String value;
+  C(this.value);
+  String operator +(C other) => this.value + "," + other.value;
+}
+
+extension Extension1 on C {
+  String operator -(C other) => "Show must go on," + other.value;
+}
+
+main() {
+  C c = new C("Lily was here");
+  C other = new C("No woman no cry");
+  Extension1(c) + other;
+//              ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A10_t03.dart

@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   X binop expr2        +, -, *, / , ~/, %, <, <=, >, >=, <<, >>, >>>, ^, |, &
+ * @description Check explicit extension member invocation in form of X - expr2
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+import "../../Utils/expect.dart";
+
+class C {
+  String value;
+  C(this.value);
+  String operator -(C other) => this.value + "," + other.value;
+}
+
+extension Extension1 on C {
+  String operator -(C other) => "Show must go on," + other.value;
+}
+
+extension Extension2 on C {
+  String operator -(C other) => "Let it be," + other.value;
+}
+
+main() {
+  C c = new C("Lily was here");
+  C other = new C("No woman no cry");
+  Expect.equals("Show must go on,No woman no cry", Extension1(c) - other);
+  Expect.equals("Let it be,No woman no cry", Extension2(c) - other);
+  Expect.equals("Lily was here,No woman no cry", c - other);
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A10_t04.dart

@@ -0,0 +1,33 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   X binop expr2        +, -, *, / , ~/, %, <, <=, >, >=, <<, >>, >>>, ^, |, &
+ * @description Check explicit extension member invocation in form of X - expr2
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+
+class C {
+  String value;
+  C(this.value);
+  String operator -(C other) => this.value + "," + other.value;
+}
+
+extension Extension1 on C {
+  String operator +(C other) => "Show must go on," + other.value;
+}
+
+main() {
+  C c = new C("Lily was here");
+  C other = new C("No woman no cry");
+  Extension1(c) - other;
+//              ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Extension-methods/explicit_extension_member_invocation_A10_t05.dart

@@ -0,0 +1,37 @@
+/*
+ * Copyright (c) 2019, 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 simple member invocation on a target expression X is an
+ * expression of one of the forms:
+ * Member invocation on target X	     Corresponding member name
+ *   X binop expr2        +, -, *, / , ~/, %, <, <=, >, >=, <<, >>, >>>, ^, |, &
+ * @description Check explicit extension member invocation in form of X * expr2
+ * @author [email protected]
+ */
+// SharedOptions=--enable-experiment=extension-methods
+import "../../Utils/expect.dart";
+
+class C {
+  String value;
+  C(this.value);
+  String operator *(C other) => this.value + "," + other.value;
+}
+
+extension Extension1 on C {
+  String operator *(C other) => "Show must go on," + other.value;
+}
+
+extension Extension2 on C {
+  String operator *(C other) => "Let it be," + other.value;
+}
+
+main() {
+  C c = new C("Lily was here");
+  C other = new C("No woman no cry");
+  Expect.equals("Show must go on,No woman no cry", Extension1(c) * other);
+  Expect.equals("Let it be,No woman no cry", Extension2(c) * other);
+  Expect.equals("Lily was here,No woman no cry", c * other);
+}