OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 // | |
5 // Test that a "default implementation" interface factory only | |
6 // provides the constructors declared in the interface. | |
7 | |
8 interface Interface default DefaultImplementation { | |
9 Interface.some_name(); | |
10 } | |
11 | |
12 class DefaultImplementation implements Interface { | |
13 DefaultImplementation.some_name() {} | |
14 DefaultImplementation.wrong_name() {} | |
15 | |
16 static testMain() { | |
17 // We should not be able to find Interface.wrong_name(). | |
18 new Interface.wrong_name(); | |
19 } | |
20 } | |
21 | |
22 main() { | |
23 DefaultImplementation.testMain(); | |
24 } | |
OLD | NEW |