[ library(notify_ports) | Reference Manual | Alphabetic Index ]
receive_notifications(+ReceivePos, +ReceiveStruct, -Messages, -Status)
Receive a list of currently available notification messages
- ReceivePos
- positive integer, the send port's field number in ReceiveStruct
- ReceiveStruct
- a structure
- Messages
- a variable
- Status
- a variable
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 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 / 7