#include <distr_reporter.hh>
Public Member Functions | |
void | collect () |
void | collect_and_print (std::size_t type_of_output=REPORTER_OUTPUT_NORMAL) |
Same as collect_and_print() but prints the report into the standard file. | |
void | collect_and_print (std::size_t type_of_output, std::ostream &out) |
Collects informations from workstations. | |
distr_reporter_t (distributed_t *d) | |
A constructor. | |
void | print (std::size_t type_of_output, std::ostream &out) |
void | set_global_info (std::string s, std::string a, const std::string &long_name) |
void | set_global_info (std::string s, std::string a) |
Sets global information to report. | |
void | set_global_info (std::string s, double a, const std::string &long_name) |
void | set_global_info (std::string s, double a) |
Sets global information to report. | |
void | set_info (std::string s, double a, const std::string &long_name, size_t flag=REPORTER_MASTER) |
void | set_info (std::string s, double a, size_t flag=REPORTER_MASTER) |
Sets specific information to report. | |
Protected Member Functions | |
void | _set_pr (std::ostream &out, double a) |
void | print_specific_value (std::ostream &out, const std::string label, const divine::size_int_t i) |
Protected Attributes | |
distributed_t * | distributed |
Pointer to the instance of distributed_t. | |
std::map< std::string, global_info_value_t > | global_info |
std::map< std::string, std::string > | global_long_name |
std::vector< std::vector < double > > | results |
std::map< std::string, std::size_t > | specific_info_flag |
Specific information of the report - adjustable by set_info(). | |
Static Protected Attributes | |
static const size_int_t | BASIC_ITEMS = 6 |
void collect_and_print | ( | std::size_t | type_of_output, | |
std::ostream & | out | |||
) |
Collects informations from workstations.
Master prints it into the given ostream out. The type_of_output specifies the verbosity of the output.
void set_info | ( | std::string | s, | |
double | a, | |||
size_t | flag = REPORTER_MASTER | |||
) | [inline] |
Sets specific information to report.
The last argumet specifies what should be reported in the case of REPORTER_OUTPUT_SHORT (only one value is reported in this case).