-/* temporary function for debugging */
-static void __SD_print_watch_points(SD_task_t task)
-{
- static const int state_masks[] =
- { SD_SCHEDULABLE, SD_SCHEDULED, SD_RUNNING, SD_RUNNABLE, SD_DONE,
- SD_FAILED
- };
- static const char *state_names[] =
- { "schedulable", "scheduled", "running", "runnable", "done",
- "failed"
- };
- int i;
-
- XBT_INFO("Task '%s' watch points (%x): ", SD_task_get_name(task),
- task->watch_points);
-
-
- for (i = 0; i < 5; i++) {
- if (task->watch_points & state_masks[i])
- XBT_INFO("%s ", state_names[i]);
- }
-}
-