StateMachine.Validation (state_machine v0.1.6)
StateMachine supports automatic validation on compile time. It makes its best effort to ensure determinism (to some degree). It checks that all used states were previously defined.
TODO: Check unreachable states?
Link to this section Summary
Functions
Validates presense of states used in transitions.
Validates that no more than one unguarded transition is originated in every state.
Link to this section Functions
Link to this function
validate_all(sm)
Link to this function
validate_states_in_transitions(sm)
Validates presense of states used in transitions.
Link to this function
validate_transitions_determinism(sm)
Validates that no more than one unguarded transition is originated in every state.