module FSM::ObserverFiring

Overview

The shared observer-firing step for both interpreters. Service(T) and AsyncService(T) include this so the firing order and the failed-step asymmetry live in one place; what each interpreter DOES with the returned exception (Service re-raises it to the calling fiber, AsyncService records it into its lifecycle) stays in the respective interpreter.

State is not generic, so this module carries no type parameter and includes cleanly into both generic classes.

Direct including types

• FSM::AsyncService(T)
• FSM::Service(T)

Defined in:

fsm/observer_firing.cr