protocol

event_registryp

Event registry protocol.

Author: Paulo Moura
Version: 1.1
Date: 2009/10/8
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)

Public predicates

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