Struct ExclusiveExecutor 

pub struct ExclusiveExecutor<M: Machine> { /* private fields */ }

Allocation-free execution of an affine machine through exclusive access.

A turn installs the poisoned state before calling Machine::step. If the transition unwinds, no machine remains accessible and all future inputs are rejected intact. Output consumption after a successful turn is outside this poison boundary.

Implementations

impl<M: Machine> ExclusiveExecutor<M>

pub const fn new(machine: M) -> Self

Construct an executor containing machine.

pub fn turn( &mut self, input: M::Input, ) -> Result<M::Output, PoisonedInput<M::Input>>

Execute one immediate turn and install its successor.

Errors

Returns the supplied input without accepting it if an earlier transition poisoned the executor. An input consumed by a transition that panics is not recoverable.

Panics

Propagates a panic from Machine::step after poisoning the executor.

pub const fn state(&self) -> ExclusiveState

Report whether a successor machine remains available.

pub const fn machine(&self) -> Option<&M>

Borrow the current successor machine, or None if it was poisoned.

pub fn into_inner(self) -> Result<M, ExclusivePoisoned>

Recover the current successor machine.

Errors

Returns ExclusivePoisoned if a panicking transition consumed it.

Trait Implementations

impl<M: Debug + Machine> Debug for ExclusiveExecutor<M>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.