23 #include "FwSmConstants.h"
24 #include "FwSmConfig.h"
25 #include "FwSmSCreate.h"
27 #include "FwPrConfig.h"
29 #include "FwPrConstants.h"
40 FW_SM_INST_NOCPS(startUpEsmDesc, 1, 1, 0, 0)
43 FW_SM_INST_NOCPS(normalEsmDesc, 1, 1, 0, 0)
46 FW_SM_INST_NOCPS(resetEsmDesc, 1, 1, 0, 0)
53 FwSmInit(&startUpEsmDesc);
54 FwSmAddState(&startUpEsmDesc, 1, 0, NULL, NULL, NULL, NULL);
55 FwSmAddTransIpsToSta(&startUpEsmDesc, 1, NULL);
57 FwSmInit(&normalEsmDesc);
58 FwSmAddState(&normalEsmDesc, 1, 0, NULL, NULL, NULL, NULL);
59 FwSmAddTransIpsToSta(&normalEsmDesc, 1, NULL);
61 FwSmInit(&resetEsmDesc);
62 FwSmAddState(&resetEsmDesc, 1, 0, NULL, NULL, NULL, NULL);
63 FwSmAddTransIpsToSta(&resetEsmDesc, 1, NULL);
74 if (FwSmCheck(appSm) != 1)
154 return &startUpEsmDesc;
158 return &normalEsmDesc;
162 return &resetEsmDesc;
Interface to the Application Reset Procedure.
FwPrDesc_t CrFwAppSmGetAppResetProc()
Retrieve the singleton instance of the Application Reset Procedure.
Interface to the Application Shutdown Procedure.
FwPrDesc_t CrFwAppSmGetAppShutdownProc()
Retrieve the singleton instance of the Application Shutdown Procedure.
FwSmDesc_t CrFwAppSmGetEsmReset()
Return the state machine embedded in state RESET (or NULL if no state machine is embedded in RESET).
CrFwBool_t CrFwAppSmIsInNormal()
Return true if the Application State Machine is in state NORMAL.
FwSmDesc_t CrFwAppSmGetEsmShutdown()
Return the state machine embedded in state SHUTDOWN (or NULL if no state machine is embedded in SHUTD...
void CrFwAppSmExecute()
Execute the Application State Machine.
CrFwBool_t CrFwAppSmIsStarted()
Return true if the Application State Machine has been started.
CrFwBool_t CrFwAppSmIsInStartUp()
Return true if the Application State Machine is in state START_UP.
void CrFwAppSmReset()
Reset the Application State Machine.
CrFwBool_t CrFwAppSmIsInReset()
Return true if the Application State Machine is in state RESET.
FwSmDesc_t CrFwAppSmMake()
Retrieve the singleton instance of the Application State Machine.
void CrFwAppSmStart()
Start the Application State Machine.
void CrFwAppSmShutdown()
Shutdown the Application State Machine.
CrFwBool_t CrFwAppSmIsInShutdown()
Return true if the Application State Machine is in state SHUTDOWN.
FwSmDesc_t CrFwAppSmGetEsmStartUp()
Return the state machine embedded in state START-UP (or NULL if no state machine is embedded in START...
FwSmDesc_t CrFwAppSmGetEsmNormal()
Return the state machine embedded in state NORMAL (or NULL if no state machine is embedded in NORMAL)...
Definition of Application State Machine.
FwSmDesc_t CrFwAppSmTestCasesGetNormalEsm()
Return the dummy state machine to be embedded in state NORMAL of the Application State Machine.
FwSmDesc_t CrFwAppSmTestCasesGetResetEsm()
Return the dummy state machine to be embedded in state RESET of the Application State Machine.
CrFwBool_t CrFwAppSmTestCase1()
Check the creation and configuration of the Application State Machine.
FwSmDesc_t CrFwAppSmTestCasesGetStartUpEsm()
Return the dummy state machine to be embedded in state START-UP of the Application State Machine.
Declaration of the test cases for the Application State Machine (see CrFwAppSm.h).
User-modifiable parameters for the Application State Machine (see CrFwAppSm.h).
Interface to the Application Start-Up Procedure.
FwPrDesc_t CrFwAppSmGetAppStartUpProc()
Retrieve the singleton instance of the Application Start-Up Procedure.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Definition of the utility functions for the CORDET Framework.