Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : break forgotten in switch
[simgrid.git] / src / xbt / xbt_replay_trace_reader.c
1 /* Copyright (c) 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6 #include "simgrid_config.h" //For getline, keep that include first
7
8 #include "gras_config.h"
9 #include <errno.h>
10 #include "xbt/sysdep.h"
11 #include "xbt/log.h"
12 #include "xbt/str.h"
13 #include "xbt/replay_trace_reader.h"
14
15 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(replay,xbt,"Replay trace reader");
16
17 typedef struct s_replay_trace_reader {
18   FILE *fp;
19   char *line;
20   size_t line_len;
21   char *position; /* stable storage */
22   char *filename; int linenum;
23 } s_xbt_replay_trace_reader_t;
24
25 xbt_replay_trace_reader_t xbt_replay_trace_reader_new(const char *filename)
26 {
27   xbt_replay_trace_reader_t res = xbt_new0(s_xbt_replay_trace_reader_t,1);
28   res->fp = fopen(filename, "r");
29   xbt_assert(res->fp != NULL, "Cannot open %s: %s", filename,
30       strerror(errno));
31   res->filename = xbt_strdup(filename);
32   return res;
33 }
34
35 const char *xbt_replay_trace_reader_position(xbt_replay_trace_reader_t reader)
36 {
37   free(reader->position);
38   reader->position = bprintf("%s:%d",reader->filename,reader->linenum);
39   return reader->position;
40 }
41
42 const char **xbt_replay_trace_reader_get(xbt_replay_trace_reader_t reader)
43 {
44   ssize_t read;
45   xbt_dynar_t d;
46   read = getline(&reader->line, &reader->line_len, reader->fp);
47   //XBT_INFO("got from trace: %s",reader->line);
48   reader->linenum++;
49   if (read==-1)
50     return NULL; /* end of file */
51   char *comment = strchr(reader->line, '#');
52   if (comment != NULL)
53     *comment = '\0';
54   xbt_str_trim(reader->line, NULL);
55   if (reader->line[0] == '\0')
56     return xbt_replay_trace_reader_get(reader); /* Get next line */
57
58   d=xbt_str_split_quoted_in_place(reader->line);
59   if (xbt_dynar_is_empty(d)) {
60     xbt_dynar_free(&d);
61     return xbt_replay_trace_reader_get(reader); /* Get next line */
62   }
63   return xbt_dynar_to_array(d);
64 }
65
66 void xbt_replay_trace_reader_free(xbt_replay_trace_reader_t *reader)
67 {
68   free((*reader)->filename);
69   free((*reader)->position);
70   fclose((*reader)->fp);
71   free((*reader)->line);
72   free(*reader);
73   *reader=NULL;
74 }