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)