X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/91065b676e80a8c26a356477b018f2aae9b6eea7..ba747ecf0be34dbe90a464e78e67700a27642d74:/include/xbt/replay.h diff --git a/include/xbt/replay.h b/include/xbt/replay.h index 2f5d62f993..45246190d1 100644 --- a/include/xbt/replay.h +++ b/include/xbt/replay.h @@ -1,6 +1,6 @@ /* xbt/replay_reader.h -- Tools to parse a replay file */ -/* Copyright (c) 2010. The SimGrid Team. +/* Copyright (c) 2010, 2012-2015. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -8,30 +8,30 @@ #ifndef XBT_REPLAY_H #define XBT_REPLAY_H -#include "xbt/misc.h" /* SG_BEGIN_DECL */ + +#include "xbt/dict.h" SG_BEGIN_DECL() typedef struct s_replay_reader *xbt_replay_reader_t; typedef void (*action_fun) (const char *const *args); -static xbt_dict_t action_funs; -static xbt_dict_t action_queues; +XBT_PUBLIC_DATA(xbt_dict_t) xbt_action_funs; +XBT_PUBLIC_DATA(xbt_dict_t) xbt_action_queues; /* To split the file if a unique one is given (specific variable for the other case live in runner()) */ -FILE *action_fp; - +XBT_PUBLIC_DATA(FILE *) xbt_action_fp; -xbt_replay_reader_t xbt_replay_reader_new(const char*filename); -const char **xbt_replay_reader_get(xbt_replay_reader_t reader); -void xbt_replay_reader_free(xbt_replay_reader_t *reader); -const char *xbt_replay_reader_position(xbt_replay_reader_t reader); +XBT_PUBLIC(xbt_replay_reader_t) xbt_replay_reader_new(const char*filename); +XBT_PUBLIC(const char **) xbt_replay_reader_get(xbt_replay_reader_t reader); +XBT_PUBLIC(void) xbt_replay_reader_free(xbt_replay_reader_t *reader); -int xbt_replay_action_runner(int argc, char *argv[]); +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_register(const char *action_name, - action_fun function); -XBT_PUBLIC(void) xbt_replay_action_unregister(const char *action_name); +XBT_PUBLIC(int) _xbt_replay_is_active(); +XBT_PUBLIC(int) _xbt_replay_action_init(); +XBT_PUBLIC(void) _xbt_replay_action_exit(); SG_END_DECL()