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.
FwPrDesc_t shutdownPrDesc
The singleton instance of the Application Shutdown Procedure.
FwPrDesc_t CrFwAppSmGetAppShutdownProc()
Retrieve the singleton instance of the Application Shutdown Procedure.
Header file to define all invariant publicly available constants and types for the CORDET Framework.
FwPrBool_t CrFwWaitOnePrCycle(FwPrDesc_t prDesc)
Convenience function which returns true when a procedure has spent more than one cycle in the current...
void CrFwPrEmptyAction(FwPrDesc_t prDesc)
Convenience function to be used in a procedure as default implementation for an action which returns ...
Definition of the utility functions for the CORDET Framework.