protocol

# `monitorp`

Monitor protocol.

Author: Paulo Moura
Version: 1:0:0
Date: 2000-07-24
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

- Public predicates

  - `monitor_activated/0`

  - `activate_monitor/0`

  - `suspend_monitor/0`

  - `reset_monitor/0`

  - `spy_point/4`

  - `set_spy_point/4`

  - `del_spy_points/4`

- Protected predicates

- Private predicates

- Operators

## Public predicates

### `monitor_activated/0`

True if monitor is currently active.

Compilation flags:
`static`
Mode and number of proofs:
`monitor_activated` - `zero_or_one`

### `activate_monitor/0`

Activates all spy points and start monitoring.

Compilation flags:
`static`
Mode and number of proofs:
`activate_monitor` - `one`

### `suspend_monitor/0`

Suspends monitoring, deactivating all spy points.

Compilation flags:
`static`
Mode and number of proofs:
`suspend_monitor` - `one`

### `reset_monitor/0`

Resets monitor, deactivating and deleting all spy points.

Compilation flags:
`static`
Mode and number of proofs:
`reset_monitor` - `one`

### `spy_point/4`

Current spy point.

Compilation flags:
`static`
Template:
`spy_point(Event,Object,Message,Sender)`
Mode and number of proofs:
`spy_point(?event,?object,?callable,?object)` - `zero_or_more`

### `set_spy_point/4`

Sets a spy point.

Compilation flags:
`static`
Template:
`set_spy_point(Event,Object,Message,Sender)`
Mode and number of proofs:
`set_spy_point(?event,?object,?callable,?object)` - `one`

### `del_spy_points/4`

Deletes all matching spy points.

Compilation flags:
`static`
Template:
`del_spy_points(Event,Object,Message,Sender)`
Mode and number of proofs:
`del_spy_points(@event,@object,@callable,@object)` - `one`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)

See also

monitor, event_registryp