ExistenceError

class ExistenceError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, expectedObject: ExistenceError.ObjectType, culprit: Term, extraData: Term?) : PrologError
Content copied to clipboard

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
Link copied to clipboard
common
fun ExistenceError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, expectedObject: ExistenceError.ObjectType, actualValue: Term, extraData: Term? = null)
Content copied to clipboard
ExistenceError
Link copied to clipboard
common
fun ExistenceError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, expectedObject: ExistenceError.ObjectType, culprit: Term, extraData: Term? = null)
Content copied to clipboard
the detail message string.

Types

Companion
Link copied to clipboard
common
object Companion
Content copied to clipboard
ObjectType
Link copied to clipboard
common
enum ObjectType : Enum<ExistenceError.ObjectType> , ToTermConvertible
Content copied to clipboard
A class describing the expected type whose absence caused the error

Functions

pushContext
Link copied to clipboard
common
open override fun pushContext(newContext: ExecutionContext): ExistenceError
Content copied to clipboard
toString
Link copied to clipboard
common
open override fun toString(): String
Content copied to clipboard
updateContext
Link copied to clipboard
common
open override fun updateContext(newContext: ExecutionContext, index: Int): ExistenceError
Content copied to clipboard
Creates a new exception instance with the context with in position index updated to newContext.
updateLastContext
Link copied to clipboard
common
open override fun updateLastContext(newContext: ExecutionContext): ExistenceError
Content copied to clipboard

Properties

cause
Link copied to clipboard
common
open override val cause: Throwable?
Content copied to clipboard
context
Link copied to clipboard
common
val context: ExecutionContext
Content copied to clipboard
contexts
Link copied to clipboard
common
val contexts: Array<ExecutionContext>
Content copied to clipboard
a stack of contexts localising the exception
culprit
Link copied to clipboard
common
val culprit: Term
Content copied to clipboard
The object whose lack caused the error
errorStruct
Link copied to clipboard
common
val errorStruct: Struct
Content copied to clipboard
The error Struct as described in Prolog standard: error(error_type, error_extra)
expectedObject
Link copied to clipboard
common
val expectedObject: ExistenceError.ObjectType
Content copied to clipboard
The type of the missing object
extraData
Link copied to clipboard
common
open val extraData: Term? = null
Content copied to clipboard
The possible extra data to be carried with the error
message
Link copied to clipboard
common
open override val message: String?
Content copied to clipboard
prologStackTrace
Link copied to clipboard
common
val prologStackTrace: List<Struct>
Content copied to clipboard
The exception stacktrace; shorthand for context.prologStackTrace
type
Link copied to clipboard
common
open override val type: Struct
Content copied to clipboard
The error type structure