| 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 | |
| 26 // Expect.identical(const [1,2], const List[1,2]); | |
| 27 Expect.isFalse(identical(const [2, 1], const [1, 2])); | 25 Expect.isFalse(identical(const [2, 1], const [1, 2])); |
| 28 Expect.identical(const <int>[1, 2], const <int>[1, 2]); | 26 Expect.identical(const <int>[1, 2], const <int>[1, 2]); |
| 29 Expect.identical(const <Object>[1, 2], const <Object>[1, 2]); | 27 Expect.identical(const <Object>[1, 2], const <Object>[1, 2]); |
| 30 Expect.isFalse(identical(const <int>[1, 2], const <double>[1.0, 2.0])); | 28 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}); | 29 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})); | 30 Expect.isFalse(identical(const {"a": 1, "b": 2}, const {"a": 2, "b": 2})); |
| 33 } | 31 } |
| 34 } | 32 } |
| 35 | 33 |
| 36 class C1 { | 34 class C1 { |
| 37 const C1(); | 35 const C1(); |
| 38 } | 36 } |
| 39 | 37 |
| 40 class C2 extends C1 { | 38 class C2 extends C1 { |
| 41 const C2() : super(); | 39 const C2() : super(); |
| 42 } | 40 } |
| 43 | 41 |
| 44 main() { | 42 main() { |
| 45 CanonicalConstTest.testMain(); | 43 CanonicalConstTest.testMain(); |
| 46 } | 44 } |
| OLD | NEW |