throw/1

Description

throw(Exception)

Throws an exception. This built-in method is declared private and thus cannot be used as a message to an object.

Modes and number of proofs

throw(+nonvar) - error

Errors

Exception is a variable:
instantiation_error
Exception does not unify with the second argument of any call of catch/3:
system_error