Crate funfsm

Re-exports

pub use fsm::Fsm;

pub use fsm::StateFn;

pub use fsm::FsmTypes;

Modules

constraints

fsm

fsm_check

Macros

check

invariant

Pre/Postconditions are only checked in specific states. Invariants are checked in every state.

next

precondition

Take a constraints object ($c), the &’static str name of the state ($s), and a predicate closure ($p). Box the closure and store it into the preconditions hashmap under it’s state name along with an associated error message to use if the predicate fails.

state_fn

transition