23 #include <CrFwCmpData.h> 25 #include <FwSmConfig.h> 26 #include "FwPrConfig.h" 51 prData.smDesc = smDesc;
52 prData.evtFlagPtr = evtFlag;
74 CrPsFlag_t evtEidFlag;
75 CrPsNumberU2_t nmbDisEvtLevel;
81 for (evtSlot = 0; evtSlot <
EVT_N_EID; evtSlot++)
83 evtEidFlag = evtFlag[evtSlot];
91 evtEidLevel = evtEidLevelArray[evtSlot];
Type for the Framework Component Data (FCD).
#define CRPS_EVT_SEVLEVEL4_REP
Subtype identifier of the Event Report Severity Level 4 out-going report packet.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
#define EVT_N_EID
Number of event identifiers supported by the application.
#define CRPS_EVT_SEVLEVEL2_REP
Subtype identifier of the Event Report Severity Level 2 out-going report packet.
Create one instance of the CrPsCmd5EidStart procedure.
Interface for accessing data pool items.
static void setDpnOfDisabledEid_3(CrPsNumberU2_t nOfDisabledEid_3)
Sets the value of the datapool item nOfDisabledEid_3.
void CrPsEvtEnableCmdStartAction(FwSmDesc_t smDesc)
Start action of TC(5,5) EvtEnableCmd.
Header file to define all service and packet identifiers.
FwPrDesc_t getPrDescEvtCmd5EidStart()
Getter for EvtCmd5EidStart procedure descriptor.
void CrPsEvtEnableCmdProgressAction(FwSmDesc_t smDesc)
Progress action of TC(5,5) EvtEnableCmd.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
static CrPsNumberU2_t getDpnOfDisabledEid_1()
Gets the value of the datapool item nOfDisabledEid_1.
static void setDpnOfDisabledEid_1(CrPsNumberU2_t nOfDisabledEid_1)
Sets the value of the datapool item nOfDisabledEid_1.
static void setDpisEidEnabledItem(int i, CrPsFlag_t isEidEnabled)
Sets the value of the i-th element in the datapool array isEidEnabled.
Implementation of TC(5,5) EvtEnableCmd.
Interface through which applications can initialize and execute framework PUS extension components...
static CrPsNumberU2_t getDpnOfDisabledEid_3()
Gets the value of the datapool item nOfDisabledEid_3.
static void setDpnOfDisabledEid_4(CrPsNumberU2_t nOfDisabledEid_4)
Sets the value of the datapool item nOfDisabledEid_4.
static CrPsNumberU2_t getDpnOfDisabledEid_2()
Gets the value of the datapool item nOfDisabledEid_2.
void CrPsEvtEnableCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(5,5) EvtEnableCmd.
#define CRPS_EVT_SEVLEVEL1_REP
Subtype identifier of the Event Report Severity Level 1 out-going report packet.
static void setDpnOfDisabledEid_2(CrPsNumberU2_t nOfDisabledEid_2)
Sets the value of the datapool item nOfDisabledEid_2.
static CrPsNumberU2_t getDpnOfDisabledEid_4()
Gets the value of the datapool item nOfDisabledEid_4.
#define EVT_EID_LEVEL
Array of EVT N EID elements holding the severity level of the event identifiers.
#define CRPS_EVT_SEVLEVEL3_REP
Subtype identifier of the Event Report Severity Level 3 out-going report packet.
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.