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

library dart2js.serialization.native_data_test;

import 'dart:async';
import 'package:async_helper/async_helper.dart';
import 'package:compiler/src/common/names.dart';
import 'package:compiler/src/commandline_options.dart';
import 'package:compiler/src/compiler.dart';
import 'package:compiler/src/js_backend/native_data.dart';
import 'package:compiler/src/filenames.dart';
import 'package:compiler/src/serialization/equivalence.dart';
import 'package:compiler/src/world.dart';
import '../equivalence/check_helpers.dart';
import '../memory_compiler.dart';
import 'helper.dart';

main(List<String> args) {
  asyncTest(() async {
    Arguments arguments = new Arguments.from(args);
    Uri uri = Uris.dart_html;
    if (arguments.filename != null) {
      uri = Uri.base.resolve(nativeToUriPath(arguments.filename));
    }
    await checkNativeData(uri, verbose: arguments.verbose);
  });
}

Future checkNativeData(Uri uri, {bool verbose: false}) async {
  print('------------------------------------------------------------------');
  print('analyze normal: $uri');
  print('------------------------------------------------------------------');
  SerializationResult result = await serialize(uri);
  Compiler compiler1 = result.compiler;
  SerializedData serializedData = result.serializedData;
  var elementEnvironment1 = compiler1.frontendStrategy.elementEnvironment;
  ClosedWorld closedWorld1 =
      compiler1.closeResolution(elementEnvironment1.mainFunction).closedWorld;

  print('------------------------------------------------------------------');
  print('analyze deserialized: $uri');
  print('------------------------------------------------------------------');
  Compiler compiler2 = compilerFor(
      memorySourceFiles: serializedData.toMemorySourceFiles(),
      resolutionInputs: serializedData.toUris(),
      options: [Flags.analyzeAll]);
  await compiler2.run(uri);
  var elementEnvironment2 = compiler2.frontendStrategy.elementEnvironment;
  ClosedWorld closedWorld2 =
      compiler2.closeResolution(elementEnvironment2.mainFunction).closedWorld;

  NativeBasicDataImpl nativeBasicData1 =
      compiler1.frontendStrategy.nativeBasicData;
  NativeBasicDataImpl nativeBasicData2 =
      compiler2.frontendStrategy.nativeBasicData;
  NativeDataImpl nativeData1 = closedWorld1.nativeData;
  NativeDataImpl nativeData2 = closedWorld2.nativeData;

  checkMaps(nativeData1.jsInteropLibraries, nativeData2.jsInteropLibraries,
      "NativeData.jsInteropLibraryNames", areEntitiesEquivalent, equality,
      verbose: verbose);

  checkMaps(nativeData1.jsInteropClasses, nativeData2.jsInteropClasses,
      "NativeData.jsInteropClassNames", areEntitiesEquivalent, equality,
      verbose: verbose);

  checkMaps(nativeData1.jsInteropMembers, nativeData2.jsInteropMembers,
      "NativeData.jsInteropMemberNames", areEntitiesEquivalent, equality,
      verbose: verbose);

  checkMaps(nativeData1.nativeMemberName, nativeData2.nativeMemberName,
      "NativeData.nativeMemberName", areEntitiesEquivalent, equality,
      verbose: verbose);

  checkMaps(
      nativeBasicData1.nativeClassTagInfo,
      nativeBasicData2.nativeClassTagInfo,
      "NativeData.nativeClassTagInfo",
      areEntitiesEquivalent,
      equality,
      verbose: verbose);

  checkMaps(
      nativeData1.nativeMethodBehavior,
      nativeData2.nativeMethodBehavior,
      "NativeData.nativeMethodBehavior",
      areEntitiesEquivalent,
      testNativeBehavior,
      verbose: verbose);

  checkMaps(
      nativeData1.nativeFieldLoadBehavior,
      nativeData2.nativeFieldLoadBehavior,
      "NativeData.nativeFieldLoadBehavior",
      areEntitiesEquivalent,
      testNativeBehavior,
      verbose: verbose);

  checkMaps(
      nativeData1.nativeFieldStoreBehavior,
      nativeData2.nativeFieldStoreBehavior,
      "NativeData.nativeFieldStoreBehavior",
      areEntitiesEquivalent,
      testNativeBehavior,
      verbose: verbose);
}