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

ExistenceError

class ExistenceError( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val expectedObject: ExistenceError.ObjectType, val culprit: <ERROR CLASS>, val extraData: <ERROR CLASS>? = null) : LogicError

The existence error occurs when an object on which an operation is to be performed does not exist

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

Constructors

ExistenceError

fun ExistenceError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedObject: ExistenceError.ObjectType, actualValue: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

ExistenceError

fun ExistenceError( message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, expectedObject: ExistenceError.ObjectType, culprit: <ERROR CLASS>, extraData: <ERROR CLASS>? = null)

Types

Companion

object Companion

ObjectType

enum ObjectType : Enum<ExistenceError.ObjectType>

A class describing the expected type whose absence caused the error

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): ExistenceError

toString

open override fun toString(): String

updateContext

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

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