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

reset_interrupt_handlers

All interrupt handlers are reset, cancelling any redefinition.

Description

The interrupt handlers are all reset, cancelling any 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

Examples


Success:
      [eclipse]: get_interrupt_handler(14,M,N).
      M = it_handler / 1
      N = sepia_kernel
      yes.
      [eclipse]: set_interrupt_handler(14,true/0), interrupt(14).
      yes.
      [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_handlers, interrupt(16).
      Signal 16
      yes.
      [eclipse]: interrupt(14).
      Signal 14
      yes.


See Also

reset_interrupt_handler / 1