protocol

# monitoring

> Event handlers protocol. The handlers are automatically 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.0`
date:
  `2013/5/4`

compilation flags:
  `static, built_in`

(no dependencies on other files)

## 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 – number of proofs:
  `before(@term,@term,@term) – zero_or_one`

### 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 – number of proofs:
  `after(@term,@term,@term) – zero_or_one`

## Protected interface

(none)

## Private predicates

(none)

## Operators

### (none)

## Remarks

### (none)