// 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 void close()
/// Closes the port.
/// After a call to this method any incoming message is silently dropped.
///
/// @description Checks that after closing, messages are dropped silently.
///
/// @author kaigorodov
/// @author a.semenov@unipro.ru

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

List receivedMessages = [];

RawReceivePort receivePort = new RawReceivePort(receiveHandler);

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

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

main() {
  asyncStart();
  SendPort sendPort = receivePort.sendPort;
  receivePort.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();
      }
  );
}