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