category

# `monitor`

Monitor predicates.

Author: Paulo Moura
Version: 1:3:0
Date: 2019-03-08
Compilation flags:
`static, events`
Implements:
`public` monitorp
Remarks:
(none)
Inherited public predicates:
activate_monitor/0 del_spy_points/4 monitor_activated/0 reset_monitor/0 set_spy_point/4 spy_point/4 suspend_monitor/0

- Public predicates

- Protected predicates

- Private predicates

  - `spy_point_/4`

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

### `spy_point_/4`

Stores current spy points.

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

## Operators

(none)