33 #include "FwPrConfig.h"
34 #include "FwPrDCreate.h"
35 #include "FwSmConfig.h"
36 #include "FwSmDCreate.h"
79 FwPrDesc_t resetPr, execPr, initPr;
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.
#define CR_FW_INREPORT_TYPE
Type identifier for the InReport component.
#define CR_FW_INREGISTRY_TYPE
Type identifier for the OutRegistry component.
FwPrDesc_t CrFwBaseCmpGetDummyExecProc()
Retrieve the singleton instance of the Dummy CEP.
Dummy Component Execution Procedure (CEP) for the Base Component.
static CrFwInCmdData_t inCmdCmpSpecificData[CR_FW_INFACTORY_MAX_NOF_INCMD]
The component-specific data for the pre-allocated InCommand instances.
static CrFwInRepData_t inRepCmpSpecificData[CR_FW_INFACTORY_MAX_NOF_INREP]
The component-specific data for the pre-allocated InReport instances.
static CrFwCmpData_t inRegistryData
The data for the InRegistry singleton.
void CrFwInRegistryUpdateState(FwSmDesc_t inCmp, CrFwInRegistryCmdRepState_t newState)
Ask the InRegistry to update the state of an incoming command or report.
static void InRegistryShutdownAction(FwSmDesc_t smDesc)
Shutdown action for InRegistry.
static void InRegistryConfigAction(FwPrDesc_t resetPr)
Configuration action for InRegistry.
FwSmDesc_t CrFwInRegistryMake()
Factory function for the singleton instance of the InRegistry.
static FwSmDesc_t inRegistry
The InRegistry singleton.
void CrFwInRegistryStartTracking(FwSmDesc_t inCmp)
Ask the InRegistry to start tracking an incoming command or report.
static CrFwTrackedState_t cmdRepState[CR_FW_INREGISTRY_N]
Array to track the state of incoming commands or reports.
CrFwInRegistryCmdRepState_t CrFwInRegistryGetState(CrFwInstanceId_t cmdRepId)
Query the InRegistry for the state of an incoming command or report.
static CrFwTrackingIndex_t cmdRepStateIndex
The index of the most recent entry in cmdRepState.
Definition of the InRegistry Component.
CrFwInRegistryCmdRepState_t
Enumerated type for the state of a command or report tracked by the InRegistry.
@ crInRegistryNotTracked
Incoming command or report is not tracked.
@ crInRegistryNoEntry
No entry yet in InRegistry.
@ crInRegistryPending
Incoming command or report is pending (waiting to be sent)
User-modifiable parameters for the InRegistry component (see CrFwInRegistry.h).
#define CR_FW_INREGISTRY_N
The maximum number of commands or reports which can be tracked by the InRegistry.
static CrFwInstanceId_t cmdRepId
Command or Report Identifier.
FwPrDesc_t CrFwCmpGetInitProc()
Retrieve the singleton instance of the CIP.
Component Initialization Procedure (CIP) for the Base Component.
Definition of the OutComponent Component of the framework.
#define CR_FW_OUTREGISTRY_N
The maximum number of out-going commands or reports which can be tracked by the OutRegistry.
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.
Component Reset Procedure (CRP) for the Base Component.
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
unsigned short CrFwTrackingIndex_t
Type for the index used to track the state of a component.
unsigned short CrFwInstanceId_t
Type used for instance identifiers.
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).
void * cmpSpecificData
Derived data which are specific to each type of framework component.
CrFwTypeId_t typeId
The type identifier of the framework component.
An instance of this type holds the information about an incoming command or report which is being tra...
CrFwInstanceId_t instanceId
The identifier of the incoming command or report.
CrFwInRegistryCmdRepState_t state
The state of the incoming command or report.
Type for the data describing an InCommand.
CrFwTrackingIndex_t trackingIndex
Index through which an InCommand is tracked by the InRegistry (see CrFwInRegistry....
Type for the data describing an InReport.
CrFwTrackingIndex_t trackingIndex
Index through which an InReport is tracked by the InRegistry (see CrFwInRegistry.h)