protocol

monitorp

Monitor protocol.

Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static

(no dependencies on other entities)

Public interface

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 interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)