TuPrologRuntimeException

open class TuPrologRuntimeException(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>) : TuPrologException

An exception that could occur during Solver execution

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

Constructors

TuPrologRuntimeException

common

fun TuPrologRuntimeException(message: String? = null, cause: Throwable? = null, context: ExecutionContext, vararg otherContexts: ExecutionContext)

TuPrologRuntimeException

common

fun TuPrologRuntimeException(cause: Throwable?, context: ExecutionContext)

TuPrologRuntimeException

common

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

the detail message string.

Functions

pushContext

common

open fun pushContext(newContext: ExecutionContext): TuPrologRuntimeException

updateContext

common

@JvmOverloads()

open fun updateContext(newContext: ExecutionContext, index: Int = 0): TuPrologRuntimeException

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

updateLastContext

common

open fun updateLastContext(newContext: ExecutionContext): TuPrologRuntimeException

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

message

common

open override val message: String?

prologStackTrace

common

val prologStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

Inheritors

HaltException

PrologError

PrologWarning

TimeOutException