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;
64 prData = FwPrGetData(prDesc);
82 prData = FwPrGetData(prDesc);
108 pckt = cmpSpecificData->
pckt;
113 prData = FwPrGetData(prDesc);
115 smDesc = prData->smDesc;
118 inData = FwSmGetData(smDesc);
120 inPckt = inSpecificData->
pckt;
124 if (prData->ushortParam2 == 4)
138 if (prData->ushortParam2 == 8)
167 CrFwCounterU4_t nOfStartFailed, nOfTermFailed;
172 prData = FwPrGetData(prDesc);
204 prData = FwPrGetData(prDesc);
206 smDesc = prData->smDesc;
209 inData = FwSmGetData(smDesc);
211 inPckt = inSpecificData->
pckt;
Type for the Framework Component Data (FCD).
FwPrBool_t CrPsCmdVerFailG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N3.
CrFwDestSrc_t CrFwPcktGetSrc(CrFwPckt_t pckt)
Return the source of the command or report encapsulated in a packet.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
void setVerFailedTermRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerFailedTermRep" packet.
static CrPsFailData_t getDpverFailData()
Gets the value of the datapool item verFailData.
static void setDppcktIdTermFailed(CrFwTypeId_t pcktIdTermFailed)
Sets the value of the datapool item pcktIdTermFailed.
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.
void CrPsCmdVerFailN2(FwPrDesc_t prDesc)
Action for node N2.
static void setVerFailedStartRepFailureData(void *p, CrPsFailData_t FailureData)
Set "FailureData" in "VerFailedStartRep" packet.
Header file to define all service and packet identifiers.
static CrFwCounterU4_t getDpnOfTermFailed()
Gets the value of the datapool item nOfTermFailed.
CrFwPckt_t pckt
Packet to which the out-going command or report is serialized.
Interface for creating and accessing a report or command packet.
void CrPsCmdVerFailN6(FwPrDesc_t prDesc)
Action for node N6.
void CrFwOutLoaderLoad(FwSmDesc_t outCmp)
Load an OutComponent into its OutManager.
Interface for accessing fields in packets of service "ServReqVerif".
static void setVerFailedStartRepFailureCode(void *p, CrPsFailCode_t FailureCode)
Set "FailureCode" in "VerFailedStartRep" packet.
The Outfactory failed to make the component (see CrPsRepErr.h)
static CrFwCounterU4_t getDpnOfStartFailed()
Gets the value of the datapool item nOfStartFailed.
void CrPsCmdVerFailN3(FwPrDesc_t prDesc)
Action for node N3.
Interface for accessing data pool items.
CrPsRepErrCode_t
Identifier for the errors reported through the error reporting interface of CrFwRepErr.h.
#define CRPS_REQVERIF_TERM_FAIL
Subtype identifier of the Request Verification Termination Failed out-going report packet...
static void setDpnOfStartFailed(CrFwCounterU4_t nOfStartFailed)
Sets the value of the datapool item nOfStartFailed.
static void setVerFailedTermRepFailureData(void *p, CrPsFailData_t FailureData)
Set "FailureData" in "VerFailedTermRep" packet.
generic Interface for accessing fields in packets.
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.
void CrPsCmdVerFailN5(FwPrDesc_t prDesc)
Action for node N5.
#define CRPS_REQVERIF_START_FAIL
Subtype identifier of the Request Verification Start Failed out-going report packet.
static void setDpfailCodeStartFailed(CrPsFailCode_t failCodeStartFailed)
Sets the value of the datapool item failCodeStartFailed.
uint16_t CrPsFailCode_t
Type used for the Failure Code of a packet.
static void setDpfailCodeTermFailed(CrPsFailCode_t failCodeTermFailed)
Sets the value of the datapool item failCodeTermFailed.
void CrPsRepErr(CrPsRepErrCode_t errCode, CrFwServType_t repType, CrFwServSubType_t repSubType, CrFwDiscriminant_t repDiscriminant)
Report an error which has no parameters attached to it.
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).
void CrPsCmdVerFailN4(FwPrDesc_t prDesc)
Action for node N4.
Definition of the OutComponent Component of the framework.
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.
static FwSmDesc_t rep
CrPsCmdVerFail function definitions.
static void setDppcktIdStartFailed(CrFwTypeId_t pcktIdStartFailed)
Sets the value of the datapool item pcktIdStartFailed.
void setVerFailedStartRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerFailedStartRep" packet.
Type for the data describing an InCommand.
static void setVerFailedTermRepFailureCode(void *p, CrPsFailCode_t FailureCode)
Set "FailureCode" in "VerFailedTermRep" 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.
#define CRPS_REQVERIF
Type identifier of the Request Verification Service.
Create one instance of the CrPsCmdVerFail procedure.
static void setDpnOfTermFailed(CrFwCounterU4_t nOfTermFailed)
Sets the value of the datapool item nOfTermFailed.