OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // Evaluation of an if-null expression e of the form e1 ?? e2 is equivalent to | |
6 // the evaluation of the expression ((x) => x == null ? e2 : x)(e1). The | |
7 // static type of e is the least upper bound of the static type of e1 and the | |
8 // static type of e2. | |
9 | |
10 import "package:expect/expect.dart"; | |
11 | |
12 class A { | |
13 final String a; | |
14 A(this.a); | |
15 } | |
16 | |
17 class B extends A { | |
18 B(String v) | |
19 : b = v, | |
20 super(v); | |
21 final String b; | |
22 } | |
23 | |
24 class C extends A { | |
25 C(String v) | |
26 : c = v, | |
27 super(v); | |
28 final String c; | |
29 } | |
30 | |
31 B nullB() => null; | |
32 C nullC() => null; | |
33 | |
34 noMethod(e) => e is NoSuchMethodError; | |
35 | |
36 main() { | |
37 // Make sure the "none" test fails if "??" is not implemented. This makes | |
38 // status files easier to maintain. | |
39 var _ = null ?? null; | |
40 | |
41 Expect.equals(1, 1 ?? 2); //# 01: ok | |
42 Expect.equals(1, 1 ?? null); //# 02: ok | |
43 Expect.equals(2, null ?? 2); //# 03: ok | |
44 Expect.equals(null, null ?? null); //# 04: ok | |
45 Expect.equals('B', (new B('B') ?? new C('C')).a); //# 05: ok | |
46 Expect.equals('B', (new B('B') ?? new C('C')).b); //# 06: static type warning | |
47 Expect.throws(() => (new B('B') ?? new C('C')).c, noMethod); //# 07: static ty
pe warning | |
48 Expect.equals('B', (new B('B') ?? nullC()).a); //# 08: ok | |
49 Expect.equals('B', (new B('B') ?? nullC()).b); //# 09: static type warning | |
50 Expect.throws(() => (new B('B') ?? nullC()).c, noMethod); //# 10: static type
warning | |
51 Expect.equals('C', (nullB() ?? new C('C')).a); //# 11: ok | |
52 Expect.throws(() => (nullB() ?? new C('C')).b, noMethod); //# 12: static type
warning | |
53 Expect.equals('C', (nullB() ?? new C('C')).c); //# 13: static type warning | |
54 Expect.throws(() => (nullB() ?? nullC()).a, noMethod); //# 14: ok | |
55 Expect.throws(() => (nullB() ?? nullC()).b, noMethod); //# 15: static type war
ning | |
56 Expect.throws(() => (nullB() ?? nullC()).c, noMethod); //# 16: static type war
ning | |
57 } | |
OLD | NEW |