FW Profile - C1 Implementation
|
Type for the state machine data for the test state machines. More...
Data Fields | |
int | counter_1 |
Counter incremented by the state actions. More... | |
int | counter_2 |
Counter incremented by the transition actions. More... | |
int | flag_1 |
Flag checked by the transition guards. More... | |
int | flag_2 |
Flag checked by the transition guards. More... | |
int | flag_3 |
Flag checked by the transition guards. More... | |
int | logBase |
Offset for markers written to log array. More... | |
Type for the state machine data for the test state machines.
This data structure defines counters and flags. The counters are incremented by the state machine actions and the flags are used to determine the outcome of the state machine guards.
The actions attached to the test state machines write a "marker" and the current state of their state machine to two log arrays (logMarker
and logState
).
Thus, when a state action is executed it does the following:
(marker+logBase)
at logMarker[logIndex]
;(currentState+logBase)
at logState[logIndex]
; andlogIndex
by 1.The values of the markers are: 1 for the entry action; 2 for the do-action; 3 for the exit action; and 4 for the transition action.
The log arrays are common to all test state machines. In order to allow the entries made by different state machines to be distinguished, the logBase
field provides an offset which is specific to each state machine.
Definition at line 101 of file FwSmMakeTest.h.
int counter_1 |
Counter incremented by the state actions.
Definition at line 103 of file FwSmMakeTest.h.
int counter_2 |
Counter incremented by the transition actions.
Definition at line 105 of file FwSmMakeTest.h.
int flag_1 |
Flag checked by the transition guards.
Definition at line 107 of file FwSmMakeTest.h.
int flag_2 |
Flag checked by the transition guards.
Definition at line 109 of file FwSmMakeTest.h.
int flag_3 |
Flag checked by the transition guards.
Definition at line 111 of file FwSmMakeTest.h.
int logBase |
Offset for markers written to log array.
Definition at line 113 of file FwSmMakeTest.h.