31 #include "FwPrDCreate.h" 32 #include "FwPrConfig.h" 34 #include "FwPrConstants.h" 45 const FwPrCounterS1_t nOfANodes = 1;
46 const FwPrCounterS1_t nOfDNodes = 0;
47 const FwPrCounterS1_t nOfFlows = 2;
48 const FwPrCounterS1_t nOfActions = 1;
49 const FwPrCounterS1_t nOfGuards = 1;
50 const FwPrCounterS1_t N1 = 1;
56 shutdownPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
Interface to the Application Reset Procedure.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
Definition of the utility functions for the CORDET Framework.
void CrFwPrEmptyAction(FwPrDesc_t prDesc)
Convenience function to be used in a procedure as default implementation for an action which returns ...
FwPrDesc_t shutdownPrDesc
The singleton instance of the Application Shutdown Procedure.
FwPrDesc_t CrFwAppSmGetAppShutdownProc()
Retrieve the singleton instance of the Application Shutdown Procedure.
FwPrBool_t CrFwWaitOnePrCycle(FwPrDesc_t prDesc)
Convenience function which returns true when a procedure has spent more than one cycle in the current...