blob: 7d93dd05da7f3ecb312ba0148eeef7eccb1ccece [file] [log] [blame]
// 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 only one constructor redirect clause is allowed.
* @compile-error
* @author kaigorodov
*/
class A {}
class C extends A {
C() : this.init1(), this.init2();
C.init1();
C.init2();
}
main() {
new C();
}