33 #include "FwPrConfig.h" 34 #include "FwPrDCreate.h" 35 #include "FwSmConfig.h" 36 #include "FwSmDCreate.h" 79 FwPrDesc_t resetPr, execPr, initPr;
111 FwPrSetData(inRegistryData.
initProc, &inRegistryData);
112 FwPrSetData(inRegistryData.
resetProc, &inRegistryData);
156 if (cmdRepState[i].instanceId == inCmpData->
instanceId) {
157 cmdRepState[i].
state = newState;
174 if (cmdRepState[i].instanceId == cmdRepId) {
175 return cmdRepState[i].
state;
177 i = (CR_FW_OUTREGISTRY_N-1);
static void InRegistryShutdownAction(FwSmDesc_t smDesc)
Shutdown action for InRegistry.
Type for the Framework Component Data (FCD).
unsigned short CrFwInstanceId_t
Type used for instance identifiers.
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
FwPrDesc_t CrFwCmpGetResetProc()
Retrieve the singleton instance of the CRP.
Definition of the Framework Component Data (FCD) Type.
static CrFwCmpData_t inRegistryData
The data for the InRegistry singleton.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
CrFwTrackingIndex_t trackingIndex
Index through which an InReport is tracked by the InRegistry (see CrFwInRegistry.h) ...
#define CR_FW_INREPORT_TYPE
Type identifier for the InReport component.
Incoming command or report is not tracked.
#define CR_FW_INREGISTRY_TYPE
Type identifier for the OutRegistry component.
Type for the data describing an InReport.
void CrFwBaseCmpDefShutdownAction(FwSmDesc_t smDesc)
Function which performs the Shutdown Action for the Base State Machine.
FwPrDesc_t resetProc
The Component Reset Procedure (CRP) (see CrFwResetProc.h).
Dummy Component Execution Procedure (CEP) for the Base Component.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
CrFwInRegistryCmdRepState_t
Enumerated type for the state of a command or report tracked by the InRegistry.
Definition of the InRegistry Component.
An instance of this type holds the information about an incoming command or report which is being tra...
No entry yet in InRegistry.
void CrFwInRegistryStartTracking(FwSmDesc_t inCmp)
Ask the InRegistry to start tracking an incoming command or report.
CrFwInstanceId_t instanceId
The instance identifier of the framework component.
CrFwInstanceId_t instanceId
The identifier of the incoming command or report.
FwSmDesc_t CrFwInRegistryMake()
Factory function for the singleton instance of the InRegistry.
static CrFwTrackedState_t cmdRepState[CR_FW_OUTREGISTRY_N]
Array to track the state of incoming commands or reports.
static CrFwInCmdData_t inCmdCmpSpecificData[CR_FW_INFACTORY_MAX_NOF_INCMD]
The component-specific data for the pre-allocated InCommand instances.
static void InRegistryConfigAction(FwPrDesc_t resetPr)
Configuration action for InRegistry.
User-modifiable parameters for the InRegistry component (see CrFwInRegistry.h).
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
static CrFwTrackingIndex_t cmdRepStateIndex
The index of the most recent entry in cmdRepState.
CrFwTrackingIndex_t trackingIndex
Index through which an InCommand is tracked by the InRegistry (see CrFwInRegistry.h)
void * cmpSpecificData
Derived data which are specific to each type of framework component.
void CrFwBaseCmpDefConfigAction(FwPrDesc_t prDesc)
Function which performs the default Configuration Action of the CRP.
Definition of the utility functions for the CORDET Framework.
FwPrDesc_t execProc
The Component Execution Procedure (CEP) (see CrFwBaseCmp.h).
FwSmDesc_t CrFwBaseCmpMake()
Retrieve the singleton instance of the Base State Machine.
static CrFwInstanceId_t cmdRepId
Command or Report Identifier.
void CrFwInRegistryUpdateState(FwSmDesc_t inCmp, CrFwInRegistryCmdRepState_t newState)
Ask the InRegistry to update the state of an incoming command or report.
FwPrDesc_t CrFwBaseCmpGetDummyExecProc()
Retrieve the singleton instance of the Dummy CEP.
CrFwInRegistryCmdRepState_t CrFwInRegistryGetState(CrFwInstanceId_t cmdRepId)
Query the InRegistry for the state of an incoming command or report.
Definition of Base Component.
#define CR_FW_OUTREGISTRY_N
The maximum number of out-going commands or reports which can be tracked by the OutRegistry.
static CrFwInRepData_t inRepCmpSpecificData[CR_FW_INFACTORY_MAX_NOF_INREP]
The component-specific data for the pre-allocated InReport instances.
Component Initialization Procedure (CIP) for the Base Component.
Definition of the OutComponent Component of the framework.
CrFwTypeId_t typeId
The type identifier of the framework component.
CrFwInRegistryCmdRepState_t state
The state of the incoming command or report.
Type for the data describing an InCommand.
unsigned short CrFwTrackingIndex_t
Type for the index used to track the state of a component.
static FwSmDesc_t inRegistry
The InRegistry singleton.
FwPrDesc_t CrFwCmpGetInitProc()
Retrieve the singleton instance of the CIP.
Incoming command or report is pending (waiting to be sent)
Component Reset Procedure (CRP) for the Base Component.
FwPrDesc_t initProc
The Component Initialization Procedure (CIP) (see CrFwInitProc.h).