| 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 // Evaluation of an if-null expresion e of the form e1 ?? e2 is equivalent to | 5 // Evaluation of an if-null expresion e of the form e1 ?? e2 is equivalent to |
| 6 // the evaluation of the expression ((x) => x == null ? e2 : x)(e1). | 6 // the evaluation of the expression ((x) => x == null ? e2 : x)(e1). |
| 7 // | 7 // |
| 8 // Therefore, e1 should be evaluated first; if it is non-null, e2 should not | 8 // Therefore, e1 should be evaluated first; if it is non-null, e2 should not |
| 9 // be evaluated. | 9 // be evaluated. |
| 10 | 10 |
| 11 // SharedOptions=--enable-null-aware-operators | |
| 12 | |
| 13 import "package:expect/expect.dart"; | 11 import "package:expect/expect.dart"; |
| 14 | 12 |
| 15 void bad() { | 13 void bad() { |
| 16 throw new Exception(); | 14 throw new Exception(); |
| 17 } | 15 } |
| 18 | 16 |
| 19 bool firstExecuted = false; | 17 bool firstExecuted = false; |
| 20 | 18 |
| 21 first() { | 19 first() { |
| 22 firstExecuted = true; | 20 firstExecuted = true; |
| 23 return null; | 21 return null; |
| 24 } | 22 } |
| 25 | 23 |
| 26 second() { | 24 second() { |
| 27 Expect.isTrue(firstExecuted); | 25 Expect.isTrue(firstExecuted); |
| 28 return 2; | 26 return 2; |
| 29 } | 27 } |
| 30 | 28 |
| 31 main() { | 29 main() { |
| 32 // Make sure the "none" test fails if "??" is not implemented. This makes | 30 // Make sure the "none" test fails if "??" is not implemented. This makes |
| 33 // status files easier to maintain. | 31 // status files easier to maintain. |
| 34 var _ = null ?? null; | 32 var _ = null ?? null; |
| 35 | 33 |
| 36 Expect.equals(1, 1 ?? bad()); /// 01: ok | 34 Expect.equals(1, 1 ?? bad()); /// 01: ok |
| 37 Expect.equals(2, first() ?? second()); /// 02: ok | 35 Expect.equals(2, first() ?? second()); /// 02: ok |
| 38 } | 36 } |
| OLD | NEW |