OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 class A { | 7 class A { |
8 const A(); | 8 const A(); |
9 const factory A.B() = B; | 9 const factory A.B() = B; |
10 const factory A.C() = C; | 10 const factory A.C() = C; |
11 const factory A.C2() = D; | 11 const factory A.C2() = D; |
12 } | 12 } |
13 | 13 |
14 class B implements A { | 14 class B implements A { |
15 const B(); | 15 const B(); |
16 | 16 |
17 operator ==(o) => true; /// 00: compile-time error | 17 operator ==(o) => true; //# 00: compile-time error |
18 } | 18 } |
19 | 19 |
20 class C implements A { | 20 class C implements A { |
21 final int x; | 21 final int x; |
22 const C() : x = 0; | 22 const C() : x = 0; |
23 const C.fromD() : x = 1; | 23 const C.fromD() : x = 1; |
24 } | 24 } |
25 | 25 |
26 class D implements C { | 26 class D implements C { |
27 int get x => 0; | 27 int get x => 0; |
28 const factory D() = C.fromD; | 28 const factory D() = C.fromD; |
29 } | 29 } |
30 | 30 |
31 main() { | 31 main() { |
32 switch (new B()) { | 32 switch (new B()) { |
33 case const A.B(): Expect.fail("bad switch"); break; /// 00: continued | 33 case const A.B(): Expect.fail("bad switch"); break; //# 00: continued |
34 } | 34 } |
35 | 35 |
36 switch (new C()) { | 36 switch (new C()) { |
37 case const C(): Expect.fail("bad switch"); break; | 37 case const C(): Expect.fail("bad switch"); break; |
38 case const A.C(): Expect.fail("bad switch"); break; | 38 case const A.C(): Expect.fail("bad switch"); break; |
39 case const A.C2(): Expect.fail("bad switch"); break; | 39 case const A.C2(): Expect.fail("bad switch"); break; |
40 case const A(): Expect.fail("bad switch"); break; /// 01: compile-time erro
r | 40 case const A(): Expect.fail("bad switch"); break; //# 01: compile-time erro
r |
41 } | 41 } |
42 | 42 |
43 switch (new A()) { | 43 switch (new A()) { |
44 case const A(): Expect.fail("bad switch"); break; | 44 case const A(): Expect.fail("bad switch"); break; |
45 case const A.B(): Expect.fail("bad switch"); break; /// 02: compile-time er
ror | 45 case const A.B(): Expect.fail("bad switch"); break; //# 02: compile-time er
ror |
46 } | 46 } |
47 } | 47 } |
OLD | NEW |