[ The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# Event Handling

Built-ins to handle events and interrupts

## 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 and context module Module, 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 at DueTime, 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, ++Options, -EventHandle)
>   Create an ECLiPSe event from an arbitrary goal.
> event_disable(+EventHandle)
>   Disable the given event
> event_enable(+EventHandle)
>   Enable the given event
> event_retrieve(+EventHandle, -Goal, -Module)
>   Given the handle with which an event is associated, retrieve the event goal and module
> events_after(++Events)
>   Set up a series of after events Events.
> events_defer
>   Defer event handling
> events_nodefer
>   Allow event handling
> 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 the event EventId 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

Generated from event.eci on Sat Nov 8 06:53:22 2008