27 #include "FwPrConstants.h"
28 #include "FwPrDCreate.h"
29 #include "FwPrConfig.h"
49 const FwPrCounterS1_t nOfANodes = 2;
50 const FwPrCounterS1_t nOfDNodes = 1;
51 const FwPrCounterS1_t nOfFlows = 5;
52 const FwPrCounterS1_t nOfActions = 2;
53 const FwPrCounterS1_t nOfGuards = 1;
54 const FwPrCounterS1_t N1 = 1;
55 const FwPrCounterS1_t N2 = 2;
56 const FwPrCounterS1_t D1 = 1;
62 initPrDesc = FwPrCreate(nOfANodes, nOfDNodes, nOfFlows, nOfActions, nOfGuards);
Definition of Base Component.
Definition of the Framework Component Data (FCD) Type.
static FwPrDesc_t initPrDesc
The singleton instance of the CIP.
FwPrDesc_t CrFwCmpGetInitProc()
Retrieve the singleton instance of the CIP.
void CrFwBaseCmpDefInitCheck(FwPrDesc_t prDesc)
Function which performs the default Initialization Check of the CIP.
void CrFwBaseCmpDefInitAction(FwPrDesc_t prDesc)
Function which performs the default Initialization Action of the CIP.
Component Initialization Procedure (CIP) for the Base Component.
void CrFwSetPrOutcome(FwPrDesc_t prDesc, CrFwOutcome_t outcome)
Convenience function to set the outcome field of the component data of a procedure.
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...
Definition of the utility functions for the CORDET Framework.