protocol

event_registryp

Event registry protocol.

author:
Paulo Moura
version:
1.1
date:
2009/10/8
compilation flags:
static

(no dependencies on other files)

Public interface

monitors/1

Returns a list of all current monitors.

compilation flags:
static
template:
monitors(Monitors)
mode – 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 – 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 – 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 – 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 – 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 – number of proofs:
del_monitors(?object_identifier,?nonvar,?object_identifier,?object_identifier) – one

del_monitors/0

Deletes all monitored events.

compilation flags:
static
mode – number of proofs:
del_monitors – one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)