33 #include "CrFwCmpData.h" 36 #include "FwSmConstants.h" 37 #include "FwSmConfig.h" 39 #include "FwPrDCreate.h" 40 #include "FwPrConfig.h" 42 #include "FwPrConstants.h" 54 CrFwCounterU4_t
i, iEidFail;
74 CrPsFlag_t* evtFlagPtr;
83 prDataPtr = FwPrGetData(prDesc);
86 evtFlagPtr = (CrPsFlag_t*)prDataPtr->evtFlagPtr;
89 *(evtFlagPtr + j) = 0;
93 smDesc = prDataPtr->smDesc;
98 pckt = cmpSpecificData->
pckt;
122 for (evtSlot = 0; evtSlot <
EVT_N_EID; evtSlot++)
124 evtEid = evtEidArray[evtSlot];
126 if (currentEid == evtEid)
130 currentEvtSlot = evtSlot;
132 if (evtSlot < EVT_N_EID)
135 *(evtFlagPtr + currentEvtSlot) = 1;
166 prDataPtr = FwPrGetData(prDesc);
167 smDesc = prDataPtr->smDesc;
186 CrPsFlag_t* evtFlagPtr;
193 prDataPtr = FwPrGetData(prDesc);
194 evtFlagPtr = prDataPtr->evtFlagPtr;
195 smDesc = prDataPtr->smDesc;
200 pckt = cmpSpecificData->
pckt;
224 for (evtSlot = 0; evtSlot <
EVT_N_EID; evtSlot++)
226 evtEid = evtEidArray[evtSlot];
228 if (currentEid == evtEid)
232 currentEvtSlot = evtSlot;
234 if (evtSlot < EVT_N_EID)
237 *(evtFlagPtr + currentEvtSlot) = 1;
253 prDataPtr = FwPrGetData(prDesc);
254 smDesc = prDataPtr->smDesc;
259 FwSmSetData(smDesc, cmpData);
275 prDataPtr = FwPrGetData(prDesc);
276 smDesc = prDataPtr->smDesc;
281 FwSmSetData(smDesc, cmpData);
334 if (iEidFail == iMax)
Type for the Framework Component Data (FCD).
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
CrFwCounterU4_t i
CrPsCmd5EidStart function definitions.
#define EVT_N_EID
Number of event identifiers supported by the application.
static CrPsNumberU4_t getEvtEnableCmdN(void *p)
Get "N" from "EvtEnableCmd" packet.
static CrFwServSubType_t servSubType
Service sub-type.
Create one instance of the CrPsCmd5EidStart procedure.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
Header file to define all user-configurable constants and types for the IASW Application.
void CrPsCmd5EidStartN1(FwPrDesc_t prDesc)
Action for node N1.
Definition of the OutFactory component.
CrFwPckt_t pckt
Packet holding the InCommand.
#define CRPS_EVT_ENABLE_CMD
Subtype identifier of the Event Report Enable in-coming command packet.
Header file to define all service and packet identifiers.
Interface for creating and accessing a report or command packet.
CrPsEid_t getEvtDisableCmdEventIdItem(void *p, CrPsNumberU4_t N)
Get "EventId" arrayItem from "EvtDisableCmd" packet.
void CrPsCmd5EidStartN4(FwPrDesc_t prDesc)
Action for node N4.
static void setDpverFailData(CrPsFailData_t verFailData)
Sets the value of the datapool item verFailData.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
uint16_t CrPsEid_t
Type used for Event Id of a Packet.
#define VER_EID_START_FD
Outcome Failure Codes for Service 5 (Event Report)
void CrPsCmd5EidStartN8(FwPrDesc_t prDesc)
Action for node N8.
void CrPsCmd5EidStartN2(FwPrDesc_t prDesc)
Action for node N2.
CrPsEid_t getEvtEnableCmdEventIdItem(void *p, CrPsNumberU4_t N)
Get "EventId" arrayItem from "EvtEnableCmd" packet.
Interface for accessing data pool items.
uint32_t CrPsFailData_t
Type used for the Failure Data of a packet.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
#define CRPS_REQVERIF_START_FAIL
Subtype identifier of the Request Verification Start Failed out-going report packet.
void CrPsCmd5EidStartN7(FwPrDesc_t prDesc)
Action for node N7.
FwPrBool_t CrPsCmd5EidStartG2(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION3 to DECISION4.
CrFwServSubType_t CrFwPcktGetServSubType(CrFwPckt_t pckt)
Return the service sub-type of the command or report encapsulated in a packet.
Interface for accessing fields in packets of service "ServEvt".
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
Definition of the OutComponent Component of the framework.
#define EVT_EID
Array of EVT_N_EID elements holding the event identifiers in ascending order.
#define VER_ILL_EID
Failure Codes of Service 5 (Event Report) for Service 1 (Request Verification)
Interface through which applications can initialize and execute framework PUS extension components...
Type for the data describing an InCommand.
auxiliary Interface for accessing fields in packets of service "ServEvt".
#define CRPS_EVT_DISABLE_CMD
Subtype identifier of the Event Report Disable in-coming command packet.
Definition of the OutLoader component.
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
FwPrBool_t CrPsCmd5EidStartG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION1 to N2.
FwPrBool_t CrPsCmd5EidStartG3(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION4 to N8.
static CrPsNumberU4_t getEvtDisableCmdN(void *p)
Get "N" from "EvtDisableCmd" packet.
void SendReqVerifCmdFailRep(FwSmDesc_t smDesc, uint16_t reqVerifCmdFailType, CrPsFailCode_t FailureCode)
Generate a Request Verification Start/Termination Failed out-going report.
void CrPsCmd5EidStartN3(FwPrDesc_t prDesc)
Action for node N3.