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

diff --git a/include/gras/virtu.h b/include/gras/virtu.h
index 962f1f1f8f..d0c34e8c48 100644
--- a/include/gras/virtu.h
+++ b/include/gras/virtu.h
@@ -10,7 +10,7 @@
 #ifndef GRAS_VIRTU_H
 #define GRAS_VIRTU_H
 
-#include "xbt/misc.h" /* SG_BEGIN_DECL */
+#include "xbt/misc.h"           /* SG_BEGIN_DECL */
 #include "xbt/time.h"
 #include "xbt/dict.h"
 
@@ -18,12 +18,12 @@ SG_BEGIN_DECL()
 
 /* Initialization of the simulation world. Do not call them in RL. 
    Indeed, do not call them at all. Let gras_stub_generator do it for you. */
-void gras_global_init(int *argc, char **argv);
-void gras_create_environment(const char *file);
-void gras_function_register(const char *name, xbt_main_func_t code);
-void gras_launch_application(const char *file);
-void gras_clean(void);
-void gras_main(void);
+     void gras_global_init(int *argc, char **argv);
+     void gras_create_environment(const char *file);
+     void gras_function_register(const char *name, xbt_main_func_t code);
+     void gras_launch_application(const char *file);
+     void gras_clean(void);
+     void gras_main(void);
 
 
 /** @addtogroup GRAS_virtu  
@@ -41,15 +41,14 @@ void gras_main(void);
 /** @brief sleeps for the given amount of time.
  *  @param sec: number of seconds to sleep
  */
-#define gras_os_sleep(sec) xbt_sleep(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
  * cannot be determined.  Always returns the same value, so multiple calls
  * cause no problems.
  */
-XBT_PUBLIC(const char *)
-gras_os_myname(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);
@@ -58,8 +57,7 @@ XBT_PUBLIC(int) gras_os_myport(void);
  *
  * Returns the concatenation of gras_os_myname():gras_os_myport(). Please do not free the result.
  */
-XBT_PUBLIC(const char *)
-gras_os_hostport(void);
+XBT_PUBLIC(const char *) gras_os_hostport(void);
 
 /** @brief get process identification
  *
@@ -71,13 +69,11 @@ 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(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);   
+XBT_PUBLIC(const char *) gras_os_host_property_value(const char *name);
 
 /** @} */
 SG_END_DECL()
-
 #endif /* GRAS_VIRTU_H */
-