X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50112236f62426d55750da4901ab88456a272e7f..ea2e2f84bb9c4d52951666f7f7136213483523a2:/include/xbt/replay.hpp diff --git a/include/xbt/replay.hpp b/include/xbt/replay.hpp new file mode 100644 index 0000000000..7b55760f71 --- /dev/null +++ b/include/xbt/replay.hpp @@ -0,0 +1,39 @@ +/* xbt/replay_reader.h -- Tools to parse a replay file */ + +/* Copyright (c) 2010, 2012-2015, 2017. 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. */ + +#ifndef XBT_REPLAY_HPP +#define XBT_REPLAY_HPP + +#include "xbt/dict.h" +#ifdef __cplusplus +#include + +namespace simgrid { +namespace xbt { +/* To split the file if a unique one is given (specific variable for the other case live in runner()) */ +XBT_PUBLIC_DATA(std::ifstream*) action_fs; +XBT_PUBLIC(bool) replay_is_active(); +} +} +#endif + +SG_BEGIN_DECL() + +typedef void (*action_fun)(const char* const* args); + +XBT_PUBLIC_DATA(xbt_dict_t) xbt_action_queues; + +XBT_PUBLIC(void) xbt_replay_action_register(const char* action_name, action_fun function); +XBT_PUBLIC(int) xbt_replay_action_runner(int argc, char* argv[]); + +XBT_PUBLIC(void) _xbt_replay_action_init(); +XBT_PUBLIC(void) _xbt_replay_action_exit(); + +SG_END_DECL() + +#endif