core/it.unibo.tuprolog.argumentation.core.engine.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: PrologExecutionContext

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.

abstract fun next(): State

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