FW Profile - C1 Implementation
|
Structure representing a control flow. More...
Data Fields | |
FwPrCounterS1_t | dest |
the index of the destination of the control flow | |
FwPrCounterS1_t | iGuard |
the index of the guard associated to the control flow | |
Structure representing a control flow.
A control flow is characterized by:
The destination of the control flow may be either an action node, or the final node, or a decision node. The type of the control flow destination is identified as follows:
dest
is the identifier of the destination node-dest
is the identifier of the decisionThe guard is an integer which identifies the location in the guard array of the procedure descriptor (see FwPrDesc
) where the guard is stored as a function pointer. Control flows which do not have a guard associated to them, set iGuard
equal to zero (the zero-th location in the guard array holds the "dummy
guard" PrDummyGuard
which always returns 1).
By convention, the implementation treats a control flow as uninitialized if its iGuard
field is equal to -1.
Definition at line 152 of file FwPrPrivate.h.