ExistenceError

fun ExistenceError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedObject: ExistenceError.ObjectType, actualValue: Term, extraData: Term? = null)
Content copied to clipboard
fun ExistenceError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, expectedObject: ExistenceError.ObjectType, culprit: Term, extraData: Term? = null)
Content copied to clipboard

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

expectedObject

The type of the missing object

culprit

The object whose lack caused the error

extraData

The possible extra data to be carried with the error