X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c67758e45a789619678921867ca40cffbd22b1c6:/src/xbt/automaton/automaton_parse.yy.c..984b8e1616cfd626c6244a34ccd42ee0b1e89bcd:/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 a7395b169d..5a5d379b14 100644 --- 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_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 @@ -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_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 @@ -181,9 +181,9 @@ typedef unsigned int flex_uint32_t; 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 @@ -195,13 +195,13 @@ extern FILE *xbt_automaton_parse_in, *xbt_automaton_parse_out; #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; \ - YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parse_text again */ \ + YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parser_text again */ \ } \ 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" - * (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 @@ -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)] -/* 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 */ -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 */ -/* 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; -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 ){ \ - xbt_automaton_parse_ensure_buffer_stack (); \ + xbt_automaton_parser_ensure_buffer_stack (); \ 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; \ } @@ -349,9 +349,9 @@ void xbt_automaton_parse_free (void * ); #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 = \ - 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; \ } @@ -360,21 +360,21 @@ void xbt_automaton_parse_free (void * ); /* 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; -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; -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 ); @@ -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 - * 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; \ - 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; @@ -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; -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. @@ -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 -char *xbt_automaton_parse_text; +char *xbt_automaton_parser_text; #line 1 "parserPromela.lex" #line 4 "parserPromela.lex" #include -#include "y.tab.h" +#include "parserPromela.tab.hacc" extern YYSTYPE yylval; -#line 533 "automaton_parse.yy.c" +#line 533 "automaton_lexer.yy.c" #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. */ -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. @@ -582,9 +582,9 @@ void xbt_automaton_parse_set_lineno (int line_number ); #ifndef YY_SKIP_YYWRAP #ifdef __cplusplus -extern "C" int xbt_automaton_parse_wrap (void ); +extern "C" int xbt_automaton_parser_wrap (void ); #else -extern int xbt_automaton_parse_wrap (void ); +extern int xbt_automaton_parser_wrap (void ); #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(). */ -#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, @@ -636,18 +636,18 @@ static int input (void ); 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; \ - 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; \ - 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) \ { \ @@ -655,7 +655,7 @@ static int input (void ); 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 -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 */ -/* 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 @@ -719,7 +719,7 @@ YY_DECL #line 28 "parserPromela.lex" -#line 723 "automaton_parse.yy.c" +#line 723 "automaton_lexer.yy.c" if ( !(yy_init) ) { @@ -732,26 +732,26 @@ YY_DECL 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 ) { - xbt_automaton_parse_ensure_buffer_stack (); + xbt_automaton_parser_ensure_buffer_stack (); 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); - /* 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 @@ -805,83 +805,83 @@ do_action: /* This label is used only to access EOF actions. */ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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" -{ 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 */ @@ -892,37 +892,37 @@ YY_RULE_SETUP 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" -{ 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" -{ 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" -{ 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" -{ 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: @@ -941,7 +941,7 @@ YY_RULE_SETUP #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(); @@ -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 - * 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; - 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; } @@ -1019,11 +1019,11 @@ case YY_STATE_EOF(INITIAL): { (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 - * 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 @@ -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 */ -} /* end of xbt_automaton_parse_lex */ +} /* end of xbt_automaton_parser_lex */ /* 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. */ - 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. */ @@ -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; - xbt_automaton_parse_restart(xbt_automaton_parse_in ); + xbt_automaton_parser_restart(xbt_automaton_parser_in ); } 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); - 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()" ); } @@ -1276,7 +1276,7 @@ static int yy_get_next_buffer (void) 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 ) @@ -1348,13 +1348,13 @@ static int yy_get_next_buffer (void) */ /* 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: { - if ( xbt_automaton_parse_wrap( ) ) + if ( xbt_automaton_parser_wrap( ) ) 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 */ - *(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; @@ -1386,32 +1386,32 @@ static int yy_get_next_buffer (void) * * @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 ){ - xbt_automaton_parse_ensure_buffer_stack (); + xbt_automaton_parser_ensure_buffer_stack (); 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. * */ - 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 - * 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; @@ -1424,21 +1424,21 @@ static int yy_get_next_buffer (void) } 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 - * 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; } -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; - 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); } @@ -1448,35 +1448,35 @@ static void xbt_automaton_parse__load_buffer_state (void) * * @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; - 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 ) - 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_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 ) - 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; - xbt_automaton_parse__init_buffer(b,file ); + xbt_automaton_parser__init_buffer(b,file ); 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 ) @@ -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 ) - 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 @@ -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, - * 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; - xbt_automaton_parse__flush_buffer(b ); + xbt_automaton_parser__flush_buffer(b ); 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){ @@ -1527,7 +1527,7 @@ extern int isatty (int ); * @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; @@ -1547,7 +1547,7 @@ extern int isatty (int ); 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 @@ -1556,14 +1556,14 @@ extern int isatty (int ); * @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; - 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. */ @@ -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; - /* 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; } @@ -1586,18 +1586,18 @@ void xbt_automaton_parse_push_buffer_state (YY_BUFFER_STATE new_buffer ) * 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; - 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) { - xbt_automaton_parse__load_buffer_state( ); + xbt_automaton_parser__load_buffer_state( ); (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. */ -static void xbt_automaton_parse_ensure_buffer_stack (void) +static void xbt_automaton_parser_ensure_buffer_stack (void) { 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; - (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) ) - 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*)); @@ -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; - (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_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*)); @@ -1654,7 +1654,7 @@ static void xbt_automaton_parse_ensure_buffer_stack (void) * * @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; @@ -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; - 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 ) - 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; @@ -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; - xbt_automaton_parse__switch_to_buffer(b ); + xbt_automaton_parser__switch_to_buffer(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 - * 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. */ -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; @@ -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; - buf = (char *) xbt_automaton_parse_alloc(n ); + buf = (char *) xbt_automaton_parser_alloc(n ); 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; - b = xbt_automaton_parse__scan_buffer(buf,n ); + b = xbt_automaton_parser__scan_buffer(buf,n ); 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. @@ -1750,14 +1750,14 @@ static void yy_fatal_error (yyconst char* msg ) #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);\ - 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'; \ - xbt_automaton_parse_leng = yyless_macro_arg; \ + xbt_automaton_parser_leng = yyless_macro_arg; \ } \ while ( 0 ) @@ -1766,85 +1766,85 @@ static void yy_fatal_error (yyconst char* msg ) /** 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. * */ -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. * */ -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. * */ -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. * */ -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 * */ -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. * - * @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. - * 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; @@ -1856,36 +1856,36 @@ static int yy_init_globals (void) /* 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 - 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 - * xbt_automaton_parse_lex_init() + * xbt_automaton_parser_lex_init() */ 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){ - xbt_automaton_parse__delete_buffer(YY_CURRENT_BUFFER ); + xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER ); YY_CURRENT_BUFFER_LVALUE = NULL; - xbt_automaton_parse_pop_buffer_state(); + xbt_automaton_parser_pop_buffer_state(); } /* 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 - * xbt_automaton_parse_lex() is called, initialization will occur. */ + * xbt_automaton_parser_lex() is called, initialization will occur. */ yy_init_globals( ); return 0; @@ -1915,12 +1915,12 @@ static int yy_flex_strlen (yyconst char * s ) } #endif -void *xbt_automaton_parse_alloc (yy_size_t size ) +void *xbt_automaton_parser_alloc (yy_size_t 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 @@ -1932,9 +1932,9 @@ void *xbt_automaton_parse_realloc (void * ptr, yy_size_t 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"