X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dff9e15c44ab6340d27215957c56fa72fad246a2..e0d012a5fe6be526b6062eb17bbe23cc71771f84:/include/xbt/graphxml_parse.h

diff --git a/include/xbt/graphxml_parse.h b/include/xbt/graphxml_parse.h
index 157cf3076d..3811bc3e56 100644
--- a/include/xbt/graphxml_parse.h
+++ b/include/xbt/graphxml_parse.h
@@ -1,6 +1,5 @@
-/* 	$Id $	 */
-
-/* Copyright (c) 2006 Arnaud Legrand. All rights reserved.                  */
+/* Copyright (c) 2006-2007, 2009-2011, 2013-2014. 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. */
@@ -8,9 +7,15 @@
 #ifndef _XBT_GRAPHXML_PARSE_H
 #define _XBT_GRAPHXML_PARSE_H
 
-#include <stdio.h>
+#include <stdio.h>              /* to have FILE */
 #include "xbt/misc.h"
 #include "xbt/graphxml.h"
+#include "simgrid_config.h"
+
+#ifndef YY_TYPEDEF_YY_SIZE_T
+#define YY_TYPEDEF_YY_SIZE_T
+typedef size_t yy_size_t;
+#endif
 
 /* Entry-point of the graphxml parser. */
 extern int_f_void_t xbt_graph_parse;
@@ -27,15 +32,14 @@ extern void_f_void_t ETag_graphxml_edge_fun;
 XBT_PUBLIC(void) xbt_graph_parse_open(const char *file);
 XBT_PUBLIC(void) xbt_graph_parse_close(void);
 XBT_PUBLIC(void) xbt_graph_parse_reset_parser(void);
-XBT_PUBLIC(void) xbt_graph_parse_get_double(double *value,
-                                            const char *string);
+XBT_PUBLIC(double) xbt_graph_parse_get_double(const char *string);
 
 /* Prototypes of the functions offered by flex */
 XBT_PUBLIC(int) xbt_graph_parse_lex(void);
 XBT_PUBLIC(int) xbt_graph_parse_get_lineno(void);
 XBT_PUBLIC(FILE *) xbt_graph_parse_get_in(void);
 XBT_PUBLIC(FILE *) xbt_graph_parse_get_out(void);
-XBT_PUBLIC(int) xbt_graph_parse_get_leng(void);
+XBT_PUBLIC(yy_size_t) xbt_graph_parse_get_leng(void);
 XBT_PUBLIC(char *) xbt_graph_parse_get_text(void);
 XBT_PUBLIC(void) xbt_graph_parse_set_lineno(int line_number);
 XBT_PUBLIC(void) xbt_graph_parse_set_in(FILE * in_str);