FwSmErrCode_t
Error codes and function return codes for the state machine functions.
Declaration of the execution interface for a FW State Machine.
char * FwSmPrintErrCode(FwSmErrCode_t errCode)
Print the name of a state machine error code.
void FwSmPrintConfig(FwSmDesc_t smDesc, FILE *stream)
Print the configuration of the state machine to an output stream.
void FwSmPrintConfigRec(FwSmDesc_t smDesc, FILE *stream)
Print the configuration of the state machine and its embedded state machines to an output stream...
Structure representing a state machine descriptor.