HaltException

class HaltException: ResolutionException

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

Fields

Name Description
val exitStatus: Int

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

Constructors

<init>

constructor(exitStatus: Int, message: String?, cause: Throwable?, context: ExecutionContext)

Parameters

Name Description
exitStatus: Int
message: String?
cause: Throwable?
context: ExecutionContext

<init>

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

Parameters

Name Description
exitStatus: Int
cause: Throwable?
context: ExecutionContext

<init>

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

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

Parameters

Name Description
exitStatus: Int

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

message: String?

the detail message string.

cause: Throwable?

the cause of this exception.

contexts: Array<ExecutionContext>

a stack of contexts localising the exception

Methods

updateContext

fun updateContext(newContext: ExecutionContext, index: Int): 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.

Parameters

Name Description
newContext: ExecutionContext
index: Int

ReturnValue

Name Description
HaltException

updateLastContext

fun updateLastContext(newContext: ExecutionContext): HaltException

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
HaltException

pushContext

fun pushContext(newContext: ExecutionContext): HaltException

Parameters

Name Description
newContext: ExecutionContext

ReturnValue

Name Description
HaltException