static CrFwServDesc_t servDesc[CR_FW_OUTREGISTRY_NSERV]
Array of service descriptors.
static CrFwInCmdKindDesc_t inCmdKindDesc[CR_FW_INCMD_NKINDS]
Array of InCommand descriptors.
static CrFwInRepKindDesc_t inRepKindDesc[CR_FW_INREP_NKINDS]
Array of InReport service descriptors.
CrFwBool_t CrFwAuxInStreamConfigCheck()
Check the configuration of the InStream component.
CrFwBool_t CrFwAuxOutRegistryConfigCheck()
Check the configuration of the OutRegistry component.
CrFwBool_t CrFwAuxOutStreamConfigCheck()
Check the configuration of the OutStream component.
static CrFwCounterU1_t outManagerPoclSize[CR_FW_NOF_OUTMANAGER]
The sizes of the POCL in the OutManager components.
CrFwConfigCheckOutcome_t CrFwAuxConfigCheck()
Check the configuration of an application.
static CrFwCounterU1_t inStreamPcktQueueSize[CR_FW_NOF_INSTREAM]
The sizes of the packet queues in the InStream components.
static CrFwCounterU1_t outStreamPcktQueueSize[CR_FW_NOF_OUTSTREAM]
The sizes of the packet queues in the OutStream components.
static CrFwDestSrc_t inStreamSrc[CR_FW_INSTREAM_NOF_SRCS][2]
The (source, inStream) pairs.
static CrFwDestSrc_t inManagerPcrlSize[CR_FW_NOF_INMANAGER]
The InManager packet queue sizes.
CrFwBool_t CrFwAuxInFactoryInRepConfigCheck()
Check the configuration of the InReport part of the InFactory component.
CrFwBool_t CrFwAuxInManagerConfigCheck()
Check the configuration of the InManager component.
CrFwBool_t CrFwAuxOutManagerConfigCheck()
Check the configuration of the OutManager component.
CrFwBool_t CrFwAuxOutFactoryConfigCheck()
Check the configuration of the OutFactory component.
static CrFwDestSrc_t outStreamDest[CR_FW_OUTSTREAM_NOF_DEST][2]
The (destination, outStream) pairs.
CrFwBool_t CrFwAuxInFactoryInCmdConfigCheck()
Check the configuration of the InCommand part of the InFactory component.
static CrFwOutCmpKindDesc_t outCmpKindDesc[CR_FW_OUTCMP_NKINDS]
Array of OutComponent descriptors.
CrFwBool_t CrFwAuxInRegistryConfigCheck()
Check the configuration of the InRegistry component.
Auxiliary module to check the static part of an application's configuration.
CrFwConfigCheckOutcome_t
Type for the outcome of the consistency check on the configuration parameters.
@ crOutManagerConfigParInconsistent
OutManager configuration parameters are inconsistent (see CrFwAuxOutManagerConfigCheck....
@ crConsistencyCheckSuccess
All configuration consistency checks have been passed
@ crInRegistryConfigParInconsistent
InRegistry configuration parameters are inconsistent (see CrFwAuxInRegistryConfigCheck....
@ crOutRegistryConfigParInconsistent
OutRegistry configuration parameters are inconsistent (see CrFwAuxOutRegistryConfigCheck....
@ crOutStreamConfigParInconsistent
OutStream configuration parameters are inconsistent (see CrFwAuxOutStreamConfigCheck....
@ crInStreamConfigParInconsistent
InStream configuration parameters are inconsistent (see CrFwAuxInStreamConfigCheck....
@ crInFactoryInCmdConfigParInconsistent
InFactory configuration parameters for InCommands are inconsistent (see CrFwAuxInFactoryInCmdConfigCh...
@ crOutFactoryConfigParInconsistent
OutFactory configuration parameters are inconsistent (see CrFwAuxOutFactoryConfigCheck....
@ crInManagerConfigParInconsistent
InManager configuration parameters are inconsistent (see CrFwAuxInManagerConfigCheck....
@ crInFactoryInRepConfigParInconsistent
InFactory configuration parameters for InReports are inconsistent (see CrFwAuxInFactoryInRepConfigChe...
Header file to define all invariant publicly available constants and types for the CORDET Framework.
unsigned short CrFwCmdRepIndex_t
Type for the index of a command or report in the InRegistry or OutRegistry.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
static CrFwServType_t servType
The InCommand type as computed in the Validity Check.
User-modifiable parameters for the InFactory component (see CrFwInFactory.h).
#define CR_FW_INREP_INIT_KIND_DESC
Definition of the incoming report kinds supported by an application.
#define CR_FW_INFACTORY_MAX_NOF_INCMD
The maximum number of components representing an incoming command which may be allocated at any one t...
#define CR_FW_INFACTORY_MAX_NOF_INREP
The maximum number of InReports which may be allocated at any one time.
#define CR_FW_INREP_NKINDS
The total number of kinds of incoming reports supported by the application.
#define CR_FW_INCMD_INIT_KIND_DESC
Definition of the incoming command kinds supported by an application.
#define CR_FW_INCMD_NKINDS
The total number of kinds of incoming commands supported by the application.
User-modifiable parameters for the InManager components (see CrFwInManager.h).
#define CR_FW_NOF_INMANAGER
The number of InManager components in the application.
#define CR_FW_INMANAGER_PCRLSIZE
The sizes of the Pending Command/Report List (PCRL) of the InManager components.
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 CrFwDiscriminant_t disc
Discriminant.
static CrFwServSubType_t servSubType
Service sub-type.
User-modifiable parameters for the InStream components (see CrFwInStream.h).
#define CR_FW_INSTREAM_PQSIZE
The sizes of the packet queues in the InStream components.
#define CR_FW_NOF_INSTREAM
The number of InStream components in the application.
#define CR_FW_INSTREAM_SRC_PAIRS
The association of sources to InStreams.
#define CR_FW_INSTREAM_NOF_SRCS
The number of distinct sources from which the InStream components may receive packets.
#define CR_FW_INSTREAM_NOF_GROUPS
The number of groups managed by the InStream components.
Definition of the OutComponent Component of the framework.
User-modifiable parameters for the OutFactory component (see CrFwOutFactory.h).
#define CR_FW_OUTCMP_INIT_KIND_DESC
Definition of the OutComponent kinds supported by an application.
#define CR_FW_OUTCMP_NKINDS
The total number of kinds of OutComponents supported by the application.
#define CR_FW_OUTFACTORY_MAX_NOF_OUTCMP
The maximum number of OutComponents which may be allocated at any one time.
User-modifiable parameters for the OutManager components (see CrFwOutManager.h).
#define CR_FW_NOF_OUTMANAGER
The number of OutManager components in the application.
#define CR_FW_OUTMANAGER_POCLSIZE
The sizes of the Pending OutComponent List (POCL) of the OutManager components.
User-modifiable parameters for the OutRegistry component (see CrFwOutRegistry.h).
#define CR_FW_OUTREGISTRY_INIT_SERV_DESC
Definition of the range of out-going services supported by an application.
#define CR_FW_OUTREGISTRY_N
The maximum number of out-going commands or reports which can be tracked by the OutRegistry.
#define CR_FW_OUTREGISTRY_NSERV
The total number of service types/sub-types provided by the application.
User-modifiable parameters for the OutStream components (see CrFwOutStream.h).
#define CR_FW_NOF_OUTSTREAM
The number of OutStream components in the application.
#define CR_FW_OUTSTREAM_PQSIZE
The sizes of the packet queues in the OutStream component.
#define CR_FW_OUTSTREAM_NOF_DEST
Number of destinations for out-going packets.
#define CR_FW_OUTSTREAM_DEST_PAIRS
The association of destinations to OutStreams.
#define CR_FW_OUTSTREAM_NOF_GROUPS
The number of groups managed by the OutStream components.
#define CR_FW_MAX_SERV_SUBTYPE
Maximum value of the service sub-type attribute of InReports and InCommands.
unsigned char CrFwServType_t
Type used for the service type of a command or report.
#define CR_FW_MAX_SERV_TYPE
Maximum value of the service type attribute of InReports and InCommands.
unsigned char CrFwDestSrc_t
Type used for the command or report destination and source.
unsigned short CrFwDiscriminant_t
Type used for the discriminant of a command or report.
unsigned char CrFwCounterU1_t
Type used for unsigned integers with a "short" range.
unsigned short CrFwCmdRepKindIndex_t
Type for the index of a command or report kind.
#define CR_FW_MAX_DISCRIMINANT
Maximum value of the discriminant attribute of InReports and InCommands.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
Definition of the utility functions for the CORDET Framework.
InCommand kind descriptor type.
InReport kind descriptor type.
OutComponent kind descriptor type.
CrFwDiscriminant_t discriminant
The discriminant value (or zero if no discriminant for this type/sub-type)
CrFwServType_t servType
The service type.
CrFwServSubType_t servSubType
The service sub-type.
CrFwServType_t servType
The service type.
CrFwServSubType_t servSubType
The service sub-type.