32 #include "FwPrConfig.h" 33 #include "FwPrDCreate.h" 34 #include "FwSmConfig.h" 35 #include "FwSmDCreate.h" unsigned char CrFwCounterU1_t
Type used for unsigned integers with a "short" range.
Type for the Framework Component Data (FCD).
CrFwCounterU1_t CrFwInRepSample1GetUpdateActionCounter()
Get the value of the Update Action Counter (see CrFwInRepSample1UpdateAction).
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
Definition of the Framework Component Data (FCD) Type.
unsigned char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
CrFwServType_t CrFwPcktGetServType(CrFwPckt_t pckt)
Return the service type of the command or report encapsulated in a packet.
Definition of the OutFactory component.
Interface for creating and accessing a report or command packet.
static CrFwServType_t servType
The InReport's type computed by the Validity Check.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Dummy Component Execution Procedure (CEP) for the Base Component.
unsigned char CrFwOutcome_t
Type used for the outcome of a check (see CrFwCmpData).
Header file to define all invariant publicly available constants and types for the CORDET Framework...
static CrFwCounterU1_t updateCounter
The Update Action Counter.
Definition of the InReport Component of the framework.
void CrFwInRepSample1SetUpdateActionOutcome(CrFwOutcome_t outcome)
Set the value of the Update Action Outcome (see CrFwInRepSample1UpdateAction).
static CrFwOutcome_t updateOutcome
The Update Action Outcome.
CrFwBool_t CrFwInRepSample1ValidityCheck(FwPrDesc_t prDesc)
Implementation of the Validity Check Operation for the Sample 1 InReport.
void CrFwInRepSample1UpdateAction(FwPrDesc_t prDesc)
Implementation of the Update Action Operation for the Sample 1 InReport.
Definition of Base Component.
static CrFwBool_t validityFlag
The Validity Flag.
Component Initialization Procedure (CIP) for the Base Component.
CrFwServType_t CrFwInRepSample1GetType()
Get the value of the InReport's type as it is computed by the Validity Check (see CrFwInRepSample1Val...
void CrFwInRepSample1SetValidityFlag(CrFwBool_t flag)
Set the value of the Validity Flag (see CrFwInRepSample1ValidityCheck).
unsigned char CrFwServType_t
Type used for the service type of a command or report.
Component Reset Procedure (CRP) for the Base Component.
CrFwPckt_t CrFwInRepGetPcktFromPrDesc(FwPrDesc_t prDesc)
Convenience function to extract the InReport's packet from the descriptor of the InReport's execution...