FW Profile - C1 Implementation
PrFlow_t Struct Reference

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
 

Detailed Description

Structure representing a control flow.

A control flow is characterized by:

  • the destination of the control flow
  • the guard associated to the control flow

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:

  • a value of zero means that the destination is the final node
  • a positive value means that the destination is an action node and the value of dest is the identifier of the destination node
  • a negative value means that the destination is a decision node and the value of -dest is the identifier of the decision

The 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.


The documentation for this struct was generated from the following file:
P&P Software GmbH, Copyright 2011, All Rights Reserved