21 #include "CrFwAppSmTestCases.h" 23 #include "FwSmConstants.h" 24 #include "FwSmConfig.h" 25 #include "FwSmSCreate.h" 27 #include "FwPrConfig.h" 29 #include "FwPrConstants.h" 37 #include "CrFwAppSmUserPar.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;
CrFwBool_t CrFwAppSmIsStarted()
Return true if the Application State Machine has been started.
FwSmDesc_t CrFwAppSmTestCasesGetNormalEsm()
Return the dummy state machine to be embedded in state NORMAL of the Application State Machine...
Interface to the Application Reset Procedure.
void CrFwAppSmReset()
Reset the Application State Machine.
void CrFwAppSmExecute()
Execute the Application State Machine.
CrFwBool_t CrFwAppSmIsInStartUp()
Return true if the Application State Machine is in state START_UP.
CrFwBool_t CrFwAppSmTestCase1()
Check the creation and configuration of the Application State Machine.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Interface to the Application Start-Up Procedure.
FwPrDesc_t CrFwAppSmGetAppShutdownProc()
Retrieve the singleton instance of the Application Shutdown Procedure.
Definition of the utility functions for the CORDET Framework.
Interface to the Application Shutdown Procedure.
Definition of Application State Machine.
FwPrDesc_t CrFwAppSmGetAppStartUpProc()
Retrieve the singleton instance of the Application Start-Up Procedure.
FwSmDesc_t CrFwAppSmGetEsmStartUp()
Return the state machine embedded in state START-UP (or NULL if no state machine is embedded in START...
FwSmDesc_t CrFwAppSmGetEsmShutdown()
Return the state machine embedded in state SHUTDOWN (or NULL if no state machine is embedded in SHUTD...
FwSmDesc_t CrFwAppSmGetEsmNormal()
Return the state machine embedded in state NORMAL (or NULL if no state machine is embedded in NORMAL)...
FwPrDesc_t CrFwAppSmGetAppResetProc()
Retrieve the singleton instance of the Application Reset Procedure.
CrFwBool_t CrFwAppSmIsInNormal()
Return true if the Application State Machine is in state NORMAL.
void CrFwAppSmShutdown()
Shutdown the Application State Machine.
FwSmDesc_t CrFwAppSmMake()
Retrieve the singleton instance of the Application State Machine.
CrFwBool_t CrFwAppSmIsInShutdown()
Return true if the Application State Machine is in state SHUTDOWN.
FwSmDesc_t CrFwAppSmTestCasesGetResetEsm()
Return the dummy state machine to be embedded in state RESET 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...
CrFwBool_t CrFwAppSmIsInReset()
Return true if the Application State Machine is in state RESET.
void CrFwAppSmStart()
Start the Application State Machine.
FwSmDesc_t CrFwAppSmGetEsmReset()
Return the state machine embedded in state RESET (or NULL if no state machine is embedded in RESET)...