HaltException

class HaltException(message: String?, cause: Throwable?, contexts: Array<ExecutionContext>, exitStatus: Int) : TuPrologRuntimeException

An exception thrown if there are problems during state machine execution, and solution process should be halted

Author

Enrico

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception

exitStatus

The integer code representing the exit status code; it defaults to 0

Constructors

HaltException

common

fun HaltException(message: String? = null, cause: Throwable? = null, context: ExecutionContext, exitStatus: Int = 0)

HaltException

common

fun HaltException(cause: Throwable?, context: ExecutionContext, exitStatus: Int = 0)

HaltException

common

fun HaltException(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, exitStatus: Int = 0)

the detail message string.

Functions

pushContext

common

open override fun pushContext(newContext: ExecutionContext): HaltException

updateContext

common

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

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

updateLastContext

common

open override fun updateLastContext(newContext: ExecutionContext): HaltException

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

exitStatus

common

val exitStatus: Int = 0

The integer code representing the exit status code; it defaults to 0

message

common

open override val message: String?

prologStackTrace

common

val prologStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace