OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 // Check that initializers of static const fields are compile time constants. | 4 // Check that initializers of static const fields are compile time constants. |
5 | 5 |
6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
7 | 7 |
8 class CanonicalConstTest { | 8 class CanonicalConstTest { |
9 static const A = const C1(); | 9 static const A = const C1(); |
10 static const B = const C2(); | 10 static const B = const C2(); |
11 | 11 |
12 static testMain() { | 12 static testMain() { |
13 Expect.identical(null, null); | 13 Expect.identical(null, null); |
14 Expect.isFalse(identical(null, 0)); | 14 Expect.isFalse(identical(null, 0)); |
15 Expect.identical(1, 1); | 15 Expect.identical(1, 1); |
16 Expect.isFalse(identical(1, 2)); | 16 Expect.isFalse(identical(1, 2)); |
17 Expect.identical(true, true); | 17 Expect.identical(true, true); |
18 Expect.identical("so", "so"); | 18 Expect.identical("so", "so"); |
19 Expect.identical(const Object(), const Object()); | 19 Expect.identical(const Object(), const Object()); |
20 Expect.isFalse(identical(const Object(), const C1())); | 20 Expect.isFalse(identical(const Object(), const C1())); |
21 Expect.identical(const C1(), const C1()); | 21 Expect.identical(const C1(), const C1()); |
22 Expect.identical(A, const C1()); | 22 Expect.identical(A, const C1()); |
23 Expect.isFalse(identical(const C1(), const C2())); | 23 Expect.isFalse(identical(const C1(), const C2())); |
24 Expect.identical(B, const C2()); | 24 Expect.identical(B, const C2()); |
25 // TODO(johnlenz): these two values don't currently have the same type | 25 // TODO(johnlenz): these two values don't currently have the same type |
26 // Expect.identical(const [1,2], const List[1,2]); | 26 // Expect.identical(const [1,2], const List[1,2]); |
27 Expect.isFalse(identical(const [2,1], const[1,2])); | 27 Expect.isFalse(identical(const [2, 1], const [1, 2])); |
28 Expect.identical(const <int>[1,2], const <int>[1,2]); | 28 Expect.identical(const <int>[1, 2], const <int>[1, 2]); |
29 Expect.identical(const <Object>[1,2], const <Object>[1,2]); | 29 Expect.identical(const <Object>[1, 2], const <Object>[1, 2]); |
30 Expect.isFalse(identical(const <int>[1,2], const <double>[1.0,2.0])); | 30 Expect.isFalse(identical(const <int>[1, 2], const <double>[1.0, 2.0])); |
31 Expect.identical(const {"a":1, "b":2}, const {"a":1, "b":2}); | 31 Expect.identical(const {"a": 1, "b": 2}, const {"a": 1, "b": 2}); |
32 Expect.isFalse(identical(const {"a":1, "b":2}, const {"a":2, "b":2})); | 32 Expect.isFalse(identical(const {"a": 1, "b": 2}, const {"a": 2, "b": 2})); |
33 } | 33 } |
34 } | 34 } |
35 | 35 |
36 class C1 { | 36 class C1 { |
37 const C1(); | 37 const C1(); |
38 } | 38 } |
39 | 39 |
40 class C2 extends C1 { | 40 class C2 extends C1 { |
41 const C2() : super(); | 41 const C2() : super(); |
42 } | 42 } |
43 | 43 |
44 main() { | 44 main() { |
45 CanonicalConstTest.testMain(); | 45 CanonicalConstTest.testMain(); |
46 } | 46 } |
OLD | NEW |