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

/// @assertion Capability pause([
///    Capability resumeCapability
/// ])
/// ...
///   If an isolate is paused more than once using the same capability, only one
/// resume with that capability is needed to end the pause.
///
/// @description Check that if an isolate is paused more than once using the
/// same capability, only one resume with that capability is needed to end
/// the pause.
///
/// @author a.semenov@unipro.ru

import "dart:async";
import "dart:isolate";
import "IsolateUtil.dart";
import "../../../Utils/expect.dart";

Future test() async {
  ReceivePort receivePort = new ReceivePort();
  Future<List> receivedData = receivePort.toList();
  EchoServer server = await EchoServer.spawn(receivePort.sendPort);
  server.send("before pause");
  Capability resumeCapability = new Capability();
  server.isolate.pause(resumeCapability);
  server.isolate.pause(resumeCapability);
  server.isolate.pause(resumeCapability);
  server.isolate.pause(resumeCapability);
  server.send("paused");
  server.isolate.resume(resumeCapability);
  server.send("resumed");
  await server.stop();
  receivePort.close();
  Expect.listEquals(["before pause", "paused", "resumed"], await receivedData);
  asyncEnd();
}

main() {
  asyncStart();
  test();
}