ON THIS PAGE
Default exception handler and pretty printer
Author(s): The Ciao Development Team, Jose F. Morales.Usage and interface
- Library usage:
:- use_module(library(errhandle)). - Exports:
- Predicates:
error_protect/2, default_error_message/1.
- Predicates:
Documentation on exports
PREDICATEerror_protect/2
Usage:error_protect(Goal,OnError)
Execute Goal with a default exception handler (which shows the exception and executes OnError).
PREDICATEdefault_error_message/1
Usage:default_error_message(E)
Default pretty printer for the exception term E.
Documentation on imports
This module has the following direct dependencies:- System library modules:
system, rtchecks_pretty. - Packages:
noprelude, initial, condcomp, assertions, assertions/assertions_basic.