[ 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