// Copyright (c) 2011, 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 abstract void close()
/// Closes this.
/// If the stream has not been canceled yet, adds a close-event to the event queue
/// and discards any further incoming messages.
/// @description Checks that messages are not processed when the port is closed.
/// @author kaigorodov
/// @author a.semenov@unipro.ru

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

List receivedMessages = [];

void receiveHandler(var message) {
  receivedMessages.add(message);
}

void iMain(SendPort replyPort) {
  replyPort.send("message1");
  replyPort.send("message2");
}

main() {
  asyncStart();
  ReceivePort closedPort = new ReceivePort();
  SendPort sendPort = closedPort.sendPort;
  closedPort.listen(receiveHandler);
  closedPort.close();

  Isolate.spawn(iMain, sendPort).then(
      // give some time for messages to be delivered
      (v) => new Future.delayed(new Duration(milliseconds: 500))).then((v) {
    Expect.listEquals([], receivedMessages, 'Unexpected messages are received');
    asyncEnd();
  });
}