src/xbt/automaton/automaton_lexer.yy.c

   1 #line 2 "automaton_lexer.yy.c"
   2
   3 #line 4 "automaton_lexer.yy.c"
   4
   5 #define  YY_INT_ALIGNED short int
   6
   7 /* A lexical scanner generated by flex */
   8
   9 #define yy_create_buffer xbt_automaton_parser__create_buffer
  10 #define yy_delete_buffer xbt_automaton_parser__delete_buffer
  11 #define yy_flex_debug xbt_automaton_parser__flex_debug
  12 #define yy_init_buffer xbt_automaton_parser__init_buffer
  13 #define yy_flush_buffer xbt_automaton_parser__flush_buffer
  14 #define yy_load_buffer_state xbt_automaton_parser__load_buffer_state
  15 #define yy_switch_to_buffer xbt_automaton_parser__switch_to_buffer
  16 #define yyin xbt_automaton_parser_in
  17 #define yyleng xbt_automaton_parser_leng
  18 #define yylex xbt_automaton_parser_lex
  19 #define yylineno xbt_automaton_parser_lineno
  20 #define yyout xbt_automaton_parser_out
  21 #define yyrestart xbt_automaton_parser_restart
  22 #define yytext xbt_automaton_parser_text
  23 #define yywrap xbt_automaton_parser_wrap
  24 #define yyalloc xbt_automaton_parser_alloc
  25 #define yyrealloc xbt_automaton_parser_realloc
  26 #define yyfree xbt_automaton_parser_free
  27
  28 #define FLEX_SCANNER
  29 #define YY_FLEX_MAJOR_VERSION 2
  30 #define YY_FLEX_MINOR_VERSION 5
  31 #define YY_FLEX_SUBMINOR_VERSION 39
  32 #if YY_FLEX_SUBMINOR_VERSION > 0
  33 #define FLEX_BETA
  34 #endif
  35
  36 /* First, we deal with  platform-specific or compiler-specific issues. */
  37
  38 /* begin standard C headers. */
  39 #include <stdio.h>
  40 #include <string.h>
  41 #include <errno.h>
  42 #include <stdlib.h>
  43
  44 /* end standard C headers. */
  45
  46 /* flex integer type definitions */
  47
  48 #ifndef FLEXINT_H
  49 #define FLEXINT_H
  50
  51 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
  52
  53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
  54
  55 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
  56  * if you want the limit (max/min) macros for int types.
  57  */
  58 #ifndef __STDC_LIMIT_MACROS
  59 #define __STDC_LIMIT_MACROS 1
  60 #endif
  61
  62 #include <inttypes.h>
  63 typedef int8_t flex_int8_t;
  64 typedef uint8_t flex_uint8_t;
  65 typedef int16_t flex_int16_t;
  66 typedef uint16_t flex_uint16_t;
  67 typedef int32_t flex_int32_t;
  68 typedef uint32_t flex_uint32_t;
  69 #else
  70 typedef signed char flex_int8_t;
  71 typedef short int flex_int16_t;
  72 typedef int flex_int32_t;
  73 typedef unsigned char flex_uint8_t;
  74 typedef unsigned short int flex_uint16_t;
  75 typedef unsigned int flex_uint32_t;
  76
  77 /* Limits of integral types. */
  78 #ifndef INT8_MIN
  79 #define INT8_MIN               (-128)
  80 #endif
  81 #ifndef INT16_MIN
  82 #define INT16_MIN              (-32767-1)
  83 #endif
  84 #ifndef INT32_MIN
  85 #define INT32_MIN              (-2147483647-1)
  86 #endif
  87 #ifndef INT8_MAX
  88 #define INT8_MAX               (127)
  89 #endif
  90 #ifndef INT16_MAX
  91 #define INT16_MAX              (32767)
  92 #endif
  93 #ifndef INT32_MAX
  94 #define INT32_MAX              (2147483647)
  95 #endif
  96 #ifndef UINT8_MAX
  97 #define UINT8_MAX              (255U)
  98 #endif
  99 #ifndef UINT16_MAX
 100 #define UINT16_MAX             (65535U)
 101 #endif
 102 #ifndef UINT32_MAX
 103 #define UINT32_MAX             (4294967295U)
 104 #endif
 105
 106 #endif /* ! C99 */
 107
 108 #endif /* ! FLEXINT_H */
 109
 110 #ifdef __cplusplus
 111
 112 /* The "const" storage-class-modifier is valid. */
 113 #define YY_USE_CONST
 114
 115 #else   /* ! __cplusplus */
 116
 117 /* C99 requires __STDC__ to be defined as 1. */
 118 #if defined (__STDC__)
 119
 120 #define YY_USE_CONST
 121
 122 #endif  /* defined (__STDC__) */
 123 #endif  /* ! __cplusplus */
 124
 125 #ifdef YY_USE_CONST
 126 #define yyconst const
 127 #else
 128 #define yyconst
 129 #endif
 130
 131 /* Returned upon end-of-file. */
 132 #define YY_NULL 0
 133
 134 /* Promotes a possibly negative, possibly signed char to an unsigned
 135  * integer for use as an array index.  If the signed char is negative,
 136  * we want to instead treat it as an 8-bit unsigned char, hence the
 137  * double cast.
 138  */
 139 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
 140
 141 /* Enter a start condition.  This macro really ought to take a parameter,
 142  * but we do it the disgusting crufty way forced on us by the ()-less
 143  * definition of BEGIN.
 144  */
 145 #define BEGIN (yy_start) = 1 + 2 *
 146
 147 /* Translate the current start state into a value that can be later handed
 148  * to BEGIN to return to the state.  The YYSTATE alias is for lex
 149  * compatibility.
 150  */
 151 #define YY_START (((yy_start) - 1) / 2)
 152 #define YYSTATE YY_START
 153
 154 /* Action number for EOF rule of a given start state. */
 155 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
 156
 157 /* Special action meaning "start processing a new file". */
 158 #define YY_NEW_FILE xbt_automaton_parser_restart(xbt_automaton_parser_in  )
 159
 160 #define YY_END_OF_BUFFER_CHAR 0
 161
 162 /* Size of default input buffer. */
 163 #ifndef YY_BUF_SIZE
 164 #ifdef __ia64__
 165 /* On IA-64, the buffer size is 16k, not 8k.
 166  * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
 167  * Ditto for the __ia64__ case accordingly.
 168  */
 169 #define YY_BUF_SIZE 32768
 170 #else
 171 #define YY_BUF_SIZE 16384
 172 #endif /* __ia64__ */
 173 #endif
 174
 175 /* The state buf must be large enough to hold one state per character in the main buffer.
 176  */
 177 #define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
 178
 179 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
 180 #define YY_TYPEDEF_YY_BUFFER_STATE
 181 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 182 #endif
 183
 184 #ifndef YY_TYPEDEF_YY_SIZE_T
 185 #define YY_TYPEDEF_YY_SIZE_T
 186 typedef size_t yy_size_t;
 187 #endif
 188
 189 extern yy_size_t xbt_automaton_parser_leng;
 190
 191 extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out;
 192
 193 #define EOB_ACT_CONTINUE_SCAN 0
 194 #define EOB_ACT_END_OF_FILE 1
 195 #define EOB_ACT_LAST_MATCH 2
 196
 197     #define YY_LESS_LINENO(n)
 198     #define YY_LINENO_REWIND_TO(ptr)
 199
 200 /* Return all but the first "n" matched characters back to the input stream. */
 201 #define yyless(n) \
 202         do \
 203                 { \
 204                 /* Undo effects of setting up xbt_automaton_parser_text. */ \
 205         int yyless_macro_arg = (n); \
 206         YY_LESS_LINENO(yyless_macro_arg);\
 207                 *yy_cp = (yy_hold_char); \
 208                 YY_RESTORE_YY_MORE_OFFSET \
 209                 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
 210                 YY_DO_BEFORE_ACTION; /* set up xbt_automaton_parser_text again */ \
 211                 } \
 212         while ( 0 )
 213
 214 #define unput(c) yyunput( c, (yytext_ptr)  )
 215
 216 #ifndef YY_STRUCT_YY_BUFFER_STATE
 217 #define YY_STRUCT_YY_BUFFER_STATE
 218 struct yy_buffer_state
 219         {
 220         FILE *yy_input_file;
 221
 222         char *yy_ch_buf;                /* input buffer */
 223         char *yy_buf_pos;               /* current position in input buffer */
 224
 225         /* Size of input buffer in bytes, not including room for EOB
 226          * characters.
 227          */
 228         yy_size_t yy_buf_size;
 229
 230         /* Number of characters read into yy_ch_buf, not including EOB
 231          * characters.
 232          */
 233         yy_size_t yy_n_chars;
 234
 235         /* Whether we "own" the buffer - i.e., we know we created it,
 236          * and can realloc() it to grow it, and should free() it to
 237          * delete it.
 238          */
 239         int yy_is_our_buffer;
 240
 241         /* Whether this is an "interactive" input source; if so, and
 242          * if we're using stdio for input, then we want to use getc()
 243          * instead of fread(), to make sure we stop fetching input after
 244          * each newline.
 245          */
 246         int yy_is_interactive;
 247
 248         /* Whether we're considered to be at the beginning of a line.
 249          * If so, '^' rules will be active on the next match, otherwise
 250          * not.
 251          */
 252         int yy_at_bol;
 253
 254     int yy_bs_lineno; /**< The line count. */
 255     int yy_bs_column; /**< The column count. */
 256
 257         /* Whether to try to fill the input buffer when we reach the
 258          * end of it.
 259          */
 260         int yy_fill_buffer;
 261
 262         int yy_buffer_status;
 263
 264 #define YY_BUFFER_NEW 0
 265 #define YY_BUFFER_NORMAL 1
 266         /* When an EOF's been seen but there's still some text to process
 267          * then we mark the buffer as YY_EOF_PENDING, to indicate that we
 268          * shouldn't try reading from the input source any more.  We might
 269          * still have a bunch of tokens to match, though, because of
 270          * possible backing-up.
 271          *
 272          * When we actually see the EOF, we change the status to "new"
 273          * (via xbt_automaton_parser_restart()), so that the user can continue scanning by
 274          * just pointing xbt_automaton_parser_in at a new input file.
 275          */
 276 #define YY_BUFFER_EOF_PENDING 2
 277
 278         };
 279 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
 280
 281 /* Stack of input buffers. */
 282 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
 283 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
 284 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
 285
 286 /* We provide macros for accessing buffer states in case in the
 287  * future we want to put the buffer states in a more general
 288  * "scanner state".
 289  *
 290  * Returns the top of the stack, or NULL.
 291  */
 292 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
 293                           ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
 294                           : NULL)
 295
 296 /* Same as previous macro, but useful when we know that the buffer stack is not
 297  * NULL or when we need an lvalue. For internal use only.
 298  */
 299 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
 300
 301 /* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */
 302 static char yy_hold_char;
 303 static yy_size_t yy_n_chars;            /* number of characters read into yy_ch_buf */
 304 yy_size_t xbt_automaton_parser_leng;
 305
 306 /* Points to current character in buffer. */
 307 static char *yy_c_buf_p = (char *) 0;
 308 static int yy_init = 0;         /* whether we need to initialize */
 309 static int yy_start = 0;        /* start state number */
 310
 311 /* Flag which is used to allow xbt_automaton_parser_wrap()'s to do buffer switches
 312  * instead of setting up a fresh xbt_automaton_parser_in.  A bit of a hack ...
 313  */
 314 static int yy_did_buffer_switch_on_eof;
 315
 316 void xbt_automaton_parser_restart (FILE *input_file  );
 317 void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer  );
 318 YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE *file,int size  );
 319 void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b  );
 320 void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b  );
 321 void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer  );
 322 void xbt_automaton_parser_pop_buffer_state (void );
 323
 324 static void xbt_automaton_parser_ensure_buffer_stack (void );
 325 static void xbt_automaton_parser__load_buffer_state (void );
 326 static void xbt_automaton_parser__init_buffer (YY_BUFFER_STATE b,FILE *file  );
 327
 328 #define YY_FLUSH_BUFFER xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER )
 329
 330 YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char *base,yy_size_t size  );
 331 YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char *yy_str  );
 332 YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char *bytes,yy_size_t len  );
 333
 334 void *xbt_automaton_parser_alloc (yy_size_t  );
 335 void *xbt_automaton_parser_realloc (void *,yy_size_t  );
 336 void xbt_automaton_parser_free (void *  );
 337
 338 #define yy_new_buffer xbt_automaton_parser__create_buffer
 339
 340 #define yy_set_interactive(is_interactive) \
 341         { \
 342         if ( ! YY_CURRENT_BUFFER ){ \
 343         xbt_automaton_parser_ensure_buffer_stack (); \
 344                 YY_CURRENT_BUFFER_LVALUE =    \
 345             xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \
 346         } \
 347         YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
 348         }
 349
 350 #define yy_set_bol(at_bol) \
 351         { \
 352         if ( ! YY_CURRENT_BUFFER ){\
 353         xbt_automaton_parser_ensure_buffer_stack (); \
 354                 YY_CURRENT_BUFFER_LVALUE =    \
 355             xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE ); \
 356         } \
 357         YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
 358         }
 359
 360 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
 361
 362 /* Begin user sect3 */
 363
 364 #define xbt_automaton_parser_wrap() 1
 365 #define YY_SKIP_YYWRAP
 366
 367 typedef unsigned char YY_CHAR;
 368
 369 FILE *xbt_automaton_parser_in = (FILE *) 0, *xbt_automaton_parser_out = (FILE *) 0;
 370
 371 typedef int yy_state_type;
 372
 373 extern int xbt_automaton_parser_lineno;
 374
 375 int xbt_automaton_parser_lineno = 1;
 376
 377 extern char *xbt_automaton_parser_text;
 378 #define yytext_ptr xbt_automaton_parser_text
 379
 380 static yy_state_type yy_get_previous_state (void );
 381 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
 382 static int yy_get_next_buffer (void );
 383 static void yy_fatal_error (yyconst char msg[]  );
 384
 385 /* Done after the current pattern has been matched and before the
 386  * corresponding action - sets up xbt_automaton_parser_text.
 387  */
 388 #define YY_DO_BEFORE_ACTION \
 389         (yytext_ptr) = yy_bp; \
 390         xbt_automaton_parser_leng = (size_t) (yy_cp - yy_bp); \
 391         (yy_hold_char) = *yy_cp; \
 392         *yy_cp = '\0'; \
 393         (yy_c_buf_p) = yy_cp;
 394
 395 #define YY_NUM_RULES 25
 396 #define YY_END_OF_BUFFER 26
 397 /* This struct is not used in this scanner,
 398    but its presence is necessary. */
 399 struct yy_trans_info
 400         {
 401         flex_int32_t yy_verify;
 402         flex_int32_t yy_nxt;
 403         };
 404 static yyconst flex_int16_t yy_accept[54] =
 405     {   0,
 406         0,    0,   26,   24,   18,   23,    8,   24,   24,    9,
 407        10,   24,   24,   20,   14,   12,   13,   22,   22,   22,
 408        22,   22,   15,   24,   16,   18,    0,    0,   21,    0,
 409         6,    4,    0,    0,   20,   11,   22,    3,   22,    2,
 410        22,    7,    0,    0,    0,   19,   22,   22,   17,    5,
 411        22,    1,    0
 412     } ;
 413
 414 static yyconst flex_int32_t yy_ec[256] =
 415     {   0,
 416         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
 417         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 418         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 419         1,    4,    5,    6,    1,    1,    1,    7,    1,    8,
 420         9,   10,    1,    1,   11,   12,   13,   14,   15,   14,
 421        14,   14,   14,   14,   14,   14,   14,   16,   17,    1,
 422         1,   18,    1,    1,   19,   19,   19,   19,   19,   19,
 423        19,   19,   19,   19,   19,   19,   19,   19,   19,   19,
 424        19,   19,   19,   19,   19,   19,   19,   19,   19,   19,
 425         1,   20,    1,    1,   21,    1,   19,   19,   19,   19,
 426
 427        22,   23,   24,   19,   25,   19,   19,   19,   19,   26,
 428        27,   19,   19,   28,   19,   29,   19,   30,   19,   19,
 429        19,   19,   31,   32,   33,    1,    1,    1,    1,    1,
 430         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 431         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 432         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 433         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 434         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 435         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 436         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 437
 438         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 439         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 440         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 441         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 442         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 443         1,    1,    1,    1,    1
 444     } ;
 445
 446 static yyconst flex_int32_t yy_meta[34] =
 447     {   0,
 448         1,    1,    2,    2,    1,    2,    1,    1,    1,    1,
 449         1,    1,    3,    4,    4,    1,    1,    1,    4,    2,
 450         4,    4,    4,    4,    4,    4,    4,    4,    4,    4,
 451         1,    1,    1
 452     } ;
 453
 454 static yyconst flex_int16_t yy_base[57] =
 455     {   0,
 456         0,    0,   89,   90,   32,   90,   90,   34,   81,   90,
 457        90,   69,   76,   27,   31,   69,   90,    0,   59,   56,
 458        58,   55,   90,   42,   90,   45,   47,    0,    0,    0,
 459        90,   90,   52,   43,   49,   90,    0,    0,   44,    0,
 460        42,   90,   56,   65,   52,   56,   25,   26,   90,    0,
 461        16,    0,   90,   74,   31,   78
 462     } ;
 463
 464 static yyconst flex_int16_t yy_def[57] =
 465     {   0,
 466        53,    1,   53,   53,   53,   53,   53,   54,   53,   53,
 467        53,   53,   53,   53,   53,   53,   53,   55,   55,   55,
 468        55,   55,   53,   53,   53,   53,   54,   27,   27,   27,
 469        53,   53,   56,   53,   53,   53,   55,   55,   55,   55,
 470        55,   53,   56,   56,   53,   53,   55,   55,   53,   55,
 471        55,   55,    0,   53,   53,   53
 472     } ;
 473
 474 static yyconst flex_int16_t yy_nxt[124] =
 475     {   0,
 476         4,    5,    6,    5,    7,    8,    9,   10,   11,    4,
 477        12,    4,   13,   14,   15,   16,   17,    4,   18,    4,
 478         4,   18,   19,   20,   21,   22,   18,   18,   18,   18,
 479        23,   24,   25,   26,   37,   26,   27,   28,   34,   29,
 480        35,   35,   34,   52,   35,   35,   26,   51,   26,   27,
 481        28,   50,   29,   27,   44,   44,   46,   46,   44,   44,
 482        34,   45,   35,   35,   49,   45,   27,   44,   44,   46,
 483        46,   48,   47,   42,   45,   30,   41,   30,   43,   43,
 484        40,   43,   39,   38,   36,   33,   32,   31,   53,    3,
 485        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 486
 487        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 488        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 489        53,   53,   53
 490     } ;
 491
 492 static yyconst flex_int16_t yy_chk[124] =
 493     {   0,
 494         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 495         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 496         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 497         1,    1,    1,    5,   55,    5,    8,    8,   14,    8,
 498        14,   14,   15,   51,   15,   15,   26,   48,   26,   27,
 499        27,   47,   27,    8,   33,   33,   34,   34,   43,   43,
 500        35,   33,   35,   35,   45,   43,   27,   44,   44,   46,
 501        46,   41,   39,   24,   44,   54,   22,   54,   56,   56,
 502        21,   56,   20,   19,   16,   13,   12,    9,    3,   53,
 503        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 504
 505        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 506        53,   53,   53,   53,   53,   53,   53,   53,   53,   53,
 507        53,   53,   53
 508     } ;
 509
 510 static yy_state_type yy_last_accepting_state;
 511 static char *yy_last_accepting_cpos;
 512
 513 extern int xbt_automaton_parser__flex_debug;
 514 int xbt_automaton_parser__flex_debug = 0;
 515
 516 /* The intent behind this definition is that it'll catch
 517  * any uses of REJECT which flex missed.
 518  */
 519 #define REJECT reject_used_but_not_detected
 520 #define yymore() yymore_used_but_not_detected
 521 #define YY_MORE_ADJ 0
 522 #define YY_RESTORE_YY_MORE_OFFSET
 523 char *xbt_automaton_parser_text;
 524 #line 1 "parserPromela.lex"
 525 /* Copyright (c) 2012, 2014. The SimGrid Team.
 526  * All rights reserved.                                                     */
 527 /* This program is free software; you can redistribute it and/or modify it
 528  * under the terms of the license (GNU LGPL) which comes with this package. */
 529 #line 10 "parserPromela.lex"
 530
 531 #include "simgrid_config.h"
 532 #ifndef HAVE_UNISTD_H
 533 #define YY_NO_UNISTD_H /* hello Windows */
 534
 535 #ifdef _MSC_VER
 536 # include <io.h>
 537 # include <process.h>
 538 # define _CRT_SECURE_NO_WARNINGS
 539 # define _CRT_NONSTDC_NO_WARNINGS
 540 #endif
 541 #endif
 542
 543 #include <stdio.h>
 544 #include "parserPromela.tab.hacc"
 545
 546   extern YYSTYPE yylval;
 547
 548 #line 549 "automaton_lexer.yy.c"
 549
 550 #define INITIAL 0
 551
 552 #ifndef YY_NO_UNISTD_H
 553 /* Special case for "unistd.h", since it is non-ANSI. We include it way
 554  * down here because we want the user's section 1 to have been scanned first.
 555  * The user has a chance to override it with an option.
 556  */
 557 #include <unistd.h>
 558 #endif
 559
 560 #ifndef YY_EXTRA_TYPE
 561 #define YY_EXTRA_TYPE void *
 562 #endif
 563
 564 static int yy_init_globals (void );
 565
 566 /* Accessor methods to globals.
 567    These are made visible to non-reentrant scanners for convenience. */
 568
 569 int xbt_automaton_parser_lex_destroy (void );
 570
 571 int xbt_automaton_parser_get_debug (void );
 572
 573 void xbt_automaton_parser_set_debug (int debug_flag  );
 574
 575 YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void );
 576
 577 void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined  );
 578
 579 FILE *xbt_automaton_parser_get_in (void );
 580
 581 void xbt_automaton_parser_set_in  (FILE * in_str  );
 582
 583 FILE *xbt_automaton_parser_get_out (void );
 584
 585 void xbt_automaton_parser_set_out  (FILE * out_str  );
 586
 587 yy_size_t xbt_automaton_parser_get_leng (void );
 588
 589 char *xbt_automaton_parser_get_text (void );
 590
 591 int xbt_automaton_parser_get_lineno (void );
 592
 593 void xbt_automaton_parser_set_lineno (int line_number  );
 594
 595 /* Macros after this point can all be overridden by user definitions in
 596  * section 1.
 597  */
 598
 599 #ifndef YY_SKIP_YYWRAP
 600 #ifdef __cplusplus
 601 extern "C" int xbt_automaton_parser_wrap (void );
 602 #else
 603 extern int xbt_automaton_parser_wrap (void );
 604 #endif
 605 #endif
 606
 607     static void yyunput (int c,char *buf_ptr  );
 608
 609 #ifndef yytext_ptr
 610 static void yy_flex_strncpy (char *,yyconst char *,int );
 611 #endif
 612
 613 #ifdef YY_NEED_STRLEN
 614 static int yy_flex_strlen (yyconst char * );
 615 #endif
 616
 617 #ifndef YY_NO_INPUT
 618
 619 #ifdef __cplusplus
 620 static int yyinput (void );
 621 #else
 622 static int input (void );
 623 #endif
 624
 625 #endif
 626
 627 /* Amount of stuff to slurp up with each read. */
 628 #ifndef YY_READ_BUF_SIZE
 629 #ifdef __ia64__
 630 /* On IA-64, the buffer size is 16k, not 8k */
 631 #define YY_READ_BUF_SIZE 16384
 632 #else
 633 #define YY_READ_BUF_SIZE 8192
 634 #endif /* __ia64__ */
 635 #endif
 636
 637 /* Copy whatever the last rule matched to the standard output. */
 638 #ifndef ECHO
 639 /* This used to be an fputs(), but since the string might contain NUL's,
 640  * we now use fwrite().
 641  */
 642 #define ECHO do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)
 643 #endif
 644
 645 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 646  * is returned in "result".
 647  */
 648 #ifndef YY_INPUT
 649 #define YY_INPUT(buf,result,max_size) \
 650         if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
 651                 { \
 652                 int c = '*'; \
 653                 size_t n; \
 654                 for ( n = 0; n < max_size && \
 655                              (c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \
 656                         buf[n] = (char) c; \
 657                 if ( c == '\n' ) \
 658                         buf[n++] = (char) c; \
 659                 if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \
 660                         YY_FATAL_ERROR( "input in flex scanner failed" ); \
 661                 result = n; \
 662                 } \
 663         else \
 664                 { \
 665                 errno=0; \
 666                 while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \
 667                         { \
 668                         if( errno != EINTR) \
 669                                 { \
 670                                 YY_FATAL_ERROR( "input in flex scanner failed" ); \
 671                                 break; \
 672                                 } \
 673                         errno=0; \
 674                         clearerr(xbt_automaton_parser_in); \
 675                         } \
 676                 }\
 677 \
 678
 679 #endif
 680
 681 /* No semi-colon after return; correct usage is to write "yyterminate();" -
 682  * we don't want an extra ';' after the "return" because that will cause
 683  * some compilers to complain about unreachable statements.
 684  */
 685 #ifndef yyterminate
 686 #define yyterminate() return YY_NULL
 687 #endif
 688
 689 /* Number of entries by which start-condition stack grows. */
 690 #ifndef YY_START_STACK_INCR
 691 #define YY_START_STACK_INCR 25
 692 #endif
 693
 694 /* Report a fatal error. */
 695 #ifndef YY_FATAL_ERROR
 696 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
 697 #endif
 698
 699 /* end tables serialization structures and prototypes */
 700
 701 /* Default declaration of generated scanner - a define so the user can
 702  * easily add parameters.
 703  */
 704 #ifndef YY_DECL
 705 #define YY_DECL_IS_OURS 1
 706
 707 extern int xbt_automaton_parser_lex (void);
 708
 709 #define YY_DECL int xbt_automaton_parser_lex (void)
 710 #endif /* !YY_DECL */
 711
 712 /* Code executed at the beginning of each rule, after xbt_automaton_parser_text and xbt_automaton_parser_leng
 713  * have been set up.
 714  */
 715 #ifndef YY_USER_ACTION
 716 #define YY_USER_ACTION
 717 #endif
 718
 719 /* Code executed at the end of each rule. */
 720 #ifndef YY_BREAK
 721 #define YY_BREAK break;
 722 #endif
 723
 724 #define YY_RULE_SETUP \
 725         YY_USER_ACTION
 726
 727 /** The main scanner function which does all the work.
 728  */
 729 YY_DECL
 730 {
 731         register yy_state_type yy_current_state;
 732         register char *yy_cp, *yy_bp;
 733         register int yy_act;
 734
 735         if ( !(yy_init) )
 736                 {
 737                 (yy_init) = 1;
 738
 739 #ifdef YY_USER_INIT
 740                 YY_USER_INIT;
 741 #endif
 742
 743                 if ( ! (yy_start) )
 744                         (yy_start) = 1; /* first start state */
 745
 746                 if ( ! xbt_automaton_parser_in )
 747                         xbt_automaton_parser_in = stdin;
 748
 749                 if ( ! xbt_automaton_parser_out )
 750                         xbt_automaton_parser_out = stdout;
 751
 752                 if ( ! YY_CURRENT_BUFFER ) {
 753                         xbt_automaton_parser_ensure_buffer_stack ();
 754                         YY_CURRENT_BUFFER_LVALUE =
 755                                 xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
 756                 }
 757
 758                 xbt_automaton_parser__load_buffer_state( );
 759                 }
 760
 761         {
 762 #line 45 "parserPromela.lex"
 763
 764
 765 #line 766 "automaton_lexer.yy.c"
 766
 767         while ( 1 )             /* loops until end-of-file is reached */
 768                 {
 769                 yy_cp = (yy_c_buf_p);
 770
 771                 /* Support of xbt_automaton_parser_text. */
 772                 *yy_cp = (yy_hold_char);
 773
 774                 /* yy_bp points to the position in yy_ch_buf of the start of
 775                  * the current run.
 776                  */
 777                 yy_bp = yy_cp;
 778
 779                 yy_current_state = (yy_start);
 780 yy_match:
 781                 do
 782                         {
 783                         register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
 784                         if ( yy_accept[yy_current_state] )
 785                                 {
 786                                 (yy_last_accepting_state) = yy_current_state;
 787                                 (yy_last_accepting_cpos) = yy_cp;
 788                                 }
 789                         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
 790                                 {
 791                                 yy_current_state = (int) yy_def[yy_current_state];
 792                                 if ( yy_current_state >= 54 )
 793                                         yy_c = yy_meta[(unsigned int) yy_c];
 794                                 }
 795                         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
 796                         ++yy_cp;
 797                         }
 798                 while ( yy_base[yy_current_state] != 90 );
 799
 800 yy_find_action:
 801                 yy_act = yy_accept[yy_current_state];
 802                 if ( yy_act == 0 )
 803                         { /* have to back up */
 804                         yy_cp = (yy_last_accepting_cpos);
 805                         yy_current_state = (yy_last_accepting_state);
 806                         yy_act = yy_accept[yy_current_state];
 807                         }
 808
 809                 YY_DO_BEFORE_ACTION;
 810
 811 do_action:      /* This label is used only to access EOF actions. */
 812
 813                 switch ( yy_act )
 814         { /* beginning of action switch */
 815                         case 0: /* must back up */
 816                         /* undo the effects of YY_DO_BEFORE_ACTION */
 817                         *yy_cp = (yy_hold_char);
 818                         yy_cp = (yy_last_accepting_cpos);
 819                         yy_current_state = (yy_last_accepting_state);
 820                         goto yy_find_action;
 821
 822 case 1:
 823 YY_RULE_SETUP
 824 #line 47 "parserPromela.lex"
 825 { return (NEVER); }
 826         YY_BREAK
 827 case 2:
 828 YY_RULE_SETUP
 829 #line 48 "parserPromela.lex"
 830 { return (IF); }
 831         YY_BREAK
 832 case 3:
 833 YY_RULE_SETUP
 834 #line 49 "parserPromela.lex"
 835 { return (FI); }
 836         YY_BREAK
 837 case 4:
 838 YY_RULE_SETUP
 839 #line 50 "parserPromela.lex"
 840 { return (IMPLIES); }
 841         YY_BREAK
 842 case 5:
 843 YY_RULE_SETUP
 844 #line 51 "parserPromela.lex"
 845 { return (GOTO); }
 846         YY_BREAK
 847 case 6:
 848 YY_RULE_SETUP
 849 #line 52 "parserPromela.lex"
 850 { return (AND); }
 851         YY_BREAK
 852 case 7:
 853 YY_RULE_SETUP
 854 #line 53 "parserPromela.lex"
 855 { return (OR); }
 856         YY_BREAK
 857 case 8:
 858 YY_RULE_SETUP
 859 #line 54 "parserPromela.lex"
 860 { return (NOT); }
 861         YY_BREAK
 862 case 9:
 863 YY_RULE_SETUP
 864 #line 55 "parserPromela.lex"
 865 { return (LEFT_PAR); }
 866         YY_BREAK
 867 case 10:
 868 YY_RULE_SETUP
 869 #line 56 "parserPromela.lex"
 870 { return (RIGHT_PAR); }
 871         YY_BREAK
 872 case 11:
 873 YY_RULE_SETUP
 874 #line 57 "parserPromela.lex"
 875 { return (CASE); }
 876         YY_BREAK
 877 case 12:
 878 YY_RULE_SETUP
 879 #line 58 "parserPromela.lex"
 880 { return (COLON); }
 881         YY_BREAK
 882 case 13:
 883 YY_RULE_SETUP
 884 #line 59 "parserPromela.lex"
 885 { return (SEMI_COLON); }
 886         YY_BREAK
 887 case 14:
 888 YY_RULE_SETUP
 889 #line 60 "parserPromela.lex"
 890 { return (CASE_TRUE); }
 891         YY_BREAK
 892 case 15:
 893 YY_RULE_SETUP
 894 #line 61 "parserPromela.lex"
 895 { return (LEFT_BRACE); }
 896         YY_BREAK
 897 case 16:
 898 YY_RULE_SETUP
 899 #line 62 "parserPromela.lex"
 900 { return (RIGHT_BRACE); }
 901         YY_BREAK
 902 case 17:
 903 /* rule 17 can match eol */
 904 YY_RULE_SETUP
 905 #line 65 "parserPromela.lex"
 906 { }
 907         YY_BREAK
 908 case 18:
 909 YY_RULE_SETUP
 910 #line 67 "parserPromela.lex"
 911 { }
 912         YY_BREAK
 913 case 19:
 914 YY_RULE_SETUP
 915 #line 70 "parserPromela.lex"
 916 { sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
 917                             return (LITT_REEL); }
 918         YY_BREAK
 919 case 20:
 920 YY_RULE_SETUP
 921 #line 73 "parserPromela.lex"
 922 { sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
 923                             return (LITT_ENT); }
 924         YY_BREAK
 925 case 21:
 926 /* rule 21 can match eol */
 927 YY_RULE_SETUP
 928 #line 76 "parserPromela.lex"
 929 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
 930                             sscanf(xbt_automaton_parser_text,"%s",yylval.string);
 931                             return (LITT_CHAINE); }
 932         YY_BREAK
 933 case 22:
 934 YY_RULE_SETUP
 935 #line 80 "parserPromela.lex"
 936 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
 937                             sscanf(xbt_automaton_parser_text,"%s",yylval.string);
 938                                               return (ID); }
 939         YY_BREAK
 940 case 23:
 941 /* rule 23 can match eol */
 942 YY_RULE_SETUP
 943 #line 84 "parserPromela.lex"
 944 { }
 945         YY_BREAK
 946 case 24:
 947 YY_RULE_SETUP
 948 #line 86 "parserPromela.lex"
 949 { }
 950         YY_BREAK
 951 case 25:
 952 YY_RULE_SETUP
 953 #line 88 "parserPromela.lex"
 954 ECHO;
 955         YY_BREAK
 956 #line 957 "automaton_lexer.yy.c"
 957 case YY_STATE_EOF(INITIAL):
 958         yyterminate();
 959
 960         case YY_END_OF_BUFFER:
 961                 {
 962                 /* Amount of text matched not including the EOB char. */
 963                 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
 964
 965                 /* Undo the effects of YY_DO_BEFORE_ACTION. */
 966                 *yy_cp = (yy_hold_char);
 967                 YY_RESTORE_YY_MORE_OFFSET
 968
 969                 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
 970                         {
 971                         /* We're scanning a new file or input source.  It's
 972                          * possible that this happened because the user
 973                          * just pointed xbt_automaton_parser_in at a new source and called
 974                          * xbt_automaton_parser_lex().  If so, then we have to assure
 975                          * consistency between YY_CURRENT_BUFFER and our
 976                          * globals.  Here is the right place to do so, because
 977                          * this is the first action (other than possibly a
 978                          * back-up) that will match for the new input source.
 979                          */
 980                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
 981                         YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_automaton_parser_in;
 982                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
 983                         }
 984
 985                 /* Note that here we test for yy_c_buf_p "<=" to the position
 986                  * of the first EOB in the buffer, since yy_c_buf_p will
 987                  * already have been incremented past the NUL character
 988                  * (since all states make transitions on EOB to the
 989                  * end-of-buffer state).  Contrast this with the test
 990                  * in input().
 991                  */
 992                 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
 993                         { /* This was really a NUL. */
 994                         yy_state_type yy_next_state;
 995
 996                         (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
 997
 998                         yy_current_state = yy_get_previous_state(  );
 999
1000                         /* Okay, we're now positioned to make the NUL
1001                          * transition.  We couldn't have
1002                          * yy_get_previous_state() go ahead and do it
1003                          * for us because it doesn't know how to deal
1004                          * with the possibility of jamming (and we don't
1005                          * want to build jamming into it because then it
1006                          * will run more slowly).
1007                          */
1008
1009                         yy_next_state = yy_try_NUL_trans( yy_current_state );
1010
1011                         yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1012
1013                         if ( yy_next_state )
1014                                 {
1015                                 /* Consume the NUL. */
1016                                 yy_cp = ++(yy_c_buf_p);
1017                                 yy_current_state = yy_next_state;
1018                                 goto yy_match;
1019                                 }
1020
1021                         else
1022                                 {
1023                                 yy_cp = (yy_c_buf_p);
1024                                 goto yy_find_action;
1025                                 }
1026                         }
1027
1028                 else switch ( yy_get_next_buffer(  ) )
1029                         {
1030                         case EOB_ACT_END_OF_FILE:
1031                                 {
1032                                 (yy_did_buffer_switch_on_eof) = 0;
1033
1034                                 if ( xbt_automaton_parser_wrap( ) )
1035                                         {
1036                                         /* Note: because we've taken care in
1037                                          * yy_get_next_buffer() to have set up
1038                                          * xbt_automaton_parser_text, we can now set up
1039                                          * yy_c_buf_p so that if some total
1040                                          * hoser (like flex itself) wants to
1041                                          * call the scanner after we return the
1042                                          * YY_NULL, it'll still work - another
1043                                          * YY_NULL will get returned.
1044                                          */
1045                                         (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1046
1047                                         yy_act = YY_STATE_EOF(YY_START);
1048                                         goto do_action;
1049                                         }
1050
1051                                 else
1052                                         {
1053                                         if ( ! (yy_did_buffer_switch_on_eof) )
1054                                                 YY_NEW_FILE;
1055                                         }
1056                                 break;
1057                                 }
1058
1059                         case EOB_ACT_CONTINUE_SCAN:
1060                                 (yy_c_buf_p) =
1061                                         (yytext_ptr) + yy_amount_of_matched_text;
1062
1063                                 yy_current_state = yy_get_previous_state(  );
1064
1065                                 yy_cp = (yy_c_buf_p);
1066                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1067                                 goto yy_match;
1068
1069                         case EOB_ACT_LAST_MATCH:
1070                                 (yy_c_buf_p) =
1071                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1072
1073                                 yy_current_state = yy_get_previous_state(  );
1074
1075                                 yy_cp = (yy_c_buf_p);
1076                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1077                                 goto yy_find_action;
1078                         }
1079                 break;
1080                 }
1081
1082         default:
1083                 YY_FATAL_ERROR(
1084                         "fatal flex scanner internal error--no action found" );
1085         } /* end of action switch */
1086                 } /* end of scanning one token */
1087         } /* end of user's declarations */
1088 } /* end of xbt_automaton_parser_lex */
1089
1090 /* yy_get_next_buffer - try to read in a new buffer
1091  *
1092  * Returns a code representing an action:
1093  *      EOB_ACT_LAST_MATCH -
1094  *      EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1095  *      EOB_ACT_END_OF_FILE - end of file
1096  */
1097 static int yy_get_next_buffer (void)
1098 {
1099         register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1100         register char *source = (yytext_ptr);
1101         register int number_to_move, i;
1102         int ret_val;
1103
1104         if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1105                 YY_FATAL_ERROR(
1106                 "fatal flex scanner internal error--end of buffer missed" );
1107
1108         if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1109                 { /* Don't try to fill the buffer, so this is an EOF. */
1110                 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1111                         {
1112                         /* We matched a single character, the EOB, so
1113                          * treat this as a final EOF.
1114                          */
1115                         return EOB_ACT_END_OF_FILE;
1116                         }
1117
1118                 else
1119                         {
1120                         /* We matched some text prior to the EOB, first
1121                          * process it.
1122                          */
1123                         return EOB_ACT_LAST_MATCH;
1124                         }
1125                 }
1126
1127         /* Try to read more data. */
1128
1129         /* First move last chars to start of buffer. */
1130         number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1131
1132         for ( i = 0; i < number_to_move; ++i )
1133                 *(dest++) = *(source++);
1134
1135         if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1136                 /* don't do the read, it's not guaranteed to return an EOF,
1137                  * just force an EOF
1138                  */
1139                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1140
1141         else
1142                 {
1143                         yy_size_t num_to_read =
1144                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1145
1146                 while ( num_to_read <= 0 )
1147                         { /* Not enough room in the buffer - grow it. */
1148
1149                         /* just a shorter name for the current buffer */
1150                         YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
1151
1152                         int yy_c_buf_p_offset =
1153                                 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1154
1155                         if ( b->yy_is_our_buffer )
1156                                 {
1157                                 yy_size_t new_size = b->yy_buf_size * 2;
1158
1159                                 if ( new_size <= 0 )
1160                                         b->yy_buf_size += b->yy_buf_size / 8;
1161                                 else
1162                                         b->yy_buf_size *= 2;
1163
1164                                 b->yy_ch_buf = (char *)
1165                                         /* Include room in for 2 EOB chars. */
1166                                         xbt_automaton_parser_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
1167                                 }
1168                         else
1169                                 /* Can't grow it, we don't own it. */
1170                                 b->yy_ch_buf = 0;
1171
1172                         if ( ! b->yy_ch_buf )
1173                                 YY_FATAL_ERROR(
1174                                 "fatal error - scanner input buffer overflow" );
1175
1176                         (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1177
1178                         num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1179                                                 number_to_move - 1;
1180
1181                         }
1182
1183                 if ( num_to_read > YY_READ_BUF_SIZE )
1184                         num_to_read = YY_READ_BUF_SIZE;
1185
1186                 /* Read in more data. */
1187                 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1188                         (yy_n_chars), num_to_read );
1189
1190                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1191                 }
1192
1193         if ( (yy_n_chars) == 0 )
1194                 {
1195                 if ( number_to_move == YY_MORE_ADJ )
1196                         {
1197                         ret_val = EOB_ACT_END_OF_FILE;
1198                         xbt_automaton_parser_restart(xbt_automaton_parser_in  );
1199                         }
1200
1201                 else
1202                         {
1203                         ret_val = EOB_ACT_LAST_MATCH;
1204                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1205                                 YY_BUFFER_EOF_PENDING;
1206                         }
1207                 }
1208
1209         else
1210                 ret_val = EOB_ACT_CONTINUE_SCAN;
1211
1212         if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1213                 /* Extend the array by 50%, plus the number we really need. */
1214                 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1215                 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
1216                 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1217                         YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1218         }
1219
1220         (yy_n_chars) += number_to_move;
1221         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1222         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1223
1224         (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1225
1226         return ret_val;
1227 }
1228
1229 /* yy_get_previous_state - get the state just before the EOB char was reached */
1230
1231     static yy_state_type yy_get_previous_state (void)
1232 {
1233         register yy_state_type yy_current_state;
1234         register char *yy_cp;
1235
1236         yy_current_state = (yy_start);
1237
1238         for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1239                 {
1240                 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1241                 if ( yy_accept[yy_current_state] )
1242                         {
1243                         (yy_last_accepting_state) = yy_current_state;
1244                         (yy_last_accepting_cpos) = yy_cp;
1245                         }
1246                 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1247                         {
1248                         yy_current_state = (int) yy_def[yy_current_state];
1249                         if ( yy_current_state >= 54 )
1250                                 yy_c = yy_meta[(unsigned int) yy_c];
1251                         }
1252                 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1253                 }
1254
1255         return yy_current_state;
1256 }
1257
1258 /* yy_try_NUL_trans - try to make a transition on the NUL character
1259  *
1260  * synopsis
1261  *      next_state = yy_try_NUL_trans( current_state );
1262  */
1263     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
1264 {
1265         register int yy_is_jam;
1266         register char *yy_cp = (yy_c_buf_p);
1267
1268         register YY_CHAR yy_c = 1;
1269         if ( yy_accept[yy_current_state] )
1270                 {
1271                 (yy_last_accepting_state) = yy_current_state;
1272                 (yy_last_accepting_cpos) = yy_cp;
1273                 }
1274         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1275                 {
1276                 yy_current_state = (int) yy_def[yy_current_state];
1277                 if ( yy_current_state >= 54 )
1278                         yy_c = yy_meta[(unsigned int) yy_c];
1279                 }
1280         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1281         yy_is_jam = (yy_current_state == 53);
1282
1283                 return yy_is_jam ? 0 : yy_current_state;
1284 }
1285
1286     static void yyunput (int c, register char * yy_bp )
1287 {
1288         register char *yy_cp;
1289
1290     yy_cp = (yy_c_buf_p);
1291
1292         /* undo effects of setting up xbt_automaton_parser_text */
1293         *yy_cp = (yy_hold_char);
1294
1295         if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1296                 { /* need to shift things up to make room */
1297                 /* +2 for EOB chars. */
1298                 register yy_size_t number_to_move = (yy_n_chars) + 2;
1299                 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1300                                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1301                 register char *source =
1302                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1303
1304                 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1305                         *--dest = *--source;
1306
1307                 yy_cp += (int) (dest - source);
1308                 yy_bp += (int) (dest - source);
1309                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1310                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1311
1312                 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1313                         YY_FATAL_ERROR( "flex scanner push-back overflow" );
1314                 }
1315
1316         *--yy_cp = (char) c;
1317
1318         (yytext_ptr) = yy_bp;
1319         (yy_hold_char) = *yy_cp;
1320         (yy_c_buf_p) = yy_cp;
1321 }
1322
1323 #ifndef YY_NO_INPUT
1324 #ifdef __cplusplus
1325     static int yyinput (void)
1326 #else
1327     static int input  (void)
1328 #endif
1329
1330 {
1331         int c;
1332
1333         *(yy_c_buf_p) = (yy_hold_char);
1334
1335         if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1336                 {
1337                 /* yy_c_buf_p now points to the character we want to return.
1338                  * If this occurs *before* the EOB characters, then it's a
1339                  * valid NUL; if not, then we've hit the end of the buffer.
1340                  */
1341                 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1342                         /* This was really a NUL. */
1343                         *(yy_c_buf_p) = '\0';
1344
1345                 else
1346                         { /* need more input */
1347                         yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
1348                         ++(yy_c_buf_p);
1349
1350                         switch ( yy_get_next_buffer(  ) )
1351                                 {
1352                                 case EOB_ACT_LAST_MATCH:
1353                                         /* This happens because yy_g_n_b()
1354                                          * sees that we've accumulated a
1355                                          * token and flags that we need to
1356                                          * try matching the token before
1357                                          * proceeding.  But for input(),
1358                                          * there's no matching to consider.
1359                                          * So convert the EOB_ACT_LAST_MATCH
1360                                          * to EOB_ACT_END_OF_FILE.
1361                                          */
1362
1363                                         /* Reset buffer status. */
1364                                         xbt_automaton_parser_restart(xbt_automaton_parser_in );
1365
1366                                         /*FALLTHROUGH*/
1367
1368                                 case EOB_ACT_END_OF_FILE:
1369                                         {
1370                                         if ( xbt_automaton_parser_wrap( ) )
1371                                                 return EOF;
1372
1373                                         if ( ! (yy_did_buffer_switch_on_eof) )
1374                                                 YY_NEW_FILE;
1375 #ifdef __cplusplus
1376                                         return yyinput();
1377 #else
1378                                         return input();
1379 #endif
1380                                         }
1381
1382                                 case EOB_ACT_CONTINUE_SCAN:
1383                                         (yy_c_buf_p) = (yytext_ptr) + offset;
1384                                         break;
1385                                 }
1386                         }
1387                 }
1388
1389         c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */
1390         *(yy_c_buf_p) = '\0';   /* preserve xbt_automaton_parser_text */
1391         (yy_hold_char) = *++(yy_c_buf_p);
1392
1393         return c;
1394 }
1395 #endif  /* ifndef YY_NO_INPUT */
1396
1397 /** Immediately switch to a different input stream.
1398  * @param input_file A readable stream.
1399  *
1400  * @note This function does not reset the start condition to @c INITIAL .
1401  */
1402     void xbt_automaton_parser_restart  (FILE * input_file )
1403 {
1404
1405         if ( ! YY_CURRENT_BUFFER ){
1406         xbt_automaton_parser_ensure_buffer_stack ();
1407                 YY_CURRENT_BUFFER_LVALUE =
1408             xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
1409         }
1410
1411         xbt_automaton_parser__init_buffer(YY_CURRENT_BUFFER,input_file );
1412         xbt_automaton_parser__load_buffer_state( );
1413 }
1414
1415 /** Switch to a different input buffer.
1416  * @param new_buffer The new input buffer.
1417  *
1418  */
1419     void xbt_automaton_parser__switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
1420 {
1421
1422         /* TODO. We should be able to replace this entire function body
1423          * with
1424          *              xbt_automaton_parser_pop_buffer_state();
1425          *              xbt_automaton_parser_push_buffer_state(new_buffer);
1426      */
1427         xbt_automaton_parser_ensure_buffer_stack ();
1428         if ( YY_CURRENT_BUFFER == new_buffer )
1429                 return;
1430
1431         if ( YY_CURRENT_BUFFER )
1432                 {
1433                 /* Flush out information for old buffer. */
1434                 *(yy_c_buf_p) = (yy_hold_char);
1435                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1436                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1437                 }
1438
1439         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1440         xbt_automaton_parser__load_buffer_state( );
1441
1442         /* We don't actually know whether we did this switch during
1443          * EOF (xbt_automaton_parser_wrap()) processing, but the only time this flag
1444          * is looked at is after xbt_automaton_parser_wrap() is called, so it's safe
1445          * to go ahead and always set it.
1446          */
1447         (yy_did_buffer_switch_on_eof) = 1;
1448 }
1449
1450 static void xbt_automaton_parser__load_buffer_state  (void)
1451 {
1452         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1453         (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1454         xbt_automaton_parser_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1455         (yy_hold_char) = *(yy_c_buf_p);
1456 }
1457
1458 /** Allocate and initialize an input buffer state.
1459  * @param file A readable stream.
1460  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1461  *
1462  * @return the allocated buffer state.
1463  */
1464     YY_BUFFER_STATE xbt_automaton_parser__create_buffer  (FILE * file, int  size )
1465 {
1466         YY_BUFFER_STATE b;
1467
1468         b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );
1469         if ( ! b )
1470                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1471
1472         b->yy_buf_size = size;
1473
1474         /* yy_ch_buf has to be 2 characters longer than the size given because
1475          * we need to put in 2 end-of-buffer characters.
1476          */
1477         b->yy_ch_buf = (char *) xbt_automaton_parser_alloc(b->yy_buf_size + 2  );
1478         if ( ! b->yy_ch_buf )
1479                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1480
1481         b->yy_is_our_buffer = 1;
1482
1483         xbt_automaton_parser__init_buffer(b,file );
1484
1485         return b;
1486 }
1487
1488 /** Destroy the buffer.
1489  * @param b a buffer created with xbt_automaton_parser__create_buffer()
1490  *
1491  */
1492     void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE  b )
1493 {
1494
1495         if ( ! b )
1496                 return;
1497
1498         if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1499                 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1500
1501         if ( b->yy_is_our_buffer )
1502                 xbt_automaton_parser_free((void *) b->yy_ch_buf  );
1503
1504         xbt_automaton_parser_free((void *) b  );
1505 }
1506
1507 /* Initializes or reinitializes a buffer.
1508  * This function is sometimes called more than once on the same buffer,
1509  * such as during a xbt_automaton_parser_restart() or at EOF.
1510  */
1511     static void xbt_automaton_parser__init_buffer  (YY_BUFFER_STATE  b, FILE * file )
1512
1513 {
1514         int oerrno = errno;
1515
1516         xbt_automaton_parser__flush_buffer(b );
1517
1518         b->yy_input_file = file;
1519         b->yy_fill_buffer = 1;
1520
1521     /* If b is the current buffer, then xbt_automaton_parser__init_buffer was _probably_
1522      * called from xbt_automaton_parser_restart() or through yy_get_next_buffer.
1523      * In that case, we don't want to reset the lineno or column.
1524      */
1525     if (b != YY_CURRENT_BUFFER){
1526         b->yy_bs_lineno = 1;
1527         b->yy_bs_column = 0;
1528     }
1529
1530         b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1531
1532         errno = oerrno;
1533 }
1534
1535 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1536  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1537  *
1538  */
1539     void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE  b )
1540 {
1541         if ( ! b )
1542                 return;
1543
1544         b->yy_n_chars = 0;
1545
1546         /* We always need two end-of-buffer characters.  The first causes
1547          * a transition to the end-of-buffer state.  The second causes
1548          * a jam in that state.
1549          */
1550         b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1551         b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1552
1553         b->yy_buf_pos = &b->yy_ch_buf[0];
1554
1555         b->yy_at_bol = 1;
1556         b->yy_buffer_status = YY_BUFFER_NEW;
1557
1558         if ( b == YY_CURRENT_BUFFER )
1559                 xbt_automaton_parser__load_buffer_state( );
1560 }
1561
1562 /** Pushes the new state onto the stack. The new state becomes
1563  *  the current state. This function will allocate the stack
1564  *  if necessary.
1565  *  @param new_buffer The new state.
1566  *
1567  */
1568 void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
1569 {
1570         if (new_buffer == NULL)
1571                 return;
1572
1573         xbt_automaton_parser_ensure_buffer_stack();
1574
1575         /* This block is copied from xbt_automaton_parser__switch_to_buffer. */
1576         if ( YY_CURRENT_BUFFER )
1577                 {
1578                 /* Flush out information for old buffer. */
1579                 *(yy_c_buf_p) = (yy_hold_char);
1580                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1581                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1582                 }
1583
1584         /* Only push if top exists. Otherwise, replace top. */
1585         if (YY_CURRENT_BUFFER)
1586                 (yy_buffer_stack_top)++;
1587         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1588
1589         /* copied from xbt_automaton_parser__switch_to_buffer. */
1590         xbt_automaton_parser__load_buffer_state( );
1591         (yy_did_buffer_switch_on_eof) = 1;
1592 }
1593
1594 /** Removes and deletes the top of the stack, if present.
1595  *  The next element becomes the new top.
1596  *
1597  */
1598 void xbt_automaton_parser_pop_buffer_state (void)
1599 {
1600         if (!YY_CURRENT_BUFFER)
1601                 return;
1602
1603         xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
1604         YY_CURRENT_BUFFER_LVALUE = NULL;
1605         if ((yy_buffer_stack_top) > 0)
1606                 --(yy_buffer_stack_top);
1607
1608         if (YY_CURRENT_BUFFER) {
1609                 xbt_automaton_parser__load_buffer_state( );
1610                 (yy_did_buffer_switch_on_eof) = 1;
1611         }
1612 }
1613
1614 /* Allocates the stack if it does not exist.
1615  *  Guarantees space for at least one push.
1616  */
1617 static void xbt_automaton_parser_ensure_buffer_stack (void)
1618 {
1619         yy_size_t num_to_alloc;
1620
1621         if (!(yy_buffer_stack)) {
1622
1623                 /* First allocation is just for 2 elements, since we don't know if this
1624                  * scanner will even need a stack. We use 2 instead of 1 to avoid an
1625                  * immediate realloc on the next call.
1626          */
1627                 num_to_alloc = 1;
1628                 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc
1629                                                                 (num_to_alloc * sizeof(struct yy_buffer_state*)
1630                                                                 );
1631                 if ( ! (yy_buffer_stack) )
1632                         YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1633
1634                 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1635
1636                 (yy_buffer_stack_max) = num_to_alloc;
1637                 (yy_buffer_stack_top) = 0;
1638                 return;
1639         }
1640
1641         if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1642
1643                 /* Increase the buffer to prepare for a possible push. */
1644                 int grow_size = 8 /* arbitrary grow size */;
1645
1646                 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1647                 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc
1648                                                                 ((yy_buffer_stack),
1649                                                                 num_to_alloc * sizeof(struct yy_buffer_state*)
1650                                                                 );
1651                 if ( ! (yy_buffer_stack) )
1652                         YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1653
1654                 /* zero only the new slots.*/
1655                 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1656                 (yy_buffer_stack_max) = num_to_alloc;
1657         }
1658 }
1659
1660 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1661  * @param base the character buffer
1662  * @param size the size in bytes of the character buffer
1663  *
1664  * @return the newly allocated buffer state object.
1665  */
1666 YY_BUFFER_STATE xbt_automaton_parser__scan_buffer  (char * base, yy_size_t  size )
1667 {
1668         YY_BUFFER_STATE b;
1669
1670         if ( size < 2 ||
1671              base[size-2] != YY_END_OF_BUFFER_CHAR ||
1672              base[size-1] != YY_END_OF_BUFFER_CHAR )
1673                 /* They forgot to leave room for the EOB's. */
1674                 return 0;
1675
1676         b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );
1677         if ( ! b )
1678                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_buffer()" );
1679
1680         b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
1681         b->yy_buf_pos = b->yy_ch_buf = base;
1682         b->yy_is_our_buffer = 0;
1683         b->yy_input_file = 0;
1684         b->yy_n_chars = b->yy_buf_size;
1685         b->yy_is_interactive = 0;
1686         b->yy_at_bol = 1;
1687         b->yy_fill_buffer = 0;
1688         b->yy_buffer_status = YY_BUFFER_NEW;
1689
1690         xbt_automaton_parser__switch_to_buffer(b  );
1691
1692         return b;
1693 }
1694
1695 /** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
1696  * scan from a @e copy of @a str.
1697  * @param yystr a NUL-terminated string to scan
1698  *
1699  * @return the newly allocated buffer state object.
1700  * @note If you want to scan bytes that may contain NUL values, then use
1701  *       xbt_automaton_parser__scan_bytes() instead.
1702  */
1703 YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
1704 {
1705
1706         return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
1707 }
1708
1709 /** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parser_lex() will
1710  * scan from a @e copy of @a bytes.
1711  * @param yybytes the byte buffer to scan
1712  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1713  *
1714  * @return the newly allocated buffer state object.
1715  */
1716 YY_BUFFER_STATE xbt_automaton_parser__scan_bytes  (yyconst char * yybytes, yy_size_t  _yybytes_len )
1717 {
1718         YY_BUFFER_STATE b;
1719         char *buf;
1720         yy_size_t n;
1721         yy_size_t i;
1722
1723         /* Get memory for full buffer, including space for trailing EOB's. */
1724         n = _yybytes_len + 2;
1725         buf = (char *) xbt_automaton_parser_alloc(n  );
1726         if ( ! buf )
1727                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_bytes()" );
1728
1729         for ( i = 0; i < _yybytes_len; ++i )
1730                 buf[i] = yybytes[i];
1731
1732         buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1733
1734         b = xbt_automaton_parser__scan_buffer(buf,n );
1735         if ( ! b )
1736                 YY_FATAL_ERROR( "bad buffer in xbt_automaton_parser__scan_bytes()" );
1737
1738         /* It's okay to grow etc. this buffer, and we should throw it
1739          * away when we're done.
1740          */
1741         b->yy_is_our_buffer = 1;
1742
1743         return b;
1744 }
1745
1746 #ifndef YY_EXIT_FAILURE
1747 #define YY_EXIT_FAILURE 2
1748 #endif
1749
1750 static void yy_fatal_error (yyconst char* msg )
1751 {
1752         (void) fprintf( stderr, "%s\n", msg );
1753         exit( YY_EXIT_FAILURE );
1754 }
1755
1756 /* Redefine yyless() so it works in section 3 code. */
1757
1758 #undef yyless
1759 #define yyless(n) \
1760         do \
1761                 { \
1762                 /* Undo effects of setting up xbt_automaton_parser_text. */ \
1763         int yyless_macro_arg = (n); \
1764         YY_LESS_LINENO(yyless_macro_arg);\
1765                 xbt_automaton_parser_text[xbt_automaton_parser_leng] = (yy_hold_char); \
1766                 (yy_c_buf_p) = xbt_automaton_parser_text + yyless_macro_arg; \
1767                 (yy_hold_char) = *(yy_c_buf_p); \
1768                 *(yy_c_buf_p) = '\0'; \
1769                 xbt_automaton_parser_leng = yyless_macro_arg; \
1770                 } \
1771         while ( 0 )
1772
1773 /* Accessor  methods (get/set functions) to struct members. */
1774
1775 /** Get the current line number.
1776  *
1777  */
1778 int xbt_automaton_parser_get_lineno  (void)
1779 {
1780
1781     return xbt_automaton_parser_lineno;
1782 }
1783
1784 /** Get the input stream.
1785  *
1786  */
1787 FILE *xbt_automaton_parser_get_in  (void)
1788 {
1789         return xbt_automaton_parser_in;
1790 }
1791
1792 /** Get the output stream.
1793  *
1794  */
1795 FILE *xbt_automaton_parser_get_out  (void)
1796 {
1797         return xbt_automaton_parser_out;
1798 }
1799
1800 /** Get the length of the current token.
1801  *
1802  */
1803 yy_size_t xbt_automaton_parser_get_leng  (void)
1804 {
1805         return xbt_automaton_parser_leng;
1806 }
1807
1808 /** Get the current token.
1809  *
1810  */
1811
1812 char *xbt_automaton_parser_get_text  (void)
1813 {
1814         return xbt_automaton_parser_text;
1815 }
1816
1817 /** Set the current line number.
1818  * @param line_number
1819  *
1820  */
1821 void xbt_automaton_parser_set_lineno (int  line_number )
1822 {
1823
1824     xbt_automaton_parser_lineno = line_number;
1825 }
1826
1827 /** Set the input stream. This does not discard the current
1828  * input buffer.
1829  * @param in_str A readable stream.
1830  *
1831  * @see xbt_automaton_parser__switch_to_buffer
1832  */
1833 void xbt_automaton_parser_set_in (FILE *  in_str )
1834 {
1835         xbt_automaton_parser_in = in_str ;
1836 }
1837
1838 void xbt_automaton_parser_set_out (FILE *  out_str )
1839 {
1840         xbt_automaton_parser_out = out_str ;
1841 }
1842
1843 int xbt_automaton_parser_get_debug  (void)
1844 {
1845         return xbt_automaton_parser__flex_debug;
1846 }
1847
1848 void xbt_automaton_parser_set_debug (int  bdebug )
1849 {
1850         xbt_automaton_parser__flex_debug = bdebug ;
1851 }
1852
1853 static int yy_init_globals (void)
1854 {
1855         /* Initialization is the same as for the non-reentrant scanner.
1856      * This function is called from xbt_automaton_parser_lex_destroy(), so don't allocate here.
1857      */
1858
1859     (yy_buffer_stack) = 0;
1860     (yy_buffer_stack_top) = 0;
1861     (yy_buffer_stack_max) = 0;
1862     (yy_c_buf_p) = (char *) 0;
1863     (yy_init) = 0;
1864     (yy_start) = 0;
1865
1866 /* Defined in main.c */
1867 #ifdef YY_STDINIT
1868     xbt_automaton_parser_in = stdin;
1869     xbt_automaton_parser_out = stdout;
1870 #else
1871     xbt_automaton_parser_in = (FILE *) 0;
1872     xbt_automaton_parser_out = (FILE *) 0;
1873 #endif
1874
1875     /* For future reference: Set errno on error, since we are called by
1876      * xbt_automaton_parser_lex_init()
1877      */
1878     return 0;
1879 }
1880
1881 /* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
1882 int xbt_automaton_parser_lex_destroy  (void)
1883 {
1884
1885     /* Pop the buffer stack, destroying each element. */
1886         while(YY_CURRENT_BUFFER){
1887                 xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER  );
1888                 YY_CURRENT_BUFFER_LVALUE = NULL;
1889                 xbt_automaton_parser_pop_buffer_state();
1890         }
1891
1892         /* Destroy the stack itself. */
1893         xbt_automaton_parser_free((yy_buffer_stack) );
1894         (yy_buffer_stack) = NULL;
1895
1896     /* Reset the globals. This is important in a non-reentrant scanner so the next time
1897      * xbt_automaton_parser_lex() is called, initialization will occur. */
1898     yy_init_globals( );
1899
1900     return 0;
1901 }
1902
1903 /*
1904  * Internal utility routines.
1905  */
1906
1907 #ifndef yytext_ptr
1908 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1909 {
1910         register int i;
1911         for ( i = 0; i < n; ++i )
1912                 s1[i] = s2[i];
1913 }
1914 #endif
1915
1916 #ifdef YY_NEED_STRLEN
1917 static int yy_flex_strlen (yyconst char * s )
1918 {
1919         register int n;
1920         for ( n = 0; s[n]; ++n )
1921                 ;
1922
1923         return n;
1924 }
1925 #endif
1926
1927 void *xbt_automaton_parser_alloc (yy_size_t  size )
1928 {
1929         return (void *) malloc( size );
1930 }
1931
1932 void *xbt_automaton_parser_realloc  (void * ptr, yy_size_t  size )
1933 {
1934         /* The cast to (char *) in the following accommodates both
1935          * implementations that use char* generic pointers, and those
1936          * that use void* generic pointers.  It works with the latter
1937          * because both ANSI C and C++ allow castless assignment from
1938          * any pointer type to void*, and deal with argument conversions
1939          * as though doing an assignment.
1940          */
1941         return (void *) realloc( (char *) ptr, size );
1942 }
1943
1944 void xbt_automaton_parser_free (void * ptr )
1945 {
1946         free( (char *) ptr );   /* see xbt_automaton_parser_realloc() for (char *) cast */
1947 }
1948
1949 #define YYTABLES_NAME "yytables"
1950
1951 #line 87 "parserPromela.lex"
1952
1953
1954
1955
1956