
current_interrupt(?N, ?IntID)

   Succeeds if N unifies with the number and IntID unifies with the mnemonic
name of a valid interrupt.



Arguments
   N                   Positive integer or variable.
   IntID               Atom or variable.

Type
   Event Handling

Description
   This predicate unifies N with the signal number and IntID with the
   mnemonic name of an existing interrupt type.  This predicate can be used
   to find the signal number related to a mnemonic interrupt name and vice
   versa, or to return all valid interrupts on backtracking.




Modes and Determinism
   current_interrupt(-, -) is multi
   current_interrupt(+, -) is semidet
   current_interrupt(-, +) is semidet

Fail Conditions
   N or IntID do not unify with the interrupt number resp.  the mnemonic name of a valid interrupt

Exceptions
     5 --- N is instantiated, but not to an integer.
     5 --- IntID is instantiated, but not to an atom.

Examples
   
Success:
      current_interrupt(2, X)         (gives X = int)
      current_interrupt(X, kill)      (gives X = 9)
      current_interrupt(N, Int)
Fail:
      current_interrupt(43, Int)
      current_interrupt(N, noint)
Error:
      current_interrupt(1.0, Int).    (Error 5).
      current_interrupt(N, "int").    (Error 5).





See Also
   current_error / 1, kill / 2
