OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 // Verify semantics of the ??= operator, including order of operations, by | 5 // Verify semantics of the ??= operator, including order of operations, by |
6 // keeping track of the operations performed. | 6 // keeping track of the operations performed. |
7 | 7 |
8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
9 import "if_null_assignment_helper.dart" as h; | 9 import "if_null_assignment_helper.dart" as h; |
10 | 10 |
(...skipping 162 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
173 | 173 |
174 // C.v ??= e is equivalent to ((x) => x == null ? C.v = e : x)(C.v) | 174 // C.v ??= e is equivalent to ((x) => x == null ? C.v = e : x)(C.v) |
175 C.xGetValue = 1; check(1, () => C.x ??= bad(), ['C.x']); /// 16: ok | 175 C.xGetValue = 1; check(1, () => C.x ??= bad(), ['C.x']); /// 16: ok |
176 yGetValue = 1; check(1, () => C.x ??= y, ['C.x', 'y', 'C.x=1']); /// 17: ok | 176 yGetValue = 1; check(1, () => C.x ??= y, ['C.x', 'y', 'C.x=1']); /// 17: ok |
177 h.C.xGetValue = 1; check(1, () => h.C.x ??= bad(), ['h.C.x']); /// 18: ok | 177 h.C.xGetValue = 1; check(1, () => h.C.x ??= bad(), ['h.C.x']); /// 18: ok |
178 yGetValue = 1; check(1, () => h.C.x ??= y, ['h.C.x', 'y', 'h.C.x=1']); /// 19:
ok | 178 yGetValue = 1; check(1, () => h.C.x ??= y, ['h.C.x', 'y', 'h.C.x=1']); /// 19:
ok |
179 | 179 |
180 // e1.v ??= e2 is equivalent to | 180 // e1.v ??= e2 is equivalent to |
181 // ((x) => ((y) => y == null ? x.v = e2 : y)(x.v))(e1) | 181 // ((x) => ((y) => y == null ? x.v = e2 : y)(x.v))(e1) |
182 xGetValue = new C('x'); xGetValue.vGetValue = 1; /// 20: ok | 182 xGetValue = new C('x'); xGetValue.vGetValue = 1; /// 20: ok |
183 check(1, () => x.v ??= bad(), ['x', 'x.v']); /// 20: continued | 183 check(1, () => x.v ??= bad(), ['x', 'x.v']); // /// 20: continued |
184 xGetValue = new C('x'); yGetValue = 1; /// 21: ok | 184 xGetValue = new C('x'); yGetValue = 1; // /// 21: ok |
185 check(1, () => x.v ??= y, ['x', 'x.v', 'y', 'x.v=1']); /// 21: continued | 185 check(1, () => x.v ??= y, ['x', 'x.v', 'y', 'x.v=1']); /// 21: continued |
186 fValue = new C('f()'); fValue.vGetValue = 1; /// 22: ok | 186 fValue = new C('f()'); fValue.vGetValue = 1; // /// 22: ok |
187 check(1, () => f().v ??= bad(), ['f()', 'f().v']); /// 22: continued | 187 check(1, () => f().v ??= bad(), ['f()', 'f().v']); /// 22: continued |
188 fValue = new C('f()'); yGetValue = 1; /// 23: ok | 188 fValue = new C('f()'); yGetValue = 1; // /// 23: ok |
189 check(1, () => f().v ??= y, ['f()', 'f().v', 'y', 'f().v=1']); /// 23: continu
ed | 189 check(1, () => f().v ??= y, ['f()', 'f().v', 'y', 'f().v=1']); /// 23: continu
ed |
190 | 190 |
191 // e1[e2] ??= e3 is equivalent to | 191 // e1[e2] ??= e3 is equivalent to |
192 // ((a, i) => ((x) => x == null ? a[i] = e3 : x)(a[i]))(e1, e2) | 192 // ((a, i) => ((x) => x == null ? a[i] = e3 : x)(a[i]))(e1, e2) |
193 xGetValue = new C('x'); yGetValue = 1; xGetValue.indexGetValue = 2; /// 24: ok | 193 xGetValue = new C('x'); yGetValue = 1; xGetValue.indexGetValue = 2; /// 24: ok |
194 check(2, () => x[y] ??= bad(), ['x', 'y', 'x[1]']); /// 24: co
ntinued | 194 check(2, () => x[y] ??= bad(), ['x', 'y', 'x[1]']); // /// 24:
continued |
195 xGetValue = new C('x'); yGetValue = 1; zGetValue = 2; /// 25: ok | 195 xGetValue = new C('x'); yGetValue = 1; zGetValue = 2; // /// 25: ok |
196 check(2, () => x[y] ??= z, ['x', 'y', 'x[1]', 'z', 'x[1]=2']); /// 25: continu
ed | 196 check(2, () => x[y] ??= z, ['x', 'y', 'x[1]', 'z', 'x[1]=2']); /// 25: continu
ed |
197 | 197 |
198 // e1?.v ??= e2 is equivalent to ((x) => x == null ? null : x.v ??= e2)(e1). | 198 // e1?.v ??= e2 is equivalent to ((x) => x == null ? null : x.v ??= e2)(e1). |
199 check(null, () => x?.v ??= bad(), ['x']); /// 26: ok | 199 check(null, () => x?.v ??= bad(), ['x']); /// 26: ok |
200 xGetValue = new C('x'); xGetValue.vGetValue = 1; /// 27: ok | 200 xGetValue = new C('x'); xGetValue.vGetValue = 1; /// 27: ok |
201 check(1, () => x?.v ??= bad(), ['x', 'x.v']); /// 27: continued | 201 check(1, () => x?.v ??= bad(), ['x', 'x.v']); // /// 27: continued |
202 xGetValue = new C('x'); yGetValue = 1; /// 28: ok | 202 xGetValue = new C('x'); yGetValue = 1; // /// 28: ok |
203 check(1, () => x?.v ??= y, ['x', 'x.v', 'y', 'x.v=1']); /// 28: continued | 203 check(1, () => x?.v ??= y, ['x', 'x.v', 'y', 'x.v=1']); /// 28: continued |
204 | 204 |
205 // C?.v ??= e2 is equivalent to C.v ??= e2. | 205 // C?.v ??= e2 is equivalent to C.v ??= e2. |
206 C.xGetValue = 1; /// 29: ok | 206 C.xGetValue = 1; // /// 29: ok |
207 check(1, () => C?.x ??= bad(), ['C.x']); /// 29: continued | 207 check(1, () => C?.x ??= bad(), ['C.x']); /// 29: continued |
208 h.C.xgetValue = 1; /// 30: ok | 208 h.C.xgetValue = 1; // /// 30: ok |
209 check(1, () => h.c?.x ??= bad(), ['h.C.x']); /// 30: continued | 209 check(1, () => h.c?.x ??= bad(), ['h.C.x']); /// 30: continued |
210 yGetValue = 1; /// 31: ok | 210 yGetValue = 1; // /// 31: ok |
211 check(1, () => C?.x ??= y, ['C.x', 'y', 'C.x=1']); /// 31: continued | 211 check(1, () => C?.x ??= y, ['C.x', 'y', 'C.x=1']); /// 31: continued |
212 yGetValue = 1; /// 32: ok | 212 yGetValue = 1; // /// 32: ok |
213 check(1, () => h.C?.x ??= y, ['h.C.x', 'y', 'h.C.x=1']); /// 32: continued | 213 check(1, () => h.C?.x ??= y, ['h.C.x', 'y', 'h.C.x=1']); /// 32: continued |
214 } | 214 } |
OLD | NEW |