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

SystemError

class SystemError( message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>, val extraData: <ERROR CLASS>? = null) : LogicError

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

fun SystemError( message: String? = null, cause: Throwable? = null, context: ExecutionContext, extraData: <ERROR CLASS>? = null)

SystemError

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

Types

Companion

object Companion

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): SystemError

toString

open override fun toString(): String

updateContext

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

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

open override fun updateLastContext(newContext: ExecutionContext): SystemError

Properties

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

errorStruct

val errorStruct: <ERROR CLASS>

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

extraData

open val extraData: <ERROR CLASS>? = null

logicStackTrace

val logicStackTrace: List<<ERROR CLASS>>

The exception stacktrace; shorthand for context.prologStackTrace

type

open val type: <ERROR CLASS>