X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1430176bca4f7627075440f1e2559be930f93fdf..863aeead864a309c494893a1b06ec33ed2b7daf1:/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 d451e561ec..8715148d49 100644 --- a/src/xbt/automaton/automaton_lexer.yy.c +++ b/src/xbt/automaton/automaton_lexer.yy.c @@ -53,7 +53,7 @@ #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, - * if you want the limit (max/min) macros for int types. + * if you want the limit (max/min) macros for int types. */ #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS 1 @@ -70,7 +70,7 @@ typedef uint32_t flex_uint32_t; typedef signed char flex_int8_t; typedef short int flex_int16_t; typedef int flex_int32_t; -typedef unsigned char flex_uint8_t; +typedef unsigned char flex_uint8_t; typedef unsigned short int flex_uint16_t; typedef unsigned int flex_uint32_t; @@ -196,7 +196,7 @@ extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out; #define YY_LESS_LINENO(n) #define YY_LINENO_REWIND_TO(ptr) - + /* Return all but the first "n" matched characters back to the input stream. */ #define yyless(n) \ do \ @@ -253,7 +253,7 @@ struct yy_buffer_state int yy_bs_lineno; /**< The line count. */ int yy_bs_column; /**< The column count. */ - + /* Whether to try to fill the input buffer when we reach the * end of it. */ @@ -541,9 +541,9 @@ char *xbt_automaton_parser_text; #include #include "parserPromela.tab.hacc" - + extern YYSTYPE yylval; - + #line 548 "automaton_lexer.yy.c" #define INITIAL 0 @@ -604,9 +604,9 @@ extern int xbt_automaton_parser_wrap (void ); #endif #ifndef YY_NO_UNPUT - + static void yyunput (int c,char *buf_ptr ); - + #endif #ifndef yytext_ptr @@ -734,7 +734,7 @@ YY_DECL yy_state_type yy_current_state; char *yy_cp, *yy_bp; int yy_act; - + if ( !(yy_init) ) { (yy_init) = 1; @@ -916,13 +916,13 @@ YY_RULE_SETUP case 19: YY_RULE_SETUP #line 63 "parserPromela.lex" -{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real); +{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real); return (LITT_REEL); } YY_BREAK case 20: YY_RULE_SETUP #line 66 "parserPromela.lex" -{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer); +{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer); return (LITT_ENT); } YY_BREAK case 21: @@ -930,7 +930,7 @@ case 21: YY_RULE_SETUP #line 69 "parserPromela.lex" { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1); - sscanf(xbt_automaton_parser_text,"%s",yylval.string); + sscanf(xbt_automaton_parser_text,"%s",yylval.string); return (LITT_CHAINE); } YY_BREAK case 22: @@ -1235,7 +1235,7 @@ static int yy_get_next_buffer (void) { 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 ) @@ -1291,7 +1291,7 @@ static int yy_get_next_buffer (void) static void yyunput (int c, char * yy_bp ) { char *yy_cp; - + yy_cp = (yy_c_buf_p); /* undo effects of setting up xbt_automaton_parser_text */ @@ -1336,7 +1336,7 @@ static int yy_get_next_buffer (void) { int c; - + *(yy_c_buf_p) = (yy_hold_char); if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR ) @@ -1403,12 +1403,12 @@ static int yy_get_next_buffer (void) /** Immediately switch to a different input stream. * @param input_file A readable stream. - * + * * @note This function does not reset the start condition to @c INITIAL . */ void xbt_automaton_parser_restart (FILE * input_file ) { - + if ( ! YY_CURRENT_BUFFER ){ xbt_automaton_parser_ensure_buffer_stack (); YY_CURRENT_BUFFER_LVALUE = @@ -1421,11 +1421,11 @@ static int yy_get_next_buffer (void) /** Switch to a different input buffer. * @param new_buffer The new input 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_parser_pop_buffer_state(); @@ -1465,13 +1465,13 @@ static void xbt_automaton_parser__load_buffer_state (void) /** Allocate and initialize an input buffer state. * @param file A readable stream. * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. - * + * * @return the allocated buffer state. */ YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE * file, int size ) { YY_BUFFER_STATE b; - + 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_parser__create_buffer()" ); @@ -1494,11 +1494,11 @@ static void xbt_automaton_parser__load_buffer_state (void) /** Destroy the buffer. * @param b a buffer created with xbt_automaton_parser__create_buffer() - * + * */ void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b ) { - + if ( ! b ) return; @@ -1519,7 +1519,7 @@ static void xbt_automaton_parser__load_buffer_state (void) { int oerrno = errno; - + xbt_automaton_parser__flush_buffer(b ); b->yy_input_file = file; @@ -1535,13 +1535,13 @@ static void xbt_automaton_parser__load_buffer_state (void) } b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; - + errno = oerrno; } /** Discard all buffered characters. On the next scan, YY_INPUT will be called. * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. - * + * */ void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b ) { @@ -1570,7 +1570,7 @@ static void xbt_automaton_parser__load_buffer_state (void) * the current state. This function will allocate the stack * if necessary. * @param new_buffer The new state. - * + * */ void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer ) { @@ -1600,7 +1600,7 @@ void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer ) /** Removes and deletes the top of the stack, if present. * The next element becomes the new top. - * + * */ void xbt_automaton_parser_pop_buffer_state (void) { @@ -1624,7 +1624,7 @@ void xbt_automaton_parser_pop_buffer_state (void) static void xbt_automaton_parser_ensure_buffer_stack (void) { yy_size_t num_to_alloc; - + if (!(yy_buffer_stack)) { /* First allocation is just for 2 elements, since we don't know if this @@ -1637,9 +1637,9 @@ static void xbt_automaton_parser_ensure_buffer_stack (void) ); if ( ! (yy_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*)); - + (yy_buffer_stack_max) = num_to_alloc; (yy_buffer_stack_top) = 0; return; @@ -1667,13 +1667,13 @@ static void xbt_automaton_parser_ensure_buffer_stack (void) /** Setup the input buffer state to scan directly from a user-specified character buffer. * @param base the character buffer * @param size the size in bytes of the character buffer - * - * @return the newly allocated buffer state object. + * + * @return the newly allocated buffer state object. */ YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size ) { YY_BUFFER_STATE b; - + if ( size < 2 || base[size-2] != YY_END_OF_BUFFER_CHAR || base[size-1] != YY_END_OF_BUFFER_CHAR ) @@ -1702,14 +1702,14 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size /** 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_parser__scan_bytes() instead. */ YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr ) { - + return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) ); } @@ -1717,7 +1717,7 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr ) * 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_parser__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len ) @@ -1726,7 +1726,7 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_si char *buf; yy_size_t n; yy_size_t i; - + /* Get memory for full buffer, including space for trailing EOB's. */ n = _yybytes_len + 2; buf = (char *) xbt_automaton_parser_alloc(n ); @@ -1780,16 +1780,16 @@ static void yy_fatal_error (yyconst char* msg ) /* Accessor methods (get/set functions) to struct members. */ /** Get the current line number. - * + * */ int xbt_automaton_parser_get_lineno (void) { - + return xbt_automaton_parser_lineno; } /** Get the input stream. - * + * */ FILE *xbt_automaton_parser_get_in (void) { @@ -1797,7 +1797,7 @@ FILE *xbt_automaton_parser_get_in (void) } /** Get the output stream. - * + * */ FILE *xbt_automaton_parser_get_out (void) { @@ -1805,7 +1805,7 @@ FILE *xbt_automaton_parser_get_out (void) } /** Get the length of the current token. - * + * */ yy_size_t xbt_automaton_parser_get_leng (void) { @@ -1813,7 +1813,7 @@ yy_size_t xbt_automaton_parser_get_leng (void) } /** Get the current token. - * + * */ char *xbt_automaton_parser_get_text (void) @@ -1823,18 +1823,18 @@ char *xbt_automaton_parser_get_text (void) /** Set the current line number. * @param _line_number line number - * + * */ void xbt_automaton_parser_set_lineno (int _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_parser__switch_to_buffer */ void xbt_automaton_parser_set_in (FILE * _in_str ) @@ -1888,7 +1888,7 @@ static int yy_init_globals (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_parser__delete_buffer(YY_CURRENT_BUFFER ); @@ -1914,7 +1914,7 @@ int xbt_automaton_parser_lex_destroy (void) #ifndef yytext_ptr static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) { - + int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i]; @@ -1939,7 +1939,7 @@ void *xbt_automaton_parser_alloc (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 * that use void* generic pointers. It works with the latter