OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
6 | 6 |
7 main() { | 7 main() { |
8 const f0 = 42; | 8 const f0 = 42; |
9 const f1; /// 01: compile-time error | 9 const f1; /// 01: compile-time error |
10 const int f2 = 87; | 10 const int f2 = 87; |
11 const int f3; /// 02: compile-time error | 11 const int f3; /// 02: compile-time error |
12 Expect.equals(42, f0); | 12 Expect.equals(42, f0); |
13 Expect.equals(87, f2); | 13 Expect.equals(87, f2); |
14 | 14 |
15 Expect.equals(42, F0); | 15 Expect.equals(42, F0); |
16 Expect.equals(null, F1); /// 03: compile-time error | 16 Expect.equals(null, F1); /// 03: compile-time error |
17 Expect.equals(87, F2); | 17 Expect.equals(87, F2); |
18 Expect.equals(null, F3); /// 04: compile-time error | 18 Expect.equals(null, F3); /// 04: compile-time error |
19 | 19 |
20 Expect.isTrue(P0 is Point); | 20 Expect.isTrue(P0 is Point); |
21 Expect.isTrue(P1 is int); /// 05: compile-time error | 21 Expect.isTrue(P1 is int); // /// 05: compile-time error |
22 Expect.isTrue(P2 is Point); /// 06: compile-time error | 22 Expect.isTrue(P2 is Point); /// 06: compile-time error |
23 Expect.isTrue(P3 is int); /// 07: compile-time error | 23 Expect.isTrue(P3 is int); // /// 07: compile-time error |
24 | 24 |
25 Expect.isTrue(A0 is int); | 25 Expect.isTrue(A0 is int); |
26 Expect.isTrue(A1 is int); | 26 Expect.isTrue(A1 is int); |
27 Expect.isTrue(A2 is int); /// 08: compile-time error | 27 Expect.isTrue(A2 is int); /// 08: compile-time error |
28 Expect.isTrue(A3 is int); /// 08: continued | 28 Expect.isTrue(A3 is int); /// 08: continued |
29 | 29 |
30 Expect.isTrue(C0.X is C1); | 30 Expect.isTrue(C0.X is C1); |
31 Expect.isTrue(C0.X.x is C1); /// 09: compile-time error | 31 Expect.isTrue(C0.X.x is C1); /// 09: compile-time error |
32 | 32 |
33 Expect.equals("Hello 42", B2); | 33 Expect.equals("Hello 42", B2); |
34 Expect.equals("42Hello", B3); /// 10: compile-time error | 34 Expect.equals("42Hello", B3); /// 10: compile-time error |
35 | 35 |
36 const cf1 = identical(const Point(1, 2), const Point(1, 2)); | 36 const cf1 = identical(const Point(1, 2), const Point(1, 2)); |
37 | 37 |
38 const cf2 = identical(const Point(1, 2), new Point(1, 2)); /// 11: compile-ti
me error | 38 const cf2 = identical(const Point(1, 2), new Point(1, 2)); // /// 11: compile-
time error |
39 | 39 |
40 var f4 = B4; /// 12: compile-time error | 40 var f4 = B4; // /// 12: compile-time error |
41 var f5 = B5; | 41 var f5 = B5; |
42 } | 42 } |
43 | 43 |
44 const F0 = 42; | 44 const F0 = 42; |
45 const F1; /// 03: continued | 45 const F1; // /// 03: continued |
46 const int F2 = 87; | 46 const int F2 = 87; |
47 const int F3; /// 04: continued | 47 const int F3; // /// 04: continued |
48 | 48 |
49 class Point { | 49 class Point { |
50 final x, y; | 50 final x, y; |
51 const Point(this.x, this.y); | 51 const Point(this.x, this.y); |
52 operator +(int other) => x; | 52 operator +(int other) => x; |
53 } | 53 } |
54 | 54 |
55 // Check that compile time expressions can include invocations of | 55 // Check that compile time expressions can include invocations of |
56 // user-defined const constructors. | 56 // user-defined const constructors. |
57 const P0 = const Point(0, 0); | 57 const P0 = const Point(0, 0); |
58 const P1 = const Point(0, 0) + 1; /// 05: continued | 58 const P1 = const Point(0, 0) + 1; /// 05: continued |
59 const P2 = new Point(0, 0); /// 06: continued | 59 const P2 = new Point(0, 0); // /// 06: continued |
60 const P3 = new Point(0, 0) + 1; /// 07: continued | 60 const P3 = new Point(0, 0) + 1; // /// 07: continued |
61 | 61 |
62 // Check that we cannot have cyclic references in compile time | 62 // Check that we cannot have cyclic references in compile time |
63 // expressions. | 63 // expressions. |
64 const A0 = 42; | 64 const A0 = 42; |
65 const A1 = A0 + 1; | 65 const A1 = A0 + 1; |
66 const A2 = A3 + 1; /// 08: continued | 66 const A2 = A3 + 1; /// 08: continued |
67 const A3 = A2 + 1; /// 08: continued | 67 const A3 = A2 + 1; /// 08: continued |
68 | 68 |
69 class C0 { | 69 class C0 { |
70 static const X = const C1(); | 70 static const X = const C1(); |
71 } | 71 } |
72 | 72 |
73 class C1 { | 73 class C1 { |
74 const C1() | 74 const C1() |
75 : x = C0.X /// 09: continued | 75 : x = C0.X /// 09: continued |
76 ; | 76 ; |
77 final x = null; | 77 final x = null; |
78 } | 78 } |
79 | 79 |
80 // Check that sub-expressions of binary + are numeric. | 80 // Check that sub-expressions of binary + are numeric. |
81 const B0 = 42; | 81 const B0 = 42; |
82 const B1 = "Hello"; | 82 const B1 = "Hello"; |
83 const B2 = "$B1 $B0"; | 83 const B2 = "$B1 $B0"; |
84 const B3 = B0 + B1; /// 10: continued | 84 const B3 = B0 + B1; /// 10: continued |
85 | 85 |
86 // Check identical. | 86 // Check identical. |
87 | 87 |
88 const B4 = identical(1, new Point(1,2)); /// 12: compile-time error | 88 const B4 = identical(1, new Point(1,2)); // /// 12: compile-time error |
89 const B5 = identical(1, const Point(1,2)); | 89 const B5 = identical(1, const Point(1,2)); |
OLD | NEW |