+ xbt_assert(workstation != NULL, "Invalid parameter");
+
+ XBT_DEBUG
+ ("Workstation '%s' access mode: '%s', current task: %s, fifo size: %d",
+ SD_workstation_get_name(workstation),
+ (workstation->access_mode ==
+ SD_WORKSTATION_SHARED_ACCESS) ? "SHARED" : "FIFO",
+ (workstation->current_task ?
+ SD_task_get_name(workstation->current_task)
+ : "none"),
+ (workstation->task_fifo ? xbt_fifo_size(workstation->task_fifo) :
+ 0));
+