replay.h File Reference

#include "xbt/misc.h"

Typedefs
typedef struct s_replay_reader *	xbt_replay_reader_t
typedef void(*	action_fun) (const char *const *args)

Functions
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)
void	xbt_replay_action_register (const char *action_name, action_fun function)
	Registers a function to handle a kind of action. More...
int	xbt_replay_action_runner (int argc, char *argv[])
	function used internally to actually run the replay More...
int	_xbt_replay_is_active ()
int	_xbt_replay_action_init ()
	Initializes the replay mechanism, and returns true if (and only if) it was necessary. More...
void	_xbt_replay_action_exit ()

Variables
xbt_dict_t	xbt_action_funs
xbt_dict_t	xbt_action_queues
FILE *	xbt_action_fp

Typedef Documentation

xbt_replay_reader_t

typedef struct s_replay_reader* xbt_replay_reader_t

action_fun

typedef void(* action_fun) (const char *const *args)

Function Documentation

xbt_replay_reader_new()

xbt_replay_reader_t xbt_replay_reader_new

(

const char *

filename

)

xbt_replay_reader_get()

const char** xbt_replay_reader_get

(

xbt_replay_reader_t

reader

)

xbt_replay_reader_free()

void xbt_replay_reader_free

(

xbt_replay_reader_t *

reader

)

_xbt_replay_is_active()

int _xbt_replay_is_active

(

)

_xbt_replay_action_init()

int _xbt_replay_action_init

(

)

Initializes the replay mechanism, and returns true if (and only if) it was necessary.

It returns false if it was already done by another process.

_xbt_replay_action_exit()

void _xbt_replay_action_exit

(

)

Variable Documentation

xbt_action_funs

xbt_dict_t xbt_action_funs

xbt_action_queues

xbt_dict_t xbt_action_queues

xbt_action_fp

FILE* xbt_action_fp