SystemError

class SystemError(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, extraData: Term?) : PrologError

The system error occurs when an internal problem occurred and if not caught, it will halt inferential machine

Author

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

extraData

The possible extra data to be carried with the error

Constructors

SystemError

common

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

SystemError

common

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

the detail message string.

Types

Companion

common

object Companion

Functions

pushContext

common

open override fun pushContext(newContext: ExecutionContext): SystemError

toString

common

open override fun toString(): String

updateContext

common

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

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

updateLastContext

common

open override fun updateLastContext(newContext: ExecutionContext): SystemError

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