27 #include "FwPrDCreate.h" 28 #include "FwPrConfig.h" 47 const FwPrCounterU2_t DECISION2 = 1;
48 const FwPrCounterU2_t N_OUT_OF_DECISION2 = 2;
51 FwPrDesc_t prDesc = FwPrCreate(
60 FwPrSetData(prDesc, prData);
62 FwPrAddDecisionNode(prDesc, DECISION2, N_OUT_OF_DECISION2);
69 FwPrAddFlowDecToAct(prDesc, DECISION2, CrPsCmdVerFail_N3, &
CrPsCmdVerFailG1);
71 FwPrAddFlowActToFin(prDesc, CrPsCmdVerFail_N3, NULL);
72 FwPrAddFlowActToAct(prDesc, CrPsCmdVerFail_N4, CrPsCmdVerFail_N5, NULL);
73 FwPrAddFlowActToAct(prDesc, CrPsCmdVerFail_N5, CrPsCmdVerFail_N6, NULL);
74 FwPrAddFlowActToFin(prDesc, CrPsCmdVerFail_N6, NULL);
FwPrBool_t CrPsCmdVerFailG1E(FwPrDesc_t prDesc)
FW Profile function definitions.
void CrPsCmdVerFailN4(FwPrDesc_t prDesc)
Action for node N4.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
FwPrDesc_t CrPsCmdVerFailCreate(void *prData)
Create a new procedure descriptor.
void CrPsCmdVerFailN5(FwPrDesc_t prDesc)
Action for node N5.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
void CrPsCmdVerFailN2(FwPrDesc_t prDesc)
Action for node N2.
void CrPsCmdVerFailN6(FwPrDesc_t prDesc)
Action for node N6.
void CrPsCmdVerFailN3(FwPrDesc_t prDesc)
Action for node N3.
FwPrBool_t CrPsCmdVerFailG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N3.
#define CrPsCmdVerFail_N2
Make sure to include this header file only once.
Create one instance of the CrPsCmdVerFail procedure.