X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7d28d93b90eedd2a49da8b9b990296669e46d05c..HEAD:/include/xbt/replay.hpp diff --git a/include/xbt/replay.hpp b/include/xbt/replay.hpp index d1596e5a5f..e6da188839 100644 --- a/include/xbt/replay.hpp +++ b/include/xbt/replay.hpp @@ -1,6 +1,6 @@ -/* xbt/replay_reader.h -- Tools to parse a replay file */ +/* xbt/replay.hpp -- Tools to parse a replay file */ -/* Copyright (c) 2010-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2010-2023. 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. */ @@ -15,18 +15,21 @@ #include #include -namespace simgrid { -namespace xbt { +namespace simgrid::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); +} // namespace simgrid::xbt 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