protocol

# `event_registryp`

Event registry protocol.

Author: Paulo Moura
Version: 1:1:0
Date: 2009-10-08
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `monitors/1`

  - `monitor/1`

  - `monitored/1`

  - `monitor/4`

  - `set_monitor/4`

  - `del_monitors/4`

  - `del_monitors/0`

- Protected predicates

- Private predicates

- Operators

## 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`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)

See also

event_registry, monitorp