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 startUpPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
Interface to the Application Reset Procedure.
FwPrDesc_t startUpPrDesc
The singleton instance of the Application Start-Up 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 CrFwAppSmGetAppStartUpProc()
Retrieve the singleton instance of the Application Start-Up Procedure.
FwPrBool_t CrFwWaitOnePrCycle(FwPrDesc_t prDesc)
Convenience function which returns true when a procedure has spent more than one cycle in the current...