+const char *SD_workstation_get_name(SD_workstation_t workstation)
+{
+ return surf_resource_name(workstation->surf_workstation);
+}
+
+/**
+ * \brief Returns the value of a given workstation property
+ *
+ * \param ws a workstation
+ * \param name a property name
+ * \return value of a property (or NULL if property not set)
+ */
+const char *SD_workstation_get_property_value(SD_workstation_t ws,
+ const char *name)
+{
+ return xbt_dict_get_or_null(SD_workstation_get_properties(ws), name);
+}
+
+
+/**
+ * \brief Returns a #xbt_dict_t consisting of the list of properties assigned to this workstation
+ *
+ * \param workstation a workstation
+ * \return the dictionary containing the properties associated with the workstation
+ */
+xbt_dict_t SD_workstation_get_properties(SD_workstation_t workstation)
+{
+ return surf_workstation_model->extension.
+ workstation.get_properties(workstation->surf_workstation);
+
+}
+
+
+/** @brief Displays debugging informations about a workstation */
+void SD_workstation_dump(SD_workstation_t ws)
+{
+ xbt_dict_t props;
+ xbt_dict_cursor_t cursor=NULL;
+ char *key,*data;
+ SD_task_t task = NULL;
+
+ XBT_INFO("Displaying workstation %s", SD_workstation_get_name(ws));
+ XBT_INFO(" - power: %.0f", SD_workstation_get_power(ws));
+ XBT_INFO(" - available power: %.2f", SD_workstation_get_available_power(ws));
+ switch (ws->access_mode){
+ case SD_WORKSTATION_SHARED_ACCESS:
+ XBT_INFO(" - access mode: Space shared");
+ break;
+ case SD_WORKSTATION_SEQUENTIAL_ACCESS:
+ XBT_INFO(" - access mode: Exclusive");
+ task = SD_workstation_get_current_task(ws);
+ if(task)
+ XBT_INFO(" current running task: %s",
+ SD_task_get_name(task));
+ else
+ XBT_INFO(" no task running");
+ break;
+ default: break;
+ }
+ props = SD_workstation_get_properties(ws);
+
+ if (!xbt_dict_is_empty(props)){
+ XBT_INFO(" - properties:");
+
+ xbt_dict_foreach(props,cursor,key,data) {
+ XBT_INFO(" %s->%s",key,data);
+ }
+ }