[ library(notify_ports) | Reference Manual | Alphabetic Index ]
open_receiver(+SendPos, +SendStruct, +ReceivePos, +ReceiveStruct)
Create a receiver for a given notification sender
- SendPos
- positive integer, the send port's field number in SendStruct
- SendStruct
- a structure whose SendPos-th field is a send port
- ReceivePos
- positive integer, the send port's field number in ReceiveStruct
- ReceiveStruct
- a structure with free field ReceivePos
Description
    SendPos and SendStruct identify a send port.  This predicate
    creates a receive port listening to messages sent via the
    specified send port.  The new receive port will receive all
    messages that are sent via the send port after the receiver has
    been opened.  Messages that were sent before the receiver has been
    opened will not be received by this receiver.
    
    The receiver will be installed in field ReceivePos of the structure
    ReceiveStruct.
    
See Also
open_receiver_init / 6