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