#include <cfg.h>
Collaboration diagram for CFGBlock:
Definition at line 146 of file cfg.h.
Public Member Functions | |
| CFGBlock () | |
| constructor | |
| CFGBlock (CFGBlockType, int, string) | |
| constructor | |
| CFGBlock (string id) | |
| generic constructor | |
| CFGBlock (int id) | |
| generic constructor | |
| virtual | ~CFGBlock () |
| generic destructor | |
| CFGBlockType | getType () |
| returns the concrete type | |
| virtual void | print_dot () |
| dot_output | |
| virtual string | dot_name () |
| the name of the dot node | |
| void | resetProcessedFlag () |
| resets the processed flag to false | |
| void | checkForUninitializedVariables () |
| checks if variables might be uninitialized | |
| void | checkForCyclicLinks () |
| checks for cyclic links | |
| void | checkForCyclicControlDependency () |
| checks for cycles in control dependency (SA00082) | |
| void | checkForConflictingReceive () |
| checks for conflicting receives | |
Public Attributes | |
| list< CFGBlock * > | prevBlocks |
| list of pointers to the previous blocks | |
| list< CFGBlock * > | nextBlocks |
| list of pointers to the next blocks | |
| CFGBlock * | firstBlock |
| pointer to the first block of an activity | |
| CFGBlock * | lastBlock |
| pointer to the last block of an activity | |
| CFGBlockType | type |
| type of the block | |
| int | id |
| ID of the block. | |
| string | label |
| label of the block | |
| string | channel_name |
| additional name of the channel | |
Private Attributes | |
| bool | dotted |
| flag, if block was dotted | |
| bool | processed |
| flag, if block was processed by an algorithm (has to be resetted afterwards) | |
| set< string > | initializedVariables |
| set of initialized variables | |
| set< string > | targetsSeen |
| set of targets seen so far | |
| set< pair< string, long > > | receives |
| set of depending receives | |
| set< unsigned int > | controllingPeers |
1.5.2