[ library(error) | Reference Manual | Alphabetic Index ]

existence_error(?ObjectType, ?Culprit)

throw error(existence_error(ObjectType,Culprit), _)
ObjectType
Specification of the expected object type
Culprit
The non-existing object

Description

ISO-defined values for ObjectType: procedure, source_sink, stream.

Examples

existence_error(procedure, ex_nihilo/0)