solve/it.unibo.tuprolog.solve.exception.error/PermissionError

PermissionError

class PermissionError( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val operation: PermissionError.Operation, val permission: PermissionError.Permission, val culprit: <ERROR CLASS>, val extraData: <ERROR CLASS>? = null) : LogicError

A permission error occurs when an attempt to perform a prohibited operation is made

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

Constructors

PermissionError

fun PermissionError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

PermissionError

fun PermissionError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, operation: PermissionError.Operation, permission: PermissionError.Permission, culprit: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

Operation

enum Operation : Enum<PermissionError.Operation>

A class describing the operation which caused the error

Permission

enum Permission : Enum<PermissionError.Permission>

A class describing the type of the tried permission

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): PermissionError

toString

open override fun toString(): String

updateContext

open override fun updateContext(newContext: ExecutionContext, index: Int): PermissionError

Creates a new exception instance with the context with in position index updated to newContext. Subclasses should override this method and return the correct instance.

updateLastContext