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.