-
-void print_key_value_dict(FILE *jed_file, std::unordered_map<char*, char*> key_value_dict) {
- if(!key_value_dict.empty()) {
- for (auto elm: key_value_dict) {
- fprintf(jed_file, " <prop key=\"%s\" value=\"%s\" />\n",elm.first,elm.second);
- }
- }
-}
-
-static void print_platform(FILE *jed_file, jed_container_t root_container) {
- fprintf(jed_file, " <platform>\n");
- root_container->print(jed_file);
- fprintf(jed_file, " </platform>\n");
-}
-
-static void print_events(FILE *jed_file, xbt_dynar_t event_list) {
- unsigned int i;
- jed_event_t event;
-
- fprintf(jed_file, " <events>\n");
- xbt_dynar_foreach(event_list, i, event) {
- event->print(jed_file);
- }
- fprintf(jed_file, " </events>\n");
-}
-
-void write_jedule_output(FILE *file, jedule_t jedule, xbt_dynar_t event_list, xbt_dict_t meta_info_dict) {