CORDET Framework - C2 Implementation
CrPsDpServReqVerif.h
Go to the documentation of this file.
1 
23 #ifndef CRPSDPSERVREQVERIF_H_
24 #define CRPSDPSERVREQVERIF_H_
25 
26 #include <CrFwUserConstants.h>
27 #include <CrPsUserConstants.h>
28 
32 typedef struct {
52  CrPsDestSrc_t invDestRerouting; /* TODO vorher uint32_t*/
56  CrFwCounterU4_t nOfAccFailed;
60  CrFwCounterU4_t nOfPrgrFailed;
64  CrFwCounterU4_t nOfReroutingFailed;
68  CrFwCounterU4_t nOfStartFailed;
72  CrFwCounterU4_t nOfTermFailed;
96  CrPsStepId_t stepPrgrFailed; /* TODO vorher wars ein uint16_t */
102 
103 extern DpServReqVerifVars_t dpServReqVerifVars;
104 
108 void initDpServReqVerif(void);
109 
115 {
116  return dpServReqVerifVars.failCodeAccFailed;
117 }
118 
124 static inline void setDpfailCodeAccFailed(CrPsFailCode_t failCodeAccFailed)
125 {
126  dpServReqVerifVars.failCodeAccFailed = failCodeAccFailed;
127 }
128 
134 {
135  return dpServReqVerifVars.failCodePrgrFailed;
136 }
137 
143 static inline void setDpfailCodePrgrFailed(CrPsFailCode_t failCodePrgrFailed)
144 {
145  dpServReqVerifVars.failCodePrgrFailed = failCodePrgrFailed;
146 }
147 
153 {
154  return dpServReqVerifVars.failCodeStartFailed;
155 }
156 
162 static inline void setDpfailCodeStartFailed(CrPsFailCode_t failCodeStartFailed)
163 {
164  dpServReqVerifVars.failCodeStartFailed = failCodeStartFailed;
165 }
166 
172 {
173  return dpServReqVerifVars.failCodeTermFailed;
174 }
175 
181 static inline void setDpfailCodeTermFailed(CrPsFailCode_t failCodeTermFailed)
182 {
183  dpServReqVerifVars.failCodeTermFailed = failCodeTermFailed;
184 }
185 
191 {
192  return dpServReqVerifVars.invDestRerouting;
193 }
194 
200 static inline void setDpinvDestRerouting(CrPsDestSrc_t invDestRerouting)
201 {
202  dpServReqVerifVars.invDestRerouting = invDestRerouting;
203 }
204 
209 static inline CrFwCounterU4_t getDpnOfAccFailed()
210 {
211  return dpServReqVerifVars.nOfAccFailed;
212 }
213 
219 static inline void setDpnOfAccFailed(CrFwCounterU4_t nOfAccFailed)
220 {
221  dpServReqVerifVars.nOfAccFailed = nOfAccFailed;
222 }
223 
228 static inline CrFwCounterU4_t getDpnOfPrgrFailed()
229 {
230  return dpServReqVerifVars.nOfPrgrFailed;
231 }
232 
238 static inline void setDpnOfPrgrFailed(CrFwCounterU4_t nOfPrgrFailed)
239 {
240  dpServReqVerifVars.nOfPrgrFailed = nOfPrgrFailed;
241 }
242 
247 static inline CrFwCounterU4_t getDpnOfReroutingFailed()
248 {
249  return dpServReqVerifVars.nOfReroutingFailed;
250 }
251 
257 static inline void setDpnOfReroutingFailed(CrFwCounterU4_t nOfReroutingFailed)
258 {
259  dpServReqVerifVars.nOfReroutingFailed = nOfReroutingFailed;
260 }
261 
266 static inline CrFwCounterU4_t getDpnOfStartFailed()
267 {
268  return dpServReqVerifVars.nOfStartFailed;
269 }
270 
276 static inline void setDpnOfStartFailed(CrFwCounterU4_t nOfStartFailed)
277 {
278  dpServReqVerifVars.nOfStartFailed = nOfStartFailed;
279 }
280 
285 static inline CrFwCounterU4_t getDpnOfTermFailed()
286 {
287  return dpServReqVerifVars.nOfTermFailed;
288 }
289 
295 static inline void setDpnOfTermFailed(CrFwCounterU4_t nOfTermFailed)
296 {
297  dpServReqVerifVars.nOfTermFailed = nOfTermFailed;
298 }
299 
305 {
306  return dpServReqVerifVars.pcktIdAccFailed;
307 }
308 
314 static inline void setDppcktIdAccFailed(CrFwTypeId_t pcktIdAccFailed)
315 {
316  dpServReqVerifVars.pcktIdAccFailed = pcktIdAccFailed;
317 }
318 
324 {
325  return dpServReqVerifVars.pcktIdPrgrFailed;
326 }
327 
333 static inline void setDppcktIdPrgrFailed(CrFwTypeId_t pcktIdPrgrFailed)
334 {
335  dpServReqVerifVars.pcktIdPrgrFailed = pcktIdPrgrFailed;
336 }
337 
343 {
344  return dpServReqVerifVars.pcktIdReroutingFailed;
345 }
346 
352 static inline void setDppcktIdReroutingFailed(CrFwTypeId_t pcktIdReroutingFailed)
353 {
354  dpServReqVerifVars.pcktIdReroutingFailed = pcktIdReroutingFailed;
355 }
356 
362 {
363  return dpServReqVerifVars.pcktIdStartFailed;
364 }
365 
371 static inline void setDppcktIdStartFailed(CrFwTypeId_t pcktIdStartFailed)
372 {
373  dpServReqVerifVars.pcktIdStartFailed = pcktIdStartFailed;
374 }
375 
381 {
382  return dpServReqVerifVars.pcktIdTermFailed;
383 }
384 
390 static inline void setDppcktIdTermFailed(CrFwTypeId_t pcktIdTermFailed)
391 {
392  dpServReqVerifVars.pcktIdTermFailed = pcktIdTermFailed;
393 }
394 
400 {
401  return dpServReqVerifVars.stepPrgrFailed;
402 }
403 
409 static inline void setDpstepPrgrFailed(CrPsStepId_t stepPrgrFailed)
410 {
411  dpServReqVerifVars.stepPrgrFailed = stepPrgrFailed;
412 }
413 
419 {
420  return dpServReqVerifVars.verFailData;
421 }
422 
428 static inline void setDpverFailData(CrPsFailData_t verFailData)
429 {
430  dpServReqVerifVars.verFailData = verFailData;
431 }
432 
433 
434 /*----------------------------------------------------------------------------*/
435 #endif /* CRPSDPSERVREQVERIF_H */
static void setDpfailCodeAccFailed(CrPsFailCode_t failCodeAccFailed)
Sets the value of the datapool item failCodeAccFailed.
static void setDpnOfAccFailed(CrFwCounterU4_t nOfAccFailed)
Sets the value of the datapool item nOfAccFailed.
CrFwCounterU4_t nOfReroutingFailed
Number of commands for which re-routing failed.
static void setDpfailCodePrgrFailed(CrPsFailCode_t failCodePrgrFailed)
Sets the value of the datapool item failCodePrgrFailed.
Header file to define all user-configurable constants and types for the IASW Application.
CrPsFailData_t verFailData
Verification Failure Data (data item of fixed size but variable.
static CrPsFailData_t getDpverFailData()
Gets the value of the datapool item verFailData.
CrFwCounterU4_t nOfAccFailed
Number of commands which have failed their acceptance check.
CrFwTypeId_t pcktIdAccFailed
Packet identifier of last command which failed its Acceptance.
static void setDppcktIdTermFailed(CrFwTypeId_t pcktIdTermFailed)
Sets the value of the datapool item pcktIdTermFailed.
CrFwTypeId_t pcktIdTermFailed
Packet identifier of last command which failed its Termination.
unsigned short int CrFwTypeId_t
Type used for the identifier of a component type.
static CrFwCounterU4_t getDpnOfTermFailed()
Gets the value of the datapool item nOfTermFailed.
CrPsFailCode_t failCodeStartFailed
Failure code of last command which failed its Start Check.
static CrFwTypeId_t getDppcktIdPrgrFailed()
Gets the value of the datapool item pcktIdPrgrFailed.
uint16_t CrPsDestSrc_t
Type used for the Destination or Source of a packet.
static CrPsDestSrc_t getDpinvDestRerouting()
Gets the value of the datapool item invDestRerouting.
static void setDpverFailData(CrPsFailData_t verFailData)
Sets the value of the datapool item verFailData.
static void setDppcktIdReroutingFailed(CrFwTypeId_t pcktIdReroutingFailed)
Sets the value of the datapool item pcktIdReroutingFailed.
static CrPsFailCode_t getDpfailCodeTermFailed()
Gets the value of the datapool item failCodeTermFailed.
CrPsFailCode_t failCodePrgrFailed
Failure code of last command which failed its Progress Check.
static CrFwTypeId_t getDppcktIdAccFailed()
Gets the value of the datapool item pcktIdAccFailed.
static void setDppcktIdAccFailed(CrFwTypeId_t pcktIdAccFailed)
Sets the value of the datapool item pcktIdAccFailed.
static void setDpnOfPrgrFailed(CrFwCounterU4_t nOfPrgrFailed)
Sets the value of the datapool item nOfPrgrFailed.
static CrPsStepId_t getDpstepPrgrFailed()
Gets the value of the datapool item stepPrgrFailed.
uint32_t CrPsStepId_t
Type used for the Step ID of a packet.
CrFwCounterU4_t nOfStartFailed
Number of commands which have failed their Start Check since.
CrPsStepId_t stepPrgrFailed
Step identifier of last command which failed its Progress Check.
static CrFwCounterU4_t getDpnOfStartFailed()
Gets the value of the datapool item nOfStartFailed.
static void setDpnOfStartFailed(CrFwCounterU4_t nOfStartFailed)
Sets the value of the datapool item nOfStartFailed.
uint32_t CrPsFailData_t
Type used for the Failure Data of a packet.
CrPsDestSrc_t invDestRerouting
Destination of last command for which re-routing failed.
static void setDpstepPrgrFailed(CrPsStepId_t stepPrgrFailed)
Sets the value of the datapool item stepPrgrFailed.
static CrFwCounterU4_t getDpnOfAccFailed()
Gets the value of the datapool item nOfAccFailed.
CrFwCounterU4_t nOfPrgrFailed
Number of commands which have failed their Progress Check.
static void setDpfailCodeStartFailed(CrPsFailCode_t failCodeStartFailed)
Sets the value of the datapool item failCodeStartFailed.
uint16_t CrPsFailCode_t
Type used for the Failure Code of a packet.
static void setDpfailCodeTermFailed(CrPsFailCode_t failCodeTermFailed)
Sets the value of the datapool item failCodeTermFailed.
static CrFwTypeId_t getDppcktIdReroutingFailed()
Gets the value of the datapool item pcktIdReroutingFailed.
CrFwTypeId_t pcktIdReroutingFailed
Packet identifier of last command for which re-routing failed.
CrFwTypeId_t pcktIdPrgrFailed
Packet identifier of last command which failed its Progress.
static CrFwCounterU4_t getDpnOfReroutingFailed()
Gets the value of the datapool item nOfReroutingFailed.
static void setDpnOfReroutingFailed(CrFwCounterU4_t nOfReroutingFailed)
Sets the value of the datapool item nOfReroutingFailed.
static CrPsFailCode_t getDpfailCodePrgrFailed()
Gets the value of the datapool item failCodePrgrFailed.
static CrFwTypeId_t getDppcktIdStartFailed()
Gets the value of the datapool item pcktIdStartFailed.
static CrPsFailCode_t getDpfailCodeAccFailed()
Gets the value of the datapool item failCodeAccFailed.
Type description.
static void setDppcktIdStartFailed(CrFwTypeId_t pcktIdStartFailed)
Sets the value of the datapool item pcktIdStartFailed.
CrPsFailCode_t failCodeTermFailed
Failure code of last command which failed its Termination.
static void setDpinvDestRerouting(CrPsDestSrc_t invDestRerouting)
Sets the value of the datapool item invDestRerouting.
void initDpServReqVerif(void)
Initialises ServReqVerif.
static void setDppcktIdPrgrFailed(CrFwTypeId_t pcktIdPrgrFailed)
Sets the value of the datapool item pcktIdPrgrFailed.
CrPsFailCode_t failCodeAccFailed
Failure code of last command which failed its Acceptance.
static CrPsFailCode_t getDpfailCodeStartFailed()
Gets the value of the datapool item failCodeStartFailed.
static CrFwCounterU4_t getDpnOfPrgrFailed()
Gets the value of the datapool item nOfPrgrFailed.
CrFwTypeId_t pcktIdStartFailed
Packet identifier of last command which failed its Start Check.
static void setDpnOfTermFailed(CrFwCounterU4_t nOfTermFailed)
Sets the value of the datapool item nOfTermFailed.
CrFwCounterU4_t nOfTermFailed
Number of commands which have failed their Termination.
static CrFwTypeId_t getDppcktIdTermFailed()
Gets the value of the datapool item pcktIdTermFailed.
P&P Software GmbH, Copyright 2012-2013, All Rights Reserved