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)