X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/52094fad0cb07623d9e9d51b0e5260e5c36ddbf1..d5d2abbf3c688f49d07ac32300fab3eca93e0dd1:/include/xbt/replay.hpp diff --git a/include/xbt/replay.hpp b/include/xbt/replay.hpp index acee321224..ce0d124908 100644 --- a/include/xbt/replay.hpp +++ b/include/xbt/replay.hpp @@ -20,13 +20,18 @@ namespace xbt { /* To split the file if a unique one is given (specific variable for the other case live in runner()) */ using ReplayAction = std::vector; -XBT_PUBLIC_DATA std::ifstream* action_fs; -XBT_PUBLIC int replay_runner(const char* actor_name, const char* trace_filename); +/** Launch a replaying actor of the given name. + * + * If trace_filename is nullptr, then the tracefile is shared between all instances, and was passed using + * xbt_replay_set_tracefile(). If trace_filename is not nullptr, then it's not shared and this trace file is for this + * actor only */ +XBT_PUBLIC int replay_runner(const char* actor_name, const char* trace_filename = nullptr); } } using action_fun = std::function; XBT_PUBLIC void xbt_replay_action_register(const char* action_name, const action_fun& function); XBT_PUBLIC action_fun xbt_replay_action_get(const char* action_name); +XBT_PUBLIC void xbt_replay_set_tracefile(const std::string& filename); #endif