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

// @dart = 2.9

import "dart:mirrors";
import "package:expect/expect.dart";
import "stringify.dart";

class Class<T1, T2> {
  final field;
  Class(this.field);

  factory Class.factoryNoOptional(a, b) => new Class<T1, T2>(a - b);
  factory Class.redirectingFactoryNoOptional(a, b) = Class.factoryNoOptional;

  factory Class.factoryUnnamedOptional(a, [b = 42]) => new Class<T1, T2>(a - b);
  factory Class.redirectingFactoryUnnamedOptional(a, [b]) =
      Class.factoryUnnamedOptional;

  factory Class.factoryNamedOptional(a, {b: 42}) {
    return new Class<T1, T2>(a - b);
  }

  factory Class.redirectingFactoryNamedOptional(a, {b}) =
      Class.factoryNamedOptional;

  factory Class.factoryMoreNamedOptional(a, {b: 0, c: 2}) {
    return new Class<T1, T2>(a - b - c);
  }

  factory Class.redirectingFactoryMoreNamedOptional(a, {b}) =
      Class<T1, T2>.factoryMoreNamedOptional;

  factory Class.factoryMoreUnnamedOptional(a, [b = 0, c = 2]) {
    return new Class<T1, T2>(a - b - c);
  }

  factory Class.redirectingFactoryMoreUnnamedOptional(a, [b]) =
      Class<T1, T2>.factoryMoreUnnamedOptional;

  factory Class.redirectingFactoryStringIntTypeParameters(a, b) = Class //
      <String, int> //# 03: compile-time error
      .factoryNoOptional;

  factory Class.redirectingFactoryStringTypeParameters(a, b) = Class //
      <String> //# 02: compile-time error
      .factoryNoOptional;

  factory Class.redirectingFactoryTypeParameters(a, b) =
      Class<T1, T2>.factoryNoOptional;

  factory Class.redirectingFactoryReversedTypeParameters(a, b) = Class //
      <T2, T1> //# 04: compile-time error
      .factoryNoOptional;
}

main() {
  var classMirror = reflectClass(Class);

  var instanceMirror = classMirror.newInstance(Symbol.empty, [2]);
  Expect.equals(2, instanceMirror.reflectee.field);

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryNoOptional, [8, 6]);
  Expect.equals(2, instanceMirror.reflectee.field);

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryUnnamedOptional, [43, 1]);
  Expect.equals(42, instanceMirror.reflectee.field);

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryMoreUnnamedOptional, [43, 1]);
  Expect.equals(40, instanceMirror.reflectee.field);

  instanceMirror = classMirror
      .newInstance(#redirectingFactoryStringIntTypeParameters, [43, 1]);
  Expect.equals(42, instanceMirror.reflectee.field);
  Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
  Expect.isFalse(instanceMirror.reflectee is Class<int, String>);

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryStringTypeParameters, [43, 1]);
  Expect.equals(42, instanceMirror.reflectee.field);
  Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
  Expect.isTrue(instanceMirror.reflectee is Class<String, String>);
  Expect.isTrue(instanceMirror.reflectee is Class<int, String>);

  bool isDart2js = false;
  isDart2js = true; //# 01: ok
  if (isDart2js) return;

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryUnnamedOptional, [43]);
  Expect.equals(1, instanceMirror.reflectee.field);

  instanceMirror =
      classMirror.newInstance(#redirectingFactoryNamedOptional, [43]);
  Expect.equals(1, instanceMirror.reflectee.field);

  instanceMirror = classMirror.newInstance(
      #redirectingFactoryNamedOptional, [43], new Map()..[#b] = 1);
  Expect.equals(42, instanceMirror.reflectee.field);

  instanceMirror = classMirror.newInstance(
      #redirectingFactoryMoreNamedOptional, [43], new Map()..[#b] = 1);
  Expect.equals(40, instanceMirror.reflectee.field);

  classMirror = reflect(new Class<String, int>(42)).type;
  instanceMirror =
      classMirror.newInstance(#redirectingFactoryTypeParameters, [43, 1]);
  Expect.equals(42, instanceMirror.reflectee.field);
  Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
  Expect.isFalse(instanceMirror.reflectee is Class<int, String>);

  instanceMirror = classMirror
      .newInstance(#redirectingFactoryReversedTypeParameters, [43, 1]);
  Expect.equals(42, instanceMirror.reflectee.field);
  Expect.isTrue(instanceMirror.reflectee is Class<int, String>);
  Expect.isFalse(instanceMirror.reflectee is Class<String, int>);
}