Trait finny::FsmBackend

pub trait FsmBackend where
    Self: Sized + Debug, {
    type Context;
    type States: FsmStates<Self>;
    type Events: AsRef<str> + Clone;
    type Timers: Debug + Clone + PartialEq + AllVariants;
    fn dispatch_event<Q, I, T>(
        ctx: DispatchContext<'_, '_, '_, Self, Q, I, T>, 
        event: FsmEvent<Self::Events, Self::Timers>
    ) -> FsmDispatchResult
    where
        Q: FsmEventQueue<Self>,
        I: Inspect,
        T: FsmTimers<Self>;
}

Finite State Machine backend. Handles the dispatching, the types are defined by the code generator.

Associated Types

type Context

The machine’s context that is shared between its constructors and actions.

type States: FsmStates<Self>

The type that holds the states of the machine.

type Events: AsRef<str> + Clone

A tagged union type with all the supported events. This type has to support cloning to facilitate the dispatch into sub-machines and into multiple regions.

type Timers: Debug + Clone + PartialEq + AllVariants

An enum with variants for all the possible timer instances, with support for submachines.

Required methods

fn dispatch_event<Q, I, T>(
    ctx: DispatchContext<'_, '_, '_, Self, Q, I, T>,
    event: FsmEvent<Self::Events, Self::Timers>
) -> FsmDispatchResult where
    Q: FsmEventQueue<Self>,
    I: Inspect,
    T: FsmTimers<Self>, 

Implementors