#ifndef GRAS_VIRTU_H
#define GRAS_VIRTU_H
-#include "xbt/misc.h" /* BEGIN_DECL */
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
-BEGIN_DECL()
+SG_BEGIN_DECL()
/** @addtogroup GRAS_virtu
- * @brief System call abstraction layer (Virtualization).
+ * @brief System call abstraction layer.
+ *
+ *
* @{
*/
* @return number of second since the Epoch.
* (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
*/
-double gras_os_time(void);
+XBT_PUBLIC double gras_os_time(void);
/** @brief sleeps for the given amount of time.
* @param sec: number of seconds to sleep
- * @param usec: number of microseconds to sleep
*/
-void gras_os_sleep(unsigned long sec, unsigned long usec);
+XBT_PUBLIC void gras_os_sleep(double sec);
/** @brief get the fully-qualified name of the current host
*
- * Returns the fully-qualified name of the host machine, or NULL if the name
+ * Returns the fully-qualified name of the host machine, or "localhost" if the name
* cannot be determined. Always returns the same value, so multiple calls
* cause no problems.
*/
-const char *
-gras_get_my_fqdn(void);
+XBT_PUBLIC const char *
+gras_os_myname(void);
+
+/** @brief returns the number on which this process is listening for incoming messages */
+XBT_PUBLIC int gras_os_myport(void);
+
+/** @brief get process identification
+ *
+ * Returns the process ID of the current process. (This is often used
+ by routines that generate unique temporary file names.)
+ */
+XBT_PUBLIC long int gras_os_getpid(void);
/** @} */
-END_DECL()
+SG_END_DECL()
#endif /* GRAS_VIRTU_H */