pub struct FarmMachine { /* private fields */ }Expand description
FARM-1 state machine.
Completely synchronous — no I/O, no async. Generates CLCW reports from its internal state.
Implementations§
Source§impl FarmMachine
impl FarmMachine
Sourcepub fn new(config: FarmConfig) -> Self
pub fn new(config: FarmConfig) -> Self
Create a new FARM-1 state machine.
Sourcepub fn handle<'a>(
&mut self,
event: FarmEvent<'a>,
actions: &mut FarmActions<'a>,
)
pub fn handle<'a>( &mut self, event: FarmEvent<'a>, actions: &mut FarmActions<'a>, )
Process an event and emit actions.
Auto Trait Implementations§
impl Freeze for FarmMachine
impl RefUnwindSafe for FarmMachine
impl Send for FarmMachine
impl Sync for FarmMachine
impl Unpin for FarmMachine
impl UnsafeUnpin for FarmMachine
impl UnwindSafe for FarmMachine
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more