37 #include "FwSmConstants.h"
38 #include "FwSmDCreate.h"
39 #include "FwSmConfig.h"
41 #include "FwPrConstants.h"
42 #include "FwPrDCreate.h"
43 #include "FwPrConfig.h"
76 FwPrDesc_t resetPr, execPr, initPr;
122 FwSmDesc_t selectedOutManager;
void CrFwBaseCmpDefShutdownAction(FwSmDesc_t smDesc)
Function which performs the Shutdown Action for the Base State Machine.
FwSmDesc_t CrFwBaseCmpMake()
Retrieve the singleton instance of the Base State Machine.
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.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
#define CR_FW_OUTLOADER_TYPE
Type identifier for the OutLoader component.
FwPrDesc_t CrFwBaseCmpGetDummyExecProc()
Retrieve the singleton instance of the Dummy CEP.
Dummy Component Execution Procedure (CEP) for the Base Component.
FwPrDesc_t CrFwCmpGetInitProc()
Retrieve the singleton instance of the CIP.
void CrFwBaseCmpDefInitCheck(FwPrDesc_t prDesc)
Function which performs the default Initialization Check of the CIP.
void CrFwBaseCmpDefInitAction(FwPrDesc_t prDesc)
Function which performs the default Initialization Action of the CIP.
Component Initialization Procedure (CIP) for the Base Component.
static FwSmDesc_t outCmp[CR_FW_OUTFACTORY_MAX_NOF_OUTCMP]
The pre-allocated OutComponent instances.
FwSmDesc_t CrFwOutLoaderDefOutManagerSelect(FwSmDesc_t outCmp)
Default implementation of the OutManager Selection Operation.
static FwPrAction_t initCheck
The function implementing the Initialization Check.
static FwPrAction_t configAction
The function implementing the Configuration Action.
static FwSmDesc_t outLoader
Descriptor of the OutLoader Singleton.
static CrFwOutManagerSelect_t outManagerSelect
The function implementing the OutManager Selection Operation.
void CrFwOutLoadDefOutManagerActivate(FwSmDesc_t outManager)
Default implementation of the OutManager Activation Operation.
static FwPrAction_t initAction
The function implementing the Initialization Action.
FwSmDesc_t CrFwOutLoaderMake()
Factory function to retrieve the OutLoader State Machine instance.
static FwSmAction_t shutdownAction
The function implementing the Shutdown Action.
static CrFwOutManagerActivate_t outManagerActivate
The function implementing the OutManager Activation Operation.
static CrFwCmpData_t outLoaderData
The data structure for the OutLoader Singleton.
static FwPrAction_t configCheck
The function implementing the Configuration Check.
CrFwBool_t CrFwOutLoaderLoad(FwSmDesc_t outCmp)
Load an OutComponent into its OutManager.
Definition of the OutLoader component.
FwSmDesc_t(* CrFwOutManagerSelect_t)(FwSmDesc_t outCmp)
Type for a pointer to a function implementing the OutManager Selection Operation.
void(* CrFwOutManagerActivate_t)(FwSmDesc_t outManager)
Type for a pointer to a function implementing the OutManager Activation Operation.
User-modifiable parameters for the OutLoader component (see CrFwOutLoader.h).
#define CR_FW_OUTLOADER_SHUTDOWNACTION
The function implementing the Shutdown Action of the OutLoader component.
#define CR_FW_OUTLOADER_OUTMANAGER_ACTIVATE
The function implementing the OutManager Activation Operation for the OutLoader.
#define CR_FW_OUTLOADER_OUTMANAGER_SELECT
The function implementing the OutManager Selection Operation for the OutLoader.
#define CR_FW_OUTLOADER_CONFIGACTION
The function implementing the Configuration Action of the OutLoader component.
#define CR_FW_OUTLOADER_CONFIGCHECK
The function implementing the Configuration Check of the OutLoader component.
#define CR_FW_OUTLOADER_INITCHECK
The function implementing the Initialization Check of the OutLoader component.
#define CR_FW_OUTLOADER_INITACTION
The function implementing the Initialization Action of the OutLoader component.
CrFwBool_t CrFwOutManagerLoad(FwSmDesc_t smDesc, FwSmDesc_t outCmp)
Load a new OutComponent into the OutManager.
FwSmDesc_t CrFwOutManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th OutManager State Machine instance.
Definition of the OutManager component.
Interface for creating and accessing a report or command packet.
Definition and management of packet queues.
Interface for reporting an error detected by a framework component.
FwPrDesc_t CrFwCmpGetResetProc()
Retrieve the singleton instance of the CRP.
void CrFwBaseCmpDefConfigAction(FwPrDesc_t prDesc)
Function which performs the default Configuration Action of the CRP.
void CrFwBaseCmpDefConfigCheck(FwPrDesc_t prDesc)
Function which performs the default Configuration Check of the CRP.
Component Reset Procedure (CRP) for the Base Component.
Interface through which framework components access the current time.
Definition of the utility functions for the CORDET Framework.
Type for the Framework Component Data (FCD).
FwPrDesc_t initProc
The Component Initialization Procedure (CIP) (see CrFwInitProc.h).
CrFwInstanceId_t instanceId
The instance identifier of the framework component.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
FwPrDesc_t resetProc
The Component Reset Procedure (CRP) (see CrFwResetProc.h).
FwPrDesc_t execProc
The Component Execution Procedure (CEP) (see CrFwBaseCmp.h).
CrFwTypeId_t typeId
The type identifier of the framework component.