SD_workstation_t workstation;
const char *name;
SD_CHECK_INIT_DONE();
- xbt_assert0(surf_workstation != NULL, "surf_workstation is NULL !");
+ xbt_assert(surf_workstation != NULL, "surf_workstation is NULL !");
workstation = xbt_new(s_SD_workstation_t, 1);
workstation->surf_workstation = surf_workstation;
{
SD_CHECK_INIT_DONE();
- xbt_assert0(name != NULL, "Invalid parameter");
+ xbt_assert(name != NULL, "Invalid parameter");
return xbt_lib_get_or_null(host_lib, name, SD_HOST_LEVEL);
}
int i;
SD_CHECK_INIT_DONE();
- xbt_assert0(SD_workstation_get_number() > 0, "There is no workstation!");
+ xbt_assert(SD_workstation_get_number() > 0, "There is no workstation!");
if (sd_global->workstation_list == NULL) { /* this is the first time the function is called */
sd_global->workstation_list =
void *SD_workstation_get_data(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
return workstation->data;
}
void SD_workstation_set_data(SD_workstation_t workstation, void *data)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
workstation->data = data;
}
const char *SD_workstation_get_name(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
return surf_resource_name(workstation->surf_workstation);
}
xbt_dict_t SD_workstation_get_properties(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0((workstation != NULL), "Invalid parameters");
+ xbt_assert((workstation != NULL), "Invalid parameters");
return surf_workstation_model->extension.
workstation.get_properties(workstation->surf_workstation);
double SD_workstation_get_power(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
return surf_workstation_model->extension.workstation.
get_speed(workstation->surf_workstation, 1.0);
}
double SD_workstation_get_available_power(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
return surf_workstation_model->extension.
workstation.get_available_speed(workstation->surf_workstation);
}
double computation_amount)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
- xbt_assert0(computation_amount >= 0,
+ xbt_assert(workstation != NULL, "Invalid parameter");
+ xbt_assert(computation_amount >= 0,
"computation_amount must be greater than or equal to zero");
return computation_amount / SD_workstation_get_power(workstation);
}
int i;
SD_CHECK_INIT_DONE();
- xbt_assert0(src != NULL && dst != NULL, "Invalid parameter");
+ xbt_assert(src != NULL && dst != NULL, "Invalid parameter");
links = SD_route_get_list(src, dst);
nb_links = SD_route_get_size(src, dst);
latency = 0.0;
int i;
SD_CHECK_INIT_DONE();
- xbt_assert0(src != NULL && dst != NULL, "Invalid parameter");
+ xbt_assert(src != NULL && dst != NULL, "Invalid parameter");
links = SD_route_get_list(src, dst);
nb_links = SD_route_get_size(src, dst);
int i;
SD_CHECK_INIT_DONE();
- xbt_assert0(src != NULL && dst != NULL, "Invalid parameter");
- xbt_assert0(communication_amount >= 0,
+ xbt_assert(src != NULL && dst != NULL, "Invalid parameter");
+ xbt_assert(communication_amount >= 0,
"communication_amount must be greater than or equal to zero");
SD_workstation_get_access_mode(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
return workstation->access_mode;
}
access_mode)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
if (access_mode == workstation->access_mode) {
return; // nothing is changed
*//*
int __SD_workstation_can_start(SD_workstation_t workstation, SD_task_t task) {
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL && task != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL && task != NULL, "Invalid parameter");
return !__SD_workstation_is_busy(workstation) &&
(xbt_fifo_size(workstation->task_fifo) == 0) || xbt_fifo_get_first_item(workstation->task_fifo) == task);
int __SD_workstation_is_busy(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
XBT_DEBUG
("Workstation '%s' access mode: '%s', current task: %s, fifo size: %d",
SD_workstation_t w;
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation != NULL, "Invalid parameter");
/* workstation->surf_workstation is freed by surf_exit and workstation->data is freed by the user */
w = (SD_workstation_t) workstation;
SD_task_t SD_workstation_get_current_task(SD_workstation_t workstation)
{
SD_CHECK_INIT_DONE();
- xbt_assert0(workstation != NULL, "Invalid parameter");
- xbt_assert0(workstation->access_mode == SD_WORKSTATION_SEQUENTIAL_ACCESS,
+ xbt_assert(workstation != NULL, "Invalid parameter");
+ xbt_assert(workstation->access_mode == SD_WORKSTATION_SEQUENTIAL_ACCESS,
"Access mode must be set to SD_WORKSTATION_SEQUENTIAL_ACCESS"
" to use this function");