library(error)

Predicates

domain_error(?Domain, ?Culprit)

throw error(domain_error(Domain,Culprit), _)

evaluation_error(?Reason)

throw error(evaluation_error(Reason), _)

existence_error(?ObjectType, ?Culprit)

throw error(existence_error(ObjectType,Culprit), _)

instantiation_error(?Culprit)

throw error(instantiation_error, _)

must_be(+Type, ?Term)

Test a term for an expected type and throw an error if it does not match

permission_error(?Operation, ?Permission, ?Culprit)

throw error(permission_error(Operation,Permission,Culprit), _)

representation_error(?Reason)

throw error(representation_error(Reason), _)

resource_error(?Resource)

throw error(resource_error(Resource), _)

type_error(?Type, ?Culprit)

throw error(type_error(Type,Culprit), _)

uninstantiation_error(?Culprit)

throw error(uninstantiation_error(Culprit), _)