28 #include "FwPrConstants.h" 29 #include "FwPrDCreate.h" 30 #include "FwPrConfig.h" 32 #include "FwSmConfig.h" 35 #include <CrFwCmpData.h> 50 static FwSmDesc_t
rep;
103 pckt = cmpSpecificData->
pckt;
108 prData = FwPrGetData(prDesc);
110 smDesc = prData->smDesc;
115 inPckt = inSpecificData->
pckt;
145 CrFwCounterU4_t nOfPrgrFailed;
172 prData = FwPrGetData(prDesc);
173 smDesc = prData->smDesc;
178 inPckt = inSpecificData->
pckt;
181 PacketId = CrFwPcktGetApid(inPckt);
Type for the Framework Component Data (FCD).
void CrPsCmdPrgrFailN5(FwPrDesc_t prDesc)
Action for node N5.
CrFwDestSrc_t CrFwPcktGetSrc(CrFwPckt_t pckt)
Return the source of the command or report encapsulated in a packet.
static void setDpfailCodePrgrFailed(CrPsFailCode_t failCodePrgrFailed)
Sets the value of the datapool item failCodePrgrFailed.
#define CRPS_REQVERIF_PROG_FAIL
Subtype identifier of the Request Verification Progress Failed out-going report packet.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
void CrPsCmdPrgrFailN4(FwPrDesc_t prDesc)
Action for node N4.
FwPrBool_t CrPsCmdPrgrFailG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N3.
static CrPsFailData_t getDpverFailData()
Gets the value of the datapool item verFailData.
unsigned short int CrFwTypeId_t
Type used for the identifier of a component type.
Definition of the OutFactory component.
Type for the data describing an OutComponent.
CrFwPckt_t pckt
Packet holding the InCommand.
unsigned char CrFwDestSrc_t
Type used for the command or report destination and source.
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.
static void setVerFailedPrgrRepStepId(void *p, CrPsStepId_t StepId)
Set "StepId" in "VerFailedPrgrRep" packet.
static void setDpnOfPrgrFailed(CrFwCounterU4_t nOfPrgrFailed)
Sets the value of the datapool item nOfPrgrFailed.
static void setVerFailedPrgrRepFailureData(void *p, CrPsFailData_t FailureData)
Set "FailureData" in "VerFailedPrgrRep" packet.
uint32_t CrPsStepId_t
Type used for the Step ID of a packet.
void CrFwOutLoaderLoad(FwSmDesc_t outCmp)
Load an OutComponent into its OutManager.
Interface for accessing fields in packets of service "ServReqVerif".
The Outfactory failed to make the component (see CrPsRepErr.h)
Interface for accessing data pool items.
CrPsRepErrCode_t
Identifier for the errors reported through the error reporting interface of CrFwRepErr.h.
generic Interface for accessing fields in packets.
static void setVerFailedPrgrRepFailureCode(void *p, CrPsFailCode_t FailureCode)
Set "FailureCode" in "VerFailedPrgrRep" packet.
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.
static void setDpstepPrgrFailed(CrPsStepId_t stepPrgrFailed)
Sets the value of the datapool item stepPrgrFailed.
uint16_t CrPsFailCode_t
Type used for the Failure Code of a packet.
void CrPsRepErr(CrPsRepErrCode_t errCode, CrFwServType_t repType, CrFwServSubType_t repSubType, CrFwDiscriminant_t repDiscriminant)
Report an error which has no parameters attached to it.
Create one instance of the CrPsCmdPrgrFail procedure.
Interface for reporting an error detected by a PUS Extension component.
auxiliary Interface for accessing fields in packets of service "ServReqVerif".
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
Definition of the OutComponent Component of the framework.
void CrPsCmdPrgrFailN3(FwPrDesc_t prDesc)
Action for node N3.
static CrPsRid_t getPcktRid(void *p)
Getter for the RequestId from a packet.
void CrFwOutCmpSetDest(FwSmDesc_t smDesc, CrFwDestSrc_t dest)
Set the destination of the OutComponent.
Type for the data describing an InCommand.
static FwSmDesc_t rep
CrPsCmdPrgrFail function definitions.
static void setDppcktIdPrgrFailed(CrFwTypeId_t pcktIdPrgrFailed)
Sets the value of the datapool item pcktIdPrgrFailed.
void setVerFailedPrgrRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerFailedPrgrRep" packet.
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.
static CrFwCounterU4_t getDpnOfPrgrFailed()
Gets the value of the datapool item nOfPrgrFailed.
#define CRPS_REQVERIF
Type identifier of the Request Verification Service.
void CrPsCmdPrgrFailN2(FwPrDesc_t prDesc)
Action for node N2.
void CrPsCmdPrgrFailN6(FwPrDesc_t prDesc)
Action for node N6.