// 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 "dart:io";
import "nnbd_spawnuri_autodetect_helper.dart";

void main() {
  // Create temporary directory.
  var tmpDir = Directory.systemTemp.createTempSync();
  var tmpDirPath = tmpDir.path;
  String sourcePath = "$tmpDirPath/weak_isolate.dart";
  String outPath = "$tmpDirPath/weak_isolate.dill";

  // Generate code for an isolate to run in strong mode.
  generateIsolateSource(sourcePath, "2.6");
  generateKernel(sourcePath, outPath);

  try {
    String outUri = Uri.file(outPath).toString();

    // Strong Isolate Spawning another weak Isolate using spawnUri.
    testNullSafetyMode("$tmpDirPath/strong_weak.dart", "", outUri, 're: weak');

    // Weak Isolate Spawning another Weak Isolate using spawnUri.
    testNullSafetyMode(
        "$tmpDirPath/weak_weak.dart", "2.6", outUri, 're: weak');
  } finally {
    tmpDir.deleteSync(recursive: true);
  }
}