#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()
/* 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
/** @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);
*
* 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
*
XBT_PUBLIC(int) gras_os_getpid(void);
-/* The following functions handle process property query */
+/* Properties related */
XBT_PUBLIC(xbt_dict_t) gras_process_properties(void);
-XBT_PUBLIC(const char*) gras_process_property_value(char* name);
+XBT_PUBLIC(const char *) gras_process_property_value(const char *name);
-/* The following functions handle host/cpu property query */
XBT_PUBLIC(xbt_dict_t) gras_os_host_properties(void);
-XBT_PUBLIC(const char*) gras_os_property_value(char* name);
+XBT_PUBLIC(const char *) gras_os_host_property_value(const char *name);
/** @} */
SG_END_DECL()
-
#endif /* GRAS_VIRTU_H */
-