// 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";

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

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

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