Language/Expressions/Instance_Creation/New/execution_t14.dart

// 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 Next, q is executed with this bound to i, the type parameters
/// (if any) of R bound to the actual type arguments V1, ..., Vm and the formal
/// parameter bindings that resulted from the evaluation of the argument list.
/// The result of the evaluation of e is i.
/// @description Checks that result of a new expression with redirecting
/// constructor is instance of class C.
/// @author msyabro

import '../../../../Utils/expect.dart';

class A {
  A() : this.redirected();
  A.redirected() {}
}

class B {
  B(p1, p2) : this.redirected(p1, p2);
  B.redirected(p1, p2) {}
}

class C {
  C(p1, [p2]) : this.redirected(p1, p2);
  C.redirected(p1, [p2]) {}
}

class D {
  D.name() : this.redirected();
  D.redirected() {}
}

main() {
  checkType(checkIs<A>, true, new A());
  checkType(checkIs<B>, true, new B(1, 2));
  checkType(checkIs<C>, true, new C(null, null));
  checkType(checkIs<D>, true, new D.name());
}