// 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 Execution of a superinitializer of the form
 *   super(a1, ..., an; xn+1: an+1,...,xn+k: an+k)
 *   (respectively super.id(a1, ..., an; xn+1: an+1,...,xn+k: an+k)
 * proceeds as follows:
 * First, the argument list (a1, ..., an; xn+1: an+1,...,xn+k: an+k) is
 * evaluated.
 * Let C be the class in which the superinitializer appears and let S be the
 * superclass of C. If S is generic, let U1,...,Um be the actual type
 * parameters passed to S in the superclass clause of C.
 * Then, the initializer list of the constructor S (respectively S.id) is
 * executed with respect to the bindings that resulted from the evaluation of
 * the argument list, with this bound to the current binding of this, and the
 * type parameters (if any) of class S bound to the current bindings of
 * U1,...,Um.
 * @description Checks that the execution order as well as type parameters
 * binding for both named and unnamed superinitializers are correct. Test type
 * aliases
 * @author sgrekhov@unipro.ru
 */
// SharedOptions=--enable-experiment=nonfunction-type-aliases
import "../../../../Utils/expect.dart";

var log;
f(var entry) {
  log.add(entry.toString());
  return f;
}

class S<T, U> {
  S(var x, var y, [var o]) : this.s1 = x("s1${1 is T}"),
      this.s2 = y("s2${"1" is U}"), this.s3 = x(1 is U),
      this.s4 = x(1.5 is T) {

    s1("ok");
  }
  S.named(var x, var y, {var o}) : this.s1 = x("s1${1 is T}"),
      this.s2 = y("s2${"1" is U}"),  this.s3 = x(1 is U),
      this.s4 = x(1.5 is T) {

    s1("named!");
  }

  var s1;
  var s2;
  var s3, s4;
}

typedef SAlias = S<int, String>;

class C extends SAlias {
  C() : super(f("a1"), f("a2"), f("o"));
  C.named() : super.named(f("a1"), f("a2"), o : f("o"));
}

main() {
  log = [];
  new C();
  Expect.listEquals(["a1","a2", "o", "s1true", "s2true", "false", "false",
    "ok"], log, "Wrong superinitializer evaluation order!");

  log = [];
  new C.named();
  Expect.listEquals(["a1","a2", "o", "s1true", "s2true", "false", "false",
    "named!"], log, "Wrong superinitializer evaluation order!");

}