X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/979c523553683448dfd98b907975794f10007222..8f9f22a96a9349e7a1e2bea57ab8cd1361b93a8a:/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 42970727ac..98e6db8034 100644 --- a/src/xbt/automaton/automaton_lexer.yy.c +++ b/src/xbt/automaton/automaton_lexer.yy.c @@ -8,11 +8,17 @@ #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_scan_buffer xbt_automaton_parser__scan_buffer +#define yy_scan_string xbt_automaton_parser__scan_string +#define yy_scan_bytes xbt_automaton_parser__scan_bytes #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 yypush_buffer_state xbt_automaton_parser_push_buffer_state +#define yypop_buffer_state xbt_automaton_parser_pop_buffer_state +#define yyensure_buffer_stack xbt_automaton_parser_ensure_buffer_stack +#define yy_flex_debug xbt_automaton_parser__flex_debug #define yyin xbt_automaton_parser_in #define yyleng xbt_automaton_parser_leng #define yylex xbt_automaton_parser_lex @@ -27,12 +33,246 @@ #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 4 #if YY_FLEX_SUBMINOR_VERSION > 0 #define FLEX_BETA #endif +#ifdef yy_create_buffer +#define xbt_automaton_parser__create_buffer_ALREADY_DEFINED +#else +#define yy_create_buffer xbt_automaton_parser__create_buffer +#endif + +#ifdef yy_delete_buffer +#define xbt_automaton_parser__delete_buffer_ALREADY_DEFINED +#else +#define yy_delete_buffer xbt_automaton_parser__delete_buffer +#endif + +#ifdef yy_scan_buffer +#define xbt_automaton_parser__scan_buffer_ALREADY_DEFINED +#else +#define yy_scan_buffer xbt_automaton_parser__scan_buffer +#endif + +#ifdef yy_scan_string +#define xbt_automaton_parser__scan_string_ALREADY_DEFINED +#else +#define yy_scan_string xbt_automaton_parser__scan_string +#endif + +#ifdef yy_scan_bytes +#define xbt_automaton_parser__scan_bytes_ALREADY_DEFINED +#else +#define yy_scan_bytes xbt_automaton_parser__scan_bytes +#endif + +#ifdef yy_init_buffer +#define xbt_automaton_parser__init_buffer_ALREADY_DEFINED +#else +#define yy_init_buffer xbt_automaton_parser__init_buffer +#endif + +#ifdef yy_flush_buffer +#define xbt_automaton_parser__flush_buffer_ALREADY_DEFINED +#else +#define yy_flush_buffer xbt_automaton_parser__flush_buffer +#endif + +#ifdef yy_load_buffer_state +#define xbt_automaton_parser__load_buffer_state_ALREADY_DEFINED +#else +#define yy_load_buffer_state xbt_automaton_parser__load_buffer_state +#endif + +#ifdef yy_switch_to_buffer +#define xbt_automaton_parser__switch_to_buffer_ALREADY_DEFINED +#else +#define yy_switch_to_buffer xbt_automaton_parser__switch_to_buffer +#endif + +#ifdef yypush_buffer_state +#define xbt_automaton_parser_push_buffer_state_ALREADY_DEFINED +#else +#define yypush_buffer_state xbt_automaton_parser_push_buffer_state +#endif + +#ifdef yypop_buffer_state +#define xbt_automaton_parser_pop_buffer_state_ALREADY_DEFINED +#else +#define yypop_buffer_state xbt_automaton_parser_pop_buffer_state +#endif + +#ifdef yyensure_buffer_stack +#define xbt_automaton_parser_ensure_buffer_stack_ALREADY_DEFINED +#else +#define yyensure_buffer_stack xbt_automaton_parser_ensure_buffer_stack +#endif + +#ifdef yylex +#define xbt_automaton_parser_lex_ALREADY_DEFINED +#else +#define yylex xbt_automaton_parser_lex +#endif + +#ifdef yyrestart +#define xbt_automaton_parser_restart_ALREADY_DEFINED +#else +#define yyrestart xbt_automaton_parser_restart +#endif + +#ifdef yylex_init +#define xbt_automaton_parser_lex_init_ALREADY_DEFINED +#else +#define yylex_init xbt_automaton_parser_lex_init +#endif + +#ifdef yylex_init_extra +#define xbt_automaton_parser_lex_init_extra_ALREADY_DEFINED +#else +#define yylex_init_extra xbt_automaton_parser_lex_init_extra +#endif + +#ifdef yylex_destroy +#define xbt_automaton_parser_lex_destroy_ALREADY_DEFINED +#else +#define yylex_destroy xbt_automaton_parser_lex_destroy +#endif + +#ifdef yyget_debug +#define xbt_automaton_parser_get_debug_ALREADY_DEFINED +#else +#define yyget_debug xbt_automaton_parser_get_debug +#endif + +#ifdef yyset_debug +#define xbt_automaton_parser_set_debug_ALREADY_DEFINED +#else +#define yyset_debug xbt_automaton_parser_set_debug +#endif + +#ifdef yyget_extra +#define xbt_automaton_parser_get_extra_ALREADY_DEFINED +#else +#define yyget_extra xbt_automaton_parser_get_extra +#endif + +#ifdef yyset_extra +#define xbt_automaton_parser_set_extra_ALREADY_DEFINED +#else +#define yyset_extra xbt_automaton_parser_set_extra +#endif + +#ifdef yyget_in +#define xbt_automaton_parser_get_in_ALREADY_DEFINED +#else +#define yyget_in xbt_automaton_parser_get_in +#endif + +#ifdef yyset_in +#define xbt_automaton_parser_set_in_ALREADY_DEFINED +#else +#define yyset_in xbt_automaton_parser_set_in +#endif + +#ifdef yyget_out +#define xbt_automaton_parser_get_out_ALREADY_DEFINED +#else +#define yyget_out xbt_automaton_parser_get_out +#endif + +#ifdef yyset_out +#define xbt_automaton_parser_set_out_ALREADY_DEFINED +#else +#define yyset_out xbt_automaton_parser_set_out +#endif + +#ifdef yyget_leng +#define xbt_automaton_parser_get_leng_ALREADY_DEFINED +#else +#define yyget_leng xbt_automaton_parser_get_leng +#endif + +#ifdef yyget_text +#define xbt_automaton_parser_get_text_ALREADY_DEFINED +#else +#define yyget_text xbt_automaton_parser_get_text +#endif + +#ifdef yyget_lineno +#define xbt_automaton_parser_get_lineno_ALREADY_DEFINED +#else +#define yyget_lineno xbt_automaton_parser_get_lineno +#endif + +#ifdef yyset_lineno +#define xbt_automaton_parser_set_lineno_ALREADY_DEFINED +#else +#define yyset_lineno xbt_automaton_parser_set_lineno +#endif + +#ifdef yywrap +#define xbt_automaton_parser_wrap_ALREADY_DEFINED +#else +#define yywrap xbt_automaton_parser_wrap +#endif + +#ifdef yyalloc +#define xbt_automaton_parser_alloc_ALREADY_DEFINED +#else +#define yyalloc xbt_automaton_parser_alloc +#endif + +#ifdef yyrealloc +#define xbt_automaton_parser_realloc_ALREADY_DEFINED +#else +#define yyrealloc xbt_automaton_parser_realloc +#endif + +#ifdef yyfree +#define xbt_automaton_parser_free_ALREADY_DEFINED +#else +#define yyfree xbt_automaton_parser_free +#endif + +#ifdef yytext +#define xbt_automaton_parser_text_ALREADY_DEFINED +#else +#define yytext xbt_automaton_parser_text +#endif + +#ifdef yyleng +#define xbt_automaton_parser_leng_ALREADY_DEFINED +#else +#define yyleng xbt_automaton_parser_leng +#endif + +#ifdef yyin +#define xbt_automaton_parser_in_ALREADY_DEFINED +#else +#define yyin xbt_automaton_parser_in +#endif + +#ifdef yyout +#define xbt_automaton_parser_out_ALREADY_DEFINED +#else +#define yyout xbt_automaton_parser_out +#endif + +#ifdef yy_flex_debug +#define xbt_automaton_parser__flex_debug_ALREADY_DEFINED +#else +#define yy_flex_debug xbt_automaton_parser__flex_debug +#endif + +#ifdef yylineno +#define xbt_automaton_parser_lineno_ALREADY_DEFINED +#else +#define yylineno xbt_automaton_parser_lineno +#endif + /* First, we deal with platform-specific or compiler-specific issues. */ /* begin standard C headers. */ @@ -103,60 +343,48 @@ typedef unsigned int flex_uint32_t; #define UINT32_MAX (4294967295U) #endif +#ifndef SIZE_MAX +#define SIZE_MAX (~(size_t)0) +#endif + #endif /* ! C99 */ #endif /* ! FLEXINT_H */ -#ifdef __cplusplus - -/* The "const" storage-class-modifier is valid. */ -#define YY_USE_CONST +/* begin standard C++ headers. */ -#else /* ! __cplusplus */ - -/* C99 requires __STDC__ to be defined as 1. */ -#if defined (__STDC__) - -#define YY_USE_CONST - -#endif /* defined (__STDC__) */ -#endif /* ! __cplusplus */ - -#ifdef YY_USE_CONST +/* TODO: this is always defined, so inline it */ #define yyconst const + +#if defined(__GNUC__) && __GNUC__ >= 3 +#define yynoreturn __attribute__((__noreturn__)) #else -#define yyconst +#define yynoreturn #endif /* Returned upon end-of-file. */ #define YY_NULL 0 -/* Promotes a possibly negative, possibly signed char to an unsigned - * integer for use as an array index. If the signed char is negative, - * we want to instead treat it as an 8-bit unsigned char, hence the - * double cast. +/* Promotes a possibly negative, possibly signed char to an + * integer in range [0..255] for use as an array index. */ -#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c) +#define YY_SC_TO_UI(c) ((YY_CHAR) (c)) /* Enter a start condition. This macro really ought to take a parameter, * but we do it the disgusting crufty way forced on us by the ()-less * definition of BEGIN. */ #define BEGIN (yy_start) = 1 + 2 * - /* Translate the current start state into a value that can be later handed * to BEGIN to return to the state. The YYSTATE alias is for lex * compatibility. */ #define YY_START (((yy_start) - 1) / 2) #define YYSTATE YY_START - /* Action number for EOF rule of a given start state. */ #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_parser_restart(xbt_automaton_parser_in ) - +#define YY_NEW_FILE yyrestart( yyin ) #define YY_END_OF_BUFFER_CHAR 0 /* Size of default input buffer. */ @@ -186,14 +414,14 @@ typedef struct yy_buffer_state *YY_BUFFER_STATE; typedef size_t yy_size_t; #endif -extern yy_size_t xbt_automaton_parser_leng; +extern int yyleng; -extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out; +extern FILE *yyin, *yyout; #define EOB_ACT_CONTINUE_SCAN 0 #define EOB_ACT_END_OF_FILE 1 #define EOB_ACT_LAST_MATCH 2 - + #define YY_LESS_LINENO(n) #define YY_LINENO_REWIND_TO(ptr) @@ -201,16 +429,15 @@ extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out; #define yyless(n) \ do \ { \ - /* Undo effects of setting up xbt_automaton_parser_text. */ \ + /* Undo effects of setting up yytext. */ \ 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_parser_text again */ \ + YY_DO_BEFORE_ACTION; /* set up yytext again */ \ } \ while ( 0 ) - #define unput(c) yyunput( c, (yytext_ptr) ) #ifndef YY_STRUCT_YY_BUFFER_STATE @@ -225,12 +452,12 @@ struct yy_buffer_state /* Size of input buffer in bytes, not including room for EOB * characters. */ - yy_size_t yy_buf_size; + int yy_buf_size; /* 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 @@ -253,7 +480,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. */ @@ -270,8 +497,8 @@ struct yy_buffer_state * possible backing-up. * * When we actually see the EOF, we change the status to "new" - * (via xbt_automaton_parser_restart()), so that the user can continue scanning by - * just pointing xbt_automaton_parser_in at a new input file. + * (via yyrestart()), so that the user can continue scanning by + * just pointing yyin at a new input file. */ #define YY_BUFFER_EOF_PENDING 2 @@ -281,7 +508,7 @@ struct yy_buffer_state /* Stack of input buffers. */ static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */ static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */ -static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */ +static YY_BUFFER_STATE * yy_buffer_stack = NULL; /**< Stack as an array. */ /* We provide macros for accessing buffer states in case in the * future we want to put the buffer states in a more general @@ -292,106 +519,101 @@ static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */ #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \ ? (yy_buffer_stack)[(yy_buffer_stack_top)] \ : NULL) - /* Same as previous macro, but useful when we know that the buffer stack is not * NULL or when we need an lvalue. For internal use only. */ #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] -/* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */ +/* yy_hold_char holds the character lost when yytext is formed. */ static char yy_hold_char; -static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */ -yy_size_t xbt_automaton_parser_leng; +static int yy_n_chars; /* number of characters read into yy_ch_buf */ +int yyleng; /* Points to current character in buffer. */ -static char *yy_c_buf_p = (char *) 0; +static char *yy_c_buf_p = NULL; 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_parser_wrap()'s to do buffer switches - * instead of setting up a fresh xbt_automaton_parser_in. A bit of a hack ... +/* Flag which is used to allow yywrap()'s to do buffer switches + * instead of setting up a fresh yyin. A bit of a hack ... */ static int yy_did_buffer_switch_on_eof; -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_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 ); +void yyrestart ( FILE *input_file ); +void yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer ); +YY_BUFFER_STATE yy_create_buffer ( FILE *file, int size ); +void yy_delete_buffer ( YY_BUFFER_STATE b ); +void yy_flush_buffer ( YY_BUFFER_STATE b ); +void yypush_buffer_state ( YY_BUFFER_STATE new_buffer ); +void yypop_buffer_state ( void ); -#define YY_FLUSH_BUFFER xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER ) +static void yyensure_buffer_stack ( void ); +static void yy_load_buffer_state ( void ); +static void yy_init_buffer ( YY_BUFFER_STATE b, FILE *file ); +#define YY_FLUSH_BUFFER yy_flush_buffer( YY_CURRENT_BUFFER ) -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,yy_size_t len ); +YY_BUFFER_STATE yy_scan_buffer ( char *base, yy_size_t size ); +YY_BUFFER_STATE yy_scan_string ( const char *yy_str ); +YY_BUFFER_STATE yy_scan_bytes ( const char *bytes, int len ); -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_parser__create_buffer +void *yyalloc ( yy_size_t ); +void *yyrealloc ( void *, yy_size_t ); +void yyfree ( void * ); +#define yy_new_buffer yy_create_buffer #define yy_set_interactive(is_interactive) \ { \ if ( ! YY_CURRENT_BUFFER ){ \ - xbt_automaton_parser_ensure_buffer_stack (); \ + yyensure_buffer_stack (); \ YY_CURRENT_BUFFER_LVALUE = \ - xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \ + yy_create_buffer( yyin, YY_BUF_SIZE ); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ } - #define yy_set_bol(at_bol) \ { \ if ( ! YY_CURRENT_BUFFER ){\ - xbt_automaton_parser_ensure_buffer_stack (); \ + yyensure_buffer_stack (); \ YY_CURRENT_BUFFER_LVALUE = \ - xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \ + yy_create_buffer( yyin, YY_BUF_SIZE ); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ } - #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) /* Begin user sect3 */ -#define xbt_automaton_parser_wrap() 1 +#define xbt_automaton_parser_wrap() (/*CONSTCOND*/1) #define YY_SKIP_YYWRAP +typedef flex_uint8_t YY_CHAR; -typedef unsigned char YY_CHAR; - -FILE *xbt_automaton_parser_in = (FILE *) 0, *xbt_automaton_parser_out = (FILE *) 0; +FILE *yyin = NULL, *yyout = NULL; typedef int yy_state_type; -extern int xbt_automaton_parser_lineno; - -int xbt_automaton_parser_lineno = 1; +extern int yylineno; +int yylineno = 1; -extern char *xbt_automaton_parser_text; -#define yytext_ptr xbt_automaton_parser_text +extern char *yytext; +#ifdef yytext_ptr +#undef yytext_ptr +#endif +#define yytext_ptr yytext -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 ); -static void yy_fatal_error (yyconst char msg[] ); +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 ); +static void yynoreturn yy_fatal_error ( const char* msg ); /* Done after the current pattern has been matched and before the - * corresponding action - sets up xbt_automaton_parser_text. + * corresponding action - sets up yytext. */ #define YY_DO_BEFORE_ACTION \ (yytext_ptr) = yy_bp; \ - xbt_automaton_parser_leng = (size_t) (yy_cp - yy_bp); \ + yyleng = (int) (yy_cp - yy_bp); \ (yy_hold_char) = *yy_cp; \ *yy_cp = '\0'; \ (yy_c_buf_p) = yy_cp; - #define YY_NUM_RULES 25 #define YY_END_OF_BUFFER 26 /* This struct is not used in this scanner, @@ -401,7 +623,7 @@ struct yy_trans_info flex_int32_t yy_verify; flex_int32_t yy_nxt; }; -static yyconst flex_int16_t yy_accept[54] = +static const flex_int16_t yy_accept[54] = { 0, 0, 0, 26, 24, 18, 23, 8, 24, 24, 9, 10, 24, 24, 20, 14, 12, 13, 22, 22, 22, @@ -411,7 +633,7 @@ static yyconst flex_int16_t yy_accept[54] = 22, 1, 0 } ; -static yyconst flex_int32_t yy_ec[256] = +static const 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 +665,7 @@ static yyconst flex_int32_t yy_ec[256] = 1, 1, 1, 1, 1 } ; -static yyconst flex_int32_t yy_meta[34] = +static const 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 +673,7 @@ static yyconst flex_int32_t yy_meta[34] = 1, 1, 1 } ; -static yyconst flex_int16_t yy_base[57] = +static const flex_int16_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, @@ -461,7 +683,7 @@ static yyconst flex_int16_t yy_base[57] = 16, 0, 90, 74, 31, 78 } ; -static yyconst flex_int16_t yy_def[57] = +static const flex_int16_t yy_def[57] = { 0, 53, 1, 53, 53, 53, 53, 53, 54, 53, 53, 53, 53, 53, 53, 53, 53, 53, 55, 55, 55, @@ -471,7 +693,7 @@ static yyconst flex_int16_t yy_def[57] = 55, 55, 0, 53, 53, 53 } ; -static yyconst flex_int16_t yy_nxt[124] = +static const flex_int16_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, @@ -489,7 +711,7 @@ static yyconst flex_int16_t yy_nxt[124] = 53, 53, 53 } ; -static yyconst flex_int16_t yy_chk[124] = +static const flex_int16_t yy_chk[124] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, @@ -510,8 +732,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_parser__flex_debug; -int xbt_automaton_parser__flex_debug = 0; +extern int yy_flex_debug; +int yy_flex_debug = 0; /* The intent behind this definition is that it'll catch * any uses of REJECT which flex missed. @@ -520,25 +742,26 @@ int xbt_automaton_parser__flex_debug = 0; #define yymore() yymore_used_but_not_detected #define YY_MORE_ADJ 0 #define YY_RESTORE_YY_MORE_OFFSET -char *xbt_automaton_parser_text; +char *yytext; #line 1 "parserPromela.lex" -/* Copyright (c) 2012, 2014. The SimGrid Team. +/* Copyright (c) 2012-2019. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ #line 10 "parserPromela.lex" -#include "simgrid_config.h" -#ifndef HAVE_UNISTD_H +#include "simgrid/config.h" +#if !HAVE_UNISTD_H #define YY_NO_UNISTD_H /* hello Windows */ #endif #include #include "parserPromela.tab.hacc" - + extern YYSTYPE yylval; - -#line 542 "automaton_lexer.yy.c" + +#line 764 "automaton_lexer.yy.c" +#line 765 "automaton_lexer.yy.c" #define INITIAL 0 @@ -554,36 +777,36 @@ char *xbt_automaton_parser_text; #define YY_EXTRA_TYPE void * #endif -static int yy_init_globals (void ); +static int yy_init_globals ( void ); /* Accessor methods to globals. These are made visible to non-reentrant scanners for convenience. */ -int xbt_automaton_parser_lex_destroy (void ); +int yylex_destroy ( void ); -int xbt_automaton_parser_get_debug (void ); +int yyget_debug ( void ); -void xbt_automaton_parser_set_debug (int debug_flag ); +void yyset_debug ( int debug_flag ); -YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void ); +YY_EXTRA_TYPE yyget_extra ( void ); -void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined ); +void yyset_extra ( YY_EXTRA_TYPE user_defined ); -FILE *xbt_automaton_parser_get_in (void ); +FILE *yyget_in ( void ); -void xbt_automaton_parser_set_in (FILE * in_str ); +void yyset_in ( FILE * _in_str ); -FILE *xbt_automaton_parser_get_out (void ); +FILE *yyget_out ( void ); -void xbt_automaton_parser_set_out (FILE * out_str ); +void yyset_out ( FILE * _out_str ); -yy_size_t xbt_automaton_parser_get_leng (void ); + int yyget_leng ( void ); -char *xbt_automaton_parser_get_text (void ); +char *yyget_text ( void ); -int xbt_automaton_parser_get_lineno (void ); +int yyget_lineno ( void ); -void xbt_automaton_parser_set_lineno (int line_number ); +void yyset_lineno ( int _line_number ); /* Macros after this point can all be overridden by user definitions in * section 1. @@ -591,28 +814,31 @@ void xbt_automaton_parser_set_lineno (int line_number ); #ifndef YY_SKIP_YYWRAP #ifdef __cplusplus -extern "C" int xbt_automaton_parser_wrap (void ); +extern "C" int yywrap ( void ); #else -extern int xbt_automaton_parser_wrap (void ); +extern int yywrap ( void ); #endif #endif - static void yyunput (int c,char *buf_ptr ); +#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 ); +static void yy_flex_strncpy ( char *, const char *, int ); #endif #ifdef YY_NEED_STRLEN -static int yy_flex_strlen (yyconst char * ); +static int yy_flex_strlen ( const char * ); #endif #ifndef YY_NO_INPUT - #ifdef __cplusplus -static int yyinput (void ); +static int yyinput ( void ); #else -static int input (void ); +static int input ( void ); #endif #endif @@ -632,7 +858,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_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0) +#define ECHO do { if (fwrite( yytext, (size_t) yyleng, 1, yyout )) {} } while (0) #endif /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, @@ -643,20 +869,20 @@ static int input (void ); if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ { \ int c = '*'; \ - size_t n; \ + int n; \ for ( n = 0; n < max_size && \ - (c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \ + (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ buf[n] = (char) c; \ if ( c == '\n' ) \ buf[n++] = (char) c; \ - if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \ + if ( c == EOF && ferror( yyin ) ) \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ result = n; \ } \ else \ { \ errno=0; \ - while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \ + while ( (result = (int) fread(buf, 1, (yy_size_t) max_size, yyin)) == 0 && ferror(yyin)) \ { \ if( errno != EINTR) \ { \ @@ -664,7 +890,7 @@ static int input (void ); break; \ } \ errno=0; \ - clearerr(xbt_automaton_parser_in); \ + clearerr(yyin); \ } \ }\ \ @@ -697,12 +923,12 @@ static int input (void ); #ifndef YY_DECL #define YY_DECL_IS_OURS 1 -extern int xbt_automaton_parser_lex (void); +extern int yylex (void); -#define YY_DECL int xbt_automaton_parser_lex (void) +#define YY_DECL int yylex (void) #endif /* !YY_DECL */ -/* Code executed at the beginning of each rule, after xbt_automaton_parser_text and xbt_automaton_parser_leng +/* Code executed at the beginning of each rule, after yytext and yyleng * have been set up. */ #ifndef YY_USER_ACTION @@ -711,7 +937,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 \ @@ -721,9 +947,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) ) { @@ -736,32 +962,32 @@ YY_DECL if ( ! (yy_start) ) (yy_start) = 1; /* first start state */ - if ( ! xbt_automaton_parser_in ) - xbt_automaton_parser_in = stdin; + if ( ! yyin ) + yyin = stdin; - if ( ! xbt_automaton_parser_out ) - xbt_automaton_parser_out = stdout; + if ( ! yyout ) + yyout = stdout; if ( ! YY_CURRENT_BUFFER ) { - xbt_automaton_parser_ensure_buffer_stack (); + yyensure_buffer_stack (); YY_CURRENT_BUFFER_LVALUE = - xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); + yy_create_buffer( yyin, YY_BUF_SIZE ); } - xbt_automaton_parser__load_buffer_state( ); + yy_load_buffer_state( ); } { #line 38 "parserPromela.lex" -#line 759 "automaton_lexer.yy.c" +#line 985 "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); - /* Support of xbt_automaton_parser_text. */ + /* Support of yytext. */ *yy_cp = (yy_hold_char); /* yy_bp points to the position in yy_ch_buf of the start of @@ -773,7 +999,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; @@ -783,9 +1009,9 @@ yy_match: { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 54 ) - yy_c = yy_meta[(unsigned int) yy_c]; + yy_c = yy_meta[yy_c]; } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; ++yy_cp; } while ( yy_base[yy_current_state] != 90 ); @@ -906,28 +1132,28 @@ YY_RULE_SETUP case 19: YY_RULE_SETUP #line 63 "parserPromela.lex" -{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real); +{ sscanf(yytext,"%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(yytext,"%d",&yylval.integer); return (LITT_ENT); } YY_BREAK case 21: /* rule 21 can match eol */ 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); +{ yylval.string=(char *)malloc(strlen(yytext)+1); + sscanf(yytext,"%s",yylval.string); return (LITT_CHAINE); } YY_BREAK case 22: YY_RULE_SETUP #line 73 "parserPromela.lex" -{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1); - sscanf(xbt_automaton_parser_text,"%s",yylval.string); +{ yylval.string=(char *)malloc(strlen(yytext)+1); + sscanf(yytext,"%s",yylval.string); return (ID); } YY_BREAK case 23: @@ -946,7 +1172,7 @@ YY_RULE_SETUP #line 81 "parserPromela.lex" ECHO; YY_BREAK -#line 950 "automaton_lexer.yy.c" +#line 1176 "automaton_lexer.yy.c" case YY_STATE_EOF(INITIAL): yyterminate(); @@ -963,15 +1189,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_parser_in at a new source and called - * xbt_automaton_parser_lex(). If so, then we have to assure + * just pointed yyin at a new source and called + * yylex(). 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_parser_in; + YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL; } @@ -1024,11 +1250,11 @@ case YY_STATE_EOF(INITIAL): { (yy_did_buffer_switch_on_eof) = 0; - if ( xbt_automaton_parser_wrap( ) ) + if ( yywrap( ) ) { /* Note: because we've taken care in * yy_get_next_buffer() to have set up - * xbt_automaton_parser_text, we can now set up + * yytext, 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 @@ -1078,7 +1304,7 @@ case YY_STATE_EOF(INITIAL): } /* end of action switch */ } /* end of scanning one token */ } /* end of user's declarations */ -} /* end of xbt_automaton_parser_lex */ +} /* end of yylex */ /* yy_get_next_buffer - try to read in a new buffer * @@ -1089,9 +1315,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); + int number_to_move, i; int ret_val; if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] ) @@ -1120,7 +1346,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 = (int) ((yy_c_buf_p) - (yytext_ptr) - 1); for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++); @@ -1133,7 +1359,7 @@ static int yy_get_next_buffer (void) else { - yy_size_t num_to_read = + int num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; while ( num_to_read <= 0 ) @@ -1147,7 +1373,7 @@ static int yy_get_next_buffer (void) if ( b->yy_is_our_buffer ) { - yy_size_t new_size = b->yy_buf_size * 2; + int new_size = b->yy_buf_size * 2; if ( new_size <= 0 ) b->yy_buf_size += b->yy_buf_size / 8; @@ -1156,11 +1382,12 @@ static int yy_get_next_buffer (void) b->yy_ch_buf = (char *) /* Include room in for 2 EOB chars. */ - xbt_automaton_parser_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 ); + yyrealloc( (void *) b->yy_ch_buf, + (yy_size_t) (b->yy_buf_size + 2) ); } else /* Can't grow it, we don't own it. */ - b->yy_ch_buf = 0; + b->yy_ch_buf = NULL; if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( @@ -1188,7 +1415,7 @@ static int yy_get_next_buffer (void) if ( number_to_move == YY_MORE_ADJ ) { ret_val = EOB_ACT_END_OF_FILE; - xbt_automaton_parser_restart(xbt_automaton_parser_in ); + yyrestart( yyin ); } else @@ -1202,12 +1429,15 @@ 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 (((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_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size ); + int new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1); + YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc( + (void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf, (yy_size_t) new_size ); if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); + /* "- 2" to take care of EOB's */ + YY_CURRENT_BUFFER_LVALUE->yy_buf_size = (int) (new_size - 2); } (yy_n_chars) += number_to_move; @@ -1223,14 +1453,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; @@ -1240,9 +1470,9 @@ static int yy_get_next_buffer (void) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 54 ) - yy_c = yy_meta[(unsigned int) yy_c]; + yy_c = yy_meta[yy_c]; } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; } return yy_current_state; @@ -1255,10 +1485,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; @@ -1268,30 +1498,32 @@ static int yy_get_next_buffer (void) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 54 ) - yy_c = yy_meta[(unsigned int) yy_c]; + yy_c = yy_meta[yy_c]; } - yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; + yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c]; yy_is_jam = (yy_current_state == 53); 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); - /* undo effects of setting up xbt_automaton_parser_text */ + /* undo effects of setting up yytext */ *yy_cp = (yy_hold_char); 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[ + int 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 ) @@ -1300,7 +1532,7 @@ static int yy_get_next_buffer (void) yy_cp += (int) (dest - source); yy_bp += (int) (dest - source); YY_CURRENT_BUFFER_LVALUE->yy_n_chars = - (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size; + (yy_n_chars) = (int) YY_CURRENT_BUFFER_LVALUE->yy_buf_size; if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); @@ -1313,6 +1545,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) @@ -1337,7 +1571,7 @@ static int yy_get_next_buffer (void) else { /* need more input */ - yy_size_t offset = (yy_c_buf_p) - (yytext_ptr); + int offset = (int) ((yy_c_buf_p) - (yytext_ptr)); ++(yy_c_buf_p); switch ( yy_get_next_buffer( ) ) @@ -1354,14 +1588,14 @@ static int yy_get_next_buffer (void) */ /* Reset buffer status. */ - xbt_automaton_parser_restart(xbt_automaton_parser_in ); + yyrestart( yyin ); /*FALLTHROUGH*/ case EOB_ACT_END_OF_FILE: { - if ( xbt_automaton_parser_wrap( ) ) - return EOF; + if ( yywrap( ) ) + return 0; if ( ! (yy_did_buffer_switch_on_eof) ) YY_NEW_FILE; @@ -1380,7 +1614,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_parser_text */ + *(yy_c_buf_p) = '\0'; /* preserve yytext */ (yy_hold_char) = *++(yy_c_buf_p); return c; @@ -1392,32 +1626,32 @@ static int yy_get_next_buffer (void) * * @note This function does not reset the start condition to @c INITIAL . */ - void xbt_automaton_parser_restart (FILE * input_file ) + void yyrestart (FILE * input_file ) { if ( ! YY_CURRENT_BUFFER ){ - xbt_automaton_parser_ensure_buffer_stack (); + yyensure_buffer_stack (); YY_CURRENT_BUFFER_LVALUE = - xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); + yy_create_buffer( yyin, YY_BUF_SIZE ); } - xbt_automaton_parser__init_buffer(YY_CURRENT_BUFFER,input_file ); - xbt_automaton_parser__load_buffer_state( ); + yy_init_buffer( YY_CURRENT_BUFFER, input_file ); + yy_load_buffer_state( ); } /** 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 ) + void yy_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(); - * xbt_automaton_parser_push_buffer_state(new_buffer); + * yypop_buffer_state(); + * yypush_buffer_state(new_buffer); */ - xbt_automaton_parser_ensure_buffer_stack (); + yyensure_buffer_stack (); if ( YY_CURRENT_BUFFER == new_buffer ) return; @@ -1430,21 +1664,21 @@ static int yy_get_next_buffer (void) } YY_CURRENT_BUFFER_LVALUE = new_buffer; - xbt_automaton_parser__load_buffer_state( ); + yy_load_buffer_state( ); /* We don't actually know whether we did this switch during - * 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 + * EOF (yywrap()) processing, but the only time this flag + * is looked at is after yywrap() is called, so it's safe * to go ahead and always set it. */ (yy_did_buffer_switch_on_eof) = 1; } -static void xbt_automaton_parser__load_buffer_state (void) +static void yy_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_parser_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file; + yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; (yy_hold_char) = *(yy_c_buf_p); } @@ -1454,35 +1688,35 @@ static void xbt_automaton_parser__load_buffer_state (void) * * @return the allocated buffer state. */ - YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE * file, int size ) + YY_BUFFER_STATE yy_create_buffer (FILE * file, int size ) { YY_BUFFER_STATE b; - b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) ); + b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) - YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" ); + YY_FATAL_ERROR( "out of dynamic memory in yy_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_parser_alloc(b->yy_buf_size + 2 ); + b->yy_ch_buf = (char *) yyalloc( (yy_size_t) (b->yy_buf_size + 2) ); if ( ! b->yy_ch_buf ) - YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" ); + YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" ); b->yy_is_our_buffer = 1; - xbt_automaton_parser__init_buffer(b,file ); + yy_init_buffer( b, file ); return b; } /** Destroy the buffer. - * @param b a buffer created with xbt_automaton_parser__create_buffer() + * @param b a buffer created with yy_create_buffer() * */ - void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b ) + void yy_delete_buffer (YY_BUFFER_STATE b ) { if ( ! b ) @@ -1492,27 +1726,27 @@ static void xbt_automaton_parser__load_buffer_state (void) YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; if ( b->yy_is_our_buffer ) - xbt_automaton_parser_free((void *) b->yy_ch_buf ); + yyfree( (void *) b->yy_ch_buf ); - xbt_automaton_parser_free((void *) b ); + yyfree( (void *) b ); } /* Initializes or reinitializes a buffer. * This function is sometimes called more than once on the same buffer, - * such as during a xbt_automaton_parser_restart() or at EOF. + * such as during a yyrestart() or at EOF. */ - static void xbt_automaton_parser__init_buffer (YY_BUFFER_STATE b, FILE * file ) + static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file ) { int oerrno = errno; - xbt_automaton_parser__flush_buffer(b ); + yy_flush_buffer( b ); b->yy_input_file = file; b->yy_fill_buffer = 1; - /* 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. + /* If b is the current buffer, then yy_init_buffer was _probably_ + * called from yyrestart() or through yy_get_next_buffer. * In that case, we don't want to reset the lineno or column. */ if (b != YY_CURRENT_BUFFER){ @@ -1529,7 +1763,7 @@ static void xbt_automaton_parser__load_buffer_state (void) * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. * */ - void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b ) + void yy_flush_buffer (YY_BUFFER_STATE b ) { if ( ! b ) return; @@ -1549,7 +1783,7 @@ static void xbt_automaton_parser__load_buffer_state (void) b->yy_buffer_status = YY_BUFFER_NEW; if ( b == YY_CURRENT_BUFFER ) - xbt_automaton_parser__load_buffer_state( ); + yy_load_buffer_state( ); } /** Pushes the new state onto the stack. The new state becomes @@ -1558,14 +1792,14 @@ static void xbt_automaton_parser__load_buffer_state (void) * @param new_buffer The new state. * */ -void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer ) +void yypush_buffer_state (YY_BUFFER_STATE new_buffer ) { if (new_buffer == NULL) return; - xbt_automaton_parser_ensure_buffer_stack(); + yyensure_buffer_stack(); - /* This block is copied from xbt_automaton_parser__switch_to_buffer. */ + /* This block is copied from yy_switch_to_buffer. */ if ( YY_CURRENT_BUFFER ) { /* Flush out information for old buffer. */ @@ -1579,8 +1813,8 @@ void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer ) (yy_buffer_stack_top)++; YY_CURRENT_BUFFER_LVALUE = new_buffer; - /* copied from xbt_automaton_parser__switch_to_buffer. */ - xbt_automaton_parser__load_buffer_state( ); + /* copied from yy_switch_to_buffer. */ + yy_load_buffer_state( ); (yy_did_buffer_switch_on_eof) = 1; } @@ -1588,18 +1822,18 @@ void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer ) * The next element becomes the new top. * */ -void xbt_automaton_parser_pop_buffer_state (void) +void yypop_buffer_state (void) { if (!YY_CURRENT_BUFFER) return; - xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER ); + yy_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_parser__load_buffer_state( ); + yy_load_buffer_state( ); (yy_did_buffer_switch_on_eof) = 1; } } @@ -1607,7 +1841,7 @@ void xbt_automaton_parser_pop_buffer_state (void) /* Allocates the stack if it does not exist. * Guarantees space for at least one push. */ -static void xbt_automaton_parser_ensure_buffer_stack (void) +static void yyensure_buffer_stack (void) { yy_size_t num_to_alloc; @@ -1617,15 +1851,15 @@ 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; - (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc + num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */ + (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc (num_to_alloc * sizeof(struct yy_buffer_state*) ); if ( ! (yy_buffer_stack) ) - YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" ); - + YY_FATAL_ERROR( "out of dynamic memory in yyensure_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; @@ -1634,15 +1868,15 @@ 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 + (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc ((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_parser_ensure_buffer_stack()" ); + YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" ); /* zero only the new slots.*/ memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*)); @@ -1654,9 +1888,9 @@ static void xbt_automaton_parser_ensure_buffer_stack (void) * @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 yy_scan_buffer (char * base, yy_size_t size ) { YY_BUFFER_STATE b; @@ -1664,69 +1898,69 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size base[size-2] != YY_END_OF_BUFFER_CHAR || base[size-1] != YY_END_OF_BUFFER_CHAR ) /* They forgot to leave room for the EOB's. */ - return 0; + return NULL; - b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) ); + b = (YY_BUFFER_STATE) yyalloc( sizeof( struct yy_buffer_state ) ); if ( ! b ) - YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_buffer()" ); + YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" ); - b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */ + b->yy_buf_size = (int) (size - 2); /* "- 2" to take care of EOB's */ b->yy_buf_pos = b->yy_ch_buf = base; b->yy_is_our_buffer = 0; - b->yy_input_file = 0; + b->yy_input_file = NULL; b->yy_n_chars = b->yy_buf_size; b->yy_is_interactive = 0; b->yy_at_bol = 1; b->yy_fill_buffer = 0; b->yy_buffer_status = YY_BUFFER_NEW; - xbt_automaton_parser__switch_to_buffer(b ); + yy_switch_to_buffer( b ); return b; } -/** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will +/** Setup the input buffer state to scan a string. The next call to yylex() 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_scan_bytes() instead. */ -YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr ) +YY_BUFFER_STATE yy_scan_string (const char * yystr ) { - return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) ); + return yy_scan_bytes( yystr, (int) strlen(yystr) ); } -/** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parser_lex() will +/** Setup the input buffer state to scan the given bytes. The next call to yylex() 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_parser__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len ) +YY_BUFFER_STATE yy_scan_bytes (const char * yybytes, int _yybytes_len ) { YY_BUFFER_STATE b; char *buf; yy_size_t n; - yy_size_t i; + int i; /* Get memory for full buffer, including space for trailing EOB's. */ - n = _yybytes_len + 2; - buf = (char *) xbt_automaton_parser_alloc(n ); + n = (yy_size_t) (_yybytes_len + 2); + buf = (char *) yyalloc( n ); if ( ! buf ) - YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_bytes()" ); + YY_FATAL_ERROR( "out of dynamic memory in yy_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_parser__scan_buffer(buf,n ); + b = yy_scan_buffer( buf, n ); if ( ! b ) - YY_FATAL_ERROR( "bad buffer in xbt_automaton_parser__scan_bytes()" ); + YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" ); /* It's okay to grow etc. this buffer, and we should throw it * away when we're done. @@ -1740,9 +1974,9 @@ YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_si #define YY_EXIT_FAILURE 2 #endif -static void yy_fatal_error (yyconst char* msg ) +static void yynoreturn yy_fatal_error (const char* msg ) { - (void) fprintf( stderr, "%s\n", msg ); + fprintf( stderr, "%s\n", msg ); exit( YY_EXIT_FAILURE ); } @@ -1752,14 +1986,14 @@ static void yy_fatal_error (yyconst char* msg ) #define yyless(n) \ do \ { \ - /* Undo effects of setting up xbt_automaton_parser_text. */ \ + /* Undo effects of setting up yytext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(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; \ + yytext[yyleng] = (yy_hold_char); \ + (yy_c_buf_p) = yytext + yyless_macro_arg; \ (yy_hold_char) = *(yy_c_buf_p); \ *(yy_c_buf_p) = '\0'; \ - xbt_automaton_parser_leng = yyless_macro_arg; \ + yyleng = yyless_macro_arg; \ } \ while ( 0 ) @@ -1768,126 +2002,126 @@ static void yy_fatal_error (yyconst char* msg ) /** Get the current line number. * */ -int xbt_automaton_parser_get_lineno (void) +int yyget_lineno (void) { - - return xbt_automaton_parser_lineno; + + return yylineno; } /** Get the input stream. * */ -FILE *xbt_automaton_parser_get_in (void) +FILE *yyget_in (void) { - return xbt_automaton_parser_in; + return yyin; } /** Get the output stream. * */ -FILE *xbt_automaton_parser_get_out (void) +FILE *yyget_out (void) { - return xbt_automaton_parser_out; + return yyout; } /** Get the length of the current token. * */ -yy_size_t xbt_automaton_parser_get_leng (void) +int yyget_leng (void) { - return xbt_automaton_parser_leng; + return yyleng; } /** Get the current token. * */ -char *xbt_automaton_parser_get_text (void) +char *yyget_text (void) { - return xbt_automaton_parser_text; + return yytext; } /** Set the current line number. - * @param line_number + * @param _line_number line number * */ -void xbt_automaton_parser_set_lineno (int line_number ) +void yyset_lineno (int _line_number ) { - xbt_automaton_parser_lineno = line_number; + yylineno = _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 + * @see yy_switch_to_buffer */ -void xbt_automaton_parser_set_in (FILE * in_str ) +void yyset_in (FILE * _in_str ) { - xbt_automaton_parser_in = in_str ; + yyin = _in_str ; } -void xbt_automaton_parser_set_out (FILE * out_str ) +void yyset_out (FILE * _out_str ) { - xbt_automaton_parser_out = out_str ; + yyout = _out_str ; } -int xbt_automaton_parser_get_debug (void) +int yyget_debug (void) { - return xbt_automaton_parser__flex_debug; + return yy_flex_debug; } -void xbt_automaton_parser_set_debug (int bdebug ) +void yyset_debug (int _bdebug ) { - xbt_automaton_parser__flex_debug = bdebug ; + yy_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_parser_lex_destroy(), so don't allocate here. + * This function is called from yylex_destroy(), so don't allocate here. */ - (yy_buffer_stack) = 0; + (yy_buffer_stack) = NULL; (yy_buffer_stack_top) = 0; (yy_buffer_stack_max) = 0; - (yy_c_buf_p) = (char *) 0; + (yy_c_buf_p) = NULL; (yy_init) = 0; (yy_start) = 0; /* Defined in main.c */ #ifdef YY_STDINIT - xbt_automaton_parser_in = stdin; - xbt_automaton_parser_out = stdout; + yyin = stdin; + yyout = stdout; #else - xbt_automaton_parser_in = (FILE *) 0; - xbt_automaton_parser_out = (FILE *) 0; + yyin = NULL; + yyout = NULL; #endif /* For future reference: Set errno on error, since we are called by - * xbt_automaton_parser_lex_init() + * yylex_init() */ return 0; } -/* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */ -int xbt_automaton_parser_lex_destroy (void) +/* yylex_destroy is for both reentrant and non-reentrant scanners. */ +int yylex_destroy (void) { /* Pop the buffer stack, destroying each element. */ while(YY_CURRENT_BUFFER){ - xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER ); + yy_delete_buffer( YY_CURRENT_BUFFER ); YY_CURRENT_BUFFER_LVALUE = NULL; - xbt_automaton_parser_pop_buffer_state(); + yypop_buffer_state(); } /* Destroy the stack itself. */ - xbt_automaton_parser_free((yy_buffer_stack) ); + yyfree((yy_buffer_stack) ); (yy_buffer_stack) = NULL; /* Reset the globals. This is important in a non-reentrant scanner so the next time - * xbt_automaton_parser_lex() is called, initialization will occur. */ + * yylex() is called, initialization will occur. */ yy_init_globals( ); return 0; @@ -1898,18 +2132,19 @@ int xbt_automaton_parser_lex_destroy (void) */ #ifndef yytext_ptr -static void yy_flex_strncpy (char* s1, yyconst char * s2, int n ) +static void yy_flex_strncpy (char* s1, const char * s2, int n ) { - register int i; + + int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i]; } #endif #ifdef YY_NEED_STRLEN -static int yy_flex_strlen (yyconst char * s ) +static int yy_flex_strlen (const char * s ) { - register int n; + int n; for ( n = 0; s[n]; ++n ) ; @@ -1917,13 +2152,14 @@ static int yy_flex_strlen (yyconst char * s ) } #endif -void *xbt_automaton_parser_alloc (yy_size_t size ) +void *yyalloc (yy_size_t size ) { - return (void *) malloc( size ); + return malloc(size); } -void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size ) +void *yyrealloc (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 @@ -1931,18 +2167,17 @@ void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size ) * any pointer type to void*, and deal with argument conversions * as though doing an assignment. */ - return (void *) realloc( (char *) ptr, size ); + return realloc(ptr, size); } -void xbt_automaton_parser_free (void * ptr ) +void yyfree (void * ptr ) { - free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */ + free( (char *) ptr ); /* see yyrealloc() for (char *) cast */ } #define YYTABLES_NAME "yytables" -#line 80 "parserPromela.lex" - +#line 81 "parserPromela.lex"