Evaluation
fun EvaluationError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, errorType: EvaluationError.Type, extraData: Term? = null)
Content copied to clipboard
fun EvaluationError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, errorType: EvaluationError.Type, 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
errorType
The error type
extraData
The possible extra data to be carried with the error