languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 02:27:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add subscript operator to extension method setter/getter tests.

Browse source 
Change-Id: I09d97d291231eaf81b76c8156e1b3f25b7ab222e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/118366
Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>
This commit is contained in:
Leaf Petersen 2019-09-24 00:04:08 +00:00
parent d012dfc7a6
commit d53d355c6c
1 changed files with 114 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

123
tests/language_2/extension_methods/static_extension_getter_setter_conflicts_test.dart
View file

@ -11,19 +11,21 @@
class C0 {
int get m1 => 0;
void set m2(int x) {}
int operator[](int index) => 0;
}
extension E0 on C0 {
void set m1(int x) {}
int get m2 => 0;
void operator[]=(int index, int value) {}
}
void test0() {
C0 c0 = C0();
c0.m1;
c0.m1 = 0;
// ^^^^^^
// [analyzer] unspecified
// ^^
// [analyzer] STATIC_WARNING.ASSIGNMENT_TO_FINAL_NO_SETTER
// [cfe] unspecified
E0(c0).m1 = 0;
E0(c0).m1;
@ -32,20 +34,59 @@ void test0() {
// [cfe] unspecified
c0.m1 += 0;
// ^^^^^^
// [analyzer] unspecified
// ^^
// [analyzer] STATIC_WARNING.ASSIGNMENT_TO_FINAL_NO_SETTER
// [cfe] unspecified
c0.m1++;
// ^^
// [analyzer] STATIC_WARNING.ASSIGNMENT_TO_FINAL_NO_SETTER
// [cfe] unspecified
c0.m2 = 0;
c0.m2;
// ^^
// [analyzer] unspecified
// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
// [cfe] unspecified
c0.m2 += 0;
// ^^^^^^^
// ^^
// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
// [cfe] unspecified
c0.m2++;
// ^^
// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
// [cfe] unspecified
E0(c0).m2;
c0[0];
c0[0] = 0;
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
E0(c0)[0];
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
E0(c0)[0] = 0;
c0[0] += 0;
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
c0[0]++;
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
E0(c0)[0] += 0;
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
E0(c0)[0]++;
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
E0(c0).m2;
}
// Conflicting extensions.
@ -55,11 +96,13 @@ class C1<T> {}
extension E1A<T> on C1<T> {
int get m1 => 0;
void set m2(int x) {}
int operator[](int index) => 0;
}
extension E1B on C1<Object> {
void set m1(int x) {}
int get m2 => 0;
void operator[]=(int index, int value) {}
}
void test1() {
@ -78,6 +121,23 @@ void test1() {
c1a.m2 = 0;
c1a[0] = 0;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
c1a[0] += 0;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
c1a[0]++;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
c1a[0];
C1<Object> c1b = C1<Null>(); // Neither extension is more specific.
c1b.m1;
@ -90,14 +150,40 @@ void test1() {
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] unspecified
c1b.m1 += 0;
// ^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] unspecified
c1b.m1++;
// ^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] unspecified
c1b.m2;
// ^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [cfe] unspecified
c1b.m2 = 0;
c1b[0];
// ^^
// [analyzer] COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
// [analyzer] unspecified
// [cfe] unspecified
c1b[0] = 0;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
c1b[0] += 0;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
c1b[0]++;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
}
@ -106,12 +192,15 @@ class C2 {
int get m1 => 0;
void set m2(int x) {}
int get mc => 0;
void operator[]=(int index, int value) {}
}
extension E2 on C2 {
void set m1(int x) {}
int get m2 => 0;
String get me => "";
int operator[](int index) => 0;
void test2() {
// Using `this.member` means using the `on` type.
@ -128,6 +217,22 @@ extension E2 on C2 {
// [analyzer] STATIC_TYPE_WARNING.UNDEFINED_GETTER
// [cfe] unspecified
this[0] = 0;
this[0];
// ^^
// [analyzer] unspecified
// [cfe] unspecified
this[0] += 0;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
this[0] ++;
// ^^
// [analyzer] unspecified
// [cfe] unspecified
// Check that `this.mc` refers to `C2.mc`.
this.mc.toRadixString(16);
// Check that `this.me` refers to `E2.me`.