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

reset_error_handler(+Number)

Resets the handler for error number Number to its default value.

+Number
Integer.

Description

The error handler for the specified error number is reset to its default value, cancelling any previous redefinition.

The errors which exist are implementation defined.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

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

Examples


Success:
      [eclipse]: string_list(S,L).
      instantiation fault in string_list(_g50, _g52)
      [eclipse]: set_error_handler(4,true/0), string_list(S,L).
      S = _g56
      L = _g58
      yes.
      [eclipse]: reset_error_handler(4), string_list(S,L).
      instantiation fault in string_list(_g62, _g64)

Error:
      reset_error_handler(N).    (Error 4).
      reset_error_handler(5.0).  (Error 5).
      reset_error_handler(1000). (Error 6).


See Also

reset_error_handlers / 0