kone.automata/dev.lounres.kone.automata/BlockingAutomaton

BlockingAutomaton

interface BlockingAutomaton<State, Transition, NoNextStateReason>(source)

Properties

abstract val state: State

Functions

abstract fun acceptNewState(previousState: State, transition: Transition, nextState: State)

abstract fun acquire()

checkTransition

abstract fun checkTransition(previousState: State, transition: Transition): CheckResult<State, NoNextStateReason>

@IgnorableReturnValue

fun <State, Transition, NoNextStateReason> BlockingAutomaton<State, Transition, NoNextStateReason>.move(transition: Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline fun <State, Transition, NoNextStateReason> BlockingAutomaton<State, Transition, NoNextStateReason>.move(transition: (State) -> Transition): MovementResult<State, Transition, NoNextStateReason>

@IgnorableReturnValue

inline fun <State, Transition, NoNextStateReason, Computation> BlockingAutomaton<State, Transition, NoNextStateReason>.moveAndCompute(transition: (State) -> TransitionAndComputation<Transition, Computation>): MovementAndComputationResult<State, Transition, NoNextStateReason, Computation>

moveMaybeAndCompute

abstract fun release()