23 #include "FwPrConstants.h" 24 #include "FwPrDCreate.h" 25 #include "FwPrConfig.h" 46 FwPrCounterS1_t nOfANodes = 2;
47 FwPrCounterS1_t nOfDNodes = 1;
48 FwPrCounterS1_t nOfFlows = 5;
49 FwPrCounterS1_t nOfActions = 2;
50 FwPrCounterS1_t nOfGuards = 1;
51 FwPrCounterS1_t N1 = 1;
52 FwPrCounterS1_t N2 = 2;
53 FwPrCounterS1_t D1 = 1;
59 resetPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
FwPrDesc_t CrFwCmpGetResetProc()
Retrieve the singleton instance of the CRP.
Definition of the Framework Component Data (FCD) Type.
void CrFwSetPrOutcome(FwPrDesc_t prDesc, CrFwOutcome_t outcome)
Convenience function to set the outcome field of the component data of a procedure.
void CrFwBaseCmpDefConfigCheck(FwPrDesc_t prDesc)
Function which performs the default Configuration Check of the CRP.
static FwPrDesc_t resetPrDesc
The singleton instance of the CRP.
void CrFwBaseCmpDefConfigAction(FwPrDesc_t prDesc)
Function which performs the default Configuration Action of the CRP.
Definition of the utility functions for the CORDET Framework.
Definition of Base Component.
FwPrBool_t CrFwIsPrOutcomeOne(FwPrDesc_t prDesc)
Convenience function to check whether the outcome of the last check or action is equal to 1 ("true" o...
Component Reset Procedure (CRP) for the Base Component.