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)