A.17 library(exceptions): Exception classification
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(exceptions): Exception classification
catch/4
exception/2
error_term/2
exception_term/2
exception_type/2
Packages
Availability:
:- use_module(
library(exceptions)
).
(can be
autoloaded
)
exception_type
(
+Type, +Term
)
Declare all exceptions subsumed by
Term
to be an exception of
Type
. This declaration is module specific.
exception_type(+Type,
+Term)Declare all exceptions subsumed by Term to be an exception of Type.
This declaration is module specific.