[Group Index|Full Index]
ECLiPSe Kernel: Event Handling
- cancel_after_event(+Event)
-
Cancel all pending instances of after event Event.
- current_after_event(+Event)
-
Check if Event is a currently pending after event.
- 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(+Number, ?Culprit)
-
An error number Number is raised and the corresponding error handler is
executed.
- error(+Number, ?Culprit, +Module)
-
An error Number 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(+EventName)
-
The event EventName is raised and the corresponding error handler is
executed.
- event_after(+Even, +Time)
-
Set up an event Event which is triggered after Time seconds have
elapsed.
- event_after_every(+Even, +Time)
-
Set up an event Event which is triggered after every Time seconds have
elapsed.
- get_error_handler(+Number, ?PredSpec, ?Module)
-
Returns the error_handler for error number Number and its home module
Module.
- get_interrupt_flag(?Int_Id, ?Mode)
-
Suceed if Int_id unifies with a valid interrupt identifier and Mode unifies
with its debugging mode.
- get_interrupt_handler(+Number, ?PredSpec, ?Module)
-
Succeeds if PredSpec unifies with the specification of the current handler
for interrupt Number and Module unifies with its home module.
- reset_error_handlers
-
All error handlers are reset, cancelling any redefinition.
- reset_event_handler(+EventName)
-
Resets the handler for error number Number to its default value.
- reset_interrupt_handler(+Number)
-
Resets an interrupt handler for interrupt Number to its default value,
cancelling a previous redefinition.
- reset_interrupt_handlers
-
All interrupt handlers are reset, cancelling any redefinition.
- set_event_handler(+EventName, +PredSpec)
-
Set an event handler PredSpec for the event EventName.
- set_interrupt_flag(?Int_Id, +Mode)
-
Set the debugger mode Mode for the interrupt Int_Id
- set_interrupt_handler(+Number, +PredSpec)
-
Sets an interrupt handler PredSpec for the interrupt with number Number.