| // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
|
|
| /**
|
| * @assertion A generative constructor may be redirecting, in which case its
|
| * only action is to invoke another generative constructor. A redirecting
|
| * constructor has no body; instead, it has a redirect clause that specifies
|
| * which constructor the invocation is redirected to, and with what arguments.
|
| * redirection:
|
| * ':' this ('.' identifier)? arguments
|
| * ;
|
| * @description Checks that it is a compile error when a redirecting
|
| * constructor references a method rather than another constructor.
|
| * @compile-error
|
| * @author iefremov
|
| */
|
|
|
|
|
| class C {
|
| C() : f();
|
| f() {throw "Should not be thrown!";}
|
| }
|
|
|
| main() {
|
| new C();
|
| }
|
