28 #include "FwPrConstants.h" 29 #include "FwPrDCreate.h" 30 #include "FwPrConfig.h" 32 #include "FwSmConfig.h" 35 #include <CrFwCmpData.h> 49 static FwSmDesc_t
rep;
62 prData = FwPrGetData(prDesc);
104 pckt = cmpSpecificData->
pckt;
109 prData = FwPrGetData(prDesc);
112 smDesc = prData->smDesc;
115 inData = FwSmGetData(smDesc);
117 inPckt = inSpecificData->
pckt;
Type for the Framework Component Data (FCD).
CrFwDestSrc_t CrFwPcktGetSrc(CrFwPckt_t pckt)
Return the source of the command or report encapsulated in a packet.
#define CRPS_REQVERIF_ACC_SUCC
Subtype identifier of the Request Verification Acceptance Successful out-going report packet...
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
#define CRPS_REQVERIF_START_SUCC
Subtype identifier of the Request Verification Start Successful out-going report packet.
void setVerSuccessAccRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerSuccessAcc" packet.
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.
#define CRPS_TEST_AREYOUALIVE_CONNECTION_CMD
Subtype identifier of the Test AreYouAlive Connection in-coming command packet.
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.
#define CRPS_TEST
Type identifier of the Test Service.
#define CRPS_REQVERIF_TERM_SUCC
Subtype identifier of the Request Verification Termination Successful out-going report packet...
void CrPsCmdVerSuccN2(FwPrDesc_t prDesc)
Action for node N2.
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)
CrPsRepErrCode_t
Identifier for the errors reported through the error reporting interface of CrFwRepErr.h.
generic Interface for accessing fields in packets.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
void CrPsCmdVerSuccN3(FwPrDesc_t prDesc)
Action for node N3.
void CrPsCmdVerSuccN4(FwPrDesc_t prDesc)
Action for node N4.
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).
Definition of the OutComponent Component of the framework.
void setVerSuccessStartRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerSuccessStartRep" packet.
static CrPsRid_t getPcktRid(void *p)
Getter for the RequestId from a packet.
Create one instance of the CrPsCmdVerSucc procedure.
void CrFwOutCmpSetDest(FwSmDesc_t smDesc, CrFwDestSrc_t dest)
Set the destination of the OutComponent.
Type for the data describing an InCommand.
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.
void setVerSuccessTermRepRid(void *p, CrPsRid_t Rid)
Set "RequestId" in a "VerSuccessTermRep" packet.
#define CRPS_REQVERIF
Type identifier of the Request Verification Service.
FwPrBool_t CrPsCmdVerSuccG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N3.
static FwSmDesc_t rep
CrPsCmdVerSucc function definitions.