protocol

# `monitoring`

Event handlers protocol. The handlers are automatically by the runtime called for messages sent using the ::/2 control construct from within objects compiled with the “events” flag set to “allow”.

Author: Paulo Moura
Version: 1.1
Date: 2018/10/14
Compilation flags:
`static, built_in`

(no dependencies on other entities)

## Public interface

### `before/3`

Event handler for “before” events. A “before” event handler may prevent a method from being looked up or called by failing.

Compilation flags:
`static`
Template:
`before(Object,Message,Sender)`
Mode and number of proofs:
`before(?term,?term,?term)` - `zero_or_more`

### `after/3`

Event handler for “after” events. An “after” event handler may prevent a method from succeeding by failing.

Compilation flags:
`static`
Template:
`after(Object,Message,Sender)`
Mode and number of proofs:
`after(?term,?term,?term)` - `zero_or_more`

## Protected interface

(none)

## Private predicates

(none)

## Operators

(none)

## Remarks

(none)