built-in method

resource_error/1

Description

resource_error(Resource)

Throws a resource error. Used when a required resource (e.g. memory or disk space) to complete execution is not available. This built-in method is declared private and thus cannot be used as a message to an object. Calling this predicate is equivalent to the following sequence of goals:

...,
context(Context),
throw(error(resource_error(Resource), Context)).

This allows the user to generate errors in the same format used by the runtime.

Possible values for Resource include:

  • engines

  • threads

  • coinduction

  • soft_cut_support

  • text_encoding_support

Modes and number of proofs

resource_error(@nonvar) - error

Errors

When called:
resource_error(Resource)

Examples

...,
empty(Tank),
resource_error(gas).

See also

catch/3, throw/1, context/1, instantiation_error/0, uninstantiation_error/1, type_error/2, domain_error/2, consistency_error/3, existence_error/2, permission_error/3, representation_error/1, syntax_error/1, system_error/0