// Copyright (c) 2020, 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/error/codes.dart';
import 'package:test_reflective_loader/test_reflective_loader.dart';

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

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

@reflectiveTest
class InconsistentLanguageVersionOverrideTest extends PubPackageResolutionTest {
  CompileTimeErrorCode get _errorCode =>
      CompileTimeErrorCode.inconsistentLanguageVersionOverride;

  test_both_different() async {
    await _checkLibraryAndPart(
      libraryContent: r'''
// @dart = 3.1
part 'b.dart';
''',
      partContent: r'''
// @dart = 3.2
part of 'a.dart';
''',
      libraryDiagnostics: [error(_errorCode, 20, 8)],
    );
  }

  test_both_same() async {
    await _checkLibraryAndPart(
      libraryContent: r'''
// @dart = 3.2
part 'b.dart';
''',
      partContent: r'''
// @dart = 3.2
part of 'a.dart';
''',
      libraryDiagnostics: [],
    );
  }

  test_none() async {
    await _checkLibraryAndPart(
      libraryContent: r'''
part 'b.dart';
''',
      partContent: r'''
part of 'a.dart';
''',
      libraryDiagnostics: [],
    );
  }

  test_onlyPart() async {
    await _checkLibraryAndPart(
      libraryContent: r'''
part 'b.dart';
''',
      partContent: r'''
// @dart = 3.1
part of 'a.dart';
''',
      libraryDiagnostics: [error(_errorCode, 5, 8)],
    );
  }

  Future<void> _checkLibraryAndPart({
    required String libraryContent,
    required String partContent,
    required List<ExpectedDiagnostic> libraryDiagnostics,
  }) async {
    var a = newFile('$testPackageLibPath/a.dart', libraryContent);
    newFile('$testPackageLibPath/b.dart', partContent);
    await assertErrorsInFile2(a, libraryDiagnostics);
  }
}
