+
+ /* temporary test to access to the surf workstation structure */
+ xbt_dict_cursor_t cursor = NULL;
+ char *name = NULL;
+ void *workstation = NULL;
+ const char *surf_name;
+ int speed;
+
+ xbt_dict_foreach(workstation_set, cursor, name, workstation) {
+ surf_name = surf_workstation_resource->common_public->get_resource_name(workstation);
+ speed = surf_workstation_resource->extension_public->get_speed(workstation, 1.0);
+ printf("Workstation name: %s, Surf name: %s, speed: %d\n", name, surf_name, speed);
+ }
+