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:

Possible values for Resource include:

  • threads
  • coinduction
  • soft_cut_support
...,
context(Context),
throw(error(resource_error(Resource), Context)).

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

Modes and number of proofs

resource_error(@nonvar) - error

Errors

When called:
resource_error(Resource)