Crate funfsm [] [src]

Reexports

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