+void platf_graph_promoter(platf_promoter_cb_t promoter_callback) {
+ if(promoter_dynar == NULL) {
+ promoter_dynar = xbt_dynar_new(sizeof(platf_promoter_cb_t), NULL);
+ }
+ xbt_dynar_push(promoter_dynar, &promoter_callback);
+}
+
+void platf_graph_labeler(platf_labeler_cb_t labeler_callback) {
+ if(labeler_dynar == NULL) {
+ labeler_dynar = xbt_dynar_new(sizeof(void*), NULL);
+ }
+ xbt_dynar_push(labeler_dynar, &labeler_callback);
+}
+
+void platf_do_promote(void) {
+ platf_promoter_cb_t promoter_callback;
+ xbt_node_t graph_node = NULL;
+ xbt_dynar_t dynar_nodes = NULL;
+ context_node_t node = NULL;
+ unsigned int i, j;
+ dynar_nodes = xbt_graph_get_nodes(platform_graph);
+ xbt_dynar_foreach(dynar_nodes, i, graph_node) {
+ node = (context_node_t) xbt_graph_node_get_data(graph_node);
+ xbt_dynar_foreach(promoter_dynar, j, promoter_callback) {
+ if(node->kind != ROUTER)
+ break;
+ promoter_callback(node);
+ }
+ }
+}
+
+void platf_do_label(void) {
+ platf_labeler_cb_t labeler_callback;
+ xbt_edge_t graph_edge = NULL;
+ xbt_dynar_t dynar_edges = NULL;
+ context_edge_t edge = NULL;
+ unsigned int i, j;
+ dynar_edges = xbt_graph_get_edges(platform_graph);
+ xbt_dynar_foreach(dynar_edges, i, graph_edge) {
+ edge = (context_edge_t) xbt_graph_edge_get_data(graph_edge);
+ xbt_dynar_foreach(promoter_dynar, j, labeler_callback) {
+ if(edge->labeled == TRUE)
+ break;
+ labeler_callback(edge);
+ }
+ }
+}
+