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