Various cleanups to the model-checking user interface

[simgrid.git] / src / xbt / automaton / automaton_lexer.yy.c

diff --git a/src/xbt/automaton/automaton_parse.yy.c b/src/xbt/automaton/automaton_lexer.yy.c
similarity index 75%
rename from src/xbt/automaton/automaton_parse.yy.c
rename to src/xbt/automaton/automaton_lexer.yy.c
index a7395b1..5a5d379 100644 (file)
--- a/src/xbt/automaton/automaton_parse.yy.c
+++ b/src/xbt/automaton/automaton_lexer.yy.c
@@ -1,29 +1,29 @@
-#line 2 "automaton_parse.yy.c"
+#line 2 "automaton_lexer.yy.c"

 
 

-#line 4 "automaton_parse.yy.c"
+#line 4 "automaton_lexer.yy.c"

 
 #define  YY_INT_ALIGNED short int
 
 /* A lexical scanner generated by flex */
 
 
 #define  YY_INT_ALIGNED short int
 
 /* A lexical scanner generated by flex */
 

-#define yy_create_buffer xbt_automaton_parse__create_buffer
-#define yy_delete_buffer xbt_automaton_parse__delete_buffer
-#define yy_flex_debug xbt_automaton_parse__flex_debug
-#define yy_init_buffer xbt_automaton_parse__init_buffer
-#define yy_flush_buffer xbt_automaton_parse__flush_buffer
-#define yy_load_buffer_state xbt_automaton_parse__load_buffer_state
-#define yy_switch_to_buffer xbt_automaton_parse__switch_to_buffer
-#define yyin xbt_automaton_parse_in
-#define yyleng xbt_automaton_parse_leng
-#define yylex xbt_automaton_parse_lex
-#define yylineno xbt_automaton_parse_lineno
-#define yyout xbt_automaton_parse_out
-#define yyrestart xbt_automaton_parse_restart
-#define yytext xbt_automaton_parse_text
-#define yywrap xbt_automaton_parse_wrap
-#define yyalloc xbt_automaton_parse_alloc
-#define yyrealloc xbt_automaton_parse_realloc
-#define yyfree xbt_automaton_parse_free
+#define yy_create_buffer xbt_automaton_parser__create_buffer
+#define yy_delete_buffer xbt_automaton_parser__delete_buffer
+#define yy_flex_debug xbt_automaton_parser__flex_debug
+#define yy_init_buffer xbt_automaton_parser__init_buffer
+#define yy_flush_buffer xbt_automaton_parser__flush_buffer
+#define yy_load_buffer_state xbt_automaton_parser__load_buffer_state
+#define yy_switch_to_buffer xbt_automaton_parser__switch_to_buffer
+#define yyin xbt_automaton_parser_in
+#define yyleng xbt_automaton_parser_leng
+#define yylex xbt_automaton_parser_lex
+#define yylineno xbt_automaton_parser_lineno
+#define yyout xbt_automaton_parser_out
+#define yyrestart xbt_automaton_parser_restart
+#define yytext xbt_automaton_parser_text
+#define yywrap xbt_automaton_parser_wrap
+#define yyalloc xbt_automaton_parser_alloc
+#define yyrealloc xbt_automaton_parser_realloc
+#define yyfree xbt_automaton_parser_free

 
 #define FLEX_SCANNER
 #define YY_FLEX_MAJOR_VERSION 2
 
 #define FLEX_SCANNER
 #define YY_FLEX_MAJOR_VERSION 2


@@ -155,7 +155,7 @@ typedef unsigned int flex_uint32_t;
 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
 
 /* Special action meaning "start processing a new file". */
 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
 
 /* Special action meaning "start processing a new file". */

-#define YY_NEW_FILE xbt_automaton_parse_restart(xbt_automaton_parse_in  )
+#define YY_NEW_FILE xbt_automaton_parser_restart(xbt_automaton_parser_in  )

 
 #define YY_END_OF_BUFFER_CHAR 0
 
 
 #define YY_END_OF_BUFFER_CHAR 0
 


@@ -181,9 +181,9 @@ typedef unsigned int flex_uint32_t;
 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 #endif
 
 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 #endif
 

-extern int xbt_automaton_parse_leng;
+extern int xbt_automaton_parser_leng;

 
 

-extern FILE *xbt_automaton_parse_in, *xbt_automaton_parse_out;
+extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out;

 
 #define EOB_ACT_CONTINUE_SCAN 0
 #define EOB_ACT_END_OF_FILE 1
 
 #define EOB_ACT_CONTINUE_SCAN 0
 #define EOB_ACT_END_OF_FILE 1


@@ -195,13 +195,13 @@ extern FILE *xbt_automaton_parse_in, *xbt_automaton_parse_out;
 #define yyless(n) \
        do \
                { \
 #define yyless(n) \
        do \
                { \

-               /* Undo effects of setting up xbt_automaton_parse_text. */ \
+               /* Undo effects of setting up xbt_automaton_parser_text. */ \

         int yyless_macro_arg = (n); \
         YY_LESS_LINENO(yyless_macro_arg);\
                *yy_cp = (yy_hold_char); \
                YY_RESTORE_YY_MORE_OFFSET \
                (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
         int yyless_macro_arg = (n); \
         YY_LESS_LINENO(yyless_macro_arg);\
                *yy_cp = (yy_hold_char); \
                YY_RESTORE_YY_MORE_OFFSET \
                (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \

-               YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parse_text again */ \
+               YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parser_text again */ \

                } \
        while ( 0 )
 
                } \
        while ( 0 )
 


@@ -269,8 +269,8 @@ struct yy_buffer_state
         * possible backing-up.
         *
         * When we actually see the EOF, we change the status to "new"
         * possible backing-up.
         *
         * When we actually see the EOF, we change the status to "new"

-        * (via xbt_automaton_parse_restart()), so that the user can continue scanning by
-        * just pointing xbt_automaton_parse_in at a new input file.
+        * (via xbt_automaton_parser_restart()), so that the user can continue scanning by
+        * just pointing xbt_automaton_parser_in at a new input file.

         */
 #define YY_BUFFER_EOF_PENDING 2
 
         */
 #define YY_BUFFER_EOF_PENDING 2
 


@@ -297,51 +297,51 @@ static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
  */
 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
 
  */
 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
 

-/* yy_hold_char holds the character lost when xbt_automaton_parse_text is formed. */
+/* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */

 static char yy_hold_char;
 static int yy_n_chars;         /* number of characters read into yy_ch_buf */
 static char yy_hold_char;
 static int yy_n_chars;         /* number of characters read into yy_ch_buf */

-int xbt_automaton_parse_leng;
+int xbt_automaton_parser_leng;

 
 /* Points to current character in buffer. */
 static char *yy_c_buf_p = (char *) 0;
 static int yy_init = 0;                /* whether we need to initialize */
 static int yy_start = 0;       /* start state number */
 
 
 /* Points to current character in buffer. */
 static char *yy_c_buf_p = (char *) 0;
 static int yy_init = 0;                /* whether we need to initialize */
 static int yy_start = 0;       /* start state number */
 

-/* Flag which is used to allow xbt_automaton_parse_wrap()'s to do buffer switches
- * instead of setting up a fresh xbt_automaton_parse_in.  A bit of a hack ...
+/* Flag which is used to allow xbt_automaton_parser_wrap()'s to do buffer switches
+ * instead of setting up a fresh xbt_automaton_parser_in.  A bit of a hack ...

  */
 static int yy_did_buffer_switch_on_eof;
 
  */
 static int yy_did_buffer_switch_on_eof;
 

-void xbt_automaton_parse_restart (FILE *input_file  );
-void xbt_automaton_parse__switch_to_buffer (YY_BUFFER_STATE new_buffer  );
-YY_BUFFER_STATE xbt_automaton_parse__create_buffer (FILE *file,int size  );
-void xbt_automaton_parse__delete_buffer (YY_BUFFER_STATE b  );
-void xbt_automaton_parse__flush_buffer (YY_BUFFER_STATE b  );
-void xbt_automaton_parse_push_buffer_state (YY_BUFFER_STATE new_buffer  );
-void xbt_automaton_parse_pop_buffer_state (void );
+void xbt_automaton_parser_restart (FILE *input_file  );
+void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer  );
+YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE *file,int size  );
+void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b  );
+void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b  );
+void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer  );
+void xbt_automaton_parser_pop_buffer_state (void );

 
 

-static void xbt_automaton_parse_ensure_buffer_stack (void );
-static void xbt_automaton_parse__load_buffer_state (void );
-static void xbt_automaton_parse__init_buffer (YY_BUFFER_STATE b,FILE *file  );
+static void xbt_automaton_parser_ensure_buffer_stack (void );
+static void xbt_automaton_parser__load_buffer_state (void );
+static void xbt_automaton_parser__init_buffer (YY_BUFFER_STATE b,FILE *file  );

 
 

-#define YY_FLUSH_BUFFER xbt_automaton_parse__flush_buffer(YY_CURRENT_BUFFER )
+#define YY_FLUSH_BUFFER xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER )

 
 

-YY_BUFFER_STATE xbt_automaton_parse__scan_buffer (char *base,yy_size_t size  );
-YY_BUFFER_STATE xbt_automaton_parse__scan_string (yyconst char *yy_str  );
-YY_BUFFER_STATE xbt_automaton_parse__scan_bytes (yyconst char *bytes,int len  );
+YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char *base,yy_size_t size  );
+YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char *yy_str  );
+YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char *bytes,int len  );

 
 

-void *xbt_automaton_parse_alloc (yy_size_t  );
-void *xbt_automaton_parse_realloc (void *,yy_size_t  );
-void xbt_automaton_parse_free (void *  );
+void *xbt_automaton_parser_alloc (yy_size_t  );
+void *xbt_automaton_parser_realloc (void *,yy_size_t  );
+void xbt_automaton_parser_free (void *  );

 
 

-#define yy_new_buffer xbt_automaton_parse__create_buffer
+#define yy_new_buffer xbt_automaton_parser__create_buffer

 
 #define yy_set_interactive(is_interactive) \
        { \
        if ( ! YY_CURRENT_BUFFER ){ \
 
 #define yy_set_interactive(is_interactive) \
        { \
        if ( ! YY_CURRENT_BUFFER ){ \

-        xbt_automaton_parse_ensure_buffer_stack (); \
+        xbt_automaton_parser_ensure_buffer_stack (); \

                YY_CURRENT_BUFFER_LVALUE =    \
                YY_CURRENT_BUFFER_LVALUE =    \

-            xbt_automaton_parse__create_buffer(xbt_automaton_parse_in,YY_BUF_SIZE ); \
+            xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \

        } \
        YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
        }
        } \
        YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
        }


@@ -349,9 +349,9 @@ void xbt_automaton_parse_free (void *  );
 #define yy_set_bol(at_bol) \
        { \
        if ( ! YY_CURRENT_BUFFER ){\
 #define yy_set_bol(at_bol) \
        { \
        if ( ! YY_CURRENT_BUFFER ){\

-        xbt_automaton_parse_ensure_buffer_stack (); \
+        xbt_automaton_parser_ensure_buffer_stack (); \

                YY_CURRENT_BUFFER_LVALUE =    \
                YY_CURRENT_BUFFER_LVALUE =    \

-            xbt_automaton_parse__create_buffer(xbt_automaton_parse_in,YY_BUF_SIZE ); \
+            xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \

        } \
        YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
        }
        } \
        YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
        }


@@ -360,21 +360,21 @@ void xbt_automaton_parse_free (void *  );
 
 /* Begin user sect3 */
 
 
 /* Begin user sect3 */
 

-#define xbt_automaton_parse_wrap(n) 1
+#define xbt_automaton_parser_wrap(n) 1

 #define YY_SKIP_YYWRAP
 
 typedef unsigned char YY_CHAR;
 
 #define YY_SKIP_YYWRAP
 
 typedef unsigned char YY_CHAR;
 

-FILE *xbt_automaton_parse_in = (FILE *) 0, *xbt_automaton_parse_out = (FILE *) 0;
+FILE *xbt_automaton_parser_in = (FILE *) 0, *xbt_automaton_parser_out = (FILE *) 0;

 
 typedef int yy_state_type;
 
 
 typedef int yy_state_type;
 

-extern int xbt_automaton_parse_lineno;
+extern int xbt_automaton_parser_lineno;

 
 

-int xbt_automaton_parse_lineno = 1;
+int xbt_automaton_parser_lineno = 1;

 
 

-extern char *xbt_automaton_parse_text;
-#define yytext_ptr xbt_automaton_parse_text
+extern char *xbt_automaton_parser_text;
+#define yytext_ptr xbt_automaton_parser_text

 
 static yy_state_type yy_get_previous_state (void );
 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
 
 static yy_state_type yy_get_previous_state (void );
 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );


@@ -382,11 +382,11 @@ static int yy_get_next_buffer (void );
 static void yy_fatal_error (yyconst char msg[]  );
 
 /* Done after the current pattern has been matched and before the
 static void yy_fatal_error (yyconst char msg[]  );
 
 /* Done after the current pattern has been matched and before the

- * corresponding action - sets up xbt_automaton_parse_text.
+ * corresponding action - sets up xbt_automaton_parser_text.

  */
 #define YY_DO_BEFORE_ACTION \
        (yytext_ptr) = yy_bp; \
  */
 #define YY_DO_BEFORE_ACTION \
        (yytext_ptr) = yy_bp; \

-       xbt_automaton_parse_leng = (size_t) (yy_cp - yy_bp); \
+       xbt_automaton_parser_leng = (size_t) (yy_cp - yy_bp); \

        (yy_hold_char) = *yy_cp; \
        *yy_cp = '\0'; \
        (yy_c_buf_p) = yy_cp;
        (yy_hold_char) = *yy_cp; \
        *yy_cp = '\0'; \
        (yy_c_buf_p) = yy_cp;


@@ -509,8 +509,8 @@ static yyconst flex_int16_t yy_chk[124] =
 static yy_state_type yy_last_accepting_state;
 static char *yy_last_accepting_cpos;
 
 static yy_state_type yy_last_accepting_state;
 static char *yy_last_accepting_cpos;
 

-extern int xbt_automaton_parse__flex_debug;
-int xbt_automaton_parse__flex_debug = 0;
+extern int xbt_automaton_parser__flex_debug;
+int xbt_automaton_parser__flex_debug = 0;

 
 /* The intent behind this definition is that it'll catch
  * any uses of REJECT which flex missed.
 
 /* The intent behind this definition is that it'll catch
  * any uses of REJECT which flex missed.


@@ -519,17 +519,17 @@ int xbt_automaton_parse__flex_debug = 0;
 #define yymore() yymore_used_but_not_detected
 #define YY_MORE_ADJ 0
 #define YY_RESTORE_YY_MORE_OFFSET
 #define yymore() yymore_used_but_not_detected
 #define YY_MORE_ADJ 0
 #define YY_RESTORE_YY_MORE_OFFSET

-char *xbt_automaton_parse_text;
+char *xbt_automaton_parser_text;

 #line 1 "parserPromela.lex"
 #line 4 "parserPromela.lex"
 
 
 #include <stdio.h>
 #line 1 "parserPromela.lex"
 #line 4 "parserPromela.lex"
 
 
 #include <stdio.h>

-#include "y.tab.h"
+#include "parserPromela.tab.hacc"

   
   extern YYSTYPE yylval;
  
   
   extern YYSTYPE yylval;
  

-#line 533 "automaton_parse.yy.c"
+#line 533 "automaton_lexer.yy.c"

 
 #define INITIAL 0
 
 
 #define INITIAL 0
 


@@ -550,31 +550,31 @@ static int yy_init_globals (void );
 /* Accessor methods to globals.
    These are made visible to non-reentrant scanners for convenience. */
 
 /* Accessor methods to globals.
    These are made visible to non-reentrant scanners for convenience. */
 

-int xbt_automaton_parse_lex_destroy (void );
+int xbt_automaton_parser_lex_destroy (void );

 
 

-int xbt_automaton_parse_get_debug (void );
+int xbt_automaton_parser_get_debug (void );

 
 

-void xbt_automaton_parse_set_debug (int debug_flag  );
+void xbt_automaton_parser_set_debug (int debug_flag  );

 
 

-YY_EXTRA_TYPE xbt_automaton_parse_get_extra (void );
+YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void );

 
 

-void xbt_automaton_parse_set_extra (YY_EXTRA_TYPE user_defined  );
+void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined  );

 
 

-FILE *xbt_automaton_parse_get_in (void );
+FILE *xbt_automaton_parser_get_in (void );

 
 

-void xbt_automaton_parse_set_in  (FILE * in_str  );
+void xbt_automaton_parser_set_in  (FILE * in_str  );

 
 

-FILE *xbt_automaton_parse_get_out (void );
+FILE *xbt_automaton_parser_get_out (void );

 
 

-void xbt_automaton_parse_set_out  (FILE * out_str  );
+void xbt_automaton_parser_set_out  (FILE * out_str  );

 
 

-int xbt_automaton_parse_get_leng (void );
+int xbt_automaton_parser_get_leng (void );

 
 

-char *xbt_automaton_parse_get_text (void );
+char *xbt_automaton_parser_get_text (void );

 
 

-int xbt_automaton_parse_get_lineno (void );
+int xbt_automaton_parser_get_lineno (void );

 
 

-void xbt_automaton_parse_set_lineno (int line_number  );
+void xbt_automaton_parser_set_lineno (int line_number  );

 
 /* Macros after this point can all be overridden by user definitions in
  * section 1.
 
 /* Macros after this point can all be overridden by user definitions in
  * section 1.


@@ -582,9 +582,9 @@ void xbt_automaton_parse_set_lineno (int line_number  );
 
 #ifndef YY_SKIP_YYWRAP
 #ifdef __cplusplus
 
 #ifndef YY_SKIP_YYWRAP
 #ifdef __cplusplus

-extern "C" int xbt_automaton_parse_wrap (void );
+extern "C" int xbt_automaton_parser_wrap (void );

 #else
 #else

-extern int xbt_automaton_parse_wrap (void );
+extern int xbt_automaton_parser_wrap (void );

 #endif
 #endif
 
 #endif
 #endif
 


@@ -623,7 +623,7 @@ static int input (void );
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */
 /* This used to be an fputs(), but since the string might contain NUL's,
  * we now use fwrite().
  */

-#define ECHO do { if (fwrite( xbt_automaton_parse_text, xbt_automaton_parse_leng, 1, xbt_automaton_parse_out )) {} } while (0)
+#define ECHO do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)

 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 #endif
 
 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,


@@ -636,18 +636,18 @@ static int input (void );
                int c = '*'; \
                size_t n; \
                for ( n = 0; n < max_size && \
                int c = '*'; \
                size_t n; \
                for ( n = 0; n < max_size && \

-                            (c = getc( xbt_automaton_parse_in )) != EOF && c != '\n'; ++n ) \
+                            (c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \

                        buf[n] = (char) c; \
                if ( c == '\n' ) \
                        buf[n++] = (char) c; \
                        buf[n] = (char) c; \
                if ( c == '\n' ) \
                        buf[n++] = (char) c; \

-               if ( c == EOF && ferror( xbt_automaton_parse_in ) ) \
+               if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \

                        YY_FATAL_ERROR( "input in flex scanner failed" ); \
                result = n; \
                } \
        else \
                { \
                errno=0; \
                        YY_FATAL_ERROR( "input in flex scanner failed" ); \
                result = n; \
                } \
        else \
                { \
                errno=0; \

-               while ( (result = fread(buf, 1, max_size, xbt_automaton_parse_in))==0 && ferror(xbt_automaton_parse_in)) \
+               while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \

                        { \
                        if( errno != EINTR) \
                                { \
                        { \
                        if( errno != EINTR) \
                                { \


@@ -655,7 +655,7 @@ static int input (void );
                                break; \
                                } \
                        errno=0; \
                                break; \
                                } \
                        errno=0; \

-                       clearerr(xbt_automaton_parse_in); \
+                       clearerr(xbt_automaton_parser_in); \

                        } \
                }\
 \
                        } \
                }\
 \


@@ -688,12 +688,12 @@ static int input (void );
 #ifndef YY_DECL
 #define YY_DECL_IS_OURS 1
 
 #ifndef YY_DECL
 #define YY_DECL_IS_OURS 1
 

-extern int xbt_automaton_parse_lex (void);
+extern int xbt_automaton_parser_lex (void);

 
 

-#define YY_DECL int xbt_automaton_parse_lex (void)
+#define YY_DECL int xbt_automaton_parser_lex (void)

 #endif /* !YY_DECL */
 
 #endif /* !YY_DECL */
 

-/* Code executed at the beginning of each rule, after xbt_automaton_parse_text and xbt_automaton_parse_leng
+/* Code executed at the beginning of each rule, after xbt_automaton_parser_text and xbt_automaton_parser_leng

  * have been set up.
  */
 #ifndef YY_USER_ACTION
  * have been set up.
  */
 #ifndef YY_USER_ACTION


@@ -719,7 +719,7 @@ YY_DECL
 #line 28 "parserPromela.lex"
 
 
 #line 28 "parserPromela.lex"
 
 

-#line 723 "automaton_parse.yy.c"
+#line 723 "automaton_lexer.yy.c"

 
        if ( !(yy_init) )
                {
 
        if ( !(yy_init) )
                {


@@ -732,26 +732,26 @@ YY_DECL
                if ( ! (yy_start) )
                        (yy_start) = 1; /* first start state */
 
                if ( ! (yy_start) )
                        (yy_start) = 1; /* first start state */
 

-               if ( ! xbt_automaton_parse_in )
-                       xbt_automaton_parse_in = stdin;
+               if ( ! xbt_automaton_parser_in )
+                       xbt_automaton_parser_in = stdin;

 
 

-               if ( ! xbt_automaton_parse_out )
-                       xbt_automaton_parse_out = stdout;
+               if ( ! xbt_automaton_parser_out )
+                       xbt_automaton_parser_out = stdout;

 
                if ( ! YY_CURRENT_BUFFER ) {
 
                if ( ! YY_CURRENT_BUFFER ) {

-                       xbt_automaton_parse_ensure_buffer_stack ();
+                       xbt_automaton_parser_ensure_buffer_stack ();

                        YY_CURRENT_BUFFER_LVALUE =
                        YY_CURRENT_BUFFER_LVALUE =

-                               xbt_automaton_parse__create_buffer(xbt_automaton_parse_in,YY_BUF_SIZE );
+                               xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );

                }
 
                }
 

-               xbt_automaton_parse__load_buffer_state( );
+               xbt_automaton_parser__load_buffer_state( );

                }
 
        while ( 1 )             /* loops until end-of-file is reached */
                {
                yy_cp = (yy_c_buf_p);
 
                }
 
        while ( 1 )             /* loops until end-of-file is reached */
                {
                yy_cp = (yy_c_buf_p);
 

-               /* Support of xbt_automaton_parse_text. */
+               /* Support of xbt_automaton_parser_text. */

                *yy_cp = (yy_hold_char);
 
                /* yy_bp points to the position in yy_ch_buf of the start of
                *yy_cp = (yy_hold_char);
 
                /* yy_bp points to the position in yy_ch_buf of the start of


@@ -805,83 +805,83 @@ do_action:        /* This label is used only to access EOF actions. */
 case 1:
 YY_RULE_SETUP
 #line 30 "parserPromela.lex"
 case 1:
 YY_RULE_SETUP
 #line 30 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (NEVER); }
+{ printf("%s", xbt_automaton_parser_text); return (NEVER); }

        YY_BREAK
 case 2:
 YY_RULE_SETUP
 #line 31 "parserPromela.lex"
        YY_BREAK
 case 2:
 YY_RULE_SETUP
 #line 31 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (IF); }
+{ printf("%s", xbt_automaton_parser_text); return (IF); }

        YY_BREAK
 case 3:
 YY_RULE_SETUP
 #line 32 "parserPromela.lex"
        YY_BREAK
 case 3:
 YY_RULE_SETUP
 #line 32 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); 
+{ printf("%s", xbt_automaton_parser_text); 

                return (FI); }
        YY_BREAK
 case 4:
 YY_RULE_SETUP
 #line 34 "parserPromela.lex"
                return (FI); }
        YY_BREAK
 case 4:
 YY_RULE_SETUP
 #line 34 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (IMPLIES); }
+{ printf("%s", xbt_automaton_parser_text); return (IMPLIES); }

        YY_BREAK
 case 5:
 YY_RULE_SETUP
 #line 35 "parserPromela.lex"
        YY_BREAK
 case 5:
 YY_RULE_SETUP
 #line 35 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (GOTO); }
+{ printf("%s", xbt_automaton_parser_text); return (GOTO); }

        YY_BREAK
 case 6:
 YY_RULE_SETUP
 #line 36 "parserPromela.lex"
        YY_BREAK
 case 6:
 YY_RULE_SETUP
 #line 36 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (AND); }
+{ printf("%s", xbt_automaton_parser_text); return (AND); }

        YY_BREAK
 case 7:
 YY_RULE_SETUP
 #line 37 "parserPromela.lex"
        YY_BREAK
 case 7:
 YY_RULE_SETUP
 #line 37 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (OR); }
+{ printf("%s", xbt_automaton_parser_text); return (OR); }

        YY_BREAK
 case 8:
 YY_RULE_SETUP
 #line 38 "parserPromela.lex"
        YY_BREAK
 case 8:
 YY_RULE_SETUP
 #line 38 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (NOT); }
+{ printf("%s", xbt_automaton_parser_text); return (NOT); }

        YY_BREAK
 case 9:
 YY_RULE_SETUP
 #line 39 "parserPromela.lex"
        YY_BREAK
 case 9:
 YY_RULE_SETUP
 #line 39 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (LEFT_PAR); }
+{ printf("%s", xbt_automaton_parser_text); return (LEFT_PAR); }

        YY_BREAK
 case 10:
 YY_RULE_SETUP
 #line 40 "parserPromela.lex"
        YY_BREAK
 case 10:
 YY_RULE_SETUP
 #line 40 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (RIGHT_PAR); }
+{ printf("%s", xbt_automaton_parser_text); return (RIGHT_PAR); }

        YY_BREAK
 case 11:
 YY_RULE_SETUP
 #line 41 "parserPromela.lex"
        YY_BREAK
 case 11:
 YY_RULE_SETUP
 #line 41 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (CASE); }
+{ printf("%s", xbt_automaton_parser_text); return (CASE); }

        YY_BREAK
 case 12:
 YY_RULE_SETUP
 #line 42 "parserPromela.lex"
        YY_BREAK
 case 12:
 YY_RULE_SETUP
 #line 42 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (COLON); }
+{ printf("%s", xbt_automaton_parser_text); return (COLON); }

        YY_BREAK
 case 13:
 YY_RULE_SETUP
 #line 43 "parserPromela.lex"
        YY_BREAK
 case 13:
 YY_RULE_SETUP
 #line 43 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (SEMI_COLON); }
+{ printf("%s", xbt_automaton_parser_text); return (SEMI_COLON); }

        YY_BREAK
 case 14:
 YY_RULE_SETUP
 #line 44 "parserPromela.lex"
        YY_BREAK
 case 14:
 YY_RULE_SETUP
 #line 44 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (CASE_TRUE); }
+{ printf("%s", xbt_automaton_parser_text); return (CASE_TRUE); }

        YY_BREAK
 case 15:
 YY_RULE_SETUP
 #line 45 "parserPromela.lex"
        YY_BREAK
 case 15:
 YY_RULE_SETUP
 #line 45 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (LEFT_BRACE); }
+{ printf("%s", xbt_automaton_parser_text); return (LEFT_BRACE); }

        YY_BREAK
 case 16:
 YY_RULE_SETUP
 #line 46 "parserPromela.lex"
        YY_BREAK
 case 16:
 YY_RULE_SETUP
 #line 46 "parserPromela.lex"

-{ printf("%s", xbt_automaton_parse_text); return (RIGHT_BRACE); }
+{ printf("%s", xbt_automaton_parser_text); return (RIGHT_BRACE); }

        YY_BREAK
 case 17:
 /* rule 17 can match eol */
        YY_BREAK
 case 17:
 /* rule 17 can match eol */


@@ -892,37 +892,37 @@ YY_RULE_SETUP
 case 18:
 YY_RULE_SETUP
 #line 51 "parserPromela.lex"
 case 18:
 YY_RULE_SETUP
 #line 51 "parserPromela.lex"

-{ printf("%s",xbt_automaton_parse_text); }
+{ printf("%s",xbt_automaton_parser_text); }

        YY_BREAK
 case 19:
 YY_RULE_SETUP
 #line 54 "parserPromela.lex"
        YY_BREAK
 case 19:
 YY_RULE_SETUP
 #line 54 "parserPromela.lex"

-{ printf("%s",xbt_automaton_parse_text); 
-                            sscanf(xbt_automaton_parse_text,"%lf",&yylval.real); 
+{ printf("%s",xbt_automaton_parser_text); 
+                            sscanf(xbt_automaton_parser_text,"%lf",&yylval.real); 

                             return (LITT_REEL); }
        YY_BREAK
 case 20:
 YY_RULE_SETUP
 #line 58 "parserPromela.lex"
                             return (LITT_REEL); }
        YY_BREAK
 case 20:
 YY_RULE_SETUP
 #line 58 "parserPromela.lex"

-{ printf("%s",xbt_automaton_parse_text); 
-                            sscanf(xbt_automaton_parse_text,"%d",&yylval.integer); 
+{ printf("%s",xbt_automaton_parser_text); 
+                            sscanf(xbt_automaton_parser_text,"%d",&yylval.integer); 

                             return (LITT_ENT); }
        YY_BREAK
 case 21:
 /* rule 21 can match eol */
 YY_RULE_SETUP
 #line 62 "parserPromela.lex"
                             return (LITT_ENT); }
        YY_BREAK
 case 21:
 /* rule 21 can match eol */
 YY_RULE_SETUP
 #line 62 "parserPromela.lex"

-{ printf("%s",xbt_automaton_parse_text);  
-                            yylval.string=(char *)malloc(strlen(xbt_automaton_parse_text)+1);
-                            sscanf(xbt_automaton_parse_text,"%s",yylval.string); 
+{ printf("%s",xbt_automaton_parser_text);  
+                            yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
+                            sscanf(xbt_automaton_parser_text,"%s",yylval.string); 

                             return (LITT_CHAINE); }
        YY_BREAK
 case 22:
 YY_RULE_SETUP
 #line 67 "parserPromela.lex"
                             return (LITT_CHAINE); }
        YY_BREAK
 case 22:
 YY_RULE_SETUP
 #line 67 "parserPromela.lex"

-{ printf("%s",xbt_automaton_parse_text); 
-                           yylval.string=(char *)malloc(strlen(xbt_automaton_parse_text)+1);
-                           sscanf(xbt_automaton_parse_text,"%s",yylval.string);
+{ printf("%s",xbt_automaton_parser_text); 
+                           yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
+                           sscanf(xbt_automaton_parser_text,"%s",yylval.string);

                            return (ID); }
        YY_BREAK
 case 23:
                            return (ID); }
        YY_BREAK
 case 23:


@@ -941,7 +941,7 @@ YY_RULE_SETUP
 #line 76 "parserPromela.lex"
 ECHO;
        YY_BREAK
 #line 76 "parserPromela.lex"
 ECHO;
        YY_BREAK

-#line 945 "automaton_parse.yy.c"
+#line 945 "automaton_lexer.yy.c"

 case YY_STATE_EOF(INITIAL):
        yyterminate();
 
 case YY_STATE_EOF(INITIAL):
        yyterminate();
 


@@ -958,15 +958,15 @@ case YY_STATE_EOF(INITIAL):
                        {
                        /* We're scanning a new file or input source.  It's
                         * possible that this happened because the user
                        {
                        /* We're scanning a new file or input source.  It's
                         * possible that this happened because the user

-                        * just pointed xbt_automaton_parse_in at a new source and called
-                        * xbt_automaton_parse_lex().  If so, then we have to assure
+                        * just pointed xbt_automaton_parser_in at a new source and called
+                        * xbt_automaton_parser_lex().  If so, then we have to assure

                         * consistency between YY_CURRENT_BUFFER and our
                         * globals.  Here is the right place to do so, because
                         * this is the first action (other than possibly a
                         * back-up) that will match for the new input source.
                         */
                        (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
                         * consistency between YY_CURRENT_BUFFER and our
                         * globals.  Here is the right place to do so, because
                         * this is the first action (other than possibly a
                         * back-up) that will match for the new input source.
                         */
                        (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;

-                       YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_automaton_parse_in;
+                       YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_automaton_parser_in;

                        YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
                        }
 
                        YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
                        }
 


@@ -1019,11 +1019,11 @@ case YY_STATE_EOF(INITIAL):
                                {
                                (yy_did_buffer_switch_on_eof) = 0;
 
                                {
                                (yy_did_buffer_switch_on_eof) = 0;
 

-                               if ( xbt_automaton_parse_wrap( ) )
+                               if ( xbt_automaton_parser_wrap( ) )

                                        {
                                        /* Note: because we've taken care in
                                         * yy_get_next_buffer() to have set up
                                        {
                                        /* Note: because we've taken care in
                                         * yy_get_next_buffer() to have set up

-                                        * xbt_automaton_parse_text, we can now set up
+                                        * xbt_automaton_parser_text, we can now set up

                                         * yy_c_buf_p so that if some total
                                         * hoser (like flex itself) wants to
                                         * call the scanner after we return the
                                         * yy_c_buf_p so that if some total
                                         * hoser (like flex itself) wants to
                                         * call the scanner after we return the


@@ -1072,7 +1072,7 @@ case YY_STATE_EOF(INITIAL):
                        "fatal flex scanner internal error--no action found" );
        } /* end of action switch */
                } /* end of scanning one token */
                        "fatal flex scanner internal error--no action found" );
        } /* end of action switch */
                } /* end of scanning one token */

-} /* end of xbt_automaton_parse_lex */
+} /* end of xbt_automaton_parser_lex */

 
 /* yy_get_next_buffer - try to read in a new buffer
  *
 
 /* yy_get_next_buffer - try to read in a new buffer
  *


@@ -1150,7 +1150,7 @@ static int yy_get_next_buffer (void)
 
                                b->yy_ch_buf = (char *)
                                        /* Include room in for 2 EOB chars. */
 
                                b->yy_ch_buf = (char *)
                                        /* Include room in for 2 EOB chars. */

-                                       xbt_automaton_parse_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
+                                       xbt_automaton_parser_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );

                                }
                        else
                                /* Can't grow it, we don't own it. */
                                }
                        else
                                /* Can't grow it, we don't own it. */


@@ -1182,7 +1182,7 @@ static int yy_get_next_buffer (void)
                if ( number_to_move == YY_MORE_ADJ )
                        {
                        ret_val = EOB_ACT_END_OF_FILE;
                if ( number_to_move == YY_MORE_ADJ )
                        {
                        ret_val = EOB_ACT_END_OF_FILE;

-                       xbt_automaton_parse_restart(xbt_automaton_parse_in  );
+                       xbt_automaton_parser_restart(xbt_automaton_parser_in  );

                        }
 
                else
                        }
 
                else


@@ -1199,7 +1199,7 @@ static int yy_get_next_buffer (void)
        if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
                /* Extend the array by 50%, plus the number we really need. */
                yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
        if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
                /* Extend the array by 50%, plus the number we really need. */
                yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);

-               YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parse_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
+               YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );

                if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
                        YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
        }
                if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
                        YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
        }


@@ -1276,7 +1276,7 @@ static int yy_get_next_buffer (void)
     
     yy_cp = (yy_c_buf_p);
 
     
     yy_cp = (yy_c_buf_p);
 

-       /* undo effects of setting up xbt_automaton_parse_text */
+       /* undo effects of setting up xbt_automaton_parser_text */

        *yy_cp = (yy_hold_char);
 
        if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
        *yy_cp = (yy_hold_char);
 
        if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )


@@ -1348,13 +1348,13 @@ static int yy_get_next_buffer (void)
                                         */
 
                                        /* Reset buffer status. */
                                         */
 
                                        /* Reset buffer status. */

-                                       xbt_automaton_parse_restart(xbt_automaton_parse_in );
+                                       xbt_automaton_parser_restart(xbt_automaton_parser_in );

 
                                        /*FALLTHROUGH*/
 
                                case EOB_ACT_END_OF_FILE:
                                        {
 
                                        /*FALLTHROUGH*/
 
                                case EOB_ACT_END_OF_FILE:
                                        {

-                                       if ( xbt_automaton_parse_wrap( ) )
+                                       if ( xbt_automaton_parser_wrap( ) )

                                                return EOF;
 
                                        if ( ! (yy_did_buffer_switch_on_eof) )
                                                return EOF;
 
                                        if ( ! (yy_did_buffer_switch_on_eof) )


@@ -1374,7 +1374,7 @@ static int yy_get_next_buffer (void)
                }
 
        c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */
                }
 
        c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */

-       *(yy_c_buf_p) = '\0';   /* preserve xbt_automaton_parse_text */
+       *(yy_c_buf_p) = '\0';   /* preserve xbt_automaton_parser_text */

        (yy_hold_char) = *++(yy_c_buf_p);
 
        return c;
        (yy_hold_char) = *++(yy_c_buf_p);
 
        return c;


@@ -1386,32 +1386,32 @@ static int yy_get_next_buffer (void)
  * 
  * @note This function does not reset the start condition to @c INITIAL .
  */
  * 
  * @note This function does not reset the start condition to @c INITIAL .
  */

-    void xbt_automaton_parse_restart  (FILE * input_file )
+    void xbt_automaton_parser_restart  (FILE * input_file )

 {
     
        if ( ! YY_CURRENT_BUFFER ){
 {
     
        if ( ! YY_CURRENT_BUFFER ){

-        xbt_automaton_parse_ensure_buffer_stack ();
+        xbt_automaton_parser_ensure_buffer_stack ();

                YY_CURRENT_BUFFER_LVALUE =
                YY_CURRENT_BUFFER_LVALUE =

-            xbt_automaton_parse__create_buffer(xbt_automaton_parse_in,YY_BUF_SIZE );
+            xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );

        }
 
        }
 

-       xbt_automaton_parse__init_buffer(YY_CURRENT_BUFFER,input_file );
-       xbt_automaton_parse__load_buffer_state( );
+       xbt_automaton_parser__init_buffer(YY_CURRENT_BUFFER,input_file );
+       xbt_automaton_parser__load_buffer_state( );

 }
 
 /** Switch to a different input buffer.
  * @param new_buffer The new input buffer.
  * 
  */
 }
 
 /** Switch to a different input buffer.
  * @param new_buffer The new input buffer.
  * 
  */

-    void xbt_automaton_parse__switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
+    void xbt_automaton_parser__switch_to_buffer  (YY_BUFFER_STATE  new_buffer )

 {
     
        /* TODO. We should be able to replace this entire function body
         * with
 {
     
        /* TODO. We should be able to replace this entire function body
         * with

-        *              xbt_automaton_parse_pop_buffer_state();
-        *              xbt_automaton_parse_push_buffer_state(new_buffer);
+        *              xbt_automaton_parser_pop_buffer_state();
+        *              xbt_automaton_parser_push_buffer_state(new_buffer);

      */
      */

-       xbt_automaton_parse_ensure_buffer_stack ();
+       xbt_automaton_parser_ensure_buffer_stack ();

        if ( YY_CURRENT_BUFFER == new_buffer )
                return;
 
        if ( YY_CURRENT_BUFFER == new_buffer )
                return;
 


@@ -1424,21 +1424,21 @@ static int yy_get_next_buffer (void)
                }
 
        YY_CURRENT_BUFFER_LVALUE = new_buffer;
                }
 
        YY_CURRENT_BUFFER_LVALUE = new_buffer;

-       xbt_automaton_parse__load_buffer_state( );
+       xbt_automaton_parser__load_buffer_state( );

 
        /* We don't actually know whether we did this switch during
 
        /* We don't actually know whether we did this switch during

-        * EOF (xbt_automaton_parse_wrap()) processing, but the only time this flag
-        * is looked at is after xbt_automaton_parse_wrap() is called, so it's safe
+        * EOF (xbt_automaton_parser_wrap()) processing, but the only time this flag
+        * is looked at is after xbt_automaton_parser_wrap() is called, so it's safe

         * to go ahead and always set it.
         */
        (yy_did_buffer_switch_on_eof) = 1;
 }
 
         * to go ahead and always set it.
         */
        (yy_did_buffer_switch_on_eof) = 1;
 }
 

-static void xbt_automaton_parse__load_buffer_state  (void)
+static void xbt_automaton_parser__load_buffer_state  (void)

 {
        (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
        (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
 {
        (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
        (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;

-       xbt_automaton_parse_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
+       xbt_automaton_parser_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;

        (yy_hold_char) = *(yy_c_buf_p);
 }
 
        (yy_hold_char) = *(yy_c_buf_p);
 }
 


@@ -1448,35 +1448,35 @@ static void xbt_automaton_parse__load_buffer_state  (void)
  * 
  * @return the allocated buffer state.
  */
  * 
  * @return the allocated buffer state.
  */

-    YY_BUFFER_STATE xbt_automaton_parse__create_buffer  (FILE * file, int  size )
+    YY_BUFFER_STATE xbt_automaton_parser__create_buffer  (FILE * file, int  size )

 {
        YY_BUFFER_STATE b;
     
 {
        YY_BUFFER_STATE b;
     

-       b = (YY_BUFFER_STATE) xbt_automaton_parse_alloc(sizeof( struct yy_buffer_state )  );
+       b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );

        if ( ! b )
        if ( ! b )

-               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse__create_buffer()" );
+               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );

 
        b->yy_buf_size = size;
 
        /* yy_ch_buf has to be 2 characters longer than the size given because
         * we need to put in 2 end-of-buffer characters.
         */
 
        b->yy_buf_size = size;
 
        /* yy_ch_buf has to be 2 characters longer than the size given because
         * we need to put in 2 end-of-buffer characters.
         */

-       b->yy_ch_buf = (char *) xbt_automaton_parse_alloc(b->yy_buf_size + 2  );
+       b->yy_ch_buf = (char *) xbt_automaton_parser_alloc(b->yy_buf_size + 2  );

        if ( ! b->yy_ch_buf )
        if ( ! b->yy_ch_buf )

-               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse__create_buffer()" );
+               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );

 
        b->yy_is_our_buffer = 1;
 
 
        b->yy_is_our_buffer = 1;
 

-       xbt_automaton_parse__init_buffer(b,file );
+       xbt_automaton_parser__init_buffer(b,file );

 
        return b;
 }
 
 /** Destroy the buffer.
 
        return b;
 }
 
 /** Destroy the buffer.

- * @param b a buffer created with xbt_automaton_parse__create_buffer()
+ * @param b a buffer created with xbt_automaton_parser__create_buffer()

  * 
  */
  * 
  */

-    void xbt_automaton_parse__delete_buffer (YY_BUFFER_STATE  b )
+    void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE  b )

 {
     
        if ( ! b )
 {
     
        if ( ! b )


@@ -1486,9 +1486,9 @@ static void xbt_automaton_parse__load_buffer_state  (void)
                YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
 
        if ( b->yy_is_our_buffer )
                YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
 
        if ( b->yy_is_our_buffer )

-               xbt_automaton_parse_free((void *) b->yy_ch_buf  );
+               xbt_automaton_parser_free((void *) b->yy_ch_buf  );

 
 

-       xbt_automaton_parse_free((void *) b  );
+       xbt_automaton_parser_free((void *) b  );

 }
 
 #ifndef __cplusplus
 }
 
 #ifndef __cplusplus


@@ -1497,20 +1497,20 @@ extern int isatty (int );
     
 /* Initializes or reinitializes a buffer.
  * This function is sometimes called more than once on the same buffer,
     
 /* Initializes or reinitializes a buffer.
  * This function is sometimes called more than once on the same buffer,

- * such as during a xbt_automaton_parse_restart() or at EOF.
+ * such as during a xbt_automaton_parser_restart() or at EOF.

  */
  */

-    static void xbt_automaton_parse__init_buffer  (YY_BUFFER_STATE  b, FILE * file )
+    static void xbt_automaton_parser__init_buffer  (YY_BUFFER_STATE  b, FILE * file )

 
 {
        int oerrno = errno;
     
 
 {
        int oerrno = errno;
     

-       xbt_automaton_parse__flush_buffer(b );
+       xbt_automaton_parser__flush_buffer(b );

 
        b->yy_input_file = file;
        b->yy_fill_buffer = 1;
 
 
        b->yy_input_file = file;
        b->yy_fill_buffer = 1;
 

-    /* If b is the current buffer, then xbt_automaton_parse__init_buffer was _probably_
-     * called from xbt_automaton_parse_restart() or through yy_get_next_buffer.
+    /* If b is the current buffer, then xbt_automaton_parser__init_buffer was _probably_
+     * called from xbt_automaton_parser_restart() or through yy_get_next_buffer.

      * In that case, we don't want to reset the lineno or column.
      */
     if (b != YY_CURRENT_BUFFER){
      * In that case, we don't want to reset the lineno or column.
      */
     if (b != YY_CURRENT_BUFFER){


@@ -1527,7 +1527,7 @@ extern int isatty (int );
  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
  * 
  */
  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
  * 
  */

-    void xbt_automaton_parse__flush_buffer (YY_BUFFER_STATE  b )
+    void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE  b )

 {
        if ( ! b )
                return;
 {
        if ( ! b )
                return;


@@ -1547,7 +1547,7 @@ extern int isatty (int );
        b->yy_buffer_status = YY_BUFFER_NEW;
 
        if ( b == YY_CURRENT_BUFFER )
        b->yy_buffer_status = YY_BUFFER_NEW;
 
        if ( b == YY_CURRENT_BUFFER )

-               xbt_automaton_parse__load_buffer_state( );
+               xbt_automaton_parser__load_buffer_state( );

 }
 
 /** Pushes the new state onto the stack. The new state becomes
 }
 
 /** Pushes the new state onto the stack. The new state becomes


@@ -1556,14 +1556,14 @@ extern int isatty (int );
  *  @param new_buffer The new state.
  *  
  */
  *  @param new_buffer The new state.
  *  
  */

-void xbt_automaton_parse_push_buffer_state (YY_BUFFER_STATE new_buffer )
+void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )

 {
        if (new_buffer == NULL)
                return;
 
 {
        if (new_buffer == NULL)
                return;
 

-       xbt_automaton_parse_ensure_buffer_stack();
+       xbt_automaton_parser_ensure_buffer_stack();

 
 

-       /* This block is copied from xbt_automaton_parse__switch_to_buffer. */
+       /* This block is copied from xbt_automaton_parser__switch_to_buffer. */

        if ( YY_CURRENT_BUFFER )
                {
                /* Flush out information for old buffer. */
        if ( YY_CURRENT_BUFFER )
                {
                /* Flush out information for old buffer. */


@@ -1577,8 +1577,8 @@ void xbt_automaton_parse_push_buffer_state (YY_BUFFER_STATE new_buffer )
                (yy_buffer_stack_top)++;
        YY_CURRENT_BUFFER_LVALUE = new_buffer;
 
                (yy_buffer_stack_top)++;
        YY_CURRENT_BUFFER_LVALUE = new_buffer;
 

-       /* copied from xbt_automaton_parse__switch_to_buffer. */
-       xbt_automaton_parse__load_buffer_state( );
+       /* copied from xbt_automaton_parser__switch_to_buffer. */
+       xbt_automaton_parser__load_buffer_state( );

        (yy_did_buffer_switch_on_eof) = 1;
 }
 
        (yy_did_buffer_switch_on_eof) = 1;
 }
 


@@ -1586,18 +1586,18 @@ void xbt_automaton_parse_push_buffer_state (YY_BUFFER_STATE new_buffer )
  *  The next element becomes the new top.
  *  
  */
  *  The next element becomes the new top.
  *  
  */

-void xbt_automaton_parse_pop_buffer_state (void)
+void xbt_automaton_parser_pop_buffer_state (void)

 {
        if (!YY_CURRENT_BUFFER)
                return;
 
 {
        if (!YY_CURRENT_BUFFER)
                return;
 

-       xbt_automaton_parse__delete_buffer(YY_CURRENT_BUFFER );
+       xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );

        YY_CURRENT_BUFFER_LVALUE = NULL;
        if ((yy_buffer_stack_top) > 0)
                --(yy_buffer_stack_top);
 
        if (YY_CURRENT_BUFFER) {
        YY_CURRENT_BUFFER_LVALUE = NULL;
        if ((yy_buffer_stack_top) > 0)
                --(yy_buffer_stack_top);
 
        if (YY_CURRENT_BUFFER) {

-               xbt_automaton_parse__load_buffer_state( );
+               xbt_automaton_parser__load_buffer_state( );

                (yy_did_buffer_switch_on_eof) = 1;
        }
 }
                (yy_did_buffer_switch_on_eof) = 1;
        }
 }


@@ -1605,7 +1605,7 @@ void xbt_automaton_parse_pop_buffer_state (void)
 /* Allocates the stack if it does not exist.
  *  Guarantees space for at least one push.
  */
 /* Allocates the stack if it does not exist.
  *  Guarantees space for at least one push.
  */

-static void xbt_automaton_parse_ensure_buffer_stack (void)
+static void xbt_automaton_parser_ensure_buffer_stack (void)

 {
        int num_to_alloc;
     
 {
        int num_to_alloc;
     


@@ -1616,11 +1616,11 @@ static void xbt_automaton_parse_ensure_buffer_stack (void)
                 * immediate realloc on the next call.
          */
                num_to_alloc = 1;
                 * immediate realloc on the next call.
          */
                num_to_alloc = 1;

-               (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parse_alloc
+               (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc

                                                                (num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                if ( ! (yy_buffer_stack) )
                                                                (num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                if ( ! (yy_buffer_stack) )

-                       YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse_ensure_buffer_stack()" );
+                       YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );

                                                                  
                memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
                                
                                                                  
                memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
                                


@@ -1635,12 +1635,12 @@ static void xbt_automaton_parse_ensure_buffer_stack (void)
                int grow_size = 8 /* arbitrary grow size */;
 
                num_to_alloc = (yy_buffer_stack_max) + grow_size;
                int grow_size = 8 /* arbitrary grow size */;
 
                num_to_alloc = (yy_buffer_stack_max) + grow_size;

-               (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parse_realloc
+               (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc

                                                                ((yy_buffer_stack),
                                                                num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                if ( ! (yy_buffer_stack) )
                                                                ((yy_buffer_stack),
                                                                num_to_alloc * sizeof(struct yy_buffer_state*)
                                                                );
                if ( ! (yy_buffer_stack) )

-                       YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse_ensure_buffer_stack()" );
+                       YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );

 
                /* zero only the new slots.*/
                memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
 
                /* zero only the new slots.*/
                memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));


@@ -1654,7 +1654,7 @@ static void xbt_automaton_parse_ensure_buffer_stack (void)
  * 
  * @return the newly allocated buffer state object. 
  */
  * 
  * @return the newly allocated buffer state object. 
  */

-YY_BUFFER_STATE xbt_automaton_parse__scan_buffer  (char * base, yy_size_t  size )
+YY_BUFFER_STATE xbt_automaton_parser__scan_buffer  (char * base, yy_size_t  size )

 {
        YY_BUFFER_STATE b;
     
 {
        YY_BUFFER_STATE b;
     


@@ -1664,9 +1664,9 @@ YY_BUFFER_STATE xbt_automaton_parse__scan_buffer  (char * base, yy_size_t  size
                /* They forgot to leave room for the EOB's. */
                return 0;
 
                /* They forgot to leave room for the EOB's. */
                return 0;
 

-       b = (YY_BUFFER_STATE) xbt_automaton_parse_alloc(sizeof( struct yy_buffer_state )  );
+       b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );

        if ( ! b )
        if ( ! b )

-               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse__scan_buffer()" );
+               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_buffer()" );

 
        b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
        b->yy_buf_pos = b->yy_ch_buf = base;
 
        b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
        b->yy_buf_pos = b->yy_ch_buf = base;


@@ -1678,33 +1678,33 @@ YY_BUFFER_STATE xbt_automaton_parse__scan_buffer  (char * base, yy_size_t  size
        b->yy_fill_buffer = 0;
        b->yy_buffer_status = YY_BUFFER_NEW;
 
        b->yy_fill_buffer = 0;
        b->yy_buffer_status = YY_BUFFER_NEW;
 

-       xbt_automaton_parse__switch_to_buffer(b  );
+       xbt_automaton_parser__switch_to_buffer(b  );

 
        return b;
 }
 
 
        return b;
 }
 

-/** Setup the input buffer state to scan a string. The next call to xbt_automaton_parse_lex() will
+/** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will

  * scan from a @e copy of @a str.
  * @param yystr a NUL-terminated string to scan
  * 
  * @return the newly allocated buffer state object.
  * @note If you want to scan bytes that may contain NUL values, then use
  * scan from a @e copy of @a str.
  * @param yystr a NUL-terminated string to scan
  * 
  * @return the newly allocated buffer state object.
  * @note If you want to scan bytes that may contain NUL values, then use

- *       xbt_automaton_parse__scan_bytes() instead.
+ *       xbt_automaton_parser__scan_bytes() instead.

  */
  */

-YY_BUFFER_STATE xbt_automaton_parse__scan_string (yyconst char * yystr )
+YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )

 {
     
 {
     

-       return xbt_automaton_parse__scan_bytes(yystr,strlen(yystr) );
+       return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );

 }
 
 }
 

-/** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parse_lex() will
+/** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parser_lex() will

  * scan from a @e copy of @a bytes.
  * @param yybytes the byte buffer to scan
  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
  * 
  * @return the newly allocated buffer state object.
  */
  * scan from a @e copy of @a bytes.
  * @param yybytes the byte buffer to scan
  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
  * 
  * @return the newly allocated buffer state object.
  */

-YY_BUFFER_STATE xbt_automaton_parse__scan_bytes  (yyconst char * yybytes, int  _yybytes_len )
+YY_BUFFER_STATE xbt_automaton_parser__scan_bytes  (yyconst char * yybytes, int  _yybytes_len )

 {
        YY_BUFFER_STATE b;
        char *buf;
 {
        YY_BUFFER_STATE b;
        char *buf;


@@ -1713,18 +1713,18 @@ YY_BUFFER_STATE xbt_automaton_parse__scan_bytes  (yyconst char * yybytes, int  _
     
        /* Get memory for full buffer, including space for trailing EOB's. */
        n = _yybytes_len + 2;
     
        /* Get memory for full buffer, including space for trailing EOB's. */
        n = _yybytes_len + 2;

-       buf = (char *) xbt_automaton_parse_alloc(n  );
+       buf = (char *) xbt_automaton_parser_alloc(n  );

        if ( ! buf )
        if ( ! buf )

-               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parse__scan_bytes()" );
+               YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_bytes()" );

 
        for ( i = 0; i < _yybytes_len; ++i )
                buf[i] = yybytes[i];
 
        buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
 
 
        for ( i = 0; i < _yybytes_len; ++i )
                buf[i] = yybytes[i];
 
        buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
 

-       b = xbt_automaton_parse__scan_buffer(buf,n );
+       b = xbt_automaton_parser__scan_buffer(buf,n );

        if ( ! b )
        if ( ! b )

-               YY_FATAL_ERROR( "bad buffer in xbt_automaton_parse__scan_bytes()" );
+               YY_FATAL_ERROR( "bad buffer in xbt_automaton_parser__scan_bytes()" );

 
        /* It's okay to grow etc. this buffer, and we should throw it
         * away when we're done.
 
        /* It's okay to grow etc. this buffer, and we should throw it
         * away when we're done.


@@ -1750,14 +1750,14 @@ static void yy_fatal_error (yyconst char* msg )
 #define yyless(n) \
        do \
                { \
 #define yyless(n) \
        do \
                { \

-               /* Undo effects of setting up xbt_automaton_parse_text. */ \
+               /* Undo effects of setting up xbt_automaton_parser_text. */ \

         int yyless_macro_arg = (n); \
         YY_LESS_LINENO(yyless_macro_arg);\
         int yyless_macro_arg = (n); \
         YY_LESS_LINENO(yyless_macro_arg);\

-               xbt_automaton_parse_text[xbt_automaton_parse_leng] = (yy_hold_char); \
-               (yy_c_buf_p) = xbt_automaton_parse_text + yyless_macro_arg; \
+               xbt_automaton_parser_text[xbt_automaton_parser_leng] = (yy_hold_char); \
+               (yy_c_buf_p) = xbt_automaton_parser_text + yyless_macro_arg; \

                (yy_hold_char) = *(yy_c_buf_p); \
                *(yy_c_buf_p) = '\0'; \
                (yy_hold_char) = *(yy_c_buf_p); \
                *(yy_c_buf_p) = '\0'; \

-               xbt_automaton_parse_leng = yyless_macro_arg; \
+               xbt_automaton_parser_leng = yyless_macro_arg; \

                } \
        while ( 0 )
 
                } \
        while ( 0 )
 


@@ -1766,85 +1766,85 @@ static void yy_fatal_error (yyconst char* msg )
 /** Get the current line number.
  * 
  */
 /** Get the current line number.
  * 
  */

-int xbt_automaton_parse_get_lineno  (void)
+int xbt_automaton_parser_get_lineno  (void)

 {
         
 {
         

-    return xbt_automaton_parse_lineno;
+    return xbt_automaton_parser_lineno;

 }
 
 /** Get the input stream.
  * 
  */
 }
 
 /** Get the input stream.
  * 
  */

-FILE *xbt_automaton_parse_get_in  (void)
+FILE *xbt_automaton_parser_get_in  (void)

 {
 {

-        return xbt_automaton_parse_in;
+        return xbt_automaton_parser_in;

 }
 
 /** Get the output stream.
  * 
  */
 }
 
 /** Get the output stream.
  * 
  */

-FILE *xbt_automaton_parse_get_out  (void)
+FILE *xbt_automaton_parser_get_out  (void)

 {
 {

-        return xbt_automaton_parse_out;
+        return xbt_automaton_parser_out;

 }
 
 /** Get the length of the current token.
  * 
  */
 }
 
 /** Get the length of the current token.
  * 
  */

-int xbt_automaton_parse_get_leng  (void)
+int xbt_automaton_parser_get_leng  (void)

 {
 {

-        return xbt_automaton_parse_leng;
+        return xbt_automaton_parser_leng;

 }
 
 /** Get the current token.
  * 
  */
 
 }
 
 /** Get the current token.
  * 
  */
 

-char *xbt_automaton_parse_get_text  (void)
+char *xbt_automaton_parser_get_text  (void)

 {
 {

-        return xbt_automaton_parse_text;
+        return xbt_automaton_parser_text;

 }
 
 /** Set the current line number.
  * @param line_number
  * 
  */
 }
 
 /** Set the current line number.
  * @param line_number
  * 
  */

-void xbt_automaton_parse_set_lineno (int  line_number )
+void xbt_automaton_parser_set_lineno (int  line_number )

 {
     
 {
     

-    xbt_automaton_parse_lineno = line_number;
+    xbt_automaton_parser_lineno = line_number;

 }
 
 /** Set the input stream. This does not discard the current
  * input buffer.
  * @param in_str A readable stream.
  * 
 }
 
 /** Set the input stream. This does not discard the current
  * input buffer.
  * @param in_str A readable stream.
  * 

- * @see xbt_automaton_parse__switch_to_buffer
+ * @see xbt_automaton_parser__switch_to_buffer

  */
  */

-void xbt_automaton_parse_set_in (FILE *  in_str )
+void xbt_automaton_parser_set_in (FILE *  in_str )

 {
 {

-        xbt_automaton_parse_in = in_str ;
+        xbt_automaton_parser_in = in_str ;

 }
 
 }
 

-void xbt_automaton_parse_set_out (FILE *  out_str )
+void xbt_automaton_parser_set_out (FILE *  out_str )

 {
 {

-        xbt_automaton_parse_out = out_str ;
+        xbt_automaton_parser_out = out_str ;

 }
 
 }
 

-int xbt_automaton_parse_get_debug  (void)
+int xbt_automaton_parser_get_debug  (void)

 {
 {

-        return xbt_automaton_parse__flex_debug;
+        return xbt_automaton_parser__flex_debug;

 }
 
 }
 

-void xbt_automaton_parse_set_debug (int  bdebug )
+void xbt_automaton_parser_set_debug (int  bdebug )

 {
 {

-        xbt_automaton_parse__flex_debug = bdebug ;
+        xbt_automaton_parser__flex_debug = bdebug ;

 }
 
 static int yy_init_globals (void)
 {
         /* Initialization is the same as for the non-reentrant scanner.
 }
 
 static int yy_init_globals (void)
 {
         /* Initialization is the same as for the non-reentrant scanner.

-     * This function is called from xbt_automaton_parse_lex_destroy(), so don't allocate here.
+     * This function is called from xbt_automaton_parser_lex_destroy(), so don't allocate here.

      */
 
     (yy_buffer_stack) = 0;
      */
 
     (yy_buffer_stack) = 0;


@@ -1856,36 +1856,36 @@ static int yy_init_globals (void)
 
 /* Defined in main.c */
 #ifdef YY_STDINIT
 
 /* Defined in main.c */
 #ifdef YY_STDINIT

-    xbt_automaton_parse_in = stdin;
-    xbt_automaton_parse_out = stdout;
+    xbt_automaton_parser_in = stdin;
+    xbt_automaton_parser_out = stdout;

 #else
 #else

-    xbt_automaton_parse_in = (FILE *) 0;
-    xbt_automaton_parse_out = (FILE *) 0;
+    xbt_automaton_parser_in = (FILE *) 0;
+    xbt_automaton_parser_out = (FILE *) 0;

 #endif
 
     /* For future reference: Set errno on error, since we are called by
 #endif
 
     /* For future reference: Set errno on error, since we are called by

-     * xbt_automaton_parse_lex_init()
+     * xbt_automaton_parser_lex_init()

      */
     return 0;
 }
 
      */
     return 0;
 }
 

-/* xbt_automaton_parse_lex_destroy is for both reentrant and non-reentrant scanners. */
-int xbt_automaton_parse_lex_destroy  (void)
+/* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
+int xbt_automaton_parser_lex_destroy  (void)

 {
     
     /* Pop the buffer stack, destroying each element. */
        while(YY_CURRENT_BUFFER){
 {
     
     /* Pop the buffer stack, destroying each element. */
        while(YY_CURRENT_BUFFER){

-               xbt_automaton_parse__delete_buffer(YY_CURRENT_BUFFER  );
+               xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER  );

                YY_CURRENT_BUFFER_LVALUE = NULL;
                YY_CURRENT_BUFFER_LVALUE = NULL;

-               xbt_automaton_parse_pop_buffer_state();
+               xbt_automaton_parser_pop_buffer_state();

        }
 
        /* Destroy the stack itself. */
        }
 
        /* Destroy the stack itself. */

-       xbt_automaton_parse_free((yy_buffer_stack) );
+       xbt_automaton_parser_free((yy_buffer_stack) );

        (yy_buffer_stack) = NULL;
 
     /* Reset the globals. This is important in a non-reentrant scanner so the next time
        (yy_buffer_stack) = NULL;
 
     /* Reset the globals. This is important in a non-reentrant scanner so the next time

-     * xbt_automaton_parse_lex() is called, initialization will occur. */
+     * xbt_automaton_parser_lex() is called, initialization will occur. */

     yy_init_globals( );
 
     return 0;
     yy_init_globals( );
 
     return 0;


@@ -1915,12 +1915,12 @@ static int yy_flex_strlen (yyconst char * s )
 }
 #endif
 
 }
 #endif
 

-void *xbt_automaton_parse_alloc (yy_size_t  size )
+void *xbt_automaton_parser_alloc (yy_size_t  size )

 {
        return (void *) malloc( size );
 }
 
 {
        return (void *) malloc( size );
 }
 

-void *xbt_automaton_parse_realloc  (void * ptr, yy_size_t  size )
+void *xbt_automaton_parser_realloc  (void * ptr, yy_size_t  size )

 {
        /* The cast to (char *) in the following accommodates both
         * implementations that use char* generic pointers, and those
 {
        /* The cast to (char *) in the following accommodates both
         * implementations that use char* generic pointers, and those


@@ -1932,9 +1932,9 @@ void *xbt_automaton_parse_realloc  (void * ptr, yy_size_t  size )
        return (void *) realloc( (char *) ptr, size );
 }
 
        return (void *) realloc( (char *) ptr, size );
 }
 

-void xbt_automaton_parse_free (void * ptr )
+void xbt_automaton_parser_free (void * ptr )

 {
 {

-       free( (char *) ptr );   /* see xbt_automaton_parse_realloc() for (char *) cast */
+       free( (char *) ptr );   /* see xbt_automaton_parser_realloc() for (char *) cast */

 }
 
 #define YYTABLES_NAME "yytables"
 }
 
 #define YYTABLES_NAME "yytables"