(declare | export | require) catch catch-name catch-argument-list
declare catch no-planet
catch declared in a module may use
require instead of
program or module that imports this module must supply a
catch, using a
supply clause in
the import statement. The supplied
catch must match the required one in all respects except its name
and the names of its arguments.
catch declaration can also declare parameters, following the same form as function
supported, but not
optional keyword is not supported. All heralded catch
arguments are optional by default. See
define function for a full description of function parameters.
The following is an example of a
catch declaration with parameters:
declare catch invalid-item value string item-name error value string error recovery value string recovery
catches can use either the heralded or parenthesised form for declaring arguments, just like
function definitions. The same considerations as for functions apply to choosing one or the other.