A RAISE
statement without an argument has the form:
RAISE ewhere
e
is an exception that takes no argument. The outcome of the
statement is the exception e
. A RAISE
statement with an
argument has the form:
RAISE e(x)where
e
is an exception that takes an argument and x
is an
expression assignable to e
's argument type. The outcome is the
exception e
paired with the argument x
.