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
 532 #include <stdio.h>
 533 #include "parserPromela.tab.hacc"
 534
 535   extern YYSTYPE yylval;
 536
 537 #line 538 "automaton_lexer.yy.c"
 538
 539 #define INITIAL 0
 540
 541 #ifndef YY_NO_UNISTD_H
 542 /* Special case for "unistd.h", since it is non-ANSI. We include it way
 543  * down here because we want the user's section 1 to have been scanned first.
 544  * The user has a chance to override it with an option.
 545  */
 546 #include <unistd.h>
 547 #endif
 548
 549 #ifndef YY_EXTRA_TYPE
 550 #define YY_EXTRA_TYPE void *
 551 #endif
 552
 553 static int yy_init_globals (void );
 554
 555 /* Accessor methods to globals.
 556    These are made visible to non-reentrant scanners for convenience. */
 557
 558 int xbt_automaton_parser_lex_destroy (void );
 559
 560 int xbt_automaton_parser_get_debug (void );
 561
 562 void xbt_automaton_parser_set_debug (int debug_flag  );
 563
 564 YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void );
 565
 566 void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined  );
 567
 568 FILE *xbt_automaton_parser_get_in (void );
 569
 570 void xbt_automaton_parser_set_in  (FILE * in_str  );
 571
 572 FILE *xbt_automaton_parser_get_out (void );
 573
 574 void xbt_automaton_parser_set_out  (FILE * out_str  );
 575
 576 yy_size_t xbt_automaton_parser_get_leng (void );
 577
 578 char *xbt_automaton_parser_get_text (void );
 579
 580 int xbt_automaton_parser_get_lineno (void );
 581
 582 void xbt_automaton_parser_set_lineno (int line_number  );
 583
 584 /* Macros after this point can all be overridden by user definitions in
 585  * section 1.
 586  */
 587
 588 #ifndef YY_SKIP_YYWRAP
 589 #ifdef __cplusplus
 590 extern "C" int xbt_automaton_parser_wrap (void );
 591 #else
 592 extern int xbt_automaton_parser_wrap (void );
 593 #endif
 594 #endif
 595
 596     static void yyunput (int c,char *buf_ptr  );
 597
 598 #ifndef yytext_ptr
 599 static void yy_flex_strncpy (char *,yyconst char *,int );
 600 #endif
 601
 602 #ifdef YY_NEED_STRLEN
 603 static int yy_flex_strlen (yyconst char * );
 604 #endif
 605
 606 #ifndef YY_NO_INPUT
 607
 608 #ifdef __cplusplus
 609 static int yyinput (void );
 610 #else
 611 static int input (void );
 612 #endif
 613
 614 #endif
 615
 616 /* Amount of stuff to slurp up with each read. */
 617 #ifndef YY_READ_BUF_SIZE
 618 #ifdef __ia64__
 619 /* On IA-64, the buffer size is 16k, not 8k */
 620 #define YY_READ_BUF_SIZE 16384
 621 #else
 622 #define YY_READ_BUF_SIZE 8192
 623 #endif /* __ia64__ */
 624 #endif
 625
 626 /* Copy whatever the last rule matched to the standard output. */
 627 #ifndef ECHO
 628 /* This used to be an fputs(), but since the string might contain NUL's,
 629  * we now use fwrite().
 630  */
 631 #define ECHO do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)
 632 #endif
 633
 634 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 635  * is returned in "result".
 636  */
 637 #ifndef YY_INPUT
 638 #define YY_INPUT(buf,result,max_size) \
 639         if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
 640                 { \
 641                 int c = '*'; \
 642                 size_t n; \
 643                 for ( n = 0; n < max_size && \
 644                              (c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \
 645                         buf[n] = (char) c; \
 646                 if ( c == '\n' ) \
 647                         buf[n++] = (char) c; \
 648                 if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \
 649                         YY_FATAL_ERROR( "input in flex scanner failed" ); \
 650                 result = n; \
 651                 } \
 652         else \
 653                 { \
 654                 errno=0; \
 655                 while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \
 656                         { \
 657                         if( errno != EINTR) \
 658                                 { \
 659                                 YY_FATAL_ERROR( "input in flex scanner failed" ); \
 660                                 break; \
 661                                 } \
 662                         errno=0; \
 663                         clearerr(xbt_automaton_parser_in); \
 664                         } \
 665                 }\
 666 \
 667
 668 #endif
 669
 670 /* No semi-colon after return; correct usage is to write "yyterminate();" -
 671  * we don't want an extra ';' after the "return" because that will cause
 672  * some compilers to complain about unreachable statements.
 673  */
 674 #ifndef yyterminate
 675 #define yyterminate() return YY_NULL
 676 #endif
 677
 678 /* Number of entries by which start-condition stack grows. */
 679 #ifndef YY_START_STACK_INCR
 680 #define YY_START_STACK_INCR 25
 681 #endif
 682
 683 /* Report a fatal error. */
 684 #ifndef YY_FATAL_ERROR
 685 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
 686 #endif
 687
 688 /* end tables serialization structures and prototypes */
 689
 690 /* Default declaration of generated scanner - a define so the user can
 691  * easily add parameters.
 692  */
 693 #ifndef YY_DECL
 694 #define YY_DECL_IS_OURS 1
 695
 696 extern int xbt_automaton_parser_lex (void);
 697
 698 #define YY_DECL int xbt_automaton_parser_lex (void)
 699 #endif /* !YY_DECL */
 700
 701 /* Code executed at the beginning of each rule, after xbt_automaton_parser_text and xbt_automaton_parser_leng
 702  * have been set up.
 703  */
 704 #ifndef YY_USER_ACTION
 705 #define YY_USER_ACTION
 706 #endif
 707
 708 /* Code executed at the end of each rule. */
 709 #ifndef YY_BREAK
 710 #define YY_BREAK break;
 711 #endif
 712
 713 #define YY_RULE_SETUP \
 714         YY_USER_ACTION
 715
 716 /** The main scanner function which does all the work.
 717  */
 718 YY_DECL
 719 {
 720         register yy_state_type yy_current_state;
 721         register char *yy_cp, *yy_bp;
 722         register int yy_act;
 723
 724         if ( !(yy_init) )
 725                 {
 726                 (yy_init) = 1;
 727
 728 #ifdef YY_USER_INIT
 729                 YY_USER_INIT;
 730 #endif
 731
 732                 if ( ! (yy_start) )
 733                         (yy_start) = 1; /* first start state */
 734
 735                 if ( ! xbt_automaton_parser_in )
 736                         xbt_automaton_parser_in = stdin;
 737
 738                 if ( ! xbt_automaton_parser_out )
 739                         xbt_automaton_parser_out = stdout;
 740
 741                 if ( ! YY_CURRENT_BUFFER ) {
 742                         xbt_automaton_parser_ensure_buffer_stack ();
 743                         YY_CURRENT_BUFFER_LVALUE =
 744                                 xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
 745                 }
 746
 747                 xbt_automaton_parser__load_buffer_state( );
 748                 }
 749
 750         {
 751 #line 34 "parserPromela.lex"
 752
 753
 754 #line 755 "automaton_lexer.yy.c"
 755
 756         while ( 1 )             /* loops until end-of-file is reached */
 757                 {
 758                 yy_cp = (yy_c_buf_p);
 759
 760                 /* Support of xbt_automaton_parser_text. */
 761                 *yy_cp = (yy_hold_char);
 762
 763                 /* yy_bp points to the position in yy_ch_buf of the start of
 764                  * the current run.
 765                  */
 766                 yy_bp = yy_cp;
 767
 768                 yy_current_state = (yy_start);
 769 yy_match:
 770                 do
 771                         {
 772                         register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
 773                         if ( yy_accept[yy_current_state] )
 774                                 {
 775                                 (yy_last_accepting_state) = yy_current_state;
 776                                 (yy_last_accepting_cpos) = yy_cp;
 777                                 }
 778                         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
 779                                 {
 780                                 yy_current_state = (int) yy_def[yy_current_state];
 781                                 if ( yy_current_state >= 54 )
 782                                         yy_c = yy_meta[(unsigned int) yy_c];
 783                                 }
 784                         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
 785                         ++yy_cp;
 786                         }
 787                 while ( yy_base[yy_current_state] != 90 );
 788
 789 yy_find_action:
 790                 yy_act = yy_accept[yy_current_state];
 791                 if ( yy_act == 0 )
 792                         { /* have to back up */
 793                         yy_cp = (yy_last_accepting_cpos);
 794                         yy_current_state = (yy_last_accepting_state);
 795                         yy_act = yy_accept[yy_current_state];
 796                         }
 797
 798                 YY_DO_BEFORE_ACTION;
 799
 800 do_action:      /* This label is used only to access EOF actions. */
 801
 802                 switch ( yy_act )
 803         { /* beginning of action switch */
 804                         case 0: /* must back up */
 805                         /* undo the effects of YY_DO_BEFORE_ACTION */
 806                         *yy_cp = (yy_hold_char);
 807                         yy_cp = (yy_last_accepting_cpos);
 808                         yy_current_state = (yy_last_accepting_state);
 809                         goto yy_find_action;
 810
 811 case 1:
 812 YY_RULE_SETUP
 813 #line 36 "parserPromela.lex"
 814 { return (NEVER); }
 815         YY_BREAK
 816 case 2:
 817 YY_RULE_SETUP
 818 #line 37 "parserPromela.lex"
 819 { return (IF); }
 820         YY_BREAK
 821 case 3:
 822 YY_RULE_SETUP
 823 #line 38 "parserPromela.lex"
 824 { return (FI); }
 825         YY_BREAK
 826 case 4:
 827 YY_RULE_SETUP
 828 #line 39 "parserPromela.lex"
 829 { return (IMPLIES); }
 830         YY_BREAK
 831 case 5:
 832 YY_RULE_SETUP
 833 #line 40 "parserPromela.lex"
 834 { return (GOTO); }
 835         YY_BREAK
 836 case 6:
 837 YY_RULE_SETUP
 838 #line 41 "parserPromela.lex"
 839 { return (AND); }
 840         YY_BREAK
 841 case 7:
 842 YY_RULE_SETUP
 843 #line 42 "parserPromela.lex"
 844 { return (OR); }
 845         YY_BREAK
 846 case 8:
 847 YY_RULE_SETUP
 848 #line 43 "parserPromela.lex"
 849 { return (NOT); }
 850         YY_BREAK
 851 case 9:
 852 YY_RULE_SETUP
 853 #line 44 "parserPromela.lex"
 854 { return (LEFT_PAR); }
 855         YY_BREAK
 856 case 10:
 857 YY_RULE_SETUP
 858 #line 45 "parserPromela.lex"
 859 { return (RIGHT_PAR); }
 860         YY_BREAK
 861 case 11:
 862 YY_RULE_SETUP
 863 #line 46 "parserPromela.lex"
 864 { return (CASE); }
 865         YY_BREAK
 866 case 12:
 867 YY_RULE_SETUP
 868 #line 47 "parserPromela.lex"
 869 { return (COLON); }
 870         YY_BREAK
 871 case 13:
 872 YY_RULE_SETUP
 873 #line 48 "parserPromela.lex"
 874 { return (SEMI_COLON); }
 875         YY_BREAK
 876 case 14:
 877 YY_RULE_SETUP
 878 #line 49 "parserPromela.lex"
 879 { return (CASE_TRUE); }
 880         YY_BREAK
 881 case 15:
 882 YY_RULE_SETUP
 883 #line 50 "parserPromela.lex"
 884 { return (LEFT_BRACE); }
 885         YY_BREAK
 886 case 16:
 887 YY_RULE_SETUP
 888 #line 51 "parserPromela.lex"
 889 { return (RIGHT_BRACE); }
 890         YY_BREAK
 891 case 17:
 892 /* rule 17 can match eol */
 893 YY_RULE_SETUP
 894 #line 54 "parserPromela.lex"
 895 { }
 896         YY_BREAK
 897 case 18:
 898 YY_RULE_SETUP
 899 #line 56 "parserPromela.lex"
 900 { }
 901         YY_BREAK
 902 case 19:
 903 YY_RULE_SETUP
 904 #line 59 "parserPromela.lex"
 905 { sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
 906                             return (LITT_REEL); }
 907         YY_BREAK
 908 case 20:
 909 YY_RULE_SETUP
 910 #line 62 "parserPromela.lex"
 911 { sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
 912                             return (LITT_ENT); }
 913         YY_BREAK
 914 case 21:
 915 /* rule 21 can match eol */
 916 YY_RULE_SETUP
 917 #line 65 "parserPromela.lex"
 918 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
 919                             sscanf(xbt_automaton_parser_text,"%s",yylval.string);
 920                             return (LITT_CHAINE); }
 921         YY_BREAK
 922 case 22:
 923 YY_RULE_SETUP
 924 #line 69 "parserPromela.lex"
 925 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
 926                             sscanf(xbt_automaton_parser_text,"%s",yylval.string);
 927                                               return (ID); }
 928         YY_BREAK
 929 case 23:
 930 /* rule 23 can match eol */
 931 YY_RULE_SETUP
 932 #line 73 "parserPromela.lex"
 933 { }
 934         YY_BREAK
 935 case 24:
 936 YY_RULE_SETUP
 937 #line 75 "parserPromela.lex"
 938 { }
 939         YY_BREAK
 940 case 25:
 941 YY_RULE_SETUP
 942 #line 77 "parserPromela.lex"
 943 ECHO;
 944         YY_BREAK
 945 #line 946 "automaton_lexer.yy.c"
 946 case YY_STATE_EOF(INITIAL):
 947         yyterminate();
 948
 949         case YY_END_OF_BUFFER:
 950                 {
 951                 /* Amount of text matched not including the EOB char. */
 952                 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
 953
 954                 /* Undo the effects of YY_DO_BEFORE_ACTION. */
 955                 *yy_cp = (yy_hold_char);
 956                 YY_RESTORE_YY_MORE_OFFSET
 957
 958                 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
 959                         {
 960                         /* We're scanning a new file or input source.  It's
 961                          * possible that this happened because the user
 962                          * just pointed xbt_automaton_parser_in at a new source and called
 963                          * xbt_automaton_parser_lex().  If so, then we have to assure
 964                          * consistency between YY_CURRENT_BUFFER and our
 965                          * globals.  Here is the right place to do so, because
 966                          * this is the first action (other than possibly a
 967                          * back-up) that will match for the new input source.
 968                          */
 969                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
 970                         YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_automaton_parser_in;
 971                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
 972                         }
 973
 974                 /* Note that here we test for yy_c_buf_p "<=" to the position
 975                  * of the first EOB in the buffer, since yy_c_buf_p will
 976                  * already have been incremented past the NUL character
 977                  * (since all states make transitions on EOB to the
 978                  * end-of-buffer state).  Contrast this with the test
 979                  * in input().
 980                  */
 981                 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
 982                         { /* This was really a NUL. */
 983                         yy_state_type yy_next_state;
 984
 985                         (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
 986
 987                         yy_current_state = yy_get_previous_state(  );
 988
 989                         /* Okay, we're now positioned to make the NUL
 990                          * transition.  We couldn't have
 991                          * yy_get_previous_state() go ahead and do it
 992                          * for us because it doesn't know how to deal
 993                          * with the possibility of jamming (and we don't
 994                          * want to build jamming into it because then it
 995                          * will run more slowly).
 996                          */
 997
 998                         yy_next_state = yy_try_NUL_trans( yy_current_state );
 999
1000                         yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1001
1002                         if ( yy_next_state )
1003                                 {
1004                                 /* Consume the NUL. */
1005                                 yy_cp = ++(yy_c_buf_p);
1006                                 yy_current_state = yy_next_state;
1007                                 goto yy_match;
1008                                 }
1009
1010                         else
1011                                 {
1012                                 yy_cp = (yy_c_buf_p);
1013                                 goto yy_find_action;
1014                                 }
1015                         }
1016
1017                 else switch ( yy_get_next_buffer(  ) )
1018                         {
1019                         case EOB_ACT_END_OF_FILE:
1020                                 {
1021                                 (yy_did_buffer_switch_on_eof) = 0;
1022
1023                                 if ( xbt_automaton_parser_wrap( ) )
1024                                         {
1025                                         /* Note: because we've taken care in
1026                                          * yy_get_next_buffer() to have set up
1027                                          * xbt_automaton_parser_text, we can now set up
1028                                          * yy_c_buf_p so that if some total
1029                                          * hoser (like flex itself) wants to
1030                                          * call the scanner after we return the
1031                                          * YY_NULL, it'll still work - another
1032                                          * YY_NULL will get returned.
1033                                          */
1034                                         (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1035
1036                                         yy_act = YY_STATE_EOF(YY_START);
1037                                         goto do_action;
1038                                         }
1039
1040                                 else
1041                                         {
1042                                         if ( ! (yy_did_buffer_switch_on_eof) )
1043                                                 YY_NEW_FILE;
1044                                         }
1045                                 break;
1046                                 }
1047
1048                         case EOB_ACT_CONTINUE_SCAN:
1049                                 (yy_c_buf_p) =
1050                                         (yytext_ptr) + yy_amount_of_matched_text;
1051
1052                                 yy_current_state = yy_get_previous_state(  );
1053
1054                                 yy_cp = (yy_c_buf_p);
1055                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1056                                 goto yy_match;
1057
1058                         case EOB_ACT_LAST_MATCH:
1059                                 (yy_c_buf_p) =
1060                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1061
1062                                 yy_current_state = yy_get_previous_state(  );
1063
1064                                 yy_cp = (yy_c_buf_p);
1065                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1066                                 goto yy_find_action;
1067                         }
1068                 break;
1069                 }
1070
1071         default:
1072                 YY_FATAL_ERROR(
1073                         "fatal flex scanner internal error--no action found" );
1074         } /* end of action switch */
1075                 } /* end of scanning one token */
1076         } /* end of user's declarations */
1077 } /* end of xbt_automaton_parser_lex */
1078
1079 /* yy_get_next_buffer - try to read in a new buffer
1080  *
1081  * Returns a code representing an action:
1082  *      EOB_ACT_LAST_MATCH -
1083  *      EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1084  *      EOB_ACT_END_OF_FILE - end of file
1085  */
1086 static int yy_get_next_buffer (void)
1087 {
1088         register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1089         register char *source = (yytext_ptr);
1090         register int number_to_move, i;
1091         int ret_val;
1092
1093         if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1094                 YY_FATAL_ERROR(
1095                 "fatal flex scanner internal error--end of buffer missed" );
1096
1097         if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1098                 { /* Don't try to fill the buffer, so this is an EOF. */
1099                 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1100                         {
1101                         /* We matched a single character, the EOB, so
1102                          * treat this as a final EOF.
1103                          */
1104                         return EOB_ACT_END_OF_FILE;
1105                         }
1106
1107                 else
1108                         {
1109                         /* We matched some text prior to the EOB, first
1110                          * process it.
1111                          */
1112                         return EOB_ACT_LAST_MATCH;
1113                         }
1114                 }
1115
1116         /* Try to read more data. */
1117
1118         /* First move last chars to start of buffer. */
1119         number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1120
1121         for ( i = 0; i < number_to_move; ++i )
1122                 *(dest++) = *(source++);
1123
1124         if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1125                 /* don't do the read, it's not guaranteed to return an EOF,
1126                  * just force an EOF
1127                  */
1128                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1129
1130         else
1131                 {
1132                         yy_size_t num_to_read =
1133                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1134
1135                 while ( num_to_read <= 0 )
1136                         { /* Not enough room in the buffer - grow it. */
1137
1138                         /* just a shorter name for the current buffer */
1139                         YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
1140
1141                         int yy_c_buf_p_offset =
1142                                 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1143
1144                         if ( b->yy_is_our_buffer )
1145                                 {
1146                                 yy_size_t new_size = b->yy_buf_size * 2;
1147
1148                                 if ( new_size <= 0 )
1149                                         b->yy_buf_size += b->yy_buf_size / 8;
1150                                 else
1151                                         b->yy_buf_size *= 2;
1152
1153                                 b->yy_ch_buf = (char *)
1154                                         /* Include room in for 2 EOB chars. */
1155                                         xbt_automaton_parser_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
1156                                 }
1157                         else
1158                                 /* Can't grow it, we don't own it. */
1159                                 b->yy_ch_buf = 0;
1160
1161                         if ( ! b->yy_ch_buf )
1162                                 YY_FATAL_ERROR(
1163                                 "fatal error - scanner input buffer overflow" );
1164
1165                         (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1166
1167                         num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1168                                                 number_to_move - 1;
1169
1170                         }
1171
1172                 if ( num_to_read > YY_READ_BUF_SIZE )
1173                         num_to_read = YY_READ_BUF_SIZE;
1174
1175                 /* Read in more data. */
1176                 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1177                         (yy_n_chars), num_to_read );
1178
1179                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1180                 }
1181
1182         if ( (yy_n_chars) == 0 )
1183                 {
1184                 if ( number_to_move == YY_MORE_ADJ )
1185                         {
1186                         ret_val = EOB_ACT_END_OF_FILE;
1187                         xbt_automaton_parser_restart(xbt_automaton_parser_in  );
1188                         }
1189
1190                 else
1191                         {
1192                         ret_val = EOB_ACT_LAST_MATCH;
1193                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1194                                 YY_BUFFER_EOF_PENDING;
1195                         }
1196                 }
1197
1198         else
1199                 ret_val = EOB_ACT_CONTINUE_SCAN;
1200
1201         if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1202                 /* Extend the array by 50%, plus the number we really need. */
1203                 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1204                 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
1205                 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1206                         YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1207         }
1208
1209         (yy_n_chars) += number_to_move;
1210         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1211         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1212
1213         (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1214
1215         return ret_val;
1216 }
1217
1218 /* yy_get_previous_state - get the state just before the EOB char was reached */
1219
1220     static yy_state_type yy_get_previous_state (void)
1221 {
1222         register yy_state_type yy_current_state;
1223         register char *yy_cp;
1224
1225         yy_current_state = (yy_start);
1226
1227         for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1228                 {
1229                 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1230                 if ( yy_accept[yy_current_state] )
1231                         {
1232                         (yy_last_accepting_state) = yy_current_state;
1233                         (yy_last_accepting_cpos) = yy_cp;
1234                         }
1235                 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1236                         {
1237                         yy_current_state = (int) yy_def[yy_current_state];
1238                         if ( yy_current_state >= 54 )
1239                                 yy_c = yy_meta[(unsigned int) yy_c];
1240                         }
1241                 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1242                 }
1243
1244         return yy_current_state;
1245 }
1246
1247 /* yy_try_NUL_trans - try to make a transition on the NUL character
1248  *
1249  * synopsis
1250  *      next_state = yy_try_NUL_trans( current_state );
1251  */
1252     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
1253 {
1254         register int yy_is_jam;
1255         register char *yy_cp = (yy_c_buf_p);
1256
1257         register YY_CHAR yy_c = 1;
1258         if ( yy_accept[yy_current_state] )
1259                 {
1260                 (yy_last_accepting_state) = yy_current_state;
1261                 (yy_last_accepting_cpos) = yy_cp;
1262                 }
1263         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1264                 {
1265                 yy_current_state = (int) yy_def[yy_current_state];
1266                 if ( yy_current_state >= 54 )
1267                         yy_c = yy_meta[(unsigned int) yy_c];
1268                 }
1269         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1270         yy_is_jam = (yy_current_state == 53);
1271
1272                 return yy_is_jam ? 0 : yy_current_state;
1273 }
1274
1275     static void yyunput (int c, register char * yy_bp )
1276 {
1277         register char *yy_cp;
1278
1279     yy_cp = (yy_c_buf_p);
1280
1281         /* undo effects of setting up xbt_automaton_parser_text */
1282         *yy_cp = (yy_hold_char);
1283
1284         if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1285                 { /* need to shift things up to make room */
1286                 /* +2 for EOB chars. */
1287                 register yy_size_t number_to_move = (yy_n_chars) + 2;
1288                 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1289                                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1290                 register char *source =
1291                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1292
1293                 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1294                         *--dest = *--source;
1295
1296                 yy_cp += (int) (dest - source);
1297                 yy_bp += (int) (dest - source);
1298                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1299                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1300
1301                 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1302                         YY_FATAL_ERROR( "flex scanner push-back overflow" );
1303                 }
1304
1305         *--yy_cp = (char) c;
1306
1307         (yytext_ptr) = yy_bp;
1308         (yy_hold_char) = *yy_cp;
1309         (yy_c_buf_p) = yy_cp;
1310 }
1311
1312 #ifndef YY_NO_INPUT
1313 #ifdef __cplusplus
1314     static int yyinput (void)
1315 #else
1316     static int input  (void)
1317 #endif
1318
1319 {
1320         int c;
1321
1322         *(yy_c_buf_p) = (yy_hold_char);
1323
1324         if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1325                 {
1326                 /* yy_c_buf_p now points to the character we want to return.
1327                  * If this occurs *before* the EOB characters, then it's a
1328                  * valid NUL; if not, then we've hit the end of the buffer.
1329                  */
1330                 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1331                         /* This was really a NUL. */
1332                         *(yy_c_buf_p) = '\0';
1333
1334                 else
1335                         { /* need more input */
1336                         yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
1337                         ++(yy_c_buf_p);
1338
1339                         switch ( yy_get_next_buffer(  ) )
1340                                 {
1341                                 case EOB_ACT_LAST_MATCH:
1342                                         /* This happens because yy_g_n_b()
1343                                          * sees that we've accumulated a
1344                                          * token and flags that we need to
1345                                          * try matching the token before
1346                                          * proceeding.  But for input(),
1347                                          * there's no matching to consider.
1348                                          * So convert the EOB_ACT_LAST_MATCH
1349                                          * to EOB_ACT_END_OF_FILE.
1350                                          */
1351
1352                                         /* Reset buffer status. */
1353                                         xbt_automaton_parser_restart(xbt_automaton_parser_in );
1354
1355                                         /*FALLTHROUGH*/
1356
1357                                 case EOB_ACT_END_OF_FILE:
1358                                         {
1359                                         if ( xbt_automaton_parser_wrap( ) )
1360                                                 return EOF;
1361
1362                                         if ( ! (yy_did_buffer_switch_on_eof) )
1363                                                 YY_NEW_FILE;
1364 #ifdef __cplusplus
1365                                         return yyinput();
1366 #else
1367                                         return input();
1368 #endif
1369                                         }
1370
1371                                 case EOB_ACT_CONTINUE_SCAN:
1372                                         (yy_c_buf_p) = (yytext_ptr) + offset;
1373                                         break;
1374                                 }
1375                         }
1376                 }
1377
1378         c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */
1379         *(yy_c_buf_p) = '\0';   /* preserve xbt_automaton_parser_text */
1380         (yy_hold_char) = *++(yy_c_buf_p);
1381
1382         return c;
1383 }
1384 #endif  /* ifndef YY_NO_INPUT */
1385
1386 /** Immediately switch to a different input stream.
1387  * @param input_file A readable stream.
1388  *
1389  * @note This function does not reset the start condition to @c INITIAL .
1390  */
1391     void xbt_automaton_parser_restart  (FILE * input_file )
1392 {
1393
1394         if ( ! YY_CURRENT_BUFFER ){
1395         xbt_automaton_parser_ensure_buffer_stack ();
1396                 YY_CURRENT_BUFFER_LVALUE =
1397             xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
1398         }
1399
1400         xbt_automaton_parser__init_buffer(YY_CURRENT_BUFFER,input_file );
1401         xbt_automaton_parser__load_buffer_state( );
1402 }
1403
1404 /** Switch to a different input buffer.
1405  * @param new_buffer The new input buffer.
1406  *
1407  */
1408     void xbt_automaton_parser__switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
1409 {
1410
1411         /* TODO. We should be able to replace this entire function body
1412          * with
1413          *              xbt_automaton_parser_pop_buffer_state();
1414          *              xbt_automaton_parser_push_buffer_state(new_buffer);
1415      */
1416         xbt_automaton_parser_ensure_buffer_stack ();
1417         if ( YY_CURRENT_BUFFER == new_buffer )
1418                 return;
1419
1420         if ( YY_CURRENT_BUFFER )
1421                 {
1422                 /* Flush out information for old buffer. */
1423                 *(yy_c_buf_p) = (yy_hold_char);
1424                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1425                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1426                 }
1427
1428         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1429         xbt_automaton_parser__load_buffer_state( );
1430
1431         /* We don't actually know whether we did this switch during
1432          * EOF (xbt_automaton_parser_wrap()) processing, but the only time this flag
1433          * is looked at is after xbt_automaton_parser_wrap() is called, so it's safe
1434          * to go ahead and always set it.
1435          */
1436         (yy_did_buffer_switch_on_eof) = 1;
1437 }
1438
1439 static void xbt_automaton_parser__load_buffer_state  (void)
1440 {
1441         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1442         (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1443         xbt_automaton_parser_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1444         (yy_hold_char) = *(yy_c_buf_p);
1445 }
1446
1447 /** Allocate and initialize an input buffer state.
1448  * @param file A readable stream.
1449  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1450  *
1451  * @return the allocated buffer state.
1452  */
1453     YY_BUFFER_STATE xbt_automaton_parser__create_buffer  (FILE * file, int  size )
1454 {
1455         YY_BUFFER_STATE b;
1456
1457         b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );
1458         if ( ! b )
1459                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1460
1461         b->yy_buf_size = size;
1462
1463         /* yy_ch_buf has to be 2 characters longer than the size given because
1464          * we need to put in 2 end-of-buffer characters.
1465          */
1466         b->yy_ch_buf = (char *) xbt_automaton_parser_alloc(b->yy_buf_size + 2  );
1467         if ( ! b->yy_ch_buf )
1468                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1469
1470         b->yy_is_our_buffer = 1;
1471
1472         xbt_automaton_parser__init_buffer(b,file );
1473
1474         return b;
1475 }
1476
1477 /** Destroy the buffer.
1478  * @param b a buffer created with xbt_automaton_parser__create_buffer()
1479  *
1480  */
1481     void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE  b )
1482 {
1483
1484         if ( ! b )
1485                 return;
1486
1487         if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1488                 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1489
1490         if ( b->yy_is_our_buffer )
1491                 xbt_automaton_parser_free((void *) b->yy_ch_buf  );
1492
1493         xbt_automaton_parser_free((void *) b  );
1494 }
1495
1496 /* Initializes or reinitializes a buffer.
1497  * This function is sometimes called more than once on the same buffer,
1498  * such as during a xbt_automaton_parser_restart() or at EOF.
1499  */
1500     static void xbt_automaton_parser__init_buffer  (YY_BUFFER_STATE  b, FILE * file )
1501
1502 {
1503         int oerrno = errno;
1504
1505         xbt_automaton_parser__flush_buffer(b );
1506
1507         b->yy_input_file = file;
1508         b->yy_fill_buffer = 1;
1509
1510     /* If b is the current buffer, then xbt_automaton_parser__init_buffer was _probably_
1511      * called from xbt_automaton_parser_restart() or through yy_get_next_buffer.
1512      * In that case, we don't want to reset the lineno or column.
1513      */
1514     if (b != YY_CURRENT_BUFFER){
1515         b->yy_bs_lineno = 1;
1516         b->yy_bs_column = 0;
1517     }
1518
1519         b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1520
1521         errno = oerrno;
1522 }
1523
1524 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1525  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1526  *
1527  */
1528     void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE  b )
1529 {
1530         if ( ! b )
1531                 return;
1532
1533         b->yy_n_chars = 0;
1534
1535         /* We always need two end-of-buffer characters.  The first causes
1536          * a transition to the end-of-buffer state.  The second causes
1537          * a jam in that state.
1538          */
1539         b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1540         b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1541
1542         b->yy_buf_pos = &b->yy_ch_buf[0];
1543
1544         b->yy_at_bol = 1;
1545         b->yy_buffer_status = YY_BUFFER_NEW;
1546
1547         if ( b == YY_CURRENT_BUFFER )
1548                 xbt_automaton_parser__load_buffer_state( );
1549 }
1550
1551 /** Pushes the new state onto the stack. The new state becomes
1552  *  the current state. This function will allocate the stack
1553  *  if necessary.
1554  *  @param new_buffer The new state.
1555  *
1556  */
1557 void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
1558 {
1559         if (new_buffer == NULL)
1560                 return;
1561
1562         xbt_automaton_parser_ensure_buffer_stack();
1563
1564         /* This block is copied from xbt_automaton_parser__switch_to_buffer. */
1565         if ( YY_CURRENT_BUFFER )
1566                 {
1567                 /* Flush out information for old buffer. */
1568                 *(yy_c_buf_p) = (yy_hold_char);
1569                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1570                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1571                 }
1572
1573         /* Only push if top exists. Otherwise, replace top. */
1574         if (YY_CURRENT_BUFFER)
1575                 (yy_buffer_stack_top)++;
1576         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1577
1578         /* copied from xbt_automaton_parser__switch_to_buffer. */
1579         xbt_automaton_parser__load_buffer_state( );
1580         (yy_did_buffer_switch_on_eof) = 1;
1581 }
1582
1583 /** Removes and deletes the top of the stack, if present.
1584  *  The next element becomes the new top.
1585  *
1586  */
1587 void xbt_automaton_parser_pop_buffer_state (void)
1588 {
1589         if (!YY_CURRENT_BUFFER)
1590                 return;
1591
1592         xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
1593         YY_CURRENT_BUFFER_LVALUE = NULL;
1594         if ((yy_buffer_stack_top) > 0)
1595                 --(yy_buffer_stack_top);
1596
1597         if (YY_CURRENT_BUFFER) {
1598                 xbt_automaton_parser__load_buffer_state( );
1599                 (yy_did_buffer_switch_on_eof) = 1;
1600         }
1601 }
1602
1603 /* Allocates the stack if it does not exist.
1604  *  Guarantees space for at least one push.
1605  */
1606 static void xbt_automaton_parser_ensure_buffer_stack (void)
1607 {
1608         yy_size_t num_to_alloc;
1609
1610         if (!(yy_buffer_stack)) {
1611
1612                 /* First allocation is just for 2 elements, since we don't know if this
1613                  * scanner will even need a stack. We use 2 instead of 1 to avoid an
1614                  * immediate realloc on the next call.
1615          */
1616                 num_to_alloc = 1;
1617                 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc
1618                                                                 (num_to_alloc * sizeof(struct yy_buffer_state*)
1619                                                                 );
1620                 if ( ! (yy_buffer_stack) )
1621                         YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1622
1623                 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1624
1625                 (yy_buffer_stack_max) = num_to_alloc;
1626                 (yy_buffer_stack_top) = 0;
1627                 return;
1628         }
1629
1630         if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1631
1632                 /* Increase the buffer to prepare for a possible push. */
1633                 int grow_size = 8 /* arbitrary grow size */;
1634
1635                 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1636                 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc
1637                                                                 ((yy_buffer_stack),
1638                                                                 num_to_alloc * sizeof(struct yy_buffer_state*)
1639                                                                 );
1640                 if ( ! (yy_buffer_stack) )
1641                         YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1642
1643                 /* zero only the new slots.*/
1644                 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1645                 (yy_buffer_stack_max) = num_to_alloc;
1646         }
1647 }
1648
1649 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1650  * @param base the character buffer
1651  * @param size the size in bytes of the character buffer
1652  *
1653  * @return the newly allocated buffer state object.
1654  */
1655 YY_BUFFER_STATE xbt_automaton_parser__scan_buffer  (char * base, yy_size_t  size )
1656 {
1657         YY_BUFFER_STATE b;
1658
1659         if ( size < 2 ||
1660              base[size-2] != YY_END_OF_BUFFER_CHAR ||
1661              base[size-1] != YY_END_OF_BUFFER_CHAR )
1662                 /* They forgot to leave room for the EOB's. */
1663                 return 0;
1664
1665         b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state )  );
1666         if ( ! b )
1667                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_buffer()" );
1668
1669         b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
1670         b->yy_buf_pos = b->yy_ch_buf = base;
1671         b->yy_is_our_buffer = 0;
1672         b->yy_input_file = 0;
1673         b->yy_n_chars = b->yy_buf_size;
1674         b->yy_is_interactive = 0;
1675         b->yy_at_bol = 1;
1676         b->yy_fill_buffer = 0;
1677         b->yy_buffer_status = YY_BUFFER_NEW;
1678
1679         xbt_automaton_parser__switch_to_buffer(b  );
1680
1681         return b;
1682 }
1683
1684 /** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
1685  * scan from a @e copy of @a str.
1686  * @param yystr a NUL-terminated string to scan
1687  *
1688  * @return the newly allocated buffer state object.
1689  * @note If you want to scan bytes that may contain NUL values, then use
1690  *       xbt_automaton_parser__scan_bytes() instead.
1691  */
1692 YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
1693 {
1694
1695         return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
1696 }
1697
1698 /** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parser_lex() will
1699  * scan from a @e copy of @a bytes.
1700  * @param yybytes the byte buffer to scan
1701  * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1702  *
1703  * @return the newly allocated buffer state object.
1704  */
1705 YY_BUFFER_STATE xbt_automaton_parser__scan_bytes  (yyconst char * yybytes, yy_size_t  _yybytes_len )
1706 {
1707         YY_BUFFER_STATE b;
1708         char *buf;
1709         yy_size_t n;
1710         yy_size_t i;
1711
1712         /* Get memory for full buffer, including space for trailing EOB's. */
1713         n = _yybytes_len + 2;
1714         buf = (char *) xbt_automaton_parser_alloc(n  );
1715         if ( ! buf )
1716                 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_bytes()" );
1717
1718         for ( i = 0; i < _yybytes_len; ++i )
1719                 buf[i] = yybytes[i];
1720
1721         buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1722
1723         b = xbt_automaton_parser__scan_buffer(buf,n );
1724         if ( ! b )
1725                 YY_FATAL_ERROR( "bad buffer in xbt_automaton_parser__scan_bytes()" );
1726
1727         /* It's okay to grow etc. this buffer, and we should throw it
1728          * away when we're done.
1729          */
1730         b->yy_is_our_buffer = 1;
1731
1732         return b;
1733 }
1734
1735 #ifndef YY_EXIT_FAILURE
1736 #define YY_EXIT_FAILURE 2
1737 #endif
1738
1739 static void yy_fatal_error (yyconst char* msg )
1740 {
1741         (void) fprintf( stderr, "%s\n", msg );
1742         exit( YY_EXIT_FAILURE );
1743 }
1744
1745 /* Redefine yyless() so it works in section 3 code. */
1746
1747 #undef yyless
1748 #define yyless(n) \
1749         do \
1750                 { \
1751                 /* Undo effects of setting up xbt_automaton_parser_text. */ \
1752         int yyless_macro_arg = (n); \
1753         YY_LESS_LINENO(yyless_macro_arg);\
1754                 xbt_automaton_parser_text[xbt_automaton_parser_leng] = (yy_hold_char); \
1755                 (yy_c_buf_p) = xbt_automaton_parser_text + yyless_macro_arg; \
1756                 (yy_hold_char) = *(yy_c_buf_p); \
1757                 *(yy_c_buf_p) = '\0'; \
1758                 xbt_automaton_parser_leng = yyless_macro_arg; \
1759                 } \
1760         while ( 0 )
1761
1762 /* Accessor  methods (get/set functions) to struct members. */
1763
1764 /** Get the current line number.
1765  *
1766  */
1767 int xbt_automaton_parser_get_lineno  (void)
1768 {
1769
1770     return xbt_automaton_parser_lineno;
1771 }
1772
1773 /** Get the input stream.
1774  *
1775  */
1776 FILE *xbt_automaton_parser_get_in  (void)
1777 {
1778         return xbt_automaton_parser_in;
1779 }
1780
1781 /** Get the output stream.
1782  *
1783  */
1784 FILE *xbt_automaton_parser_get_out  (void)
1785 {
1786         return xbt_automaton_parser_out;
1787 }
1788
1789 /** Get the length of the current token.
1790  *
1791  */
1792 yy_size_t xbt_automaton_parser_get_leng  (void)
1793 {
1794         return xbt_automaton_parser_leng;
1795 }
1796
1797 /** Get the current token.
1798  *
1799  */
1800
1801 char *xbt_automaton_parser_get_text  (void)
1802 {
1803         return xbt_automaton_parser_text;
1804 }
1805
1806 /** Set the current line number.
1807  * @param line_number
1808  *
1809  */
1810 void xbt_automaton_parser_set_lineno (int  line_number )
1811 {
1812
1813     xbt_automaton_parser_lineno = line_number;
1814 }
1815
1816 /** Set the input stream. This does not discard the current
1817  * input buffer.
1818  * @param in_str A readable stream.
1819  *
1820  * @see xbt_automaton_parser__switch_to_buffer
1821  */
1822 void xbt_automaton_parser_set_in (FILE *  in_str )
1823 {
1824         xbt_automaton_parser_in = in_str ;
1825 }
1826
1827 void xbt_automaton_parser_set_out (FILE *  out_str )
1828 {
1829         xbt_automaton_parser_out = out_str ;
1830 }
1831
1832 int xbt_automaton_parser_get_debug  (void)
1833 {
1834         return xbt_automaton_parser__flex_debug;
1835 }
1836
1837 void xbt_automaton_parser_set_debug (int  bdebug )
1838 {
1839         xbt_automaton_parser__flex_debug = bdebug ;
1840 }
1841
1842 static int yy_init_globals (void)
1843 {
1844         /* Initialization is the same as for the non-reentrant scanner.
1845      * This function is called from xbt_automaton_parser_lex_destroy(), so don't allocate here.
1846      */
1847
1848     (yy_buffer_stack) = 0;
1849     (yy_buffer_stack_top) = 0;
1850     (yy_buffer_stack_max) = 0;
1851     (yy_c_buf_p) = (char *) 0;
1852     (yy_init) = 0;
1853     (yy_start) = 0;
1854
1855 /* Defined in main.c */
1856 #ifdef YY_STDINIT
1857     xbt_automaton_parser_in = stdin;
1858     xbt_automaton_parser_out = stdout;
1859 #else
1860     xbt_automaton_parser_in = (FILE *) 0;
1861     xbt_automaton_parser_out = (FILE *) 0;
1862 #endif
1863
1864     /* For future reference: Set errno on error, since we are called by
1865      * xbt_automaton_parser_lex_init()
1866      */
1867     return 0;
1868 }
1869
1870 /* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
1871 int xbt_automaton_parser_lex_destroy  (void)
1872 {
1873
1874     /* Pop the buffer stack, destroying each element. */
1875         while(YY_CURRENT_BUFFER){
1876                 xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER  );
1877                 YY_CURRENT_BUFFER_LVALUE = NULL;
1878                 xbt_automaton_parser_pop_buffer_state();
1879         }
1880
1881         /* Destroy the stack itself. */
1882         xbt_automaton_parser_free((yy_buffer_stack) );
1883         (yy_buffer_stack) = NULL;
1884
1885     /* Reset the globals. This is important in a non-reentrant scanner so the next time
1886      * xbt_automaton_parser_lex() is called, initialization will occur. */
1887     yy_init_globals( );
1888
1889     return 0;
1890 }
1891
1892 /*
1893  * Internal utility routines.
1894  */
1895
1896 #ifndef yytext_ptr
1897 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1898 {
1899         register int i;
1900         for ( i = 0; i < n; ++i )
1901                 s1[i] = s2[i];
1902 }
1903 #endif
1904
1905 #ifdef YY_NEED_STRLEN
1906 static int yy_flex_strlen (yyconst char * s )
1907 {
1908         register int n;
1909         for ( n = 0; s[n]; ++n )
1910                 ;
1911
1912         return n;
1913 }
1914 #endif
1915
1916 void *xbt_automaton_parser_alloc (yy_size_t  size )
1917 {
1918         return (void *) malloc( size );
1919 }
1920
1921 void *xbt_automaton_parser_realloc  (void * ptr, yy_size_t  size )
1922 {
1923         /* The cast to (char *) in the following accommodates both
1924          * implementations that use char* generic pointers, and those
1925          * that use void* generic pointers.  It works with the latter
1926          * because both ANSI C and C++ allow castless assignment from
1927          * any pointer type to void*, and deal with argument conversions
1928          * as though doing an assignment.
1929          */
1930         return (void *) realloc( (char *) ptr, size );
1931 }
1932
1933 void xbt_automaton_parser_free (void * ptr )
1934 {
1935         free( (char *) ptr );   /* see xbt_automaton_parser_realloc() for (char *) cast */
1936 }
1937
1938 #define YYTABLES_NAME "yytables"
1939
1940 #line 76 "parserPromela.lex"
1941
1942
1943
1944
1945