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 |