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:
static
Template:
monitors(Monitors)
Mode and number of proofs:
monitors(-list(object_identifier))
- one
monitor/1
¶
Monitor is an object playing the role of a monitor.
Compilation flags:
static
Template:
monitor(Monitor)
Mode and number of proofs:
monitor(-object_identifier)
- zero_or_more
monitor(+object_identifier)
- zero_or_one
monitored/1
¶
Returns a list of all currently monitored objects.
Compilation flags:
static
Template:
monitored(Objects)
Mode and number of proofs:
monitored(-list(object_identifier))
- one
monitor/4
¶
True if the arguments describe a currently defined monitored event.
Compilation flags:
static
Template:
monitor(Object,Message,Sender,Monitor)
Mode and number of proofs:
monitor(?object_identifier,?nonvar,?object_identifier,?object_identifier)
- zero_or_more
set_monitor/4
¶
Sets a monitor for the set of matching events.
Compilation flags:
static
Template:
set_monitor(Object,Message,Sender,Monitor)
Mode and number of proofs:
set_monitor(?object_identifier,?nonvar,?object_identifier,+object_identifier)
- zero_or_one
del_monitors/4
¶
Deletes all matching monitored events.
Compilation flags:
static
Template:
del_monitors(Object,Message,Sender,Monitor)
Mode and number of proofs:
del_monitors(?object_identifier,?nonvar,?object_identifier,?object_identifier)
- one
del_monitors/0
¶
Deletes all monitored events.
Compilation flags:
static
Mode and number of proofs:
del_monitors
- one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)