solve-classic/it.unibo.tuprolog.solve.classic.fsm/ExceptionalState

ExceptionalState

A State reached because of a ResolutionException -- either StateException (still looking for an enclosing catch/3) or StateHalt (no handler was found, or the exception reached the root context).

Inheritors

StateException

StateHalt

Properties

context

abstract val context: ClassicExecutionContext

The execution context this state operates on.

exception

abstract val exception: ResolutionException

The exception that led to this state.

isEndState

open val isEndState: Boolean

Whether this state is a terminal one for the current resolution step, i.e. an EndState.

Functions

asEndState

open fun asEndState(): EndState?

This state as an EndState, or null if isEndState is false.

castToEndState

open fun castToEndState(): EndState

This state as an EndState.

clone

abstract fun clone(context: ClassicExecutionContext = this.context): State

Returns a copy of this state, replacing context with the given one (defaulting to the current context).

abstract fun next(): State

Computes the state the machine transitions into from here -- a pure function of context.