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 in a postincrement or | 5 // Verify semantics of the ?. operator when it appears in a postincrement or |
6 // preincrement expression (or a postdecrement or predecrement expression). | 6 // preincrement expression (or a postdecrement or predecrement expression). |
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 |
11 class C { | 11 class C { |
12 int v; | 12 int v; |
13 C(this.v); | 13 C(this.v); |
14 static int staticInt; | 14 static int staticInt; |
15 } | 15 } |
16 | 16 |
17 class D { | 17 class D { |
18 E v; | 18 E v; |
19 D(this.v); | 19 D(this.v); |
20 static E staticE; | 20 static E staticE; |
21 } | 21 } |
22 | 22 |
23 class E { | 23 class E { |
24 G operator+(int i) => new I(); | 24 G operator +(int i) => new I(); |
25 G operator-(int i) => new I(); | 25 G operator -(int i) => new I(); |
26 } | 26 } |
27 | 27 |
28 class F {} | 28 class F {} |
29 | 29 |
30 class G extends E implements F {} | 30 class G extends E implements F {} |
31 | 31 |
32 class H {} | 32 class H {} |
33 | 33 |
34 class I extends G implements H {} | 34 class I extends G implements H {} |
35 | 35 |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
97 { h.C.staticInt = 1; Expect.equals(0, --h.C?.staticInt); Expect.equals(0, h.C.
staticInt); } //# 36: ok | 97 { h.C.staticInt = 1; Expect.equals(0, --h.C?.staticInt); Expect.equals(0, h.C.
staticInt); } //# 36: ok |
98 | 98 |
99 // The static type of --e1?.v is the same as the static type of e1.v - 1. | 99 // The static type of --e1?.v is the same as the static type of e1.v - 1. |
100 { D d = new D(new E()); F f = --d?.v; Expect.identical(d.v, f); } //# 15: ok | 100 { D d = new D(new E()); F f = --d?.v; Expect.identical(d.v, f); } //# 15: ok |
101 { D d = new D(new E()); H h = --d?.v; Expect.identical(d.v, h); } //# 16: stat
ic type warning | 101 { D d = new D(new E()); H h = --d?.v; Expect.identical(d.v, h); } //# 16: stat
ic type warning |
102 { D.staticE = new E(); F f = --D?.staticE; Expect.identical(D.staticE, f); } /
/# 37: ok | 102 { D.staticE = new E(); F f = --D?.staticE; Expect.identical(D.staticE, f); } /
/# 37: ok |
103 { h.D.staticE = new h.E(); h.F f = --h.D?.staticE; Expect.identical(h.D.static
E, f); } //# 38: ok | 103 { h.D.staticE = new h.E(); h.F f = --h.D?.staticE; Expect.identical(h.D.static
E, f); } //# 38: ok |
104 { D.staticE = new E(); H h = --D?.staticE; Expect.identical(D.staticE, h); } /
/# 39: static type warning | 104 { D.staticE = new E(); H h = --D?.staticE; Expect.identical(D.staticE, h); } /
/# 39: static type warning |
105 { h.D.staticE = new h.E(); h.H hh = --h.D?.staticE; Expect.identical(h.D.stati
cE, hh); } //# 40: static type warning | 105 { h.D.staticE = new h.E(); h.H hh = --h.D?.staticE; Expect.identical(h.D.stati
cE, hh); } //# 40: static type warning |
106 } | 106 } |
OLD | NEW |