Event Handling

Predicates

cancel_after_event(?Event)

Cancel all pending instances of after event Event.

current_after_event(?Event)

Check or find currently pending after events (inside handler).

current_error(?N)

Succeeds if N unifies with a valid error number.

current_interrupt(?N, ?IntID)

Succeeds if N unifies with the number and IntID unifies with the mnemonic name of a valid interrupt.

error(+EventId, ?Culprit)

An error or event EventId is raised and the corresponding error handler is executed.

error(+EventId, ?Culprit, +Module)

An error EventId is raised with Culprit (in module Module) the culprit, and the corresponding error handler is executed.

error_id(+N, ?Message)

Succeeds if Message unifies with the error message string defined for error number N.

event(+EventId)

The event EventId is raised and the corresponding error handler is executed.

event_after(+Event, +Time)

Set up an event Event which is triggered after Time seconds have elapsed.

event_after_every(+Event, +Time)

Set up an event Event which is triggered after every Time seconds have elapsed.

events_after(+Events)

Set up a series of after events Events.

get_event_handler(+Event, ?PredSpec, ?Module)

Returns the event handler for event/error Event and its home module Module.

get_interrupt_handler(+IntId, ?PredSpec, ?Module)

Succeeds if PredSpec unifies with the specification of the current handler for interrupt IntId and Module unifies with its home module.

reset_error_handlers

All error handlers are reset, cancelling any redefinition.

reset_event_handler(+EventId)

Resets the handler for error number Number to its default value.

set_event_handler(+EventId, +PredSpec)

Set an event handler PredSpec for the event EventId.

set_interrupt_handler(+IntId, +PredSpec)

Sets an interrupt handler PredSpec for the interrupt IntId