PrologError

abstract class PrologError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, type: Struct, extraData: Term?) : TuPrologRuntimeException

Base class for Standard Prolog Errors and possibly other custom Primitive errors

Author

Giovanni

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

type

The error type structure

extraData

The possible extra data to be carried with the error

Constructors

PrologError

common

fun PrologError(message: String? = null, cause: Throwable? = null, context: ExecutionContext, type: Struct, extraData: Term? = null)

PrologError

common

fun PrologError(cause: Throwable?, context: ExecutionContext, type: Struct, extraData: Term? = null)

PrologError

common

fun PrologError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, type: Struct, extraData: Term? = null)

the detail message string.

Types

Companion

common

object Companion

Functions

pushContext

common

abstract override fun pushContext(newContext: ExecutionContext): PrologError

toString

common

open override fun toString(): String

updateContext

common

abstract override fun updateContext(newContext: ExecutionContext, index: Int): PrologError

Creates a new exception instance with the context with in position index updated to newContext.

updateLastContext

common

abstract override fun updateLastContext(newContext: ExecutionContext): PrologError

Properties

cause

common

open override val cause: Throwable?

context

common

val context: ExecutionContext

contexts

common

val contexts: Array<ExecutionContext>

a stack of contexts localising the exception

errorStruct

common

val errorStruct: Struct

The error Struct as described in Prolog standard: error(error_type, error_extra)

extraData

common

open val extraData: Term? = null

The possible extra data to be carried with the error

message

common

open override val message: String?

prologStackTrace

common

val prologStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

type

common

open val type: Struct

The error type structure

Inheritors

DomainError

EvaluationError

ExistenceError

InstantiationError

MessageError

PermissionError

RepresentationError

SyntaxError

SystemError

TypeError