85 if (servDesc[i].servType > servDesc[i+1].servType)
89 if (servDesc[i].servType == servDesc[i+1].servType)
90 if (servDesc[i].servSubType > servDesc[i+1].servSubType)
101 if (outCmpKindDesc[j].servType == servType)
102 if (outCmpKindDesc[j].servSubType == servSubType) {
106 if (outCmpKindDesc[j].servType > servType)
116 if (servDesc[i].lowerBoundDisc > servDesc[i].upperBoundDisc)
154 if (outCmpKindDesc[i].servType > outCmpKindDesc[i+1].servType)
157 if (outCmpKindDesc[i].servType == outCmpKindDesc[i+1].servType)
158 if (outCmpKindDesc[i].servSubType > outCmpKindDesc[i+1].servSubType)
161 if (outCmpKindDesc[i].servType == outCmpKindDesc[i+1].servType)
162 if (outCmpKindDesc[i].servSubType == outCmpKindDesc[i+1].servSubType)
163 if (outCmpKindDesc[i].discriminant > outCmpKindDesc[i+1].discriminant)
166 if (outCmpKindDesc[i].pcktLength < 1)
171 servType = outCmpKindDesc[i].
servType;
176 if (servDesc[j].servType == servType)
177 if (servDesc[j].servSubType == servSubType)
182 if (disc <= servDesc[j].upperBoundDisc)
183 if (disc >= servDesc[j].lowerBoundDisc) {
187 if (servDesc[j].servType > servType)
214 if (inCmdKindDesc[i].discriminant > inCmdKindDesc[i+1].discriminant)
249 if (inRepKindDesc[i].discriminant > inRepKindDesc[i+1].discriminant)
unsigned char CrFwCounterU1_t
Type used for unsigned integers with a "short" range.
static CrFwInCmdKindDesc_t inCmdKindDesc[CR_FW_INCMD_NKINDS]
Array of InCommand descriptors.
#define CR_FW_INREP_INIT_KIND_DESC
Definition of the incoming report kinds supported by an application.
CrFwServSubType_t servSubType
The service sub-type.
#define CR_FW_OUTFACTORY_MAX_NOF_OUTCMP
The maximum number of OutComponents which may be allocated at any one time.
static CrFwServDesc_t servDesc[CR_FW_OUTREGISTRY_NSERV]
Array of service descriptors.
#define CR_FW_NOF_OUTSTREAM
The number of OutStream components in the application.
User-modifiable parameters for the InFactory component (see CrFwInFactory.h).
InFactory configuration parameters for InCommands are inconsistent (see CrFwAuxInFactoryInCmdConfigCh...
#define CR_FW_OUTREGISTRY_INIT_SERV_DESC
Definition of the range of out-going services supported by an application.
#define CR_FW_INFACTORY_MAX_NOF_INREP
The maximum number of InReports which may be allocated at any one time.
unsigned short CrFwCmdRepIndex_t
Type for the index of a command or report in the InRegistry or OutRegistry.
Auxiliary module to check the static part of an application's configuration.
CrFwBool_t CrFwAuxOutFactoryConfigCheck()
Check the configuration of the OutFactory component.
static CrFwCounterU1_t inStreamPcktQueueSize[CR_FW_NOF_INSTREAM]
The sizes of the packet queues in the InStream components.
CrFwServType_t servType
The service type.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
static CrFwServSubType_t servSubType
Service sub-type.
InCommand kind descriptor type.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
unsigned short CrFwDiscriminant_t
Type used for the discriminant of a command or report.
#define CR_FW_NOF_OUTMANAGER
The number of OutManager components in the application.
CrFwConfigCheckOutcome_t CrFwAuxConfigCheck()
Check the configuration of an application.
CrFwBool_t CrFwAuxInFactoryInRepConfigCheck()
Check the configuration of the InReport part of the InFactory component.
#define CR_FW_OUTSTREAM_PQSIZE
The sizes of the packet queues in the OutStream component.
CrFwConfigCheckOutcome_t
Type for the outcome of the consistency check on the configuration parameters.
unsigned short CrFwCmdRepKindIndex_t
Type for the index of a command or report kind.
#define CR_FW_INCMD_INIT_KIND_DESC
Definition of the incoming command kinds supported by an application.
static CrFwOutCmpKindDesc_t outCmpKindDesc[CR_FW_OUTCMP_NKINDS]
Array of OutComponent descriptors.
User-modifiable parameters for the OutManager components (see CrFwOutManager.h).
OutComponent kind descriptor type.
static CrFwDiscriminant_t disc
Discriminant.
OutFactory configuration parameters are inconsistent (see CrFwAuxOutFactoryConfigCheck.h)
All configuration consistency checks have been passed.
#define CR_FW_MAX_DISCRIMINANT
Maximum value of the discriminant attribute of InReports and InCommands.
InReport kind descriptor type.
InFactory configuration parameters for InReports are inconsistent (see CrFwAuxInFactoryInRepConfigChe...
Definition of the utility functions for the CORDET Framework.
CrFwServType_t servType
The service type.
#define CR_FW_MAX_SERV_SUBTYPE
Maximum value of the service sub-type attribute of InReports and InCommands.
CrFwServSubType_t servSubType
The service sub-type.
#define CR_FW_NOF_INSTREAM
The number of InStream components in the application.
static CrFwCounterU1_t outManagerPoclSize[CR_FW_NOF_OUTMANAGER]
The sizes of the POCL in the OutManager components.
static CrFwInRepKindDesc_t inRepKindDesc[CR_FW_INREP_NKINDS]
Array of InReport service descriptors.
static CrFwServType_t servType
The InCommand type as computed in the Validity Check.
#define CR_FW_OUTREGISTRY_N
The maximum number of out-going commands or reports which can be tracked by the OutRegistry.
User-modifiable parameters for the OutFactory component (see CrFwOutFactory.h).
CrFwBool_t CrFwAuxInFactoryInCmdConfigCheck()
Check the configuration of the InCommand part of the InFactory component.
Definition of the OutComponent Component of the framework.
CrFwDiscriminant_t discriminant
The discriminant value (or zero if no discriminant for this type/sub-type)
#define CR_FW_INCMD_NKINDS
The total number of kinds of incoming commands supported by the application.
#define CR_FW_INREP_NKINDS
The total number of kinds of incoming reports supported by the application.
#define CR_FW_MAX_SERV_TYPE
Maximum value of the service type attribute of InReports and InCommands.
User-modifiable parameters for the OutRegistry component (see CrFwOutRegistry.h). ...
#define CR_FW_OUTCMP_INIT_KIND_DESC
Definition of the OutComponent kinds supported by an application.
User-modifiable parameters for the OutStream components (see CrFwOutStream.h).
#define CR_FW_OUTREGISTRY_NSERV
The total number of service types/sub-types provided by the application.
#define CR_FW_OUTCMP_NKINDS
The total number of kinds of OutComponents supported by the application.
#define CR_FW_OUTMANAGER_POCLSIZE
The sizes of the Pending OutComponent List (POCL) of the OutManager components.
User-modifiable parameters for the InStream components (see CrFwInStream.h).
unsigned char CrFwServType_t
Type used for the service type of a command or report.
#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_INSTREAM_PQSIZE
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.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
CrFwBool_t CrFwAuxOutRegistryConfigCheck()
Check the configuration of the OutRegistry component.
OutRegistry configuration parameters are inconsistent (see CrFwAuxOutRegistryConfigCheck.h)