CORDET Framework - C2 Implementation
CrFwAux.c File Reference

Implementation of Auxiliary Module. More...

Go to the source code of this file.

Functions

CrFwConfigCheckOutcome_t CrFwAuxConfigCheck ()
 Check the configuration of an application. More...
 
CrFwBool_t CrFwAuxOutRegistryConfigCheck ()
 Check the configuration of the OutRegistry component. More...
 
CrFwBool_t CrFwAuxOutFactoryConfigCheck ()
 Check the configuration of the OutFactory component. More...
 
CrFwBool_t CrFwAuxInFactoryInCmdConfigCheck ()
 Check the configuration of the InCommand part of the InFactory component. More...
 
CrFwBool_t CrFwAuxInFactoryInRepConfigCheck ()
 Check the configuration of the InReport part of the InFactory component. More...
 

Variables

static CrFwOutCmpKindDesc_t outCmpKindDesc [CR_FW_OUTCMP_NKINDS] = CR_FW_OUTCMP_INIT_KIND_DESC
 Array of OutComponent descriptors. More...
 
static CrFwInCmdKindDesc_t inCmdKindDesc [CR_FW_INCMD_NKINDS] = CR_FW_INCMD_INIT_KIND_DESC
 Array of InCommand descriptors. More...
 
static CrFwInRepKindDesc_t inRepKindDesc [CR_FW_INREP_NKINDS] = CR_FW_INREP_INIT_KIND_DESC
 Array of InReport service descriptors. More...
 
static CrFwServDesc_t servDesc [CR_FW_OUTREGISTRY_NSERV] = CR_FW_OUTREGISTRY_INIT_SERV_DESC
 Array of service descriptors. More...
 
static CrFwCounterU1_t inStreamPcktQueueSize [CR_FW_NOF_INSTREAM] = CR_FW_INSTREAM_PQSIZE
 The sizes of the packet queues in the InStream components. More...
 
static CrFwCounterU1_t outStreamPcktQueueSize [CR_FW_NOF_OUTSTREAM] = CR_FW_OUTSTREAM_PQSIZE
 The sizes of the packet queues in the OutStream components. More...
 
static CrFwCounterU1_t outManagerPoclSize [CR_FW_NOF_OUTMANAGER] = CR_FW_OUTMANAGER_POCLSIZE
 The sizes of the POCL in the OutManager components. More...
 

Detailed Description

Implementation of Auxiliary Module.

Author
Vaclav Cechticky vacla.nosp@m.v.ce.nosp@m.chtic.nosp@m.ky@p.nosp@m.np-so.nosp@m.ftwa.nosp@m.re.co.nosp@m.m
Alessandro Pasetti paset.nosp@m.ti@p.nosp@m.np-so.nosp@m.ftwa.nosp@m.re.co.nosp@m.m

This file is part of the CORDET Framework.

This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.

For information on alternative licensing, please contact P&P Software GmbH.

Definition in file CrFwAux.c.

Function Documentation

CrFwConfigCheckOutcome_t CrFwAuxConfigCheck ( )

Check the configuration of an application.

This function calls all the configuration check functions and verifies that they all return true (to signify: "no configuration error detected"). The function returns false as soon as it encounters a configuration check function which returns false.

Returns
a value from CrFwConfigCheckOutcome_t indicating which configuration check has failed.

Definition at line 55 of file CrFwAux.c.

CrFwBool_t CrFwAuxInFactoryInCmdConfigCheck ( )

Check the configuration of the InCommand part of the InFactory component.

The following checks are performed on the configuration data in CrFwInFactoryUserPar.h:

  • CR_FW_INFACTORY_MAX_NOF_INCMD is greater than zero if CR_FW_INCMD_NKINDS is greater than zero
  • The service types are listed in increasing order in the service descriptor initializer (CR_FW_INCMD_INIT_KIND_DESC)
  • The service sub-types within a type are listed in increasing order in the service descriptor initializer (CR_FW_INCMD_INIT_KIND_DESC)
  • The discriminant values within a type/sub-type are listed in increasing order in the service descriptor initializer (CR_FW_INCMD_INIT_KIND_DESC)
  • The values of the service types, sub-types and discriminant are lower than CR_FW_MAX_SERV_TYPE, CR_FW_MAX_SERV_SUBTYPE and CR_FW_MAX_DISCRIMINANT.
Returns
true if no errors are detected in the configuration data; false otherwise.

Definition at line 198 of file CrFwAux.c.

CrFwBool_t CrFwAuxInFactoryInRepConfigCheck ( )

Check the configuration of the InReport part of the InFactory component.

The following checks are performed on the configuration data in CrFwInFactoryUserPar.h:

  • CR_FW_INFACTORY_MAX_NOF_INREP is greater than zero if CR_FW_INREP_NKINDS is greater than zero
  • The service types are listed in increasing order in the service descriptor initializer (CR_FW_INREP_INIT_KIND_DESC)
  • The service sub-types within a type are listed in increasing order in the service descriptor initializer (CR_FW_INREP_INIT_KIND_DESC)
  • The discriminant values within a type/sub-type are listed in increasing order in the service descriptor initializer (CR_FW_INREP_INIT_KIND_DESC)
  • The values of the service types, sub-types and discriminant are lower than CR_FW_MAX_SERV_TYPE, CR_FW_MAX_SERV_SUBTYPE and CR_FW_MAX_DISCRIMINANT.
Returns
true if no errors are detected in the configuration data; false otherwise.

Definition at line 233 of file CrFwAux.c.

CrFwBool_t CrFwAuxOutFactoryConfigCheck ( )

Check the configuration of the OutFactory component.

The following checks are performed on the configuration data in CrFwOutFactoryUserPar.h:

  • CR_FW_OUTFACTORY_MAX_NOF_OUTCMP is greater than zero if CR_FW_OUTCMP_NKINDS is greater than zero
  • The service types are listed in increasing order in the service descriptor initializer (CR_FW_OUTCMP_INIT_KIND_DESC)
  • The service sub-types within a type are listed in increasing order in the service descriptor initializer (CR_FW_OUTCMP_INIT_KIND_DESC)
  • The discriminant values within a type/sub-type are listed in increasing order in the service descriptor initializer (CR_FW_OUTCMP_INIT_KIND_DESC)
  • The service types, sub-types and discriminant values defined in the CR_FW_OUTCMP_INIT_KIND_DESC initializer are consistent with service type, sub-types and discriminant values defined in the CR_FW_OUTREGISTRY_INIT_SERV_DESC.
  • The packet lengths specified in CR_FW_OUTCMP_INIT_KIND_DESC are greater than zero.
Returns
true if no errors are detected in the configuration data; false otherwise.

Definition at line 142 of file CrFwAux.c.

CrFwBool_t CrFwAuxOutRegistryConfigCheck ( )

Check the configuration of the OutRegistry component.

The following checks are performed on the configuration data in CrFwOutRegistryUserPar.h:

  • CR_FW_OUTREGISTRY_N is greater than zero
  • The service types are listed in increasing order in the service descriptor initializer (CR_FW_OUTREGISTRY_INIT_SERV_DESC)
  • The service sub-types within a type are listed in increasing order in the service descriptor initializer (CR_FW_OUTREGISTRY_INIT_SERV_DESC)
  • The service types, sub-types and discriminant values defined in the CR_FW_OUTREGISTRY_INIT_SERV_DESC initializer are consistent with service type, sub-types and discriminant values defined in the CR_FW_OUTCMP_INIT_KIND_DESC.
  • The lower bound of a range of discriminant values in CR_FW_OUTREGISTRY_INIT_SERV_DESC is smaller than or equal to the upper bound.
  • The size of the InStream packet queue is greater than zero.
  • The size of the OutStream packet queue is greater than zero.
  • The size of the Pending OutComponent List (POCL) is greater than zero.
Returns
true if no errors are detected in the configuration data; false otherwise.

Definition at line 73 of file CrFwAux.c.

Variable Documentation

Array of InCommand descriptors.

Definition at line 37 of file CrFwAux.c.

Array of InReport service descriptors.

Definition at line 40 of file CrFwAux.c.

CrFwCounterU1_t inStreamPcktQueueSize[CR_FW_NOF_INSTREAM] = CR_FW_INSTREAM_PQSIZE
static

The sizes of the packet queues in the InStream components.

Definition at line 46 of file CrFwAux.c.

Array of OutComponent descriptors.

Definition at line 34 of file CrFwAux.c.

The sizes of the POCL in the OutManager components.

Definition at line 52 of file CrFwAux.c.

The sizes of the packet queues in the OutStream components.

Definition at line 49 of file CrFwAux.c.

Array of service descriptors.

Definition at line 43 of file CrFwAux.c.

P&P Software GmbH, Copyright 2012-2013, All Rights Reserved