Permission
fun PermissionError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: Term, extraData: Term? = null)
Content copied to clipboard
fun PermissionError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, operation: PermissionError.Operation, permission: PermissionError.Permission, 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
operation
the operation which caused the error
permission
the type of the tried permission
extraData
the possible extra data to be carried with the error