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 |