FwSmDesc_t FwSmGetEmbSmCur(FwSmDesc_t smDesc)
Return the state machine embedded in the current state.
FwSmDesc_t FwSmGetEmbSm(FwSmDesc_t smDesc, FwSmCounterS1_t i)
Return the state machine embedded in the i-th state of the argument state machine.
void FwSmStop(FwSmDesc_t smDesc)
Stop a state machine.
FwSmBool_t FwSmIsStarted(FwSmDesc_t smDesc)
Check whether the state machine is started.
FwSmErrCode_t
Error codes and function return codes for the state machine functions.
void FwSmExecute(FwSmDesc_t smDesc)
Convenience method to execute a state machine.
FwSmCounterU3_t FwSmGetExecCnt(FwSmDesc_t smDesc)
Return the State Machine Execution Counter.
void FwSmMakeTrans(FwSmDesc_t smDesc, FwSmCounterU2_t transId)
Trigger a transition in a state machine.
void FwSmStart(FwSmDesc_t smDesc)
Start a state machine.
Header file to define all constants and types for the state machine module of the FW Profile...
int FwSmBool_t
Type used for booleans (0 is "false" and 1 is "true").
unsigned short int FwSmCounterU2_t
Type used for unsigned counters with a "medium" range.
unsigned int FwSmCounterU3_t
Type used for unsigned counters with a "long" range.
FwSmErrCode_t FwSmGetErrCode(FwSmDesc_t smDesc)
Return the error code of the argument state machine.
Structure representing a state machine descriptor.
FwSmCounterS1_t FwSmGetCurState(FwSmDesc_t smDesc)
Return the identifier of the current state in a state machine (or zero if the state machine is stoppe...
FwSmCounterS1_t FwSmGetCurStateEmb(FwSmDesc_t smDesc)
Return the identifier of the current state of the state machine embedded in the current state (the su...
FwSmCounterU3_t FwSmGetStateExecCnt(FwSmDesc_t smDesc)
Return the State Execution Counter.
signed char FwSmCounterS1_t
Type used for signed counters with a "short" range.