[ ECLiPSe Event built-in.|Group Index| Full Index]

reset_interrupt_handler(+Number)

Resets an interrupt handler for interrupt Number to its default value, cancelling a previous redefinition.

+Number
Integer.

Description

Reset the handler for the specified interrupt to its default value, cancelling any previous redefinition.

See the ECLiPSe User Manual [?] for details on the operation of interrupt handlers.

In some systems some interrupts cannot be caught or trapped. The interrupts which can be caught or trapped is implementation defined.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
Number is not instantiated.
(5) Type error
Number is not an integer.
(6) Range error
Number is not a valid error number.

Examples


Success:
   [eclipse]: [user].
    a :- write(toplevel_output, "interrupt 16"), fail.
    user compiled 136 bytes in 0.00 seconds
   [eclipse]: set_interrupt_handler(16,a/0), interrupt(16).
   interrupt 16
   yes.
   [eclipse]: reset_interrupt_handler(16), interrupt(16).
   Signal 16
   yes.
Error:
   reset_interrupt_handler(N).    (Error 4).
   reset_interrupt_handler(15.0). (Error 5).
   reset_interrupt_handler(1000). (Error 6).
   reset_interrupt_handler(-1).   (Error 6).


See Also

reset_interrupt_handlers / 0