Domain
fun DomainError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedDomain: DomainError.Expected, actualValue: Term, extraData: Term? = null)
Content copied to clipboard
fun DomainError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, expectedDomain: DomainError.Expected, 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
expectedDomain
The expected domain, that wouldn't have raised the error
culprit
The value not respecting expectedDomain
extraData
The possible extra data to be carried with the error