protocol

# monitorp

> Monitor protocol.

author:
  `Paulo Moura`
version:
  `1.0`
date:
  `2000/7/24`

compilation flags:
  `static`

(no dependencies on other files)

## Public interface

### monitor_activated/0

> True if monitor is currently active.

compilation flags:
  `static`
mode – number of proofs:
  `monitor_activated – zero_or_one`

### activate_monitor/0

> Activates all spy points and start monitoring.

compilation flags:
  `static`
mode – number of proofs:
  `activate_monitor – one`

### suspend_monitor/0

> Suspends monitoring, deactivating all spy points.

compilation flags:
  `static`
mode – number of proofs:
  `suspend_monitor – one`

### reset_monitor/0

> Resets monitor, deactivating and deleting all spy points.

compilation flags:
  `static`
mode – number of proofs:
  `reset_monitor – one`

### spy_point/4

> Current spy point.

compilation flags:
  `static`
template:
  `spy_point(Event,Object,Message,Sender)`
mode – 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 – 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 – number of proofs:
  `del_spy_points(@event,@object,@callable,@object) – one`

## Protected interface

(none)

## Private predicates

(none)

## Operators

### (none)

## Remarks

### (none)