// 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.

import 'package:analyzer/src/diagnostic/diagnostic.dart' as diag;
import 'package:test_reflective_loader/test_reflective_loader.dart';

import '../dart/resolution/context_collection_resolution.dart';

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

@reflectiveTest
class NullableTypeInImplementsClauseTest extends PubPackageResolutionTest {
  test_class_nonNullable() async {
    await assertNoErrorsInCode('''
class A {}
class B implements A {}
''');
  }

  test_class_nullable() async {
    await assertErrorsInCode(
      '''
class A {}
class B implements A? {}
''',
      [error(diag.nullableTypeInImplementsClause, 30, 2)],
    );
  }

  test_class_nullable_alias() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A;
class C implements B? {}
''',
      [error(diag.nullableTypeInImplementsClause, 45, 2)],
    );
  }

  test_class_nullable_alias2() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A?;
class C implements B {}
''',
      [error(diag.nullableTypeInImplementsClause, 46, 1)],
    );
  }

  test_extensionType_nonNullable() async {
    await assertNoErrorsInCode('''
class A {}
extension type E(A _) implements A {}
''');
  }

  test_extensionType_nullable() async {
    await assertErrorsInCode(
      '''
class A {}
extension type E(A _) implements A? {}
''',
      [error(diag.nullableTypeInImplementsClause, 44, 2)],
    );
  }

  test_extensionType_nullable_alias() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A;
extension type E(A _) implements B? {}
''',
      [error(diag.nullableTypeInImplementsClause, 59, 2)],
    );
  }

  test_extensionType_nullable_alias2() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A?;
extension type E(A _) implements B {}
''',
      [error(diag.nullableTypeInImplementsClause, 60, 1)],
    );
  }

  test_mixin_nonNullable() async {
    await assertNoErrorsInCode('''
class A {}
mixin B implements A {}
''');
  }

  test_mixin_nullable() async {
    await assertErrorsInCode(
      '''
class A {}
mixin B implements A? {}
''',
      [error(diag.nullableTypeInImplementsClause, 30, 2)],
    );
  }

  test_mixin_nullable_alias() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A;
mixin C implements B? {}
''',
      [error(diag.nullableTypeInImplementsClause, 45, 2)],
    );
  }

  test_mixin_nullable_alias2() async {
    await assertErrorsInCode(
      '''
class A {}
typedef B = A?;
mixin C implements B {}
''',
      [error(diag.nullableTypeInImplementsClause, 46, 1)],
    );
  }
}
