40 #define CR_FW_ERR_REP_ARRAY_SIZE 100 43 #define CR_FW_ERR_REP_PAR_SIZE 12 210 FwSmDesc_t* temp = NULL;
215 temp = (FwSmDesc_t*)&errRepArray[
errRepPos].par[0];
227 FwSmDesc_t* temp = NULL;
232 temp = (FwSmDesc_t*)&errRepArray[
errRepPos].par[0];
286 errRepArray[
errRepPos].
par[2]*(65536)+errRepArray[errRepPos].par[3]*(16777216));
292 errRepArray[
errRepPos].
par[6]*(65536)+errRepArray[errRepPos].par[7]*(16777216));
void CrFwRepErrInstanceIdAndDest(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwInstanceId_t secondaryInstanceId, CrFwDestSrc_t dest, CrFwPckt_t pckt)
Report an error which has three parameters attached to it representing the instance identifier of a c...
unsigned char CrFwCounterU1_t
Type used for unsigned integers with a "short" range.
unsigned short CrFwInstanceId_t
Type used for instance identifiers.
void CrFwRepErrCmd(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, FwSmDesc_t cmd)
Report an error which has one parameter attached to it representing a command component.
CrFwPckt_t * pckt
The list of packets in the PQ.
void CrFwRepErrInstanceIdAndOutcome(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwInstanceId_t secondaryInstanceId, CrFwOutcome_t outcome)
Report an error which has two parameters attached to it representing the instance identifier of a com...
unsigned char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
#define CR_FW_ERR_REP_PAR_SIZE
The size in number of bytes of the parameter part of an error report.
CrFwRepErrCode_t errCode
The error code.
CrFwCounterU1_t par[CR_FW_ERR_REP_PAR_SIZE]
The parameters associated to the error report.
static CrFwServSubType_t servSubType
Service sub-type.
CrFwDestSrc_t CrFwRepErrStubGetDest(CrFwCounterU2_t errRepPos)
Return the destination associated to the error report at position errRepPos.
unsigned char CrFwGroup_t
Type used for the destination or source group of a packet.
unsigned char CrFwOutcome_t
Type used for the outcome of a check (see CrFwCmpData).
Header file to define all invariant publicly available constants and types for the CORDET Framework...
static CrFwErrRep_t errRepArray[CR_FW_ERR_REP_ARRAY_SIZE]
The error report array.
unsigned short CrFwDiscriminant_t
Type used for the discriminant of a command or report.
CrFwInstanceId_t CrFwRepErrStubGetSecondatyInstanceId(CrFwCounterU2_t errRepPos)
Return the secondary instance identifier associated to the error report at position errRepPos...
The structure for an error report.
void CrFwRepErrStubReset()
Reset the error reporting interface.
unsigned char CrFwDestSrc_t
Type used for the command or report destination and source.
void CrFwRepErrDestSrc(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwDestSrc_t destSrc)
Report an error which has one single parameter attached to it representing a command or report destin...
Interface for reporting an error detected by a framework component.
CrFwTypeId_t CrFwRepErrStubGetTypeId(CrFwCounterU2_t errRepPos)
Return the type identifier of the error report at position errRepPos.
static CrFwDiscriminant_t disc
Discriminant.
CrFwRepErrCode_t CrFwRepErrStubGetErrCode(CrFwCounterU2_t errRepPos)
Return the error code of the error report at position errRepPos.
unsigned short CrFwCounterU2_t
Type used for unsigned integers with a "medium" range.
CrFwSeqCnt_t CrFwRepErrStubGetExpSeqCnt(CrFwCounterU2_t errRepPos)
Return the expected sequence counter associated to the error report at position errRepPos.
void CrFwRepErr(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId)
Report an error which has no parameters attached to it.
CrFwCounterU1_t * CrFwRepErrStubGetParArray(CrFwCounterU2_t errRepPos)
Return the array holding the parameters associated to the error report at position errRepPos...
void CrFwRepErrSeqCnt(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwSeqCnt_t expSeqCnt, CrFwSeqCnt_t actSeqCnt, CrFwPckt_t pckt)
Report an error which has two parameters attached to it representing expected and actual sequence cou...
CrFwInstanceId_t instanceId
The instance identifier of the component which generates the error report.
void CrFwRepErrKind(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwServType_t servType, CrFwServSubType_t servSubType, CrFwDiscriminant_t disc)
Report an error which has three parameters attached to it representing the kind of a report or comman...
#define CR_FW_ERR_REP_ARRAY_SIZE
The size of the error report array.
static CrFwCounterU2_t errRepPos
The position in the error report array at which the next error report will be written.
static CrFwServType_t servType
The InCommand type as computed in the Validity Check.
static CrFwDestSrc_t dest
Destination.
The CORDET Framework defines an interface for generating error reports (see CrFwRepErr.h).
unsigned short int CrFwTypeId_t
Type used for the identifier of a component type.
CrFwTypeId_t typeId
The type identifier of the component which generates the error report.
CrFwSeqCnt_t CrFwRepErrStubGetActualSeqCnt(CrFwCounterU2_t errRepPos)
Return the actual sequence counter associated to the error report at position errRepPos.
CrFwCounterU2_t CrFwRepErrStubGetPos()
Return the position in the error report array at which the next error report will be written...
void CrFwRepErrRep(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, FwSmDesc_t rep)
Report an error which has one parameter attached to it representing an report component.
CrFwRepErrCode_t
Identifier for the errors reported through the error reporting interface of CrFwRepErr.h.
CrFwInstanceId_t CrFwRepErrStubGetInstanceId(CrFwCounterU2_t errRepPos)
Return the type identifier of the error report at position errRepPos.
unsigned char CrFwServType_t
Type used for the service type of a command or report.
CrFwOutcome_t CrFwRepErrStubGetOutcome(CrFwCounterU2_t errRepPos)
Return the outcome associated to the error report at position errRepPos.
unsigned int CrFwSeqCnt_t
Type used for the sequence counter of commands or reports.
void CrFwRepErrPckt(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwPckt_t pckt)
Report an error which has one parameter attached to it representing a command or report packet...
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
void CrFwRepErrGroup(CrFwRepErrCode_t errCode, CrFwTypeId_t typeId, CrFwInstanceId_t instanceId, CrFwGroup_t group)
Report an error which has one single parameter attached to it representing a command or report group...