+
+/* 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);
+int gras_ddt_parse_get_leng (void);
+char *gras_ddt_parse_get_text (void);
+void gras_ddt_parse_set_lineno (int line_number );
+void gras_ddt_parse_set_in (FILE * in_str );
+void gras_ddt_parse_set_out (FILE * out_str );
+int gras_ddt_parse_get_debug (void);
+void gras_ddt_parse_set_debug (int bdebug );
+int gras_ddt_parse_lex_destroy (void);
+
+#define PARSE_ERROR_PRE do {
+#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);\
+ PARSE_ERROR_POST
+#define PARSE_ERROR1(fmt,a) PARSE_ERROR_PRE \
+ ERROR4(fmt " at %d:%d of :\n%s",a, gras_ddt_parse_line_pos,gras_ddt_parse_col_pos,definition);\
+ PARSE_ERROR_POST
+#define PARSE_ERROR2(fmt,a,b) PARSE_ERROR_PRE \
+ ERROR5(fmt " at %d:%d of :\n%s",a,b, gras_ddt_parse_line_pos,gras_ddt_parse_col_pos,definition);\
+ PARSE_ERROR_POST