/*
 * 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.
 */
/**
 * @assertion void kill({
 *    int priority: BEFORE_NEXT_EVENT
 *  })
 *   Requests the isolate to shut down.
 *   The isolate is requested to terminate itself. The priority argument
 * specifies when this must happen.
 *   The priority must be one of IMMEDIATE or BEFORE_NEXT_EVENT. The shutdown
 * is performed at different times depending on the priority:
 *      IMMEDIATE: The isolate shuts down as soon as possible. Control messages
 * are handled in order, so all previously sent control events from this
 * isolate will all have been processed. The shutdown should happen no later
 * than if sent with BEFORE_NEXT_EVENT. It may happen earlier if the system
 * has a way to shut down cleanly at an earlier time, even during the
 * execution of another event.
 *      BEFORE_NEXT_EVENT: The shutdown is scheduled for the next time control
 * returns to the event loop of the receiving isolate, after the current event,
 * and any already scheduled control events, are completed.
 *
 * @description Check that kill(BEFORE_NEXT_EVENT) terminates the isolate,
 * which waits for events.
 *
 *
 * @author a.semenov@unipro.ru
 */
import "dart:isolate";
import "../../../Utils/expect.dart";
import "IsolateUtil.dart";

test() async {
  ReceivePort onExit = new ReceivePort();
  ErrorServer server = await ErrorServer.spawn(
      onExit:onExit.sendPort,
      errorsAreFatal:true
  );

  server.isolate.kill(priority:Isolate.beforeNextEvent);
  await onExit.first;
  asyncEnd();
}

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