FW Profile - C1 Implementation
|
Type for the data structure passed to all procedures made by the functions declared by this header file. More...
Data Fields | |
int | counter_1 |
Counter incremented by the procedure actions. More... | |
int | marker |
Procedure's marker. More... | |
int | flag_1 |
Flag used in the procedure control flows. More... | |
int | flag_2 |
Flag used in the procedure control flows. More... | |
int | flag_3 |
Flag used in the procedure control flows. More... | |
int | flag_4 |
Flag used in the procedure control flows. More... | |
int | flag_5 |
Flag used in the procedure control flows. More... | |
int | flag_6 |
Flag used in the procedure control flows. More... | |
Type for the data structure passed to all procedures made by the functions declared by this header file.
The counters are incremented by the procedure actions and the flags are used to determine the outcome of the procedure guards.
The actions attached to the test procedures write a "marker" and the current node of their procedure to two log arrays (logMarker
and logNode
, these arrays are defined as global variables in the c-file). The value of the marker is stored in field marker
. Thus, when a procedure action is executed it does the following:
logMarker[logIndex]
;logNode[logIndex]
; andlogIndex
by 1. Definition at line 63 of file FwPrMakeTest.h.
int counter_1 |
Counter incremented by the procedure actions.
Definition at line 65 of file FwPrMakeTest.h.
int flag_1 |
Flag used in the procedure control flows.
Definition at line 69 of file FwPrMakeTest.h.
int flag_2 |
Flag used in the procedure control flows.
Definition at line 71 of file FwPrMakeTest.h.
int flag_3 |
Flag used in the procedure control flows.
Definition at line 73 of file FwPrMakeTest.h.
int flag_4 |
Flag used in the procedure control flows.
Definition at line 75 of file FwPrMakeTest.h.
int flag_5 |
Flag used in the procedure control flows.
Definition at line 77 of file FwPrMakeTest.h.
int flag_6 |
Flag used in the procedure control flows.
Definition at line 79 of file FwPrMakeTest.h.
int marker |
Procedure's marker.
Definition at line 67 of file FwPrMakeTest.h.