1 #line 2 "automaton_lexer.yy.c"
3 #line 4 "automaton_lexer.yy.c"
5 #define YY_INT_ALIGNED short int
7 /* A lexical scanner generated by flex */
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
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
36 /* First, we deal with platform-specific or compiler-specific issues. */
38 /* begin standard C headers. */
44 /* end standard C headers. */
46 /* flex integer type definitions */
51 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
55 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
56 * if you want the limit (max/min) macros for int types.
58 #ifndef __STDC_LIMIT_MACROS
59 #define __STDC_LIMIT_MACROS 1
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;
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;
77 /* Limits of integral types. */
79 #define INT8_MIN (-128)
82 #define INT16_MIN (-32767-1)
85 #define INT32_MIN (-2147483647-1)
88 #define INT8_MAX (127)
91 #define INT16_MAX (32767)
94 #define INT32_MAX (2147483647)
97 #define UINT8_MAX (255U)
100 #define UINT16_MAX (65535U)
103 #define UINT32_MAX (4294967295U)
108 #endif /* ! FLEXINT_H */
112 /* The "const" storage-class-modifier is valid. */
115 #else /* ! __cplusplus */
117 /* C99 requires __STDC__ to be defined as 1. */
118 #if defined (__STDC__)
122 #endif /* defined (__STDC__) */
123 #endif /* ! __cplusplus */
126 #define yyconst const
131 /* Returned upon end-of-file. */
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
139 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
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.
145 #define BEGIN (yy_start) = 1 + 2 *
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
151 #define YY_START (((yy_start) - 1) / 2)
152 #define YYSTATE YY_START
154 /* Action number for EOF rule of a given start state. */
155 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
157 /* Special action meaning "start processing a new file". */
158 #define YY_NEW_FILE xbt_automaton_parser_restart(xbt_automaton_parser_in )
160 #define YY_END_OF_BUFFER_CHAR 0
162 /* Size of default input buffer. */
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.
169 #define YY_BUF_SIZE 32768
171 #define YY_BUF_SIZE 16384
172 #endif /* __ia64__ */
175 /* The state buf must be large enough to hold one state per character in the main buffer.
177 #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
179 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
180 #define YY_TYPEDEF_YY_BUFFER_STATE
181 typedef struct yy_buffer_state *YY_BUFFER_STATE;
184 #ifndef YY_TYPEDEF_YY_SIZE_T
185 #define YY_TYPEDEF_YY_SIZE_T
186 typedef size_t yy_size_t;
189 extern yy_size_t xbt_automaton_parser_leng;
191 extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out;
193 #define EOB_ACT_CONTINUE_SCAN 0
194 #define EOB_ACT_END_OF_FILE 1
195 #define EOB_ACT_LAST_MATCH 2
197 #define YY_LESS_LINENO(n)
198 #define YY_LINENO_REWIND_TO(ptr)
200 /* Return all but the first "n" matched characters back to the input stream. */
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 */ \
214 #define unput(c) yyunput( c, (yytext_ptr) )
216 #ifndef YY_STRUCT_YY_BUFFER_STATE
217 #define YY_STRUCT_YY_BUFFER_STATE
218 struct yy_buffer_state
222 char *yy_ch_buf; /* input buffer */
223 char *yy_buf_pos; /* current position in input buffer */
225 /* Size of input buffer in bytes, not including room for EOB
228 yy_size_t yy_buf_size;
230 /* Number of characters read into yy_ch_buf, not including EOB
233 yy_size_t yy_n_chars;
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
239 int yy_is_our_buffer;
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
246 int yy_is_interactive;
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
254 int yy_bs_lineno; /**< The line count. */
255 int yy_bs_column; /**< The column count. */
257 /* Whether to try to fill the input buffer when we reach the
262 int yy_buffer_status;
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.
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.
276 #define YY_BUFFER_EOF_PENDING 2
279 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
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. */
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
290 * Returns the top of the stack, or NULL.
292 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
293 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
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.
299 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
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;
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 */
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 ...
314 static int yy_did_buffer_switch_on_eof;
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 );
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 );
328 #define YY_FLUSH_BUFFER xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER )
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 );
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 * );
338 #define yy_new_buffer xbt_automaton_parser__create_buffer
340 #define yy_set_interactive(is_interactive) \
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 ); \
347 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
350 #define yy_set_bol(at_bol) \
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 ); \
357 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
360 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
362 /* Begin user sect3 */
364 #define xbt_automaton_parser_wrap() 1
365 #define YY_SKIP_YYWRAP
367 typedef unsigned char YY_CHAR;
369 FILE *xbt_automaton_parser_in = (FILE *) 0, *xbt_automaton_parser_out = (FILE *) 0;
371 typedef int yy_state_type;
373 extern int xbt_automaton_parser_lineno;
375 int xbt_automaton_parser_lineno = 1;
377 extern char *xbt_automaton_parser_text;
378 #define yytext_ptr xbt_automaton_parser_text
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[] );
385 /* Done after the current pattern has been matched and before the
386 * corresponding action - sets up xbt_automaton_parser_text.
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; \
393 (yy_c_buf_p) = yy_cp;
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. */
401 flex_int32_t yy_verify;
404 static yyconst flex_int16_t yy_accept[54] =
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,
414 static yyconst flex_int32_t yy_ec[256] =
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,
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,
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,
446 static yyconst flex_int32_t yy_meta[34] =
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,
454 static yyconst flex_int16_t yy_base[57] =
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
464 static yyconst flex_int16_t yy_def[57] =
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
474 static yyconst flex_int16_t yy_nxt[124] =
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,
487 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
488 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
492 static yyconst flex_int16_t yy_chk[124] =
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,
505 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
506 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
510 static yy_state_type yy_last_accepting_state;
511 static char *yy_last_accepting_cpos;
513 extern int xbt_automaton_parser__flex_debug;
514 int xbt_automaton_parser__flex_debug = 0;
516 /* The intent behind this definition is that it'll catch
517 * any uses of REJECT which flex missed.
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"
531 #include "simgrid_config.h"
532 #ifndef HAVE_UNISTD_H
533 #define YY_NO_UNISTD_H /* hello Windows */
537 # include <process.h>
538 # define _CRT_SECURE_NO_WARNINGS
539 # define _CRT_NONSTDC_NO_WARNINGS
544 #include "parserPromela.tab.hacc"
546 extern YYSTYPE yylval;
548 #line 549 "automaton_lexer.yy.c"
552 #ifndef YY_NO_UNISTD_H
553 /* Special case for "unistd.h", since it is non-ANSI. We include it way
554 * down here because we want the user's section 1 to have been scanned first.
555 * The user has a chance to override it with an option.
560 #ifndef YY_EXTRA_TYPE
561 #define YY_EXTRA_TYPE void *
564 static int yy_init_globals (void );
566 /* Accessor methods to globals.
567 These are made visible to non-reentrant scanners for convenience. */
569 int xbt_automaton_parser_lex_destroy (void );
571 int xbt_automaton_parser_get_debug (void );
573 void xbt_automaton_parser_set_debug (int debug_flag );
575 YY_EXTRA_TYPE xbt_automaton_parser_get_extra (void );
577 void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined );
579 FILE *xbt_automaton_parser_get_in (void );
581 void xbt_automaton_parser_set_in (FILE * in_str );
583 FILE *xbt_automaton_parser_get_out (void );
585 void xbt_automaton_parser_set_out (FILE * out_str );
587 yy_size_t xbt_automaton_parser_get_leng (void );
589 char *xbt_automaton_parser_get_text (void );
591 int xbt_automaton_parser_get_lineno (void );
593 void xbt_automaton_parser_set_lineno (int line_number );
595 /* Macros after this point can all be overridden by user definitions in
599 #ifndef YY_SKIP_YYWRAP
601 extern "C" int xbt_automaton_parser_wrap (void );
603 extern int xbt_automaton_parser_wrap (void );
607 static void yyunput (int c,char *buf_ptr );
610 static void yy_flex_strncpy (char *,yyconst char *,int );
613 #ifdef YY_NEED_STRLEN
614 static int yy_flex_strlen (yyconst char * );
620 static int yyinput (void );
622 static int input (void );
627 /* Amount of stuff to slurp up with each read. */
628 #ifndef YY_READ_BUF_SIZE
630 /* On IA-64, the buffer size is 16k, not 8k */
631 #define YY_READ_BUF_SIZE 16384
633 #define YY_READ_BUF_SIZE 8192
634 #endif /* __ia64__ */
637 /* Copy whatever the last rule matched to the standard output. */
639 /* This used to be an fputs(), but since the string might contain NUL's,
640 * we now use fwrite().
642 #define ECHO do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0)
645 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
646 * is returned in "result".
649 #define YY_INPUT(buf,result,max_size) \
650 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
654 for ( n = 0; n < max_size && \
655 (c = getc( xbt_automaton_parser_in )) != EOF && c != '\n'; ++n ) \
658 buf[n++] = (char) c; \
659 if ( c == EOF && ferror( xbt_automaton_parser_in ) ) \
660 YY_FATAL_ERROR( "input in flex scanner failed" ); \
666 while ( (result = fread(buf, 1, max_size, xbt_automaton_parser_in))==0 && ferror(xbt_automaton_parser_in)) \
668 if( errno != EINTR) \
670 YY_FATAL_ERROR( "input in flex scanner failed" ); \
674 clearerr(xbt_automaton_parser_in); \
681 /* No semi-colon after return; correct usage is to write "yyterminate();" -
682 * we don't want an extra ';' after the "return" because that will cause
683 * some compilers to complain about unreachable statements.
686 #define yyterminate() return YY_NULL
689 /* Number of entries by which start-condition stack grows. */
690 #ifndef YY_START_STACK_INCR
691 #define YY_START_STACK_INCR 25
694 /* Report a fatal error. */
695 #ifndef YY_FATAL_ERROR
696 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
699 /* end tables serialization structures and prototypes */
701 /* Default declaration of generated scanner - a define so the user can
702 * easily add parameters.
705 #define YY_DECL_IS_OURS 1
707 extern int xbt_automaton_parser_lex (void);
709 #define YY_DECL int xbt_automaton_parser_lex (void)
710 #endif /* !YY_DECL */
712 /* Code executed at the beginning of each rule, after xbt_automaton_parser_text and xbt_automaton_parser_leng
715 #ifndef YY_USER_ACTION
716 #define YY_USER_ACTION
719 /* Code executed at the end of each rule. */
721 #define YY_BREAK break;
724 #define YY_RULE_SETUP \
727 /** The main scanner function which does all the work.
731 register yy_state_type yy_current_state;
732 register char *yy_cp, *yy_bp;
744 (yy_start) = 1; /* first start state */
746 if ( ! xbt_automaton_parser_in )
747 xbt_automaton_parser_in = stdin;
749 if ( ! xbt_automaton_parser_out )
750 xbt_automaton_parser_out = stdout;
752 if ( ! YY_CURRENT_BUFFER ) {
753 xbt_automaton_parser_ensure_buffer_stack ();
754 YY_CURRENT_BUFFER_LVALUE =
755 xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
758 xbt_automaton_parser__load_buffer_state( );
762 #line 45 "parserPromela.lex"
765 #line 766 "automaton_lexer.yy.c"
767 while ( 1 ) /* loops until end-of-file is reached */
769 yy_cp = (yy_c_buf_p);
771 /* Support of xbt_automaton_parser_text. */
772 *yy_cp = (yy_hold_char);
774 /* yy_bp points to the position in yy_ch_buf of the start of
779 yy_current_state = (yy_start);
783 register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
784 if ( yy_accept[yy_current_state] )
786 (yy_last_accepting_state) = yy_current_state;
787 (yy_last_accepting_cpos) = yy_cp;
789 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
791 yy_current_state = (int) yy_def[yy_current_state];
792 if ( yy_current_state >= 54 )
793 yy_c = yy_meta[(unsigned int) yy_c];
795 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
798 while ( yy_base[yy_current_state] != 90 );
801 yy_act = yy_accept[yy_current_state];
803 { /* have to back up */
804 yy_cp = (yy_last_accepting_cpos);
805 yy_current_state = (yy_last_accepting_state);
806 yy_act = yy_accept[yy_current_state];
811 do_action: /* This label is used only to access EOF actions. */
814 { /* beginning of action switch */
815 case 0: /* must back up */
816 /* undo the effects of YY_DO_BEFORE_ACTION */
817 *yy_cp = (yy_hold_char);
818 yy_cp = (yy_last_accepting_cpos);
819 yy_current_state = (yy_last_accepting_state);
824 #line 47 "parserPromela.lex"
829 #line 48 "parserPromela.lex"
834 #line 49 "parserPromela.lex"
839 #line 50 "parserPromela.lex"
840 { return (IMPLIES); }
844 #line 51 "parserPromela.lex"
849 #line 52 "parserPromela.lex"
854 #line 53 "parserPromela.lex"
859 #line 54 "parserPromela.lex"
864 #line 55 "parserPromela.lex"
865 { return (LEFT_PAR); }
869 #line 56 "parserPromela.lex"
870 { return (RIGHT_PAR); }
874 #line 57 "parserPromela.lex"
879 #line 58 "parserPromela.lex"
884 #line 59 "parserPromela.lex"
885 { return (SEMI_COLON); }
889 #line 60 "parserPromela.lex"
890 { return (CASE_TRUE); }
894 #line 61 "parserPromela.lex"
895 { return (LEFT_BRACE); }
899 #line 62 "parserPromela.lex"
900 { return (RIGHT_BRACE); }
903 /* rule 17 can match eol */
905 #line 65 "parserPromela.lex"
910 #line 67 "parserPromela.lex"
915 #line 70 "parserPromela.lex"
916 { sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
917 return (LITT_REEL); }
921 #line 73 "parserPromela.lex"
922 { sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
926 /* rule 21 can match eol */
928 #line 76 "parserPromela.lex"
929 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
930 sscanf(xbt_automaton_parser_text,"%s",yylval.string);
931 return (LITT_CHAINE); }
935 #line 80 "parserPromela.lex"
936 { yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
937 sscanf(xbt_automaton_parser_text,"%s",yylval.string);
941 /* rule 23 can match eol */
943 #line 84 "parserPromela.lex"
948 #line 86 "parserPromela.lex"
953 #line 88 "parserPromela.lex"
956 #line 957 "automaton_lexer.yy.c"
957 case YY_STATE_EOF(INITIAL):
960 case YY_END_OF_BUFFER:
962 /* Amount of text matched not including the EOB char. */
963 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
965 /* Undo the effects of YY_DO_BEFORE_ACTION. */
966 *yy_cp = (yy_hold_char);
967 YY_RESTORE_YY_MORE_OFFSET
969 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
971 /* We're scanning a new file or input source. It's
972 * possible that this happened because the user
973 * just pointed xbt_automaton_parser_in at a new source and called
974 * xbt_automaton_parser_lex(). If so, then we have to assure
975 * consistency between YY_CURRENT_BUFFER and our
976 * globals. Here is the right place to do so, because
977 * this is the first action (other than possibly a
978 * back-up) that will match for the new input source.
980 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
981 YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_automaton_parser_in;
982 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
985 /* Note that here we test for yy_c_buf_p "<=" to the position
986 * of the first EOB in the buffer, since yy_c_buf_p will
987 * already have been incremented past the NUL character
988 * (since all states make transitions on EOB to the
989 * end-of-buffer state). Contrast this with the test
992 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
993 { /* This was really a NUL. */
994 yy_state_type yy_next_state;
996 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
998 yy_current_state = yy_get_previous_state( );
1000 /* Okay, we're now positioned to make the NUL
1001 * transition. We couldn't have
1002 * yy_get_previous_state() go ahead and do it
1003 * for us because it doesn't know how to deal
1004 * with the possibility of jamming (and we don't
1005 * want to build jamming into it because then it
1006 * will run more slowly).
1009 yy_next_state = yy_try_NUL_trans( yy_current_state );
1011 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1013 if ( yy_next_state )
1015 /* Consume the NUL. */
1016 yy_cp = ++(yy_c_buf_p);
1017 yy_current_state = yy_next_state;
1023 yy_cp = (yy_c_buf_p);
1024 goto yy_find_action;
1028 else switch ( yy_get_next_buffer( ) )
1030 case EOB_ACT_END_OF_FILE:
1032 (yy_did_buffer_switch_on_eof) = 0;
1034 if ( xbt_automaton_parser_wrap( ) )
1036 /* Note: because we've taken care in
1037 * yy_get_next_buffer() to have set up
1038 * xbt_automaton_parser_text, we can now set up
1039 * yy_c_buf_p so that if some total
1040 * hoser (like flex itself) wants to
1041 * call the scanner after we return the
1042 * YY_NULL, it'll still work - another
1043 * YY_NULL will get returned.
1045 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1047 yy_act = YY_STATE_EOF(YY_START);
1053 if ( ! (yy_did_buffer_switch_on_eof) )
1059 case EOB_ACT_CONTINUE_SCAN:
1061 (yytext_ptr) + yy_amount_of_matched_text;
1063 yy_current_state = yy_get_previous_state( );
1065 yy_cp = (yy_c_buf_p);
1066 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1069 case EOB_ACT_LAST_MATCH:
1071 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1073 yy_current_state = yy_get_previous_state( );
1075 yy_cp = (yy_c_buf_p);
1076 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1077 goto yy_find_action;
1084 "fatal flex scanner internal error--no action found" );
1085 } /* end of action switch */
1086 } /* end of scanning one token */
1087 } /* end of user's declarations */
1088 } /* end of xbt_automaton_parser_lex */
1090 /* yy_get_next_buffer - try to read in a new buffer
1092 * Returns a code representing an action:
1093 * EOB_ACT_LAST_MATCH -
1094 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1095 * EOB_ACT_END_OF_FILE - end of file
1097 static int yy_get_next_buffer (void)
1099 register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1100 register char *source = (yytext_ptr);
1101 register int number_to_move, i;
1104 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1106 "fatal flex scanner internal error--end of buffer missed" );
1108 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1109 { /* Don't try to fill the buffer, so this is an EOF. */
1110 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1112 /* We matched a single character, the EOB, so
1113 * treat this as a final EOF.
1115 return EOB_ACT_END_OF_FILE;
1120 /* We matched some text prior to the EOB, first
1123 return EOB_ACT_LAST_MATCH;
1127 /* Try to read more data. */
1129 /* First move last chars to start of buffer. */
1130 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1132 for ( i = 0; i < number_to_move; ++i )
1133 *(dest++) = *(source++);
1135 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1136 /* don't do the read, it's not guaranteed to return an EOF,
1139 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1143 yy_size_t num_to_read =
1144 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1146 while ( num_to_read <= 0 )
1147 { /* Not enough room in the buffer - grow it. */
1149 /* just a shorter name for the current buffer */
1150 YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
1152 int yy_c_buf_p_offset =
1153 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1155 if ( b->yy_is_our_buffer )
1157 yy_size_t new_size = b->yy_buf_size * 2;
1159 if ( new_size <= 0 )
1160 b->yy_buf_size += b->yy_buf_size / 8;
1162 b->yy_buf_size *= 2;
1164 b->yy_ch_buf = (char *)
1165 /* Include room in for 2 EOB chars. */
1166 xbt_automaton_parser_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
1169 /* Can't grow it, we don't own it. */
1172 if ( ! b->yy_ch_buf )
1174 "fatal error - scanner input buffer overflow" );
1176 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1178 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1183 if ( num_to_read > YY_READ_BUF_SIZE )
1184 num_to_read = YY_READ_BUF_SIZE;
1186 /* Read in more data. */
1187 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1188 (yy_n_chars), num_to_read );
1190 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1193 if ( (yy_n_chars) == 0 )
1195 if ( number_to_move == YY_MORE_ADJ )
1197 ret_val = EOB_ACT_END_OF_FILE;
1198 xbt_automaton_parser_restart(xbt_automaton_parser_in );
1203 ret_val = EOB_ACT_LAST_MATCH;
1204 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1205 YY_BUFFER_EOF_PENDING;
1210 ret_val = EOB_ACT_CONTINUE_SCAN;
1212 if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1213 /* Extend the array by 50%, plus the number we really need. */
1214 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1215 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
1216 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1217 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1220 (yy_n_chars) += number_to_move;
1221 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1222 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1224 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1229 /* yy_get_previous_state - get the state just before the EOB char was reached */
1231 static yy_state_type yy_get_previous_state (void)
1233 register yy_state_type yy_current_state;
1234 register char *yy_cp;
1236 yy_current_state = (yy_start);
1238 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1240 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1241 if ( yy_accept[yy_current_state] )
1243 (yy_last_accepting_state) = yy_current_state;
1244 (yy_last_accepting_cpos) = yy_cp;
1246 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1248 yy_current_state = (int) yy_def[yy_current_state];
1249 if ( yy_current_state >= 54 )
1250 yy_c = yy_meta[(unsigned int) yy_c];
1252 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1255 return yy_current_state;
1258 /* yy_try_NUL_trans - try to make a transition on the NUL character
1261 * next_state = yy_try_NUL_trans( current_state );
1263 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1265 register int yy_is_jam;
1266 register char *yy_cp = (yy_c_buf_p);
1268 register YY_CHAR yy_c = 1;
1269 if ( yy_accept[yy_current_state] )
1271 (yy_last_accepting_state) = yy_current_state;
1272 (yy_last_accepting_cpos) = yy_cp;
1274 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1276 yy_current_state = (int) yy_def[yy_current_state];
1277 if ( yy_current_state >= 54 )
1278 yy_c = yy_meta[(unsigned int) yy_c];
1280 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1281 yy_is_jam = (yy_current_state == 53);
1283 return yy_is_jam ? 0 : yy_current_state;
1286 static void yyunput (int c, register char * yy_bp )
1288 register char *yy_cp;
1290 yy_cp = (yy_c_buf_p);
1292 /* undo effects of setting up xbt_automaton_parser_text */
1293 *yy_cp = (yy_hold_char);
1295 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1296 { /* need to shift things up to make room */
1297 /* +2 for EOB chars. */
1298 register yy_size_t number_to_move = (yy_n_chars) + 2;
1299 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1300 YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1301 register char *source =
1302 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1304 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1305 *--dest = *--source;
1307 yy_cp += (int) (dest - source);
1308 yy_bp += (int) (dest - source);
1309 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1310 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1312 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1313 YY_FATAL_ERROR( "flex scanner push-back overflow" );
1316 *--yy_cp = (char) c;
1318 (yytext_ptr) = yy_bp;
1319 (yy_hold_char) = *yy_cp;
1320 (yy_c_buf_p) = yy_cp;
1325 static int yyinput (void)
1327 static int input (void)
1333 *(yy_c_buf_p) = (yy_hold_char);
1335 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1337 /* yy_c_buf_p now points to the character we want to return.
1338 * If this occurs *before* the EOB characters, then it's a
1339 * valid NUL; if not, then we've hit the end of the buffer.
1341 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1342 /* This was really a NUL. */
1343 *(yy_c_buf_p) = '\0';
1346 { /* need more input */
1347 yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
1350 switch ( yy_get_next_buffer( ) )
1352 case EOB_ACT_LAST_MATCH:
1353 /* This happens because yy_g_n_b()
1354 * sees that we've accumulated a
1355 * token and flags that we need to
1356 * try matching the token before
1357 * proceeding. But for input(),
1358 * there's no matching to consider.
1359 * So convert the EOB_ACT_LAST_MATCH
1360 * to EOB_ACT_END_OF_FILE.
1363 /* Reset buffer status. */
1364 xbt_automaton_parser_restart(xbt_automaton_parser_in );
1368 case EOB_ACT_END_OF_FILE:
1370 if ( xbt_automaton_parser_wrap( ) )
1373 if ( ! (yy_did_buffer_switch_on_eof) )
1382 case EOB_ACT_CONTINUE_SCAN:
1383 (yy_c_buf_p) = (yytext_ptr) + offset;
1389 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1390 *(yy_c_buf_p) = '\0'; /* preserve xbt_automaton_parser_text */
1391 (yy_hold_char) = *++(yy_c_buf_p);
1395 #endif /* ifndef YY_NO_INPUT */
1397 /** Immediately switch to a different input stream.
1398 * @param input_file A readable stream.
1400 * @note This function does not reset the start condition to @c INITIAL .
1402 void xbt_automaton_parser_restart (FILE * input_file )
1405 if ( ! YY_CURRENT_BUFFER ){
1406 xbt_automaton_parser_ensure_buffer_stack ();
1407 YY_CURRENT_BUFFER_LVALUE =
1408 xbt_automaton_parser__create_buffer(xbt_automaton_parser_in,YY_BUF_SIZE );
1411 xbt_automaton_parser__init_buffer(YY_CURRENT_BUFFER,input_file );
1412 xbt_automaton_parser__load_buffer_state( );
1415 /** Switch to a different input buffer.
1416 * @param new_buffer The new input buffer.
1419 void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer )
1422 /* TODO. We should be able to replace this entire function body
1424 * xbt_automaton_parser_pop_buffer_state();
1425 * xbt_automaton_parser_push_buffer_state(new_buffer);
1427 xbt_automaton_parser_ensure_buffer_stack ();
1428 if ( YY_CURRENT_BUFFER == new_buffer )
1431 if ( YY_CURRENT_BUFFER )
1433 /* Flush out information for old buffer. */
1434 *(yy_c_buf_p) = (yy_hold_char);
1435 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1436 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1439 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1440 xbt_automaton_parser__load_buffer_state( );
1442 /* We don't actually know whether we did this switch during
1443 * EOF (xbt_automaton_parser_wrap()) processing, but the only time this flag
1444 * is looked at is after xbt_automaton_parser_wrap() is called, so it's safe
1445 * to go ahead and always set it.
1447 (yy_did_buffer_switch_on_eof) = 1;
1450 static void xbt_automaton_parser__load_buffer_state (void)
1452 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1453 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1454 xbt_automaton_parser_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1455 (yy_hold_char) = *(yy_c_buf_p);
1458 /** Allocate and initialize an input buffer state.
1459 * @param file A readable stream.
1460 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1462 * @return the allocated buffer state.
1464 YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE * file, int size )
1468 b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) );
1470 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1472 b->yy_buf_size = size;
1474 /* yy_ch_buf has to be 2 characters longer than the size given because
1475 * we need to put in 2 end-of-buffer characters.
1477 b->yy_ch_buf = (char *) xbt_automaton_parser_alloc(b->yy_buf_size + 2 );
1478 if ( ! b->yy_ch_buf )
1479 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
1481 b->yy_is_our_buffer = 1;
1483 xbt_automaton_parser__init_buffer(b,file );
1488 /** Destroy the buffer.
1489 * @param b a buffer created with xbt_automaton_parser__create_buffer()
1492 void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b )
1498 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1499 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1501 if ( b->yy_is_our_buffer )
1502 xbt_automaton_parser_free((void *) b->yy_ch_buf );
1504 xbt_automaton_parser_free((void *) b );
1507 /* Initializes or reinitializes a buffer.
1508 * This function is sometimes called more than once on the same buffer,
1509 * such as during a xbt_automaton_parser_restart() or at EOF.
1511 static void xbt_automaton_parser__init_buffer (YY_BUFFER_STATE b, FILE * file )
1516 xbt_automaton_parser__flush_buffer(b );
1518 b->yy_input_file = file;
1519 b->yy_fill_buffer = 1;
1521 /* If b is the current buffer, then xbt_automaton_parser__init_buffer was _probably_
1522 * called from xbt_automaton_parser_restart() or through yy_get_next_buffer.
1523 * In that case, we don't want to reset the lineno or column.
1525 if (b != YY_CURRENT_BUFFER){
1526 b->yy_bs_lineno = 1;
1527 b->yy_bs_column = 0;
1530 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1535 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1536 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1539 void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b )
1546 /* We always need two end-of-buffer characters. The first causes
1547 * a transition to the end-of-buffer state. The second causes
1548 * a jam in that state.
1550 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1551 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1553 b->yy_buf_pos = &b->yy_ch_buf[0];
1556 b->yy_buffer_status = YY_BUFFER_NEW;
1558 if ( b == YY_CURRENT_BUFFER )
1559 xbt_automaton_parser__load_buffer_state( );
1562 /** Pushes the new state onto the stack. The new state becomes
1563 * the current state. This function will allocate the stack
1565 * @param new_buffer The new state.
1568 void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
1570 if (new_buffer == NULL)
1573 xbt_automaton_parser_ensure_buffer_stack();
1575 /* This block is copied from xbt_automaton_parser__switch_to_buffer. */
1576 if ( YY_CURRENT_BUFFER )
1578 /* Flush out information for old buffer. */
1579 *(yy_c_buf_p) = (yy_hold_char);
1580 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1581 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1584 /* Only push if top exists. Otherwise, replace top. */
1585 if (YY_CURRENT_BUFFER)
1586 (yy_buffer_stack_top)++;
1587 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1589 /* copied from xbt_automaton_parser__switch_to_buffer. */
1590 xbt_automaton_parser__load_buffer_state( );
1591 (yy_did_buffer_switch_on_eof) = 1;
1594 /** Removes and deletes the top of the stack, if present.
1595 * The next element becomes the new top.
1598 void xbt_automaton_parser_pop_buffer_state (void)
1600 if (!YY_CURRENT_BUFFER)
1603 xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
1604 YY_CURRENT_BUFFER_LVALUE = NULL;
1605 if ((yy_buffer_stack_top) > 0)
1606 --(yy_buffer_stack_top);
1608 if (YY_CURRENT_BUFFER) {
1609 xbt_automaton_parser__load_buffer_state( );
1610 (yy_did_buffer_switch_on_eof) = 1;
1614 /* Allocates the stack if it does not exist.
1615 * Guarantees space for at least one push.
1617 static void xbt_automaton_parser_ensure_buffer_stack (void)
1619 yy_size_t num_to_alloc;
1621 if (!(yy_buffer_stack)) {
1623 /* First allocation is just for 2 elements, since we don't know if this
1624 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1625 * immediate realloc on the next call.
1628 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc
1629 (num_to_alloc * sizeof(struct yy_buffer_state*)
1631 if ( ! (yy_buffer_stack) )
1632 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1634 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1636 (yy_buffer_stack_max) = num_to_alloc;
1637 (yy_buffer_stack_top) = 0;
1641 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1643 /* Increase the buffer to prepare for a possible push. */
1644 int grow_size = 8 /* arbitrary grow size */;
1646 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1647 (yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc
1649 num_to_alloc * sizeof(struct yy_buffer_state*)
1651 if ( ! (yy_buffer_stack) )
1652 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
1654 /* zero only the new slots.*/
1655 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1656 (yy_buffer_stack_max) = num_to_alloc;
1660 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1661 * @param base the character buffer
1662 * @param size the size in bytes of the character buffer
1664 * @return the newly allocated buffer state object.
1666 YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size )
1671 base[size-2] != YY_END_OF_BUFFER_CHAR ||
1672 base[size-1] != YY_END_OF_BUFFER_CHAR )
1673 /* They forgot to leave room for the EOB's. */
1676 b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) );
1678 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_buffer()" );
1680 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1681 b->yy_buf_pos = b->yy_ch_buf = base;
1682 b->yy_is_our_buffer = 0;
1683 b->yy_input_file = 0;
1684 b->yy_n_chars = b->yy_buf_size;
1685 b->yy_is_interactive = 0;
1687 b->yy_fill_buffer = 0;
1688 b->yy_buffer_status = YY_BUFFER_NEW;
1690 xbt_automaton_parser__switch_to_buffer(b );
1695 /** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
1696 * scan from a @e copy of @a str.
1697 * @param yystr a NUL-terminated string to scan
1699 * @return the newly allocated buffer state object.
1700 * @note If you want to scan bytes that may contain NUL values, then use
1701 * xbt_automaton_parser__scan_bytes() instead.
1703 YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
1706 return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
1709 /** Setup the input buffer state to scan the given bytes. The next call to xbt_automaton_parser_lex() will
1710 * scan from a @e copy of @a bytes.
1711 * @param yybytes the byte buffer to scan
1712 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1714 * @return the newly allocated buffer state object.
1716 YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
1723 /* Get memory for full buffer, including space for trailing EOB's. */
1724 n = _yybytes_len + 2;
1725 buf = (char *) xbt_automaton_parser_alloc(n );
1727 YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__scan_bytes()" );
1729 for ( i = 0; i < _yybytes_len; ++i )
1730 buf[i] = yybytes[i];
1732 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1734 b = xbt_automaton_parser__scan_buffer(buf,n );
1736 YY_FATAL_ERROR( "bad buffer in xbt_automaton_parser__scan_bytes()" );
1738 /* It's okay to grow etc. this buffer, and we should throw it
1739 * away when we're done.
1741 b->yy_is_our_buffer = 1;
1746 #ifndef YY_EXIT_FAILURE
1747 #define YY_EXIT_FAILURE 2
1750 static void yy_fatal_error (yyconst char* msg )
1752 (void) fprintf( stderr, "%s\n", msg );
1753 exit( YY_EXIT_FAILURE );
1756 /* Redefine yyless() so it works in section 3 code. */
1762 /* Undo effects of setting up xbt_automaton_parser_text. */ \
1763 int yyless_macro_arg = (n); \
1764 YY_LESS_LINENO(yyless_macro_arg);\
1765 xbt_automaton_parser_text[xbt_automaton_parser_leng] = (yy_hold_char); \
1766 (yy_c_buf_p) = xbt_automaton_parser_text + yyless_macro_arg; \
1767 (yy_hold_char) = *(yy_c_buf_p); \
1768 *(yy_c_buf_p) = '\0'; \
1769 xbt_automaton_parser_leng = yyless_macro_arg; \
1773 /* Accessor methods (get/set functions) to struct members. */
1775 /** Get the current line number.
1778 int xbt_automaton_parser_get_lineno (void)
1781 return xbt_automaton_parser_lineno;
1784 /** Get the input stream.
1787 FILE *xbt_automaton_parser_get_in (void)
1789 return xbt_automaton_parser_in;
1792 /** Get the output stream.
1795 FILE *xbt_automaton_parser_get_out (void)
1797 return xbt_automaton_parser_out;
1800 /** Get the length of the current token.
1803 yy_size_t xbt_automaton_parser_get_leng (void)
1805 return xbt_automaton_parser_leng;
1808 /** Get the current token.
1812 char *xbt_automaton_parser_get_text (void)
1814 return xbt_automaton_parser_text;
1817 /** Set the current line number.
1818 * @param line_number
1821 void xbt_automaton_parser_set_lineno (int line_number )
1824 xbt_automaton_parser_lineno = line_number;
1827 /** Set the input stream. This does not discard the current
1829 * @param in_str A readable stream.
1831 * @see xbt_automaton_parser__switch_to_buffer
1833 void xbt_automaton_parser_set_in (FILE * in_str )
1835 xbt_automaton_parser_in = in_str ;
1838 void xbt_automaton_parser_set_out (FILE * out_str )
1840 xbt_automaton_parser_out = out_str ;
1843 int xbt_automaton_parser_get_debug (void)
1845 return xbt_automaton_parser__flex_debug;
1848 void xbt_automaton_parser_set_debug (int bdebug )
1850 xbt_automaton_parser__flex_debug = bdebug ;
1853 static int yy_init_globals (void)
1855 /* Initialization is the same as for the non-reentrant scanner.
1856 * This function is called from xbt_automaton_parser_lex_destroy(), so don't allocate here.
1859 (yy_buffer_stack) = 0;
1860 (yy_buffer_stack_top) = 0;
1861 (yy_buffer_stack_max) = 0;
1862 (yy_c_buf_p) = (char *) 0;
1866 /* Defined in main.c */
1868 xbt_automaton_parser_in = stdin;
1869 xbt_automaton_parser_out = stdout;
1871 xbt_automaton_parser_in = (FILE *) 0;
1872 xbt_automaton_parser_out = (FILE *) 0;
1875 /* For future reference: Set errno on error, since we are called by
1876 * xbt_automaton_parser_lex_init()
1881 /* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
1882 int xbt_automaton_parser_lex_destroy (void)
1885 /* Pop the buffer stack, destroying each element. */
1886 while(YY_CURRENT_BUFFER){
1887 xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
1888 YY_CURRENT_BUFFER_LVALUE = NULL;
1889 xbt_automaton_parser_pop_buffer_state();
1892 /* Destroy the stack itself. */
1893 xbt_automaton_parser_free((yy_buffer_stack) );
1894 (yy_buffer_stack) = NULL;
1896 /* Reset the globals. This is important in a non-reentrant scanner so the next time
1897 * xbt_automaton_parser_lex() is called, initialization will occur. */
1904 * Internal utility routines.
1908 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1911 for ( i = 0; i < n; ++i )
1916 #ifdef YY_NEED_STRLEN
1917 static int yy_flex_strlen (yyconst char * s )
1920 for ( n = 0; s[n]; ++n )
1927 void *xbt_automaton_parser_alloc (yy_size_t size )
1929 return (void *) malloc( size );
1932 void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size )
1934 /* The cast to (char *) in the following accommodates both
1935 * implementations that use char* generic pointers, and those
1936 * that use void* generic pointers. It works with the latter
1937 * because both ANSI C and C++ allow castless assignment from
1938 * any pointer type to void*, and deal with argument conversions
1939 * as though doing an assignment.
1941 return (void *) realloc( (char *) ptr, size );
1944 void xbt_automaton_parser_free (void * ptr )
1946 free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */
1949 #define YYTABLES_NAME "yytables"
1951 #line 87 "parserPromela.lex"