// Copyright (c) 2012, 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.

abstract class A {
  factory A(int x, int y) = B;
}

abstract class X {
  factory X(int x, int y) = B.X;
}

class XImpl implements X {
  final int x;
  final int y;
  XImpl(this.x, this.y);
}

class B implements A {
  final int x;
  final int y;

  B(this.x, this.y);
  // This factory will never be invoked.
  // TODO(ahe): Is this a compile time error?
  factory B.A(int a, int b) {  return new B(0, 0); }

  factory B.X(int a, int b) { return new XImpl(a * 10, b * 10); }
}

main() {
  var a = new A(1, 2);
  // Check that constructor B is invoked and not factory B.A.
  Expect.equals(1, a.x);
  Expect.equals(2, a.y);

  var x = new X(11, 22);  /// 00: dynamic type error
  // Check that factory is invoked.
  Expect.equals(110, x.x);  /// 00: continued
  Expect.equals(220, x.y);  /// 00: continued
}