| 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 |