1 /* xbt.h - Public interface to the xbt (simgrid's toolbox) */
3 /* Copyright (c) 2004-2015. The SimGrid Team.
4 * All rights reserved. */
6 /* This program is free software; you can redistribute it and/or modify it
7 * under the terms of the license (GNU LGPL) which comes with this package. */
12 #include "simgrid_config.h"
20 /** Cache the size of a memory page for the current system. */
21 XBT_PUBLIC_DATA(int) xbt_pagesize;
23 /** Cache the number of bits of addresses inside a given page, log2(xbt_pagesize). */
24 XBT_PUBLIC_DATA(int) xbt_pagebits;
26 /** Helps ensuring that header version (SIMGRID_VERSION_MAJOR and friends) and dynamic library version do match. */
27 XBT_PUBLIC(void) sg_version_check(int lib_version_major,int lib_version_minor,int lib_version_patch);
29 /** Contains all the parameters we got from the command line */
30 XBT_PUBLIC_DATA(xbt_dynar_t) sg_cmdline;
32 /* snprintf related functions */
33 /** @addtogroup XBT_str
36 /** @brief print to allocated string
38 * Similar to vasprintf(), but returns a pointer to the newly created string (or aborts on error).
40 XBT_PUBLIC(char *) bvprintf(const char *fmt, va_list ap);
41 /** @brief print to allocated string
43 * Similar to asprintf(), but returns a pointer to the newly created string (or aborts on error).
45 XBT_PUBLIC(char *) bprintf(const char *fmt, ...) XBT_ATTRIB_PRINTF(1, 2);
50 #endif /* XBT_MISC_H */