X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a4d071afeab4b3ff0a50eefbf48a391d4e8978aa..5ee23970780a802b53a76ca272464a462223e7e8:/src/xbt/automaton/automaton_lexer.yy.c diff --git a/src/xbt/automaton/automaton_lexer.yy.c b/src/xbt/automaton/automaton_lexer.yy.c index 4580e3334e..7534c028ba 100644 --- a/src/xbt/automaton/automaton_lexer.yy.c +++ b/src/xbt/automaton/automaton_lexer.yy.c @@ -27,8 +27,8 @@ #define FLEX_SCANNER #define YY_FLEX_MAJOR_VERSION 2 -#define YY_FLEX_MINOR_VERSION 5 -#define YY_FLEX_SUBMINOR_VERSION 39 +#define YY_FLEX_MINOR_VERSION 6 +#define YY_FLEX_SUBMINOR_VERSION 0 #if YY_FLEX_SUBMINOR_VERSION > 0 #define FLEX_BETA #endif @@ -230,7 +230,7 @@ struct yy_buffer_state /* Number of characters read into yy_ch_buf, not including EOB * characters. */ - yy_size_t yy_n_chars; + int yy_n_chars; /* Whether we "own" the buffer - i.e., we know we created it, * and can realloc() it to grow it, and should free() it to @@ -300,7 +300,7 @@ static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */ /* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */ static char yy_hold_char; -static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */ +static int yy_n_chars; /* number of characters read into yy_ch_buf */ yy_size_t xbt_automaton_parser_leng; /* Points to current character in buffer. */ @@ -361,7 +361,7 @@ void xbt_automaton_parser_free (void * ); /* Begin user sect3 */ -#define xbt_automaton_parser_wrap() 1 +#define xbt_automaton_parser_wrap() (/*CONSTCOND*/1) #define YY_SKIP_YYWRAP typedef unsigned char YY_CHAR; @@ -375,11 +375,17 @@ extern int xbt_automaton_parser_lineno; int xbt_automaton_parser_lineno = 1; extern char *xbt_automaton_parser_text; +#ifdef yytext_ptr +#undef yytext_ptr +#endif #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 int yy_get_next_buffer (void ); +#if defined(__GNUC__) && __GNUC__ >= 3 +__attribute__((__noreturn__)) +#endif static void yy_fatal_error (yyconst char msg[] ); /* Done after the current pattern has been matched and before the @@ -411,7 +417,7 @@ static yyconst flex_int16_t yy_accept[54] = 22, 1, 0 } ; -static yyconst flex_int32_t yy_ec[256] = +static yyconst YY_CHAR yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -443,7 +449,7 @@ static yyconst flex_int32_t yy_ec[256] = 1, 1, 1, 1, 1 } ; -static yyconst flex_int32_t yy_meta[34] = +static yyconst YY_CHAR yy_meta[34] = { 0, 1, 1, 2, 2, 1, 2, 1, 1, 1, 1, 1, 1, 3, 4, 4, 1, 1, 1, 4, 2, @@ -451,7 +457,7 @@ static yyconst flex_int32_t yy_meta[34] = 1, 1, 1 } ; -static yyconst flex_int16_t yy_base[57] = +static yyconst flex_uint16_t yy_base[57] = { 0, 0, 0, 89, 90, 32, 90, 90, 34, 81, 90, 90, 69, 76, 27, 31, 69, 90, 0, 59, 56, @@ -471,7 +477,7 @@ static yyconst flex_int16_t yy_def[57] = 55, 55, 0, 53, 53, 53 } ; -static yyconst flex_int16_t yy_nxt[124] = +static yyconst flex_uint16_t yy_nxt[124] = { 0, 4, 5, 6, 5, 7, 8, 9, 10, 11, 4, 12, 4, 13, 14, 15, 16, 17, 4, 18, 4, @@ -545,7 +551,7 @@ char *xbt_automaton_parser_text; extern YYSTYPE yylval; -#line 549 "automaton_lexer.yy.c" +#line 555 "automaton_lexer.yy.c" #define INITIAL 0 @@ -578,11 +584,11 @@ void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined ); FILE *xbt_automaton_parser_get_in (void ); -void xbt_automaton_parser_set_in (FILE * in_str ); +void xbt_automaton_parser_set_in (FILE * _in_str ); FILE *xbt_automaton_parser_get_out (void ); -void xbt_automaton_parser_set_out (FILE * out_str ); +void xbt_automaton_parser_set_out (FILE * _out_str ); yy_size_t xbt_automaton_parser_get_leng (void ); @@ -590,7 +596,7 @@ char *xbt_automaton_parser_get_text (void ); int xbt_automaton_parser_get_lineno (void ); -void xbt_automaton_parser_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. @@ -604,8 +610,12 @@ extern int xbt_automaton_parser_wrap (void ); #endif #endif +#ifndef YY_NO_UNPUT + static void yyunput (int c,char *buf_ptr ); +#endif + #ifndef yytext_ptr static void yy_flex_strncpy (char *,yyconst char *,int ); #endif @@ -718,7 +728,7 @@ extern int xbt_automaton_parser_lex (void); /* Code executed at the end of each rule. */ #ifndef YY_BREAK -#define YY_BREAK break; +#define YY_BREAK /*LINTED*/break; #endif #define YY_RULE_SETUP \ @@ -728,9 +738,9 @@ extern int xbt_automaton_parser_lex (void); */ YY_DECL { - register yy_state_type yy_current_state; - register char *yy_cp, *yy_bp; - register int yy_act; + yy_state_type yy_current_state; + char *yy_cp, *yy_bp; + int yy_act; if ( !(yy_init) ) { @@ -762,9 +772,9 @@ YY_DECL #line 45 "parserPromela.lex" -#line 766 "automaton_lexer.yy.c" +#line 776 "automaton_lexer.yy.c" - while ( 1 ) /* loops until end-of-file is reached */ + while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */ { yy_cp = (yy_c_buf_p); @@ -780,7 +790,7 @@ YY_DECL yy_match: do { - register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ; + YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ; if ( yy_accept[yy_current_state] ) { (yy_last_accepting_state) = yy_current_state; @@ -953,7 +963,7 @@ YY_RULE_SETUP #line 88 "parserPromela.lex" ECHO; YY_BREAK -#line 957 "automaton_lexer.yy.c" +#line 967 "automaton_lexer.yy.c" case YY_STATE_EOF(INITIAL): yyterminate(); @@ -1096,9 +1106,9 @@ case YY_STATE_EOF(INITIAL): */ static int yy_get_next_buffer (void) { - register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; - register char *source = (yytext_ptr); - register int number_to_move, i; + char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; + char *source = (yytext_ptr); + yy_size_t number_to_move, i; int ret_val; if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] ) @@ -1127,7 +1137,7 @@ static int yy_get_next_buffer (void) /* Try to read more data. */ /* First move last chars to start of buffer. */ - number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1; + number_to_move = (yy_size_t) ((yy_c_buf_p) - (yytext_ptr)) - 1; for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++); @@ -1209,9 +1219,9 @@ static int yy_get_next_buffer (void) else ret_val = EOB_ACT_CONTINUE_SCAN; - if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { + if ((int) ((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); + int new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1); 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()" ); @@ -1230,14 +1240,14 @@ static int yy_get_next_buffer (void) static yy_state_type yy_get_previous_state (void) { - register yy_state_type yy_current_state; - register char *yy_cp; + yy_state_type yy_current_state; + char *yy_cp; yy_current_state = (yy_start); for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp ) { - register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); + YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); if ( yy_accept[yy_current_state] ) { (yy_last_accepting_state) = yy_current_state; @@ -1262,10 +1272,10 @@ static int yy_get_next_buffer (void) */ static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state ) { - register int yy_is_jam; - register char *yy_cp = (yy_c_buf_p); + int yy_is_jam; + char *yy_cp = (yy_c_buf_p); - register YY_CHAR yy_c = 1; + YY_CHAR yy_c = 1; if ( yy_accept[yy_current_state] ) { (yy_last_accepting_state) = yy_current_state; @@ -1283,9 +1293,11 @@ static int yy_get_next_buffer (void) return yy_is_jam ? 0 : yy_current_state; } - static void yyunput (int c, register char * yy_bp ) +#ifndef YY_NO_UNPUT + + static void yyunput (int c, char * yy_bp ) { - register char *yy_cp; + char *yy_cp; yy_cp = (yy_c_buf_p); @@ -1295,10 +1307,10 @@ static int yy_get_next_buffer (void) if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) { /* need to shift things up to make room */ /* +2 for EOB chars. */ - register yy_size_t number_to_move = (yy_n_chars) + 2; - register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ + yy_size_t number_to_move = (yy_n_chars) + 2; + char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; - register char *source = + char *source = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]; while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) @@ -1320,6 +1332,8 @@ static int yy_get_next_buffer (void) (yy_c_buf_p) = yy_cp; } +#endif + #ifndef YY_NO_INPUT #ifdef __cplusplus static int yyinput (void) @@ -1469,7 +1483,7 @@ static void xbt_automaton_parser__load_buffer_state (void) if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" ); - b->yy_buf_size = size; + b->yy_buf_size = (yy_size_t)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. @@ -1624,7 +1638,7 @@ static void xbt_automaton_parser_ensure_buffer_stack (void) * scanner will even need a stack. We use 2 instead of 1 to avoid an * immediate realloc on the next call. */ - num_to_alloc = 1; + num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */ (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc (num_to_alloc * sizeof(struct yy_buffer_state*) ); @@ -1641,7 +1655,7 @@ static void xbt_automaton_parser_ensure_buffer_stack (void) if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){ /* Increase the buffer to prepare for a possible push. */ - int grow_size = 8 /* arbitrary grow size */; + yy_size_t grow_size = 8 /* arbitrary grow size */; num_to_alloc = (yy_buffer_stack_max) + grow_size; (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc @@ -1749,7 +1763,7 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_si static void yy_fatal_error (yyconst char* msg ) { - (void) fprintf( stderr, "%s\n", msg ); + (void) fprintf( stderr, "%s\n", msg ); exit( YY_EXIT_FAILURE ); } @@ -1815,29 +1829,29 @@ char *xbt_automaton_parser_get_text (void) } /** Set the current line number. - * @param line_number + * @param _line_number line number * */ -void xbt_automaton_parser_set_lineno (int line_number ) +void xbt_automaton_parser_set_lineno (int _line_number ) { - xbt_automaton_parser_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. + * @param _in_str A readable stream. * * @see xbt_automaton_parser__switch_to_buffer */ -void xbt_automaton_parser_set_in (FILE * in_str ) +void xbt_automaton_parser_set_in (FILE * _in_str ) { - xbt_automaton_parser_in = in_str ; + xbt_automaton_parser_in = _in_str ; } -void xbt_automaton_parser_set_out (FILE * out_str ) +void xbt_automaton_parser_set_out (FILE * _out_str ) { - xbt_automaton_parser_out = out_str ; + xbt_automaton_parser_out = _out_str ; } int xbt_automaton_parser_get_debug (void) @@ -1845,9 +1859,9 @@ int xbt_automaton_parser_get_debug (void) return xbt_automaton_parser__flex_debug; } -void xbt_automaton_parser_set_debug (int bdebug ) +void xbt_automaton_parser_set_debug (int _bdebug ) { - xbt_automaton_parser__flex_debug = bdebug ; + xbt_automaton_parser__flex_debug = _bdebug ; } static int yy_init_globals (void) @@ -1907,7 +1921,8 @@ int xbt_automaton_parser_lex_destroy (void) #ifndef yytext_ptr static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) { - register int i; + + int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i]; } @@ -1916,7 +1931,7 @@ static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) #ifdef YY_NEED_STRLEN static int yy_flex_strlen (yyconst char * s ) { - register int n; + int n; for ( n = 0; s[n]; ++n ) ; @@ -1926,11 +1941,12 @@ static int yy_flex_strlen (yyconst char * s ) void *xbt_automaton_parser_alloc (yy_size_t size ) { - return (void *) malloc( size ); + return (void *) malloc( 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 * that use void* generic pointers. It works with the latter @@ -1943,12 +1959,12 @@ void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size ) void xbt_automaton_parser_free (void * ptr ) { - free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */ + free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */ } #define YYTABLES_NAME "yytables" -#line 87 "parserPromela.lex" +#line 88 "parserPromela.lex"