Public Types |
enum | ERead { NonRead = 0,
Read = 1
} |
enum | EWrite { NonWrite = 0,
Write = 1
} |
enum | Status { Untouched = 0,
Touched = 1
} |
typedef std::list< NodeWithPath > | Expressions |
Public Member Functions |
| Segment (SgNode *boundary_node, bool inlined_segment, int psg_id_=0, bool is_fake_segment_=false, bool is_simulation_process_segment_=false) |
| Segment (const Segment &other) |
void | analyze_segment () |
void | analyze_expression (SgNode *expression, ERead read, EWrite write, PortCallPath pcp) |
void | add_expression (NodeWithPath nwp) |
bool | operator== (const Segment &other) |
void | merge (const Segment &other) |
Time | get_min_waiting_time () |
| This function determines the minimal waiting time for this segment.
|
Public Attributes |
std::string | module_name |
bool | is_fake_segment |
bool | is_simulation_process_segment |
int | relative_seg_id |
std::string | starting_segment_for_function |
std::string | leaving_segment_for_function |
std::string | fake_segment_function_call_name |
int | psg_id |
std::vector< SgVariableSymbol * > | wait_event_symbols |
std::vector< SgVariableSymbol * > | notify_event_symbols |
int | node_id_ |
boost::default_color_type | color |
Status | color_for_communication_graph_ |
Status | helper_for_graph_algorithms_ |
Expressions | expressions_ |
bool | debugging_ |
bool | inlined_segment_ |
bool | is_channel_segment_ |
int | wait_offset_ |
std::set< Conflict > | conflicts_ |
PortCallPath | pcp_ |
| To identify segments which belong to segments.
|
int | id_ |
| This is the unique id of the segment.
|
SgNode * | boundary_node_ |
| This is the associated boundary of the segment.
|
boost::default_color_type | color_ |
| This color is used for some boost algorithms.
|
std::list< SymbolWithPath > | read_variables_ |
| Set of all SgVariableSymbol which are read in this segment.
|
std::list< SymbolWithPath > | write_variables_ |
| Set of all SgVariableSymbol which are written in this segment.
|
bool | calls_conflict_function_ |
| This segment calls a function with is marked as conflict.
|
bool | deref_pointer_read_ |
bool | deref_pointer_write_ |
bool | waits_for_time_ |
Static Public Attributes |
static int | node_counter = 0 |
static int | id_counter = 0 |
| This static counter will be used to generate id's for the individual segments.
|
Private Member Functions |
bool | waits_for_time () |
| This functions determines if a function waits for time The related flag waits_for_time_ will be set during construction.
|
Friends |
std::ostream & | operator<< (std::ostream &out, const Segment &segment) |