X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bfbe7002a7ff4147e838e6d88841ed8e87683683..c8c8c7f474f9ee9df9289b977a5477b7d2b88a86:/include/gras/virtu.h

diff --git a/include/gras/virtu.h b/include/gras/virtu.h
index 2669f23ab0..1e0464c4e8 100644
--- a/include/gras/virtu.h
+++ b/include/gras/virtu.h
@@ -1,49 +1,55 @@
-/* $Id$                     */
+/* $Id$                    */
 
 /* gras/virtu.h - public interface to virtualization (cross-OS portability) */
 
-/* Authors: Martin Quinson                                                  */
-/* Copyright (C) 2003,2004 da GRAS posse.                                   */
+/* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved.            */
 
 /* This program is free software; you can redistribute it and/or modify it
-   under the terms of the license (GNU LGPL) which comes with this package. */
+ * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #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()
 
-/**
- * gras_os_time:
- * @Returns: number of second since the Epoch.
- * (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
- * 
- * Get the current time.
+/** @addtogroup GRAS_virtu  
+ *  @brief System call abstraction layer.
+ *
+ *
+ *  @{
+ */
+
+/** @brief Get the current time
+ *  @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);
 
-/**
- * gras_os_sleep:
- * @Param1: number of seconds to sleep
- * @Param2: number of microseconds to sleep
- * 
- * sleeps for the given amount of time.
+/** @brief sleeps for the given amount of time.
+ *  @param sec: number of seconds to sleep
  */
-void gras_os_sleep(unsigned long sec, unsigned long usec);
+void gras_os_sleep(double sec);
 
-/**
- * gras_get_my_fqdn:
+/** @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);
+gras_os_myname(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.)
+ */
+int gras_os_getpid(void);
 
-END_DECL
+/** @} */
+SG_END_DECL()
 
 #endif /* GRAS_VIRTU_H */