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 // | 4 // |
5 // Test that a "default implementation" interface factory checks the | 5 // Test that a "default implementation" interface factory checks the |
6 // arity of its declared constructor arguments | 6 // arity of its declared constructor arguments |
7 | 7 |
8 interface Interface default DefaultImplementation { | 8 interface Interface default DefaultImplementation { |
9 Interface(int x, int y); | 9 Interface(int x, int y); |
10 } | 10 } |
11 | 11 |
12 class DefaultImplementation implements Interface { | 12 class DefaultImplementation implements Interface { |
13 DefaultImplementation() {} | 13 DefaultImplementation() {} |
14 | 14 |
15 static testMain() { | 15 static testMain() { |
16 // We should not be able to find the nullary Interface constructor. | 16 // We should not be able to find the nullary Interface constructor. |
17 new Interface(); | 17 new Interface(); |
18 } | 18 } |
19 } | 19 } |
20 | 20 |
21 main() { | 21 main() { |
22 DefaultImplementation.testMain(); | 22 DefaultImplementation.testMain(); |
23 } | 23 } |
OLD | NEW |