#define GRAS_VIRTU_H
#include "xbt/misc.h" /* SG_BEGIN_DECL */
+#include "xbt/time.h"
+#include "xbt/dict.h"
SG_BEGIN_DECL()
* @return number of second since the Epoch.
* (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
*/
-XBT_PUBLIC(double) gras_os_time(void);
-
+#define gras_os_time() xbt_time()
/** @brief sleeps for the given amount of time.
* @param sec: number of seconds to sleep
*/
-XBT_PUBLIC(void) gras_os_sleep(double sec);
-
+#define gras_os_sleep(sec) xbt_sleep(sec)
/** @brief get the fully-qualified name of the current host
*
* Returns the fully-qualified name of the host machine, or "localhost" if the name
/** @brief returns the number on which this process is listening for incoming messages */
XBT_PUBLIC(int) gras_os_myport(void);
+/** @brief get the uri of the current process
+ *
+ * Returns the concatenation of gras_os_myname():gras_os_myport(). Please do not free the result.
+ */
+XBT_PUBLIC(const char *)
+gras_os_hostport(void);
+
/** @brief get process identification
*
* Returns the process ID of the current process. (This is often used
*/
XBT_PUBLIC(int) gras_os_getpid(void);
+
+/* Properties related */
+XBT_PUBLIC(xbt_dict_t) gras_process_properties(void);
+XBT_PUBLIC(const char*) gras_process_property_value(const char* name);
+
+XBT_PUBLIC(xbt_dict_t) gras_os_host_properties(void);
+XBT_PUBLIC(const char*) gras_os_host_property_value(const char* name);
+
/** @} */
SG_END_DECL()