36 #include "FwPrDCreate.h" 37 #include "FwPrConfig.h" 39 #include "FwPrConstants.h" 50 const FwPrCounterS1_t nOfANodes = 1;
51 const FwPrCounterS1_t nOfDNodes = 0;
52 const FwPrCounterS1_t nOfFlows = 2;
53 const FwPrCounterS1_t nOfActions = 1;
54 const FwPrCounterS1_t nOfGuards = 1;
55 const FwPrCounterS1_t N1 = 1;
61 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...
FwPrDesc_t CrFwAppSmGetAppShutdownProc()
Retrieve the singleton instance of the Application Shutdown Procedure.
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.
FwPrBool_t CrFwWaitOnePrCycle(FwPrDesc_t prDesc)
Convenience function which returns true when a procedure has spent more than one cycle in the current...