model-checker : fix compilation error (with optimizations) with commit d90a41491cfb04...

[simgrid.git] / src / xbt / xbt_replay.c

diff --git a/src/xbt/xbt_replay.c b/src/xbt/xbt_replay.c
index 254c8e6..6b71973 100644 (file)
--- a/src/xbt/xbt_replay.c
+++ b/src/xbt/xbt_replay.c
@@ -22,10 +22,14 @@ typedef struct s_replay_reader {
   char *filename; int linenum;
 } s_xbt_replay_reader_t;
 
+FILE *action_fp;
+
+xbt_dict_t action_funs;
+xbt_dict_t action_queues;
+
 static char *action_line = NULL;
 static size_t action_len = 0;
 
-
 static const char **action_get_action(char *name);
 
 xbt_replay_reader_t xbt_replay_reader_new(const char *filename)
@@ -79,11 +83,12 @@ void xbt_replay_reader_free(xbt_replay_reader_t *reader)
   *reader=NULL;
 }
 
-/** \ingroup xbt_replay
+/**
+ * \ingroup XBT_replay
  * \brief Registers a function to handle a kind of action
  *
  * Registers a function to handle a kind of action
- * This table is then used by #xbt_replay_action_run
+ * This table is then used by \ref xbt_replay_action_runner
  *
  * The argument of the function is the line describing the action, splitted on spaces with xbt_str_split_quoted()
  *
@@ -95,7 +100,7 @@ void xbt_replay_action_register(const char *action_name, action_fun function)
   xbt_dict_set(action_funs, action_name, function, NULL);
 }
 
-/** \ingroup xbt_replay
+/** \ingroup XBT_replay
  * \brief Unregisters a function, which handled a kind of action
  *
  * \param action_name the reference name of the action.
@@ -105,19 +110,26 @@ void xbt_replay_action_unregister(const char *action_name)
   xbt_dict_remove(action_funs, action_name);
 }
 
-void _xbt_replay_action_init()
+void _xbt_replay_action_init(void)
 {
   action_funs = xbt_dict_new_homogeneous(NULL);
   action_queues = xbt_dict_new_homogeneous(NULL);
 }
 
-void _xbt_replay_action_exit()
+void _xbt_replay_action_exit(void)
 {
   xbt_dict_free(&action_queues);
   xbt_dict_free(&action_funs);
   free(action_line);
 }
 
+/**
+ * \ingroup XBT_replay
+ * \brief TODO
+
+ * \param argc argc .
+ * \param argv argv
+ */
 int xbt_replay_action_runner(int argc, char *argv[])
 {
   const char **evt;