Language/Classes/Constructors/Factories/redirecting_constructor_t04.dart

// Copyright (c) 2019, 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 redirecting factory constructor specifies a call to a
 * constructor of another class that is to be used whenever the redirecting
 * constructor is called.
 * redirectingFactoryConstructorSignature:
 *   const? factory identifier (‘.’ identifier)? formalParameterList
 * ‘=’ typeName (‘.’ identifier)?
 * ;
 * @description Checks that correct declarations of redirecting factory
 * constructors do not cause errors. Test type aliases
 * @author sgrekhov@unipro.ru
 * @issue 45051
 */
// SharedOptions=--enable-experiment=nonfunction-type-aliases
import "../../../../Utils/expect.dart";

class A {
  A() {}
  factory A.foo() = CAlias.bar;
  int m() => 42;
}
typedef AAlias = A;

class C extends A {
  C() {}
  factory C.bar() = DAlias;
  int m() { return 1; }
}
typedef CAlias = C;

class D extends CAlias {
  int m() { return 2; }
}
typedef DAlias = D;

main() {
  A a = new A.foo();
  Expect.equals(2, a.m());
}