22 #include "FwSmConstants.h" 23 #include "FwSmConfig.h" 25 #include "FwPrConfig.h" 27 #include "FwPrConstants.h" 44 FwSmDesc_t inRegistry1, inRegistry2;
49 if (inRegistry1 == NULL)
54 if (inRegistry1 != inRegistry2)
58 if (FwSmCheckRec(inRegistry1) != smSuccess)
93 if (inRegistry == NULL)
104 if (inFactory == NULL)
204 if (inRegistry == NULL)
215 if (inFactory == NULL)
275 FwSmStart(inRegistry);
296 if (inRegistry == NULL)
307 if (inFactory == NULL)
Type for the Framework Component Data (FCD).
Interface through which framework components access the current time.
void CrFwCmpInit(FwSmDesc_t smDesc)
Initialize a framework component.
Definition of the Framework Component Data (FCD) Type.
static CrFwCmpData_t inRegistryData
The data for the InRegistry singleton.
CrFwBool_t CrFwCmpIsInConfigured(FwSmDesc_t smDesc)
Return true if the argument component is in state CONFIGURED.
#define CR_FW_INREGISTRY_N
The maximum number of commands or reports which can be tracked by the InRegistry. ...
unsigned char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
CrFwBool_t CrFwCmpIsInCreated(FwSmDesc_t smDesc)
Return true if the argument component is in state CREATED.
CrFwPckt_t CrFwPcktMake(CrFwPcktLength_t pcktLength)
Make function for command or report packets.
static FwSmDesc_t inFactory
The singleton instance of the InFactory.
Incoming command or report is not tracked.
#define CR_FW_INREGISTRY_TYPE
Type identifier for the OutRegistry component.
Interface for creating and accessing a report or command packet.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
CrFwBool_t CrFwInRegistryTestCase1()
Test the creation and configuration of the InRegistry singleton component.
Definition of the InRegistry Component.
void CrFwInRegistryStartTracking(FwSmDesc_t inCmp)
Ask the InRegistry to start tracking an incoming command or report.
CrFwBool_t CrFwCmpIsInInitialized(FwSmDesc_t smDesc)
Return true if the argument component is in state INITIALIZED.
CrFwInstanceId_t instanceId
The instance identifier of the framework component.
Incoming command has been aborted.
Interface for reporting an error detected by a framework component.
FwSmDesc_t CrFwInRegistryMake()
Factory function for the singleton instance of the InRegistry.
User-modifiable parameters for the InRegistry component (see CrFwInRegistry.h).
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
CrFwBool_t CrFwInRegistryTestCase2()
Test the ability of the InRegistry to track the state of an incoming command or report.
void CrFwPcktSetServSubType(CrFwPckt_t pckt, CrFwServSubType_t servSubType)
Set the service sub-type of the command or report encapsulated in a packet.
Definition of the InFactory component.
Definition of the utility functions for the CORDET Framework.
void CrFwInRegistryUpdateState(FwSmDesc_t inCmp, CrFwInRegistryCmdRepState_t newState)
Ask the InRegistry to update the state of an incoming command or report.
void CrFwCmpReset(FwSmDesc_t smDesc)
Reset a framework component.
CrFwInRegistryCmdRepState_t CrFwInRegistryGetState(CrFwInstanceId_t cmdRepId)
Query the InRegistry for the state of an incoming command or report.
void CrFwPcktSetServType(CrFwPckt_t pckt, CrFwServType_t servType)
Set the service type of the command or report encapsulated in a packet.
CrFwBool_t CrFwInRegistryTestCase4()
Test the reset service of the InRegistry.
void CrFwInFactoryReleaseInRep(FwSmDesc_t inRepInstance)
Release function for an InReport.
Definition of Base Component.
CrFwBool_t CrFwCmpIsStarted(FwSmDesc_t smDesc)
Return true if the state machine of the argument component has been started.
CrFwBool_t CrFwInRegistryTestCase3()
Test the shutdown service of the InRegistry.
FwSmDesc_t CrFwInFactoryMake()
Factory function for the singleton instance of the InFactory.
The CORDET Framework defines an interface for generating error reports (see CrFwRepErr.h).
void CrFwInFactoryReleaseInCmd(FwSmDesc_t inCmdInstance)
Release function for an InCommand.
CrFwCounterU2_t CrFwPcktGetNOfAllocated()
Return the number of packets which are currently allocated.
FwSmDesc_t CrFwInFactoryMakeInRep(CrFwPckt_t pckt)
Make function for a component encapsulating an incoming report (InReport).
CrFwTypeId_t typeId
The type identifier of the framework component.
void CrFwCmpShutdown(FwSmDesc_t smDesc)
Shutdown a framework component.
void CrFwPcktSetDiscriminant(CrFwPckt_t pckt, CrFwDiscriminant_t discriminant)
Set the discriminant of the command or report encapsulated in a packet.
No application errors have been detected.
static FwSmDesc_t inRegistry
The InRegistry singleton.
FwSmDesc_t CrFwInFactoryMakeInCmd(CrFwPckt_t pckt)
Make function for a component encapsulating an incoming command (InCommand).
Declaration of the test cases for the InRegistry Component (see CrFwInRegistry.h).
CrFwAppErrCode_t CrFwGetAppErrCode()
Return the value of the application error code.
Incoming command or report is pending (waiting to be sent)
Incoming command or report has completed execution.