Event Handling

Predicates

cancel_after_event(+Event, -CancelledEvents)

Cancel all pending instances of after event Event

current_after_events(?Events)

Check or find currently pending after events.

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(+Event, +Time, ?DueTime)

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.

event_create(+Goal, -EventHandle)

Create an ECLiPSe event from an arbitrary goal.

event_retrieve(+EventHandle, ?Goal)

Given the handle with which an event is associated, retrieve the event goal.

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