const char *name;
workstation = xbt_new(s_SD_workstation_priv_t, 1);
- workstation->data = data; /* user data */
workstation->access_mode = SD_WORKSTATION_SHARED_ACCESS; /* default mode is shared */
workstation->task_fifo = NULL;
workstation->current_task = NULL;
name = surf_resource_name(surf_workstation);
sg_host_t sg_host = sg_host_by_name(name);
sg_host_sd_set(sg_host,workstation);
+ sg_host_user_set(sg_host,data);
return sg_host;
}
*/
SD_workstation_t SD_workstation_get_by_name(const char *name)
{
- return xbt_lib_get_elm_or_null(host_lib, name);
+ return sg_host_by_name(name);
}
/**
*/
int SD_workstation_get_number(void)
{
- return xbt_lib_length(host_lib);
+ return sg_host_count();
}
/**
*/
void *SD_workstation_get_data(SD_workstation_t workstation)
{
- return sg_host_sd(workstation)->data;
+ return sg_host_user(workstation);
}
/**
*/
void SD_workstation_set_data(SD_workstation_t workstation, void *data)
{
- sg_host_sd(workstation)->data = data;
+ sg_host_user_set(workstation, data);
}
/**
*/
const char *SD_workstation_get_name(SD_workstation_t workstation)
{
- return sg_host_name(workstation);
+ return sg_host_get_name(workstation);
}
/**