| 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 |