return simcall_BODY_sem_get_capacity(sem);
}
+/**
+ * \ingroup simix_file_management
+ * \brief Returns the user data associated to a file.
+ *
+ * \param fd A simix file
+ * \return the user data of this file
+ */
+void* simcall_file_get_data(smx_file_t fd)
+{
+ return simcall_BODY_file_get_data(fd);
+}
+
+/**
+ * \ingroup simix_file_management
+ * \brief Sets the user data associated to a file.
+ *
+ * \param fd A SIMIX file
+ * \param data The user data to set
+ */
+void simcall_file_set_data(smx_file_t fd, void *data)
+{
+ simcall_file_set_data(fd, data);
+}
+
/**
* \ingroup simix_file_management
*
return simcall_BODY_file_get_size(fd);
}
+/**
+ * \ingroup simix_file_management
+ *
+ */
+xbt_dynar_t simcall_file_get_info(smx_file_t fd)
+{
+ return simcall_BODY_file_get_info(fd);
+}
+
/**
* \ingroup simix_storage_management
- * \brief Return the free size on a given storage element.
- * \param storage A SIMIX storage
- * \return a dynar containing all mounted storages on the host
+ * \brief Returns the free space size on a given storage element.
+ * \param storage name
+ * \return Return the free space size on a given storage element (as size_t)
*/
-size_t simcall_storage_get_free_size (smx_storage_t storage){
- return simcall_BODY_storage_get_free_size(storage);
+size_t simcall_storage_get_free_size (const char* name){
+ return simcall_BODY_storage_get_free_size(name);
}
/**
- * \ingroup simix_host_management
- * \brief Return the list of storages mounted on an host.
+ * \ingroup simix_storage_management
+ * \brief Returns the used space size on a given storage element.
+ * \param storage name
+ * \return Return the used space size on a given storage element (as size_t)
+ */
+size_t simcall_storage_get_used_size (const char* name){
+ return simcall_BODY_storage_get_used_size(name);
+}
+
+/**
+ * \ingroup simix_storage_management
+ * \brief Returns the list of storages mounted on an host.
* \param host A SIMIX host
* \return a dynar containing all storages mounted on the host
*/
return simcall_BODY_host_get_storage_list(host);
}
+/**
+ * \ingroup simix_storage_management
+ * \brief Returns a dict of the properties assigned to a storage element.
+ *
+ * \param storage A storage element
+ * \return The properties of this storage element
+ */
+xbt_dict_t simcall_storage_get_properties(smx_storage_t storage)
+{
+ return simcall_BODY_storage_get_properties(storage);
+}
+
#ifdef HAVE_MC
return simcall_BODY_mc_compare_snapshots(s1, s2);
}
-int simcall_mc_random(void)
+int simcall_mc_random(int min, int max)
{
- return simcall_BODY_mc_random();
+ return simcall_BODY_mc_random(min, max);
}