OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 // If a constant constructor contains an initializer, or an initializing | |
6 // formal, for a final field which itself has an initializer at its | |
7 // declaration, then a runtime error should occur if that constructor is | |
8 // invoked using "new", but there should be no compile-time error. However, if | |
9 // the constructor is invoked using "const", there should be a compile-time | |
10 // error, since it is a compile-time error for evaluation of a constant object | |
11 // to result in an uncaught exception. | |
12 | |
13 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
14 | 6 |
15 class C { | 7 class C { |
| 8 // Since this field is final and already initialized, the specification says |
| 9 // that a runtime error occurs when attempting to initialize it in the |
| 10 // constructor. When used as a compile-time constant, this causes a |
| 11 // compile-time error. |
16 final x = 1; | 12 final x = 1; |
17 const C() : x = 2; //# 01: compile-time error | 13 |
18 const C() : x = 2; //# 02: static type warning | 14 const C( |
19 const C(this.x); //# 03: compile-time error | 15 this. //# 01: compile-time error |
20 const C(this.x); //# 04: static type warning | 16 this. //# 02: static type warning |
| 17 x |
| 18 ) |
| 19 : x = 2 //# 03: compile-time error |
| 20 : x = 2 //# 04: static type warning |
| 21 ; |
| 22 } |
| 23 |
| 24 instantiateC() { |
| 25 const C(0); //# 01: continued |
| 26 const C(0); //# 03: continued |
| 27 new C(0); |
21 } | 28 } |
22 | 29 |
23 main() { | 30 main() { |
24 const C(); //# 01: continued | 31 bool shouldThrow = false; |
25 Expect.throws(() => new C()); //# 02: continued | 32 shouldThrow = true; //# 02: continued |
26 const C(2); //# 03: continued | 33 shouldThrow = true; //# 04: continued |
27 Expect.throws(() => new C(2)); //# 04: continued | 34 if (shouldThrow) { |
| 35 Expect.throws(instantiateC); |
| 36 } else { |
| 37 instantiateC(); |
| 38 } |
28 } | 39 } |
OLD | NEW |