[ library(notify_ports) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# receive_notifications(+ReceivePort, -Messages, -Status)

Receive a list of currently available notification messages

ReceivePort
  a receiver structure as created by open_receiver
Messages
  a variable, will be bound to a list
Status
  a variable, will be bound to 'open' or 'closed'

## Description

This predicate retrieves all the messages that are currently available at the given receive port. This means all messages that were sent via the associated send port but have not yet been retrieved from this receive port. The messages are listed in the order in which they were sent.

The Status argument indicates whether the associated sender is still open ('open') or has been closed ('closed'). If closed, no more messages will arrive on this receive port in the future.

## See Also

foreachnotification / 6