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

import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart';
import 'package:kernel/ast.dart' hide Variance;
import 'package:test/test.dart';
import 'package:test_reflective_loader/test_reflective_loader.dart';

main() {
  defineReflectiveSuite(() {
    defineReflectiveTests(IncludesTypeParametersCovariantlyTest);
  });
}

@reflectiveTest
class IncludesTypeParametersCovariantlyTest {
  final TypeParameter T = new TypeParameter('T');
  final TypeParameter U = new TypeParameter('U');
  final TypeParameter V = new TypeParameter('V');
  final Class cls = new Class(name: 'C');

  bool check(DartType type, List<TypeParameter> typeParameters) {
    return type.accept(new IncludesTypeParametersNonCovariantly(typeParameters,
        initialVariance: Variance.contravariant));
  }

  bool checkContravariant(DartType type, List<TypeParameter> typeParameters) {
    return check(new FunctionType([type], const VoidType()), typeParameters);
  }

  NamedType named(String name, DartType type) => new NamedType(name, type);

  void test_function_type() {
    expect(check(new FunctionType([tpt(T), tpt(U)], const VoidType()), [T]),
        isFalse);
    expect(check(new FunctionType([tpt(T), tpt(U)], const VoidType()), [U]),
        isFalse);
    expect(check(new FunctionType([tpt(T), tpt(U)], const VoidType()), []),
        isFalse);
    expect(
        check(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            [T]),
        isFalse);
    expect(
        check(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            [U]),
        isFalse);
    expect(
        check(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            []),
        isFalse);
    expect(check(new FunctionType([], tpt(T)), [T]), isTrue);
    expect(check(new FunctionType([], tpt(T)), [U]), isFalse);
    expect(
        checkContravariant(
            new FunctionType([tpt(T), tpt(U)], const VoidType()), [T]),
        isTrue);
    expect(
        checkContravariant(
            new FunctionType([tpt(T), tpt(U)], const VoidType()), [U]),
        isTrue);
    expect(
        checkContravariant(
            new FunctionType([tpt(T), tpt(U)], const VoidType()), []),
        isFalse);
    expect(
        checkContravariant(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            [T]),
        isTrue);
    expect(
        checkContravariant(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            [U]),
        isTrue);
    expect(
        checkContravariant(
            new FunctionType([], const VoidType(),
                namedParameters: [named('a', tpt(T)), named('b', tpt(U))]),
            []),
        isFalse);
    expect(checkContravariant(new FunctionType([], tpt(T)), [T]), isFalse);
    expect(checkContravariant(new FunctionType([], tpt(T)), [U]), isFalse);
  }

  void test_interface_type() {
    expect(check(new InterfaceType(cls, [tpt(T), tpt(U)]), [T]), isTrue);
    expect(check(new InterfaceType(cls, [tpt(T), tpt(U)]), [U]), isTrue);
    expect(check(new InterfaceType(cls, [tpt(T), tpt(U)]), []), isFalse);
    expect(checkContravariant(new InterfaceType(cls, [tpt(T), tpt(U)]), [T]),
        isFalse);
    expect(checkContravariant(new InterfaceType(cls, [tpt(T), tpt(U)]), [U]),
        isFalse);
    expect(checkContravariant(new InterfaceType(cls, [tpt(T), tpt(U)]), []),
        isFalse);
  }

  void test_other_type() {
    expect(check(new DynamicType(), [T, U]), isFalse);
    expect(checkContravariant(new DynamicType(), [T, U]), isFalse);
  }

  void test_type_parameter() {
    expect(check(tpt(T), [T, U]), isTrue);
    expect(check(tpt(U), [T, U]), isTrue);
    expect(check(tpt(V), [T, U]), isFalse);
    expect(checkContravariant(tpt(T), [T, U]), isFalse);
    expect(checkContravariant(tpt(U), [T, U]), isFalse);
    expect(checkContravariant(tpt(V), [T, U]), isFalse);
  }

  void test_typedef_type() {
    // typedef U F<T, U>(T x);
    var typedefNode = new Typedef('F', new FunctionType([tpt(T)], tpt(U)),
        typeParameters: [T, U]);
    expect(
        check(
            new TypedefType(
                typedefNode, [const DynamicType(), const DynamicType()]),
            [V]),
        isFalse);
    expect(
        check(new TypedefType(typedefNode, [tpt(V), const DynamicType()]), [V]),
        isFalse);
    expect(
        check(new TypedefType(typedefNode, [const DynamicType(), tpt(V)]), [V]),
        isTrue);
    expect(
        checkContravariant(
            new TypedefType(
                typedefNode, [const DynamicType(), const DynamicType()]),
            [V]),
        isFalse);
    expect(
        checkContravariant(
            new TypedefType(typedefNode, [tpt(V), const DynamicType()]), [V]),
        isTrue);
    expect(
        checkContravariant(
            new TypedefType(typedefNode, [const DynamicType(), tpt(V)]), [V]),
        isFalse);
  }

  TypeParameterType tpt(TypeParameter param) => new TypeParameterType(param);
}