Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Indent include and src using this command:
[simgrid.git] / include / gras / virtu.h
index 8fe94ab..d4b80ca 100644 (file)
@@ -1,8 +1,7 @@
-/* $Id$                    */
-
 /* gras/virtu.h - public interface to virtualization (cross-OS portability) */
 
-/* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved.            */
+/* Copyright (c) 2004, 2005, 2006, 2007, 2009, 2010. The SimGrid Team.
+ * 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. */
@@ -10,8 +9,9 @@
 #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"
 
 SG_BEGIN_DECL()
 
@@ -20,7 +20,9 @@ SG_BEGIN_DECL()
 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_function_register_default(xbt_main_func_t code);
 void gras_launch_application(const char *file);
+void gras_load_environment_script(const char *file);
 void gras_clean(void);
 void gras_main(void);
 
@@ -36,19 +38,18 @@ void gras_main(void);
  *  @return number of second since the Epoch.
  *  (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
  */
-#define gras_os_time() xbt_os_time()
+#define gras_os_time() xbt_time()
 /** @brief sleeps for the given amount of time.
  *  @param sec: number of seconds to sleep
  */
-#define gras_os_sleep(sec) xbt_os_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);
@@ -57,8 +58,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
  *
@@ -67,8 +67,14 @@ gras_os_hostport(void);
  */
 XBT_PUBLIC(int) gras_os_getpid(void);
 
-/** @} */
-SG_END_DECL()
 
-#endif /* GRAS_VIRTU_H */
+/* 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()
+#endif                          /* GRAS_VIRTU_H */