| 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 final f0 = 42; | 8 final f0 = 42; |
| 9 final f1; /// 01: compile-time error | 9 final f1; //# 01: compile-time error |
| 10 final int f2 = 87; | 10 final int f2 = 87; |
| 11 final int f3; /// 02: compile-time error | 11 final 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); | 21 Expect.isTrue(P1 is int); |
| 22 Expect.isTrue(P2 is Point); | 22 Expect.isTrue(P2 is Point); |
| 23 Expect.isTrue(P3 is int); | 23 Expect.isTrue(P3 is int); |
| 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: runtime error | 27 Expect.isTrue(A2 is int); //# 08: runtime 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: runtime error | 34 Expect.equals("42Hello", B3); //# 10: runtime error |
| 35 } | 35 } |
| 36 | 36 |
| 37 final F0 = 42; | 37 final F0 = 42; |
| 38 final F1; // /// 03: continued | 38 final F1; // //# 03: continued |
| 39 final int F2 = 87; | 39 final int F2 = 87; |
| 40 final int F3; // /// 04: continued | 40 final int F3; // //# 04: continued |
| 41 | 41 |
| 42 class Point { | 42 class Point { |
| 43 final x, y; | 43 final x, y; |
| 44 const Point(this.x, this.y); | 44 const Point(this.x, this.y); |
| 45 operator +(int other) => x; | 45 operator +(int other) => x; |
| 46 } | 46 } |
| 47 | 47 |
| 48 // Check that compile time expressions can include invocations of | 48 // Check that compile time expressions can include invocations of |
| 49 // user-defined final constructors. | 49 // user-defined final constructors. |
| 50 final P0 = const Point(0, 0); | 50 final P0 = const Point(0, 0); |
| 51 final P1 = const Point(0, 0) + 1; | 51 final P1 = const Point(0, 0) + 1; |
| 52 final P2 = new Point(0, 0); | 52 final P2 = new Point(0, 0); |
| 53 final P3 = new Point(0, 0) + 1; | 53 final P3 = new Point(0, 0) + 1; |
| 54 | 54 |
| 55 // Check that we cannot have cyclic references in compile time | 55 // Check that we cannot have cyclic references in compile time |
| 56 // expressions. | 56 // expressions. |
| 57 final A0 = 42; | 57 final A0 = 42; |
| 58 final A1 = A0 + 1; | 58 final A1 = A0 + 1; |
| 59 final A2 = A3 + 1; /// 08: continued | 59 final A2 = A3 + 1; //# 08: continued |
| 60 final A3 = A2 + 1; /// 08: continued | 60 final A3 = A2 + 1; //# 08: continued |
| 61 | 61 |
| 62 class C0 { | 62 class C0 { |
| 63 static final X = const C1(); | 63 static final X = const C1(); |
| 64 } | 64 } |
| 65 | 65 |
| 66 class C1 { | 66 class C1 { |
| 67 const C1() | 67 const C1() |
| 68 : x = C0.X /// 09: continued | 68 : x = C0.X //# 09: continued |
| 69 ; | 69 ; |
| 70 final x = null; | 70 final x = null; |
| 71 } | 71 } |
| 72 | 72 |
| 73 // Check that sub-expressions of binary + are numeric. | 73 // Check that sub-expressions of binary + are numeric. |
| 74 final B0 = 42; | 74 final B0 = 42; |
| 75 final B1 = "Hello"; | 75 final B1 = "Hello"; |
| 76 final B2 = "$B1 $B0"; | 76 final B2 = "$B1 $B0"; |
| 77 final B3 = B0 + B1; /// 10: continued | 77 final B3 = B0 + B1; //# 10: continued |
| OLD | NEW |