OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 // VMOptions=--assert_initializer | 4 // VMOptions=--assert_initializer |
5 // | 5 // |
6 // Dart test program testing assert statements. | 6 // Dart test program testing assert statements. |
7 | 7 |
8 import "package:expect/expect.dart"; | 8 import "package:expect/expect.dart"; |
9 | 9 |
10 class C { | 10 class C { |
11 static bool staticTrue() => true; | 11 static bool staticTrue() => true; |
12 final int x; | 12 final int x; |
13 const C(this.x); | 13 const C(this.x); |
14 // The expression *is* compile-time constant, but not a bool value. | 14 // The expression *is* compile-time constant, but not a bool value. |
15 // Static warning, runtime always fails assertion. | 15 // Static warning, runtime always fails assertion. |
16 const C.bc01(this.x, y) | 16 const C.bc01(this.x, y) |
17 : assert(staticTrue) //# 01: static type warning | 17 : assert(staticTrue) //# 01: static type warning |
18 ; | 18 ; |
19 } | 19 } |
20 | 20 |
21 main() { | 21 main() { |
22 bool checkedMode = false; | 22 bool checkedMode = false; |
23 assert(checkedMode = true); | 23 assert(checkedMode = true); |
24 if (checkedMode) { //# 01: contin
ued | 24 if (checkedMode) { //# 01: contin
ued |
25 Expect.throws(() => new C.bc01(1, 2), (e) => e is TypeError); //# 01: contin
ued | 25 Expect.throws(() => new C.bc01(1, 2), (e) => e is TypeError); //# 01: contin
ued |
26 } else { //# 01: contin
ued | 26 } else { //# 01: contin
ued |
27 Expect.equals(1, new C.bc01(1, 2).x); | 27 Expect.equals(1, new C.bc01(1, 2).x); |
28 } //# 01: contin
ued | 28 } //# 01: contin
ued |
29 } | 29 } |
OLD | NEW |