protocol
event_registryp¶
Event registry protocol.
Author: Paulo Moura
Version: 1.1
Date: 2009/10/8
Compilation flags:
static(no dependencies on other entities)
Public interface¶
monitors/1¶
Returns a list of all current monitors.
Compilation flags:
staticTemplate:
monitors(Monitors)Mode and number of proofs:
monitors(-list(object_identifier)) - onemonitor/1¶
Monitor is an object playing the role of a monitor.
Compilation flags:
staticTemplate:
monitor(Monitor)Mode and number of proofs:
monitor(-object_identifier) - zero_or_moremonitor(+object_identifier) - zero_or_onemonitored/1¶
Returns a list of all currently monitored objects.
Compilation flags:
staticTemplate:
monitored(Objects)Mode and number of proofs:
monitored(-list(object_identifier)) - onemonitor/4¶
True if the arguments describe a currently defined monitored event.
Compilation flags:
staticTemplate:
monitor(Object,Message,Sender,Monitor)Mode and number of proofs:
monitor(?object_identifier,?nonvar,?object_identifier,?object_identifier) - zero_or_moreset_monitor/4¶
Sets a monitor for the set of matching events.
Compilation flags:
staticTemplate:
set_monitor(Object,Message,Sender,Monitor)Mode and number of proofs:
set_monitor(?object_identifier,?nonvar,?object_identifier,+object_identifier) - zero_or_onedel_monitors/4¶
Deletes all matching monitored events.
Compilation flags:
staticTemplate:
del_monitors(Object,Message,Sender,Monitor)Mode and number of proofs:
del_monitors(?object_identifier,?nonvar,?object_identifier,?object_identifier) - onedel_monitors/0¶
Deletes all monitored events.
Compilation flags:
staticMode and number of proofs:
del_monitors - oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)