22 #include "FwSmConstants.h" 23 #include "FwSmConfig.h" 25 #include "FwPrConfig.h" 27 #include "FwPrConstants.h" 28 #include "FwPrDCreate.h" 30 #include "CrFwCmpData.h" 46 #include "config/CrFwOutFactoryUserPar.h" 83 if (outFactory == NULL)
85 if (FwSmCheckRec(outFactory) != smSuccess)
89 if (inFactory == NULL)
91 if (FwSmCheckRec(inFactory) != smSuccess)
95 if (outManager == NULL)
97 if (FwSmCheckRec(outManager) != smSuccess)
317 outCmp = outManagerCSData->
pocl[0];
433 outCmp = outManagerCSData->
pocl[0];
void CrPsEvtDisableCmdProgressAction(FwSmDesc_t smDesc)
Progress action of TC(5,6) EvtDisableCmd.
Type for the Framework Component Data (FCD).
Interface through which framework components access the current time.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
Definition of the InLoader component.
CrFwCounterU4_t i
CrPsCmd5EidStart function definitions.
#define CR_FW_OUTCMP_TYPE
Type identifier for the OutComponent components.
CrFwTypeId_t CrFwCmpGetTypeId(FwSmDesc_t smDesc)
Return the type identifier of the argument component.
void CrFwCmpInit(FwSmDesc_t smDesc)
Initialize a framework component.
static CrPsNumberU4_t getDpnOfGenEvtRep_4()
Gets the value of the datapool item nOfGenEvtRep_4.
void CrFwPcktSetServType(CrFwPckt_t pckt, CrFwServType_t servType)
Set the service type of the command or report encapsulated in a packet.
void CrPsEvtRepDisabledCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(5,7) EvtRepDisabledCmd.
static FwSmDesc_t outCmp[CR_FW_OUTFACTORY_MAX_NOF_OUTCMP]
The pre-allocated OutComponent instances.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
CrFwBool_t CrFwCmpIsInConfigured(FwSmDesc_t smDesc)
Return true if the argument component is in state CONFIGURED.
void CrFwSetAppErrCode(CrFwAppErrCode_t errCode)
Set the value of the application error code (see CrFwGetAppErrCode).
Implementation of TC(5,7) EvtRepDisabledCmd.
void setEvtEnableCmdEventIdItem(void *p, CrPsNumberU4_t N, CrPsEid_t src)
Set "EventId" arrayItem in "EvtEnableCmd" packet.
static FwSmDesc_t inFactory
The singleton instance of the InFactory.
void CrFwPcktSetSrc(CrFwPckt_t pckt, CrFwDestSrc_t src)
Set the source of the command or report encapsulated in a packet.
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.
#define CR_FW_OUTFACTORY_MAX_NOF_OUTCMP
The maximum number of OutComponents which may be allocated at any one time.
Definition of the OutFactory component.
An OutComponent allocation request has failed (see CrFwOutFactoryMakeOutCmp).
CrFwBool_t CrPsEvtTestCase1()
Test the Service 5 EventReporting Service.
CrFwPckt_t CrFwPcktMake(CrFwPcktLength_t pcktLength)
Make function for command or report packets.
static CrFwCmpData_t outManagerData[CR_FW_NOF_OUTMANAGER]
The data structures for the OutManager State Machines and their Procedures.
FwSmDesc_t CrFwOutManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th OutManager State Machine instance.
Interface for creating and accessing a report or command packet.
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").
CrFwServType_t CrFwOutCmpGetServType(FwSmDesc_t smDesc)
Return the type of the OutComponent.
static CrPsNumberU4_t getDpnOfGenEvtRep_1()
Gets the value of the datapool item nOfGenEvtRep_1.
An OutComponent release request has encountered an error (see CrFwOutFactoryReleaseOutCmp).
static void setEvtDisableCmdN(void *p, CrPsNumberU4_t N)
Set "N" in "EvtDisableCmd" packet.
static CrPsNumberU4_t getDpnOfDetectedEvts_3()
Gets the value of the datapool item nOfDetectedEvts_3.
static CrPsNumberU2_t getDpnOfDisabledEid_1()
Gets the value of the datapool item nOfDisabledEid_1.
static CrPsNumberU4_t getDpnOfDetectedEvts_1()
Gets the value of the datapool item nOfDetectedEvts_1.
Definition of the OutRegistry Component.
void CrFwPcktSetCmdRepType(CrFwPckt_t pckt, CrFwCmdRepType_t type)
Set the type of a packet (either a command packet or a report packet).
void CrFwPcktSetSeqCnt(CrFwPckt_t pckt, CrFwSeqCnt_t seqCnt)
Set the sequence counter of the command or report encapsulated in a packet.
static void setDpnOfDisabledEid_1(CrPsNumberU2_t nOfDisabledEid_1)
Sets the value of the datapool item nOfDisabledEid_1.
int CrPsInitServEvt()
Initialization of CORDET Framework PUS Extension components.
void CrPsEvtRepUpdateAction(FwSmDesc_t smDesc)
Update action of TM(5,1) EvtRep1.
static FwSmDesc_t outFactory
The singleton instance of the OutFactory.
#define VER_EID_START_FD
Outcome Failure Codes for Service 5 (Event Report)
Interface for reporting an error detected by a framework component.
Implementation of TC(5,6) EvtDisableCmd.
static CrPsNumberU4_t getDpnOfDetectedEvts_2()
Gets the value of the datapool item nOfDetectedEvts_2.
void CrFwPcktSetGroup(CrFwPckt_t pckt, CrFwGroup_t group)
Set the group of the command/report encapsulated in a packet.
CrFwServType_t CrFwOutCmpGetServSubType(FwSmDesc_t smDesc)
Return the sub-type of the OutComponent.
CrFwBool_t CrPsEvtRepEnableCheck(FwSmDesc_t smDesc)
Enable check of TM(5,x) EvtRep.
void CrPsEvtRepDisabledCmdStartAction(FwSmDesc_t smDesc)
Start action of TC(5,7) EvtRepDisabledCmd.
Implementation of TC(5,5) EvtEnableCmd.
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.
void CrFwPcktSetAckLevel(CrFwPckt_t pckt, CrFwBool_t accept, CrFwBool_t start, CrFwBool_t progress, CrFwBool_t term)
Set the acknowledge level for the command encapsulated in a packet.
Definition of the InFactory component.
void CrPsEvtRepDisabledCmdProgressAction(FwSmDesc_t smDesc)
Progress action of TC(5,7) EvtRepDisabledCmd.
Interface through which applications can initialize and execute framework PUS extension components...
Definition of the utility functions for the CORDET Framework.
Implementation of TM(5,x) EvtRep.
static CrPsNumberU2_t getDpnOfDisabledEid_3()
Gets the value of the datapool item nOfDisabledEid_3.
void CrFwPcktSetServSubType(CrFwPckt_t pckt, CrFwServSubType_t servSubType)
Set the service sub-type of the command or report encapsulated in a packet.
static CrPsNumberU4_t getDpnOfGenEvtRep_3()
Gets the value of the datapool item nOfGenEvtRep_3.
void setEvtDisableCmdEventIdItem(void *p, CrPsNumberU4_t N, CrPsEid_t src)
Set "EventId" arrayItem in "EvtDisableCmd" packet.
void CrFwCmpReset(FwSmDesc_t smDesc)
Reset a framework component.
FwSmDesc_t * pocl
Pending OutComponent List (POCL) for the OutManager.
void CrPsEvtDisableCmdStartAction(FwSmDesc_t smDesc)
Start action of TC(5,6) EvtDisableCmd.
static void setDpnOfDisabledEid_4(CrPsNumberU2_t nOfDisabledEid_4)
Sets the value of the datapool item nOfDisabledEid_4.
void CrPsExecServEvt()
Execution of CORDET Framework PUS Extension components.
void CrPsEvtRepDisabledRepUpdateAction(FwSmDesc_t smDesc)
Update action of TM(5,8) EvtRepDisabledRep.
CrFwDiscriminant_t CrFwOutCmpGetDiscriminant(FwSmDesc_t smDesc)
Return the discriminant of the OutComponent.
static CrPsNumberU2_t getDpnOfDisabledEid_2()
Gets the value of the datapool item nOfDisabledEid_2.
CrFwCounterU2_t CrFwPcktGetNOfAllocated()
Return the number of packets which are currently allocated.
Interface for accessing fields in packets of service "ServEvt".
void CrPsEvtEnableCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(5,5) EvtEnableCmd.
CrFwOutFactoryPoolIndex_t CrFwOutFactoryGetNOfAllocatedOutCmp()
Return the number of OutComponents which are currently allocated.
void CrFwPcktSetDest(CrFwPckt_t pckt, CrFwDestSrc_t dest)
Set the destination of the command or report encapsulated in a packet.
Definition of Base Component.
FwSmDesc_t CrFwInFactoryMake()
Factory function for the singleton instance of the InFactory.
void CrFwOutFactoryReleaseOutCmp(FwSmDesc_t outCmpInstance)
Release function for an OutComponent.
void CrFwInFactoryReleaseInCmd(FwSmDesc_t inCmdInstance)
Release function for an InCommand.
static CrPsNumberU4_t getDpnOfGenEvtRep_2()
Gets the value of the datapool item nOfGenEvtRep_2.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
static void setDpnOfDisabledEid_2(CrPsNumberU2_t nOfDisabledEid_2)
Sets the value of the datapool item nOfDisabledEid_2.
FwSmDesc_t CrFwOutFactoryMake()
Factory function for the singleton instance of the OutFactory.
static CrPsNumberU2_t getDpnOfDisabledEid_4()
Gets the value of the datapool item nOfDisabledEid_4.
#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...
void CrPsEvtDisableCmdTerminationAction(FwSmDesc_t smDesc)
Termination action of TC(5,6) EvtDisableCmd.
auxiliary Interface for accessing fields in packets of service "ServEvt".
CrFwCounterU1_t CrFwOutManagerGetNOfPendingOutCmp(FwSmDesc_t smDesc)
Return the number of OutComponents currently in the POCL of an OutManager.
CrFwInFactoryPoolIndex_t CrFwInFactoryGetNOfAllocatedInCmd()
Return the number of InCommands which are currently allocated.
No application errors have been detected.
static FwSmDesc_t inCmd[CR_FW_INFACTORY_MAX_NOF_INCMD]
The pre-allocated InCommand instances.
Definition of the OutLoader component.
FwSmDesc_t CrFwOutFactoryMakeOutCmp(CrFwServType_t type, CrFwServSubType_t subType, CrFwDiscriminant_t discriminant, CrFwPcktLength_t length)
Make function for an OutComponent.
FwSmDesc_t CrFwInFactoryMakeInCmd(CrFwPckt_t pckt)
Make function for a component encapsulating an incoming command (InCommand).
CrFwAppErrCode_t CrFwGetAppErrCode()
Return the value of the application error code.
void CrFwPcktSetDiscriminant(CrFwPckt_t pckt, CrFwDiscriminant_t discriminant)
Set the discriminant of the command or report encapsulated in a packet.
static void setEvtEnableCmdN(void *p, CrPsNumberU4_t N)
Set "N" in "EvtEnableCmd" packet.
Implementation of TM(5,8) EvtRepDisabledRep.
Definition of the InCommand Component of the framework.
Type for the data describing an OutManager.