29 #include <CrFwCmpData.h> 32 #include "FwSmConstants.h" 33 #include "FwSmConfig.h" 35 #include "FwPrDCreate.h" 36 #include "FwPrConfig.h" 38 #include "FwPrConstants.h" 72 CrFwCounterU4_t N1, NFA, N2;
80 pckt = cmpSpecificData->
pckt;
Type for the Framework Component Data (FCD).
uint32_t CrPsRepNum_t
Type used for the Repetition Number of a packet.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
CrFwCounterU4_t i
CrPsCmd5EidStart function definitions.
Interface through which applications can initialize and execute framework PUS extension components...
Header file to define all user-configurable constants and types for the IASW Application.
uint16_t CrPsParamId_t
Type used for the Parameter ID of a packet.
Interface for accessing data pool items.
Definition of the OutFactory component.
CrFwPckt_t pckt
Packet holding the InCommand.
Header file to define all service and packet identifiers.
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 void setDplstNSampRepItem(int i, CrPsNumberU2_t lstNSampRep)
Sets the value of the i-th element in the datapool array lstNSampRep.
static CrPsSid_t getDpsidItem(int i)
Gets the value of the i-th element in the datapool array sid.
static void setDpsidItem(int i, CrPsSid_t sid)
Sets the value of the i-th element in the datapool array sid.
static void setDpisEnabledItem(int i, CrPsFlag_t isEnabled)
Sets the value of the i-th element in the datapool array isEnabled.
auxiliary Interface for accessing fields in packets of service "ServHk".
uint32_t CrPsCollectInterval_t
Type used for the Collection Interval of a packet.
CrFwCounterU4_t getHkCreateCmdN2(void *p, CrFwCounterU4_t NFA)
Get "N2" from "HkCreateCmd" packet.
static void setDplstSampleRepItem(int i, CrPsRepetition_t lstSampleRep)
Sets the value of the i-th element in the datapool array lstSampleRep.
FwPrDesc_t getPrDescHkCmd3s1Start()
Getter for HkCmd3s1Start procedure descriptor.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
void CrPsHkCreateCmdProgressAction(FwSmDesc_t smDesc)
Progress action of the Command (3,1) to Create a Housekeeping Report Structure in-coming command pack...
static void setDpnSimpleItem(int i, CrPsNumberU2_t nSimple)
Sets the value of the i-th element in the datapool array nSimple.
static CrPsCollectInterval_t getHkCreateCmdCollectionInterval(void *p)
Get "CollectionInterval" from "HkCreateCmd" packet.
static CrPsSid_t getHkCreateCmdRepStrucId(void *p)
Get "RepStrucId" from "HkCreateCmd" packet.
Command (3,1) to Create a Housekeeping Report Structure.
CrPsRepNum_t getHkCreateCmdSCSampleRepNumItem(void *p, CrFwCounterU4_t NFA)
Get "SCSampleRepNum" from "HkCreateCmd" packet.
#define HK_N_REP_DEF
Number of Report Definitions in the Report Definition List (maximum number of housekeeping/diagnostic...
CrPsParamId_t getHkCreateCmdN2ParamIdItem(void *p, CrFwCounterU4_t NFA, CrFwCounterU4_t N2)
Get "N2ParamID" from "HkCreateCmd" packet.
uint8_t CrPsSid_t
Type used for the Parameter Report Structure ID of a packet.
static void setDpperiodItem(int i, CrPsPeriod_t period)
Sets the value of the i-th element in the datapool array period.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
#define HK_MAX_N_GR
Maximum number of super-commutated groups in a house- keeping/diagnostic report.
Definition of the OutComponent Component of the framework.
void CrPsHkCreateCmdTerminationAction(FwSmDesc_t smDesc)
Termination Action of the Command (3,1) to Create a Housekeeping Report Structure in-coming command p...
static void setDplstIdItem(int i, CrPsParamId_t lstId)
Sets the value of the i-th element in the datapool array lstId.
Interface for accessing fields in packets of service "ServHk".
Type for the data describing an InCommand.
CrFwCounterU4_t getHkCreateCmdNFA(void *p)
Get "NFA" from "HkCreateCmd" packet.
CrPsParamId_t getHkCreateCmdN1ParamIdItem(void *p, CrFwCounterU4_t N)
Get "N1ParamId" arrayItem from "HkCreateCmd" packet.
Definition of the OutLoader component.
static CrFwCounterU4_t getHkCreateCmdN1(void *p)
Get "N1" from "HkCreateCmd" packet.
void CrPsHkCreateCmdStartAction(FwSmDesc_t smDesc)
Start action of the Command (3,1) to Create a Housekeeping Report Structure in-coming command packet...