| 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 when it appears on the LHS of an | 5 // Verify semantics of the ?. operator when it appears on the LHS of an |
| 6 // assignment. | 6 // assignment. |
| 7 | 7 |
| 8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
| 9 import "conditional_access_helper.dart" as h; | 9 import "conditional_access_helper.dart" as h; |
| 10 | 10 |
| (...skipping 30 matching lines...) Expand all Loading... |
| 41 class I extends G implements H {} | 41 class I extends G implements H {} |
| 42 | 42 |
| 43 C nullC() => null; | 43 C nullC() => null; |
| 44 | 44 |
| 45 main() { | 45 main() { |
| 46 // Make sure the "none" test fails if assignment to "?." is not implemented. | 46 // Make sure the "none" test fails if assignment to "?." is not implemented. |
| 47 // This makes status files easier to maintain. | 47 // This makes status files easier to maintain. |
| 48 nullC()?.v = 1; | 48 nullC()?.v = 1; |
| 49 | 49 |
| 50 // e1?.v = e2 is equivalent to ((x) => x == null ? null : x.v = e2)(e1). | 50 // e1?.v = e2 is equivalent to ((x) => x == null ? null : x.v = e2)(e1). |
| 51 Expect.equals(null, nullC()?.v = bad()); /// 01: ok | 51 Expect.equals(null, nullC()?.v = bad()); //# 01: ok |
| 52 { C c = new C(1); Expect.equals(2, c?.v = 2); Expect.equals(2, c.v); } /// 02:
ok | 52 { C c = new C(1); Expect.equals(2, c?.v = 2); Expect.equals(2, c.v); } //# 02:
ok |
| 53 | 53 |
| 54 // C?.v = e2 is equivalent to C.v = e2. | 54 // C?.v = e2 is equivalent to C.v = e2. |
| 55 { C.staticInt = 1; Expect.equals(2, C?.staticInt = 2); Expect.equals(2, C.stat
icInt); } /// 23: ok | 55 { C.staticInt = 1; Expect.equals(2, C?.staticInt = 2); Expect.equals(2, C.stat
icInt); } //# 23: ok |
| 56 { h.C.staticInt = 1; Expect.equals(2, h.C?.staticInt = 2); Expect.equals(2, h.
C.staticInt); } /// 24: ok | 56 { h.C.staticInt = 1; Expect.equals(2, h.C?.staticInt = 2); Expect.equals(2, h.
C.staticInt); } //# 24: ok |
| 57 | 57 |
| 58 // The static type of e1?.v = e2 is the static type of e2. | 58 // The static type of e1?.v = e2 is the static type of e2. |
| 59 { D d = new D(new E()); G g = new G(); F f = (d?.v = g); Expect.identical(f, g
); } /// 03: ok | 59 { D d = new D(new E()); G g = new G(); F f = (d?.v = g); Expect.identical(f, g
); } //# 03: ok |
| 60 { D d = new D(new E()); E e = new G(); F f = (d?.v = e); Expect.identical(f, e
); } /// 04: static type warning | 60 { D d = new D(new E()); E e = new G(); F f = (d?.v = e); Expect.identical(f, e
); } //# 04: static type warning |
| 61 { D.staticE = new E(); G g = new G(); F f = (D?.staticE = g); Expect.identical
(f, g); } /// 25: ok | 61 { D.staticE = new E(); G g = new G(); F f = (D?.staticE = g); Expect.identical
(f, g); } //# 25: ok |
| 62 { h.D.staticE = new h.E(); h.G g = new h.G(); h.F f = (h.D?.staticE = g); Expe
ct.identical(f, g); } /// 26: ok | 62 { h.D.staticE = new h.E(); h.G g = new h.G(); h.F f = (h.D?.staticE = g); Expe
ct.identical(f, g); } //# 26: ok |
| 63 { D.staticE = new E(); E e = new G(); F f = (D?.staticE = e); Expect.identical
(f, e); } /// 27: static type warning | 63 { D.staticE = new E(); E e = new G(); F f = (D?.staticE = e); Expect.identical
(f, e); } //# 27: static type warning |
| 64 { h.D.staticE = new h.E(); h.E e = new h.G(); h.F f = (h.D?.staticE = e); Expe
ct.identical(f, e); } /// 28: static type warning | 64 { h.D.staticE = new h.E(); h.E e = new h.G(); h.F f = (h.D?.staticE = e); Expe
ct.identical(f, e); } //# 28: static type warning |
| 65 | 65 |
| 66 // Exactly the same static warnings that would be caused by e1.v = e2 are | 66 // Exactly the same static warnings that would be caused by e1.v = e2 are |
| 67 // also generated in the case of e1?.v = e2. | 67 // also generated in the case of e1?.v = e2. |
| 68 Expect.equals(null, nullC()?.bad = bad()); /// 05: static type warning | 68 Expect.equals(null, nullC()?.bad = bad()); //# 05: static type warning |
| 69 { B b = new C(1); Expect.equals(2, b?.v = 2); Expect.equals(2, (b as C).v); }
/// 06: static type warning | 69 { B b = new C(1); Expect.equals(2, b?.v = 2); Expect.equals(2, (b as C).v); }
//# 06: static type warning |
| 70 | 70 |
| 71 // e1?.v op= e2 is equivalent to ((x) => x?.v = x.v op e2)(e1). | 71 // e1?.v op= e2 is equivalent to ((x) => x?.v = x.v op e2)(e1). |
| 72 Expect.equals(null, nullC()?.v += bad()); /// 07: ok | 72 Expect.equals(null, nullC()?.v += bad()); //# 07: ok |
| 73 { C c = new C(1); Expect.equals(3, c?.v += 2); Expect.equals(3, c.v); } /// 08
: ok | 73 { C c = new C(1); Expect.equals(3, c?.v += 2); Expect.equals(3, c.v); } //# 08
: ok |
| 74 | 74 |
| 75 // C?.v op= e2 is equivalent to C.v op= e2. | 75 // C?.v op= e2 is equivalent to C.v op= e2. |
| 76 { C.staticInt = 1; Expect.equals(3, C?.staticInt += 2); Expect.equals(3, C?.st
aticInt); } /// 29: ok | 76 { C.staticInt = 1; Expect.equals(3, C?.staticInt += 2); Expect.equals(3, C?.st
aticInt); } //# 29: ok |
| 77 | 77 |
| 78 // The static type of e1?.v op= e2 is the static type of e1.v op e2. | 78 // The static type of e1?.v op= e2 is the static type of e1.v op e2. |
| 79 { D d = new D(new E()); F f = (d?.v += 1); Expect.identical(d.v, f); } /// 09:
ok | 79 { D d = new D(new E()); F f = (d?.v += 1); Expect.identical(d.v, f); } //# 09:
ok |
| 80 { D.staticE = new E(); F f = (D?.staticE += 1); Expect.identical(D.staticE, f)
; } /// 30: ok | 80 { D.staticE = new E(); F f = (D?.staticE += 1); Expect.identical(D.staticE, f)
; } //# 30: ok |
| 81 { h.D.staticE = new h.E(); h.F f = (h.D?.staticE += 1); Expect.identical(h.D.s
taticE, f); } /// 31: ok | 81 { h.D.staticE = new h.E(); h.F f = (h.D?.staticE += 1); Expect.identical(h.D.s
taticE, f); } //# 31: ok |
| 82 | 82 |
| 83 // Let T be the static type of e1 and let y be a fresh variable of type T. | 83 // Let T be the static type of e1 and let y be a fresh variable of type T. |
| 84 // Exactly the same static warnings that would be caused by y.v op e2 are | 84 // Exactly the same static warnings that would be caused by y.v op e2 are |
| 85 // also generated in the case of e1?.v op= e2. | 85 // also generated in the case of e1?.v op= e2. |
| 86 Expect.equals(null, nullC()?.bad = bad()); /// 10: static type warning | 86 Expect.equals(null, nullC()?.bad = bad()); //# 10: static type warning |
| 87 { B b = new C(1); Expect.equals(3, b?.v += 2); Expect.equals(3, (b as C).v); }
/// 11: static type warning | 87 { B b = new C(1); Expect.equals(3, b?.v += 2); Expect.equals(3, (b as C).v); }
//# 11: static type warning |
| 88 { D d = new D(new E()); F f = (d?.v += nullC()); Expect.identical(d.v, f); } /
// 12: static type warning | 88 { D d = new D(new E()); F f = (d?.v += nullC()); Expect.identical(d.v, f); } /
/# 12: static type warning |
| 89 { D d = new D(new E()); H h = (d?.v += 1); Expect.identical(d.v, h); } /// 13:
static type warning | 89 { D d = new D(new E()); H h = (d?.v += 1); Expect.identical(d.v, h); } //# 13:
static type warning |
| 90 { D.staticE = new E(); F f = (D?.staticE += nullC()); Expect.identical(D.stati
cE, f); } /// 32: static type warning | 90 { D.staticE = new E(); F f = (D?.staticE += nullC()); Expect.identical(D.stati
cE, f); } //# 32: static type warning |
| 91 { h.D.staticE = new h.E(); h.F f = (h.D?.staticE += h.nullC()); Expect.identic
al(h.D.staticE, f); } /// 33: static type warning | 91 { h.D.staticE = new h.E(); h.F f = (h.D?.staticE += h.nullC()); Expect.identic
al(h.D.staticE, f); } //# 33: static type warning |
| 92 { D.staticE = new E(); H h = (D?.staticE += 1); Expect.identical(D.staticE, h)
; } /// 34: static type warning | 92 { D.staticE = new E(); H h = (D?.staticE += 1); Expect.identical(D.staticE, h)
; } //# 34: static type warning |
| 93 { h.D.staticE = new h.E(); h.H hh = (h.D?.staticE += 1); Expect.identical(h.D.
staticE, hh); } /// 35: static type warning | 93 { h.D.staticE = new h.E(); h.H hh = (h.D?.staticE += 1); Expect.identical(h.D.
staticE, hh); } //# 35: static type warning |
| 94 | 94 |
| 95 // '?.' cannot be used to assign to toplevel properties in libraries imported | 95 // '?.' cannot be used to assign to toplevel properties in libraries imported |
| 96 // via prefix. | 96 // via prefix. |
| 97 h?.topLevelVar = null; /// 20: compile-time error | 97 h?.topLevelVar = null; //# 20: compile-time error |
| 98 h?.topLevelVar += null; /// 21: compile-time error | 98 h?.topLevelVar += null; //# 21: compile-time error |
| 99 h?.topLevelVar ??= null; /// 22: compile-time error | 99 h?.topLevelVar ??= null; //# 22: compile-time error |
| 100 } | 100 } |
| OLD | NEW |