25 · Máquinas de Estado
Eventos tipados y datos de estado
Una máquina tipada posee sus enums State y Event. Los patrones de transición enlazan datos del evento y estado solo en esa transición. Los datos iniciales se evalúan una vez por instancia. send devuelve false si no hay transición; can_send comprueba patrones sin ejecutar guards ni acciones.
En esta página
Una máquina tipada posee sus enums State y Event. Los patrones de transición enlazan datos del evento y estado solo en esa transición. Los datos iniciales se evalúan una vez por instancia. send devuelve false si no hay transición; can_send comprueba patrones sin ejecutar guards ni acciones.
Ejemplo completo
Eventos tipados y datos de estado.
06-typed-events.zolo
// Typed catalogs make states and events ordinary nominal enum values.
machine Loader {
state Idle, Ready(value: int)
event Loaded(value: int), Reset
initial Idle
Idle -> Ready(value) on Loaded(value) if value > 0
Ready(previous) -> Idle on Reset
}
let loader = Loader.new()
print(loader.can_send(Loader::Event::Loaded(-1))) // true: structural applicability only
print(loader.send(Loader::Event::Loaded(-1))) // false: the guard is checked by send
print(loader.send(Loader::Event::Loaded(7))) // true
if let Loader::State::Ready(value) = loader.state { print(value) } // 7
print(loader.send(Loader::Event::Loaded(8))) // false: no transition from Ready
print(loader.send(Loader::Event::Reset)) // true
print(match loader.state { Loader::State::Idle => true, Loader::State::Ready(_) => false }) // true
Reglas y comportamiento
Estados y eventos tipados · Documentación
Desde un checkout del repositorio:
zolo examples/features/26-state-machines/06-typed-events.zolo
Consulta también