// Copyright (c) 2018, 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 'dart:io';
import 'package:compiler/src/common/elements.dart';
import 'package:compiler/src/elements/entities.dart';
import 'package:compiler/src/js_model/js_world.dart' show JClosedWorld;
import 'package:expect/async_helper.dart';
import 'package:expect/expect.dart';
import 'package:compiler/src/util/memory_compiler.dart';

enum Kind { regular, native, jsInterop }

main() {
  asyncTest(() async {
    await runTest(
      'tests/web/jsinterop_test.dart',
      '',
      {
        'Class': Kind.regular,
        'JsInteropClass': Kind.jsInterop,
        'flag': Kind.regular,
        'topLevelField': Kind.regular,
        'topLevelGetter': Kind.regular,
        'topLevelSetter': Kind.regular,
        'topLevelFunction': Kind.regular,
        'externalTopLevelGetter': Kind.jsInterop,
        'externalTopLevelSetter': Kind.jsInterop,
        'externalTopLevelFunction': Kind.jsInterop,
        'externalTopLevelJsInteropGetter': Kind.jsInterop,
        'externalTopLevelJsInteropSetter': Kind.jsInterop,
        'externalTopLevelJsInteropFunction': Kind.jsInterop,
        'Class.generative': Kind.regular,
        'Class.fact': Kind.regular,
        'Class.instanceField': Kind.regular,
        'Class.instanceGetter': Kind.regular,
        'Class.instanceSetter': Kind.regular,
        'Class.instanceMethod': Kind.regular,
        'Class.staticField': Kind.regular,
        'Class.staticGetter': Kind.regular,
        'Class.staticSetter': Kind.regular,
        'Class.staticMethod': Kind.regular,
        'JsInteropClass.externalGenerative': Kind.jsInterop,
        'JsInteropClass.externalFact': Kind.jsInterop,
        'JsInteropClass.externalJsInteropGenerative': Kind.jsInterop,
        'JsInteropClass.externalJsInteropFact': Kind.jsInterop,
        'JsInteropClass.externalInstanceGetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceSetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceMethod': Kind.jsInterop,
        'JsInteropClass.externalStaticGetter': Kind.jsInterop,
        'JsInteropClass.externalStaticSetter': Kind.jsInterop,
        'JsInteropClass.externalStaticMethod': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropGetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropSetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropMethod': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropGetter': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropSetter': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropMethod': Kind.jsInterop,
      },
      skipList: [
        // TODO(34174): Js-interop fields should not be allowed.
        '01',
        '02',
        '03',
        '04',
        '38',
        '42',
        '46',
        '51',
        // TODO(33834): Non-external constructors should not be allowed.
        '35',
        '37',
        // TODO(34345): Non-external static members should not be allowed.
        '43',
        '44',
        '45',
        '52',
        '53',
        '54',
      ],
    );
    await runTest(
      'tests/web/non_jsinterop_test.dart',
      '',
      {
        'Class': Kind.regular,
        'JsInteropClass': Kind.jsInterop,
        'flag': Kind.regular,
        'topLevelField': Kind.regular,
        'topLevelGetter': Kind.regular,
        'topLevelSetter': Kind.regular,
        'topLevelFunction': Kind.regular,
        'externalTopLevelJsInteropGetter': Kind.jsInterop,
        'externalTopLevelJsInteropSetter': Kind.jsInterop,
        'externalTopLevelJsInteropFunction': Kind.jsInterop,
        'Class.generative': Kind.regular,
        'Class.fact': Kind.regular,
        'Class.instanceField': Kind.regular,
        'Class.instanceGetter': Kind.regular,
        'Class.instanceSetter': Kind.regular,
        'Class.instanceMethod': Kind.regular,
        'Class.staticField': Kind.regular,
        'Class.staticGetter': Kind.regular,
        'Class.staticSetter': Kind.regular,
        'Class.staticMethod': Kind.regular,
        'JsInteropClass.externalGenerative': Kind.jsInterop,
        'JsInteropClass.externalFact': Kind.jsInterop,
        'JsInteropClass.externalJsInteropGenerative': Kind.jsInterop,
        'JsInteropClass.externalJsInteropFact': Kind.jsInterop,
        'JsInteropClass.externalInstanceGetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceSetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceMethod': Kind.jsInterop,
        'JsInteropClass.externalStaticGetter': Kind.jsInterop,
        'JsInteropClass.externalStaticSetter': Kind.jsInterop,
        'JsInteropClass.externalStaticMethod': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropGetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropSetter': Kind.jsInterop,
        'JsInteropClass.externalInstanceJsInteropMethod': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropGetter': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropSetter': Kind.jsInterop,
        'JsInteropClass.externalStaticJsInteropMethod': Kind.jsInterop,
      },
      skipList: [
        // TODO(34174): Js-interop fields should not be allowed.
        '01',
        '02',
        '03',
        '04',
        '38',
        '42',
        '46',
        '51',
        // TODO(33834): Non-external constructors should not be allowed.
        '35',
        '37',
        // TODO(34345): Non-external static members should not be allowed.
        '43',
        '44',
        '45',
        '52',
        '53',
        '54',
      ],
    );

    await runTest(
      'tests/web/native/native_test.dart',
      'tests/web/native/',
      {
        'Class': Kind.regular,
        'NativeClass': Kind.native,
        'topLevelField': Kind.regular,
        'topLevelGetter': Kind.regular,
        'topLevelSetter': Kind.regular,
        'topLevelFunction': Kind.regular,
        'nativeTopLevelGetter': Kind.native,
        'nativeTopLevelSetter': Kind.native,
        'nativeTopLevelFunction': Kind.native,
        'Class.generative': Kind.regular,
        'Class.fact': Kind.regular,
        'Class.instanceField': Kind.regular,
        'Class.instanceGetter': Kind.regular,
        'Class.instanceSetter': Kind.regular,
        'Class.instanceMethod': Kind.regular,
        'Class.staticField': Kind.regular,
        'Class.staticGetter': Kind.regular,
        'Class.staticSetter': Kind.regular,
        'Class.staticMethod': Kind.regular,
        'Class.nativeInstanceGetter': Kind.native,
        'Class.nativeInstanceSetter': Kind.native,
        'Class.nativeInstanceMethod': Kind.native,
        'NativeClass.generative': Kind.regular,
        'NativeClass.fact': Kind.regular,
        'NativeClass.nativeGenerative': Kind.native,
        'NativeClass.nativeFact': Kind.native,
        'NativeClass.instanceField': Kind.native,
        'NativeClass.instanceNamedField': Kind.native,
        'NativeClass.instanceGetter': Kind.regular,
        'NativeClass.instanceSetter': Kind.regular,
        'NativeClass.instanceMethod': Kind.regular,
        'NativeClass.staticField': Kind.regular,
        'NativeClass.staticGetter': Kind.regular,
        'NativeClass.staticSetter': Kind.regular,
        'NativeClass.staticMethod': Kind.regular,
        'NativeClass.nativeInstanceGetter': Kind.native,
        'NativeClass.nativeInstanceSetter': Kind.native,
        'NativeClass.nativeInstanceMethod': Kind.native,
        'NativeClass.nativeStaticGetter': Kind.native,
        'NativeClass.nativeStaticSetter': Kind.native,
        'NativeClass.nativeStaticMethod': Kind.native,
      },
      skipList: [
        // External constructors in non-native class
        //'08',
        //'09',
        // External instance members in non-native class
        //'22',
        //'23',
        //'24',
        // External static members in non-native class
        //'25',
        //'26',
        //'27',
        // External instance members in native class
        //'36',
        //'37',
        //'38',
        // External static members in native class
        //'39',
        //'40',
        //'41',
      ],
    );
  });
}

runTest(
  String fileName,
  String location,
  Map<String, Kind> expectations, {
  List<String> skipList = const <String>[],
}) async {
  print('--------------------------------------------------------------------');
  print('Testing $fileName');
  print('--------------------------------------------------------------------');
  String test = File(fileName).readAsStringSync();

  List<String> commonLines = <String>[];
  Map<String, SubTest> subTests = <String, SubTest>{};

  int lineIndex = 0;
  for (String line in test.split('\n')) {
    int index = line.indexOf('//#');
    if (index != -1) {
      String prefix = line.substring(0, index);
      String suffix = line.substring(index + 3);
      String name = suffix.substring(0, suffix.indexOf((':'))).trim();
      SubTest subTest = subTests.putIfAbsent(name, () => SubTest());
      subTest.lines[lineIndex] = line;
      int commentIndex = prefix.indexOf('// ');
      if (commentIndex != -1) {
        String combinedErrors = prefix.substring(commentIndex + 3);
        for (String error in combinedErrors.split(',')) {
          subTest.expectedErrors.add(error.trim());
        }
      }
      commonLines.add('');
    } else {
      commonLines.add(line);
    }
    lineIndex++;
  }

  String path = '${location}main.dart';
  Uri entryPoint = Uri.parse('memory:$path');
  await runPositiveTest(entryPoint, {
    path: commonLines.join('\n'),
  }, expectations);
  for (String name in subTests.keys) {
    if (!skipList.contains(name)) {
      SubTest subTest = subTests[name]!;
      await runNegativeTest(subTest, entryPoint, {
        path: subTest.generateCode(commonLines),
      });
    }
  }
}

runPositiveTest(
  Uri entryPoint,
  Map<String, String> sources,
  Map<String, Kind> expectations,
) async {
  CompilationResult result = await runCompiler(
    entryPoint: entryPoint,
    memorySourceFiles: sources,
  );
  Expect.isTrue(result.isSuccess);

  JClosedWorld closedWorld = result.compiler!.backendClosedWorldForTesting!;
  ElementEnvironment elementEnvironment = closedWorld.elementEnvironment;

  void checkClass(
    ClassEntity cls, {
    bool isNative = false,
    bool isJsInterop = false,
  }) {
    if (isJsInterop) {
      isNative = true;
    }
    Expect.equals(
      isJsInterop,
      closedWorld.nativeData.isJsInteropClass(cls),
      "Unexpected js interop class result for $cls.",
    );
    Expect.equals(
      isNative,
      closedWorld.nativeData.isNativeClass(cls),
      "Unexpected native class result for $cls.",
    );
    if (isJsInterop) {
      Expect.isTrue(
        closedWorld.nativeData.isJsInteropLibrary(cls.library),
        "Unexpected js interop library result for ${cls.library}.",
      );
    }
  }

  void checkMember(
    MemberEntity member, {
    bool isNative = false,
    bool isJsInterop = false,
  }) {
    if (isJsInterop) {
      isNative = true;
    }
    Expect.equals(
      isJsInterop,
      closedWorld.nativeData.isJsInteropMember(member),
      "Unexpected js interop member result for $member.",
    );
    Expect.equals(
      isNative,
      closedWorld.nativeData.isNativeMember(member),
      "Unexpected native member result for $member.",
    );
    if (isJsInterop) {
      Expect.isTrue(
        closedWorld.nativeData.isJsInteropLibrary(member.library),
        "Unexpected js interop library result for ${member.library}.",
      );
    }
  }

  elementEnvironment.forEachLibraryMember(elementEnvironment.mainLibrary!, (
    MemberEntity member,
  ) {
    if (member == elementEnvironment.mainFunction) return;

    Kind? kind = expectations.remove(member.name);
    Expect.isNotNull(kind, "No expectations for $member");
    checkMember(
      member,
      isNative: kind == Kind.native,
      isJsInterop: kind == Kind.jsInterop,
    );
  });

  elementEnvironment.forEachClass(elementEnvironment.mainLibrary!, (
    ClassEntity cls,
  ) {
    Kind? kind = expectations.remove(cls.name);
    Expect.isNotNull(kind, "No expectations for $cls");
    checkClass(
      cls,
      isNative: kind == Kind.native,
      isJsInterop: kind == Kind.jsInterop,
    );

    checkClassMember(MemberEntity member) {
      Kind? kind = expectations.remove('${cls.name}.${member.name}');
      Expect.isNotNull(kind, "No expectations for $member");
      checkMember(
        member,
        isNative: kind == Kind.native,
        isJsInterop: kind == Kind.jsInterop,
      );
    }

    elementEnvironment.forEachConstructor(cls, checkClassMember);
    elementEnvironment.forEachLocalClassMember(cls, checkClassMember);
  });

  Expect.isTrue(expectations.isEmpty, "Untested expectations: $expectations");
}

runNegativeTest(
  SubTest subTest,
  Uri entryPoint,
  Map<String, String> sources,
) async {
  DiagnosticCollector collector = DiagnosticCollector();
  CompilationResult result = await runCompiler(
    entryPoint: entryPoint,
    memorySourceFiles: sources,
    diagnosticHandler: collector,
  );
  Expect.isFalse(
    result.isSuccess,
    "Expected compile time error(s) for\n$subTest",
  );
  List<String> expected =
      subTest.expectedErrors.map((error) => 'MessageKind.' + error).toList();
  List<String> actual =
      collector.errors.map((error) => error.messageKind.toString()).toList();
  expected.sort();
  actual.sort();
  Expect.listEquals(
    expected,
    actual,
    "Unexpected compile time error(s) for\n$subTest",
  );
}

class SubTest {
  List<String> expectedErrors = [];
  final Map<int, String> lines = <int, String>{};

  String generateCode(List<String> commonLines) {
    StringBuffer sb = StringBuffer();
    int i = 0;
    while (i < commonLines.length) {
      if (lines.containsKey(i)) {
        sb.writeln(lines[i]);
      } else {
        sb.writeln(commonLines[i]);
      }
      i++;
    }
    return sb.toString();
  }

  @override
  String toString() {
    return lines.values.join('\n');
  }
}