FW Profile - C1 Implementation
|
Structure representing a choice pseudo state in a state machine. More...
Data Fields | |
FwSmCounterS1_t | outTransIndex |
index of first out-going transition in transition array of SmBaseDesc_t | |
FwSmCounterS1_t | nOfOutTrans |
number of outgoing transitions from the choice pseudo-state | |
Structure representing a choice pseudo state in a state machine.
A choice pseudo-state is characterized by the set of its out-going transitions. The set of out-going transitions is defined as follows. Transitions which originate from the same choice pseudo-state are located in adjacent locations in the transition array of the base descriptor (see SmBaseDesc_t
). Field outTransIndex
identifies the first location of this set of adjacent locations. Thus, for instance, if a choice pseudo-state has 3 out-going transitions and if its outTransIndex
field has value 4, then the three out-going transitions are located in elements 4, 5 and 6 of the array of transitions.
By convention, the implementation treats a choice pseudo-state as uninitialized if its outTransIndex
field is equal to zero.
Definition at line 149 of file FwSmPrivate.h.