solve/it.unibo.tuprolog.solve.exception/HaltException

HaltException

class HaltException(val exitStatus: Int = 0, message: String? = "Resolution has been halted with exit code ", cause: Throwable? = null, contexts: Array<ExecutionContext>) : ResolutionException

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

constructor(exitStatus: Int = 0, message: String? = "Resolution has been halted with exit code ", cause: Throwable? = null, contexts: Array<ExecutionContext>)

constructor(exitStatus: Int = 0, message: String? = "Resolution has been halted with exit code ", cause: Throwable? = null, context: ExecutionContext)

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

Properties

cause

expect open val cause: Throwable?

context

val context: ExecutionContext

contexts

val contexts: Array<ExecutionContext>

exitStatus

val exitStatus: Int

logicStackTrace

val logicStackTrace: List<Struct>

The exception stacktrace; shorthand for context.prologStackTrace

message

expect open val message: String?

Functions

pushContext

open override fun pushContext(newContext: ExecutionContext): HaltException

updateContext

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

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): HaltException