X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2b2f8865b7d2f38344cb01a253c9018643598c10..778f65057da68465382593cd036b6ee59ada54e9:/src/gras/DataDesc/ddt_parse.yy.h

diff --git a/src/gras/DataDesc/ddt_parse.yy.h b/src/gras/DataDesc/ddt_parse.yy.h
index 922ef58b40..cfedb4f644 100644
--- a/src/gras/DataDesc/ddt_parse.yy.h
+++ b/src/gras/DataDesc/ddt_parse.yy.h
@@ -1,8 +1,13 @@
 /* $Id$ */
 
-/* gs/parse.h -- automatic parsing of data structures */
+/* ddt_parse.h -- automatic parsing of data structures                      */
 
-/* Authors: Arnaud Legrand, Martin Quinson            */
+/* Copyright (c) 2003 Arnaud Legrand.                                       */
+/* Copyright (c) 2003, 2004 Martin Quinson.                                 */
+/* 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. */
 
 typedef enum {
   GRAS_DDT_PARSE_TOKEN_EMPTY = 0,
@@ -32,7 +37,6 @@ extern int gras_ddt_parse_char_pos;
 extern int gras_ddt_parse_tok_num;
 
 void gras_ddt_parse_dump(void);
-int gras_ddt_parse_lex(void);
 int gras_ddt_parse_lex_n_dump(void);
 void  gras_ddt_parse_pointer_init(const char *file);
 void  gras_ddt_parse_pointer_close(void);
@@ -40,6 +44,7 @@ void  gras_ddt_parse_pointer_string_init(const char *string_to_parse);
 void  gras_ddt_parse_pointer_string_close(void);
 
 /* prototypes of the functions offered by flex */
+int gras_ddt_parse_lex(void);
 int gras_ddt_parse_get_lineno  (void);
 FILE *gras_ddt_parse_get_in  (void);
 FILE *gras_ddt_parse_get_out  (void);
@@ -53,7 +58,7 @@ void gras_ddt_parse_set_debug (int  bdebug );
 int gras_ddt_parse_lex_destroy  (void);
 
 #define PARSE_ERROR_PRE do {
-#define PARSE_ERROR_POST gras_abort();} while (0)
+#define PARSE_ERROR_POST xbt_abort();} while (0)
 
 #define PARSE_ERROR0(fmt)     PARSE_ERROR_PRE \
                               ERROR3(fmt " at %d:%d of :\n%s", gras_ddt_parse_line_pos,gras_ddt_parse_col_pos,definition);\