31 #include "CrFwCmpData.h" 34 #include "FwSmConstants.h" 35 #include "FwSmConfig.h" 37 #include "FwPrDCreate.h" 38 #include "FwPrConfig.h" 40 #include "FwPrConstants.h" 61 CrPsNumberU4_t nOfDetectedEvts;
69 pckt = cmpSpecificData->
pckt;
105 for (evtSlot = 0; evtSlot <
EVT_N_EID; evtSlot++)
107 evtEid = evtEidArray[evtSlot];
113 if (evtSlot == EVT_N_EID)
139 CrPsNumberU4_t nOfGenEvtRep;
144 pckt = cmpSpecificData->
pckt;
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.
CrFwDiscriminant_t CrFwPcktGetDiscriminant(CrFwPckt_t pckt)
Return the discriminant of the command or report encapsulated in a packet.
static CrFwServSubType_t servSubType
Service sub-type.
#define CRPS_EVT_SEVLEVEL2_REP
Subtype identifier of the Event Report Severity Level 2 out-going report packet.
static CrPsNumberU4_t getDpnOfGenEvtRep_4()
Gets the value of the datapool item nOfGenEvtRep_4.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
Interface for accessing data pool items.
static void setDpnOfDetectedEvts_3(CrPsNumberU4_t nOfDetectedEvts_3)
Sets the value of the datapool item nOfDetectedEvts_3.
Definition of the OutFactory component.
Type for the data describing an OutComponent.
static void setDpnOfGenEvtRep_2(CrPsNumberU4_t nOfGenEvtRep_2)
Sets the value of the datapool item nOfGenEvtRep_2.
static void setDpnOfDetectedEvts_1(CrPsNumberU4_t nOfDetectedEvts_1)
Sets the value of the datapool item nOfDetectedEvts_1.
Header file to define all service and packet identifiers.
CrFwPckt_t pckt
Packet to which the out-going command or report is serialized.
Interface for creating and accessing a report or command packet.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
static CrPsNumberU4_t getDpnOfGenEvtRep_1()
Gets the value of the datapool item nOfGenEvtRep_1.
static CrPsNumberU4_t getDpnOfDetectedEvts_3()
Gets the value of the datapool item nOfDetectedEvts_3.
static CrPsNumberU4_t getDpnOfDetectedEvts_1()
Gets the value of the datapool item nOfDetectedEvts_1.
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.
static void setDplastEvtEid_1(CrPsEid_t lastEvtEid_1)
Sets the value of the datapool item lastEvtEid_1.
void CrPsEvtRepUpdateAction(FwSmDesc_t smDesc)
Update action of TM(5,1) EvtRep1.
static CrPsNumberU4_t getDpnOfDetectedEvts_2()
Gets the value of the datapool item nOfDetectedEvts_2.
CrFwTimeStamp_t CrFwOutCmpGetTimeStamp(FwSmDesc_t smDesc)
Return the time stamp attribute of the OutComponent.
static void setDpnOfGenEvtRep_1(CrPsNumberU4_t nOfGenEvtRep_1)
Sets the value of the datapool item nOfGenEvtRep_1.
CrFwBool_t CrPsEvtRepEnableCheck(FwSmDesc_t smDesc)
Enable check of TM(5,x) EvtRep.
static void setDplastEvtEid_3(CrPsEid_t lastEvtEid_3)
Sets the value of the datapool item lastEvtEid_3.
static CrPsNumberU4_t getDpnOfDetectedEvts_4()
Gets the value of the datapool item nOfDetectedEvts_4.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
Implementation of TM(5,x) EvtRep.
static void setDplastEvtTime_2(CrFwTimeStamp_t lastEvtTime_2)
Sets the value of the datapool item lastEvtTime_2.
static CrPsNumberU4_t getDpnOfGenEvtRep_3()
Gets the value of the datapool item nOfGenEvtRep_3.
static void setDplastEvtEid_4(CrPsEid_t lastEvtEid_4)
Sets the value of the datapool item lastEvtEid_4.
CrFwServSubType_t CrFwPcktGetServSubType(CrFwPckt_t pckt)
Return the service sub-type of the command or report encapsulated in a packet.
static void setDpnOfDetectedEvts_4(CrPsNumberU4_t nOfDetectedEvts_4)
Sets the value of the datapool item nOfDetectedEvts_4.
static void setDplastEvtEid_2(CrPsEid_t lastEvtEid_2)
Sets the value of the datapool item lastEvtEid_2.
static void setDplastEvtTime_4(CrFwTimeStamp_t lastEvtTime_4)
Sets the value of the datapool item lastEvtTime_4.
#define CRPS_EVT_SEVLEVEL1_REP
Subtype identifier of the Event Report Severity Level 1 out-going report packet.
static CrPsNumberU4_t getDpnOfGenEvtRep_2()
Gets the value of the datapool item nOfGenEvtRep_2.
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.
static void setDpnOfGenEvtRep_4(CrPsNumberU4_t nOfGenEvtRep_4)
Sets the value of the datapool item nOfGenEvtRep_4.
#define CRPS_EVT_SEVLEVEL3_REP
Subtype identifier of the Event Report Severity Level 3 out-going report packet.
static void setDpnOfDetectedEvts_2(CrPsNumberU4_t nOfDetectedEvts_2)
Sets the value of the datapool item nOfDetectedEvts_2.
static void setDplastEvtTime_1(CrFwTimeStamp_t lastEvtTime_1)
Sets the value of the datapool item lastEvtTime_1.
Definition of the OutLoader component.
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
static void setDpnOfGenEvtRep_3(CrPsNumberU4_t nOfGenEvtRep_3)
Sets the value of the datapool item nOfGenEvtRep_3.
static CrPsFlag_t getDpisEidEnabledItem(int i)
Gets the value of the i-th element in the datapool array isEidEnabled.
static void setDplastEvtTime_3(CrFwTimeStamp_t lastEvtTime_3)
Sets the value of the datapool item lastEvtTime_3.
unsigned int CrFwTimeStamp_t
Type used for the time stamp of a command or report.