+++ /dev/null
-
-#line 3 "src/xbt/graphxml.c"
-
-#define YY_INT_ALIGNED short int
-
-/* A lexical scanner generated by flex */
-
-#define yy_create_buffer xbt_graph_parse__create_buffer
-#define yy_delete_buffer xbt_graph_parse__delete_buffer
-#define yy_flex_debug xbt_graph_parse__flex_debug
-#define yy_init_buffer xbt_graph_parse__init_buffer
-#define yy_flush_buffer xbt_graph_parse__flush_buffer
-#define yy_load_buffer_state xbt_graph_parse__load_buffer_state
-#define yy_switch_to_buffer xbt_graph_parse__switch_to_buffer
-#define yyin xbt_graph_parse_in
-#define yyleng xbt_graph_parse_leng
-#define yylex xbt_graph_parse_lex
-#define yylineno xbt_graph_parse_lineno
-#define yyout xbt_graph_parse_out
-#define yyrestart xbt_graph_parse_restart
-#define yytext xbt_graph_parse_text
-#define yywrap xbt_graph_parse_wrap
-#define yyalloc xbt_graph_parse_alloc
-#define yyrealloc xbt_graph_parse_realloc
-#define yyfree xbt_graph_parse_free
-
-#define FLEX_SCANNER
-#define YY_FLEX_MAJOR_VERSION 2
-#define YY_FLEX_MINOR_VERSION 5
-#define YY_FLEX_SUBMINOR_VERSION 39
-#if YY_FLEX_SUBMINOR_VERSION > 0
-#define FLEX_BETA
-#endif
-
-/* First, we deal with platform-specific or compiler-specific issues. */
-
-/* begin standard C headers. */
-#include <stdio.h>
-#include <string.h>
-#include <errno.h>
-#include <stdlib.h>
-
-/* end standard C headers. */
-
-/* flex integer type definitions */
-
-#ifndef FLEXINT_H
-#define FLEXINT_H
-
-/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
-
-#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
-
-/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
- * if you want the limit (max/min) macros for int types.
- */
-#ifndef __STDC_LIMIT_MACROS
-#define __STDC_LIMIT_MACROS 1
-#endif
-
-#include <inttypes.h>
-typedef int8_t flex_int8_t;
-typedef uint8_t flex_uint8_t;
-typedef int16_t flex_int16_t;
-typedef uint16_t flex_uint16_t;
-typedef int32_t flex_int32_t;
-typedef uint32_t flex_uint32_t;
-#else
-typedef signed char flex_int8_t;
-typedef short int flex_int16_t;
-typedef int flex_int32_t;
-typedef unsigned char flex_uint8_t;
-typedef unsigned short int flex_uint16_t;
-typedef unsigned int flex_uint32_t;
-
-/* Limits of integral types. */
-#ifndef INT8_MIN
-#define INT8_MIN (-128)
-#endif
-#ifndef INT16_MIN
-#define INT16_MIN (-32767-1)
-#endif
-#ifndef INT32_MIN
-#define INT32_MIN (-2147483647-1)
-#endif
-#ifndef INT8_MAX
-#define INT8_MAX (127)
-#endif
-#ifndef INT16_MAX
-#define INT16_MAX (32767)
-#endif
-#ifndef INT32_MAX
-#define INT32_MAX (2147483647)
-#endif
-#ifndef UINT8_MAX
-#define UINT8_MAX (255U)
-#endif
-#ifndef UINT16_MAX
-#define UINT16_MAX (65535U)
-#endif
-#ifndef UINT32_MAX
-#define UINT32_MAX (4294967295U)
-#endif
-
-#endif /* ! C99 */
-
-#endif /* ! FLEXINT_H */
-
-#ifdef __cplusplus
-
-/* The "const" storage-class-modifier is valid. */
-#define YY_USE_CONST
-
-#else /* ! __cplusplus */
-
-/* C99 requires __STDC__ to be defined as 1. */
-#if defined (__STDC__)
-
-#define YY_USE_CONST
-
-#endif /* defined (__STDC__) */
-#endif /* ! __cplusplus */
-
-#ifdef YY_USE_CONST
-#define yyconst const
-#else
-#define yyconst
-#endif
-
-/* Returned upon end-of-file. */
-#define YY_NULL 0
-
-/* Promotes a possibly negative, possibly signed char to an unsigned
- * integer for use as an array index. If the signed char is negative,
- * we want to instead treat it as an 8-bit unsigned char, hence the
- * double cast.
- */
-#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
-
-/* Enter a start condition. This macro really ought to take a parameter,
- * but we do it the disgusting crufty way forced on us by the ()-less
- * definition of BEGIN.
- */
-#define BEGIN (yy_start) = 1 + 2 *
-
-/* Translate the current start state into a value that can be later handed
- * to BEGIN to return to the state. The YYSTATE alias is for lex
- * compatibility.
- */
-#define YY_START (((yy_start) - 1) / 2)
-#define YYSTATE YY_START
-
-/* Action number for EOF rule of a given start state. */
-#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
-
-/* Special action meaning "start processing a new file". */
-#define YY_NEW_FILE xbt_graph_parse_restart(xbt_graph_parse_in )
-
-#define YY_END_OF_BUFFER_CHAR 0
-
-/* Size of default input buffer. */
-#ifndef YY_BUF_SIZE
-#ifdef __ia64__
-/* On IA-64, the buffer size is 16k, not 8k.
- * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
- * Ditto for the __ia64__ case accordingly.
- */
-#define YY_BUF_SIZE 32768
-#else
-#define YY_BUF_SIZE 16384
-#endif /* __ia64__ */
-#endif
-
-/* The state buf must be large enough to hold one state per character in the main buffer.
- */
-#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
-
-#ifndef YY_TYPEDEF_YY_BUFFER_STATE
-#define YY_TYPEDEF_YY_BUFFER_STATE
-typedef struct yy_buffer_state *YY_BUFFER_STATE;
-#endif
-
-#ifndef YY_TYPEDEF_YY_SIZE_T
-#define YY_TYPEDEF_YY_SIZE_T
-typedef size_t yy_size_t;
-#endif
-
-extern yy_size_t xbt_graph_parse_leng;
-
-extern FILE *xbt_graph_parse_in, *xbt_graph_parse_out;
-
-#define EOB_ACT_CONTINUE_SCAN 0
-#define EOB_ACT_END_OF_FILE 1
-#define EOB_ACT_LAST_MATCH 2
-
- /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires
- * access to the local variable yy_act. Since yyless() is a macro, it would break
- * existing scanners that call yyless() from OUTSIDE xbt_graph_parse_lex.
- * One obvious solution it to make yy_act a global. I tried that, and saw
- * a 5% performance hit in a non-xbt_graph_parse_lineno scanner, because yy_act is
- * normally declared as a variable-- so it is not worth it.
- */
- #define YY_LESS_LINENO(n) \
- do { \
- unsigned int yyl;\
- for ( yyl = n; yyl < xbt_graph_parse_leng; ++yyl )\
- if ( xbt_graph_parse_text[yyl] == '\n' )\
- --xbt_graph_parse_lineno;\
- }while(0)
- #define YY_LINENO_REWIND_TO(dst) \
- do {\
- const char *p;\
- for ( p = yy_cp-1; p >= (dst); --p)\
- if ( *p == '\n' )\
- --xbt_graph_parse_lineno;\
- }while(0)
-
-/* Return all but the first "n" matched characters back to the input stream. */
-#define yyless(n) \
- do \
- { \
- /* Undo effects of setting up xbt_graph_parse_text. */ \
- int yyless_macro_arg = (n); \
- YY_LESS_LINENO(yyless_macro_arg);\
- *yy_cp = (yy_hold_char); \
- YY_RESTORE_YY_MORE_OFFSET \
- (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
- YY_DO_BEFORE_ACTION; /* set up xbt_graph_parse_text again */ \
- } \
- while ( 0 )
-
-#define unput(c) yyunput( c, (yytext_ptr) )
-
-#ifndef YY_STRUCT_YY_BUFFER_STATE
-#define YY_STRUCT_YY_BUFFER_STATE
-struct yy_buffer_state
- {
- FILE *yy_input_file;
-
- char *yy_ch_buf; /* input buffer */
- char *yy_buf_pos; /* current position in input buffer */
-
- /* Size of input buffer in bytes, not including room for EOB
- * characters.
- */
- yy_size_t yy_buf_size;
-
- /* Number of characters read into yy_ch_buf, not including EOB
- * characters.
- */
- yy_size_t yy_n_chars;
-
- /* Whether we "own" the buffer - i.e., we know we created it,
- * and can realloc() it to grow it, and should free() it to
- * delete it.
- */
- int yy_is_our_buffer;
-
- /* Whether this is an "interactive" input source; if so, and
- * if we're using stdio for input, then we want to use getc()
- * instead of fread(), to make sure we stop fetching input after
- * each newline.
- */
- int yy_is_interactive;
-
- /* Whether we're considered to be at the beginning of a line.
- * If so, '^' rules will be active on the next match, otherwise
- * not.
- */
- int yy_at_bol;
-
- int yy_bs_lineno; /**< The line count. */
- int yy_bs_column; /**< The column count. */
-
- /* Whether to try to fill the input buffer when we reach the
- * end of it.
- */
- int yy_fill_buffer;
-
- int yy_buffer_status;
-
-#define YY_BUFFER_NEW 0
-#define YY_BUFFER_NORMAL 1
- /* When an EOF's been seen but there's still some text to process
- * then we mark the buffer as YY_EOF_PENDING, to indicate that we
- * shouldn't try reading from the input source any more. We might
- * still have a bunch of tokens to match, though, because of
- * possible backing-up.
- *
- * When we actually see the EOF, we change the status to "new"
- * (via xbt_graph_parse_restart()), so that the user can continue scanning by
- * just pointing xbt_graph_parse_in at a new input file.
- */
-#define YY_BUFFER_EOF_PENDING 2
-
- };
-#endif /* !YY_STRUCT_YY_BUFFER_STATE */
-
-/* Stack of input buffers. */
-static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
-static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
-static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
-
-/* We provide macros for accessing buffer states in case in the
- * future we want to put the buffer states in a more general
- * "scanner state".
- *
- * Returns the top of the stack, or NULL.
- */
-#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
- ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
- : NULL)
-
-/* Same as previous macro, but useful when we know that the buffer stack is not
- * NULL or when we need an lvalue. For internal use only.
- */
-#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
-
-/* yy_hold_char holds the character lost when xbt_graph_parse_text is formed. */
-static char yy_hold_char;
-static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
-yy_size_t xbt_graph_parse_leng;
-
-/* Points to current character in buffer. */
-static char *yy_c_buf_p = (char *) 0;
-static int yy_init = 0; /* whether we need to initialize */
-static int yy_start = 0; /* start state number */
-
-/* Flag which is used to allow xbt_graph_parse_wrap()'s to do buffer switches
- * instead of setting up a fresh xbt_graph_parse_in. A bit of a hack ...
- */
-static int yy_did_buffer_switch_on_eof;
-
-void xbt_graph_parse_restart (FILE *input_file );
-void xbt_graph_parse__switch_to_buffer (YY_BUFFER_STATE new_buffer );
-YY_BUFFER_STATE xbt_graph_parse__create_buffer (FILE *file,int size );
-void xbt_graph_parse__delete_buffer (YY_BUFFER_STATE b );
-void xbt_graph_parse__flush_buffer (YY_BUFFER_STATE b );
-void xbt_graph_parse_push_buffer_state (YY_BUFFER_STATE new_buffer );
-void xbt_graph_parse_pop_buffer_state (void );
-
-static void xbt_graph_parse_ensure_buffer_stack (void );
-static void xbt_graph_parse__load_buffer_state (void );
-static void xbt_graph_parse__init_buffer (YY_BUFFER_STATE b,FILE *file );
-
-#define YY_FLUSH_BUFFER xbt_graph_parse__flush_buffer(YY_CURRENT_BUFFER )
-
-YY_BUFFER_STATE xbt_graph_parse__scan_buffer (char *base,yy_size_t size );
-YY_BUFFER_STATE xbt_graph_parse__scan_string (yyconst char *yy_str );
-YY_BUFFER_STATE xbt_graph_parse__scan_bytes (yyconst char *bytes,yy_size_t len );
-
-void *xbt_graph_parse_alloc (yy_size_t );
-void *xbt_graph_parse_realloc (void *,yy_size_t );
-void xbt_graph_parse_free (void * );
-
-#define yy_new_buffer xbt_graph_parse__create_buffer
-
-#define yy_set_interactive(is_interactive) \
- { \
- if ( ! YY_CURRENT_BUFFER ){ \
- xbt_graph_parse_ensure_buffer_stack (); \
- YY_CURRENT_BUFFER_LVALUE = \
- xbt_graph_parse__create_buffer(xbt_graph_parse_in,YY_BUF_SIZE ); \
- } \
- YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
- }
-
-#define yy_set_bol(at_bol) \
- { \
- if ( ! YY_CURRENT_BUFFER ){\
- xbt_graph_parse_ensure_buffer_stack (); \
- YY_CURRENT_BUFFER_LVALUE = \
- xbt_graph_parse__create_buffer(xbt_graph_parse_in,YY_BUF_SIZE ); \
- } \
- YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
- }
-
-#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
-
-/* Begin user sect3 */
-
-#define xbt_graph_parse_wrap() 1
-#define YY_SKIP_YYWRAP
-
-typedef unsigned char YY_CHAR;
-
-FILE *xbt_graph_parse_in = (FILE *) 0, *xbt_graph_parse_out = (FILE *) 0;
-
-typedef int yy_state_type;
-
-extern int xbt_graph_parse_lineno;
-
-int xbt_graph_parse_lineno = 1;
-
-extern char *xbt_graph_parse_text;
-#define yytext_ptr xbt_graph_parse_text
-
-static yy_state_type yy_get_previous_state (void );
-static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
-static int yy_get_next_buffer (void );
-static void yy_fatal_error (yyconst char msg[] );
-
-/* Done after the current pattern has been matched and before the
- * corresponding action - sets up xbt_graph_parse_text.
- */
-#define YY_DO_BEFORE_ACTION \
- (yytext_ptr) = yy_bp; \
- xbt_graph_parse_leng = (size_t) (yy_cp - yy_bp); \
- (yy_hold_char) = *yy_cp; \
- *yy_cp = '\0'; \
- (yy_c_buf_p) = yy_cp;
-
-#define YY_NUM_RULES 92
-#define YY_END_OF_BUFFER 93
-/* This struct is not used in this scanner,
- but its presence is necessary. */
-struct yy_trans_info
- {
- flex_int32_t yy_verify;
- flex_int32_t yy_nxt;
- };
-static yyconst flex_int16_t yy_accept[564] =
- { 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 93, 91, 17, 10, 10, 17, 17, 71, 10, 71,
- 5, 6, 5, 8, 9, 8, 87, 79, 80, 88,
- 85, 88, 86, 90, 79, 80, 90, 91, 34, 10,
- 34, 34, 34, 32, 34, 34, 34, 34, 34, 38,
- 10, 38, 91, 47, 10, 47, 47, 47, 45, 47,
-
- 51, 10, 51, 51, 91, 91, 51, 91, 66, 10,
- 66, 66, 66, 64, 66, 66, 66, 66, 70, 10,
- 70, 88, 87, 10, 0, 2, 2, 0, 4, 7,
- 82, 81, 0, 0, 0, 0, 0, 0, 0, 33,
- 35, 35, 35, 35, 35, 35, 35, 0, 0, 46,
- 48, 48, 0, 0, 0, 0, 0, 65, 67, 67,
- 67, 67, 67, 0, 0, 0, 0, 0, 0, 0,
- 3, 0, 0, 0, 0, 0, 0, 0, 89, 0,
- 35, 35, 35, 35, 35, 35, 0, 0, 0, 48,
- 0, 0, 0, 0, 0, 0, 67, 67, 67, 67,
-
- 0, 0, 0, 84, 0, 16, 1, 0, 0, 77,
- 0, 0, 0, 74, 73, 0, 0, 35, 35, 35,
- 35, 35, 35, 0, 0, 37, 0, 0, 48, 0,
- 0, 50, 0, 0, 0, 0, 0, 67, 67, 67,
- 67, 0, 0, 69, 0, 0, 0, 0, 78, 72,
- 0, 0, 19, 0, 0, 35, 35, 0, 0, 35,
- 35, 0, 0, 48, 0, 0, 53, 52, 18, 0,
- 0, 67, 0, 0, 67, 0, 0, 0, 0, 0,
- 12, 0, 75, 76, 19, 0, 21, 20, 0, 0,
- 35, 0, 27, 26, 35, 35, 0, 40, 48, 0,
-
- 39, 53, 52, 18, 0, 55, 54, 0, 0, 0,
- 59, 58, 67, 0, 0, 0, 0, 0, 11, 0,
- 23, 22, 0, 0, 0, 0, 0, 0, 0, 36,
- 40, 48, 0, 39, 0, 57, 56, 67, 0, 68,
- 0, 0, 0, 0, 0, 25, 24, 0, 29, 28,
- 0, 31, 30, 48, 0, 49, 67, 0, 0, 0,
- 0, 48, 67, 83, 0, 0, 0, 48, 67, 67,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 61, 60, 0, 63, 62, 0, 0, 0, 0, 0,
-
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 12, 0, 12, 0, 0, 42, 0,
- 41, 0, 0, 0, 0, 0, 0, 0, 44, 43,
- 0, 0, 0, 0, 0, 0, 0, 11, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 13, 0, 0, 15,
- 0, 14, 0
- } ;
-
-static yyconst flex_int32_t yy_ec[256] =
- { 0,
- 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
- 1, 2, 4, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 2, 5, 6, 7, 1, 1, 8, 9, 1,
- 1, 1, 1, 1, 10, 11, 12, 13, 13, 13,
- 13, 13, 13, 13, 13, 13, 13, 14, 15, 16,
- 17, 18, 19, 1, 20, 21, 22, 23, 24, 21,
- 14, 14, 14, 14, 14, 14, 25, 14, 26, 27,
- 14, 14, 28, 29, 14, 14, 14, 14, 30, 14,
- 31, 1, 32, 1, 33, 1, 34, 35, 36, 37,
-
- 38, 39, 40, 41, 42, 14, 14, 43, 44, 45,
- 46, 47, 48, 49, 50, 51, 52, 53, 14, 54,
- 55, 14, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
-
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1
- } ;
-
-static yyconst flex_int32_t yy_meta[56] =
- { 0,
- 1, 2, 2, 2, 1, 1, 1, 1, 1, 3,
- 3, 1, 4, 5, 1, 1, 1, 6, 1, 7,
- 7, 7, 7, 7, 5, 5, 5, 5, 5, 5,
- 1, 1, 5, 7, 7, 7, 7, 7, 7, 5,
- 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
- 5, 5, 5, 5, 5
- } ;
-
-static yyconst flex_int16_t yy_base[594] =
- { 0,
- 0, 0, 0, 3, 6, 9, 24, 27, 11, 14,
- 15, 17, 29, 38, 45, 52, 59, 61, 67, 70,
- 93, 0, 73, 76, 147, 150, 166, 208, 184, 187,
- 190, 226, 229, 232, 249, 252, 255, 258, 273, 276,
- 279, 282, 297, 300, 316, 0, 370, 373, 375, 377,
- 1585, 1586, 1586, 153, 156, 47, 62, 1586, 303, 244,
- 1586, 1586, 1574, 1586, 1586, 1565, 1586, 1578, 1578, 377,
- 1586, 1586, 1586, 1586, 1576, 1576, 1546, 377, 1586, 306,
- 1559, 0, 268, 1586, 1542, 1, 1541, 1528, 1539, 1586,
- 395, 382, 383, 1586, 401, 1554, 0, 292, 1586, 1521,
-
- 1586, 410, 414, 417, 405, 411, 423, 387, 1586, 435,
- 1552, 0, 422, 1586, 1535, 1534, 1533, 1520, 1586, 444,
- 448, 1560, 1532, 462, 34, 1509, 1586, 1552, 1543, 1586,
- 1586, 1586, 148, 38, 1509, 1508, 1506, 1539, 1519, 1586,
- 0, 1504, 1519, 1508, 1508, 1499, 1501, 1511, 1499, 1586,
- 0, 1524, 1506, 1496, 1498, 1497, 1505, 1586, 0, 1490,
- 1505, 1495, 1488, 1492, 1505, 1517, 1516, 1523, 178, 1488,
- 1586, 75, 0, 1484, 1484, 1514, 1513, 1481, 1586, 1486,
- 1491, 1486, 1483, 1484, 1472, 1480, 467, 470, 1485, 1476,
- 473, 476, 1483, 1479, 1478, 1474, 1479, 1474, 1473, 1468,
-
- 479, 496, 1487, 1586, 1490, 1586, 1586, 177, 1464, 1586,
- 1491, 1490, 1454, 1586, 1586, 1452, 1464, 499, 1458, 1449,
- 502, 1463, 1392, 506, 509, 1586, 518, 1382, 1370, 526,
- 529, 1586, 535, 1369, 1375, 1372, 1365, 546, 1355, 553,
- 1342, 557, 562, 1586, 569, 1288, 466, 574, 1586, 1586,
- 1295, 1293, 579, 582, 592, 586, 1266, 605, 608, 1268,
- 1253, 616, 1262, 1263, 621, 1259, 624, 627, 633, 638,
- 641, 649, 654, 658, 1237, 670, 1245, 505, 1244, 673,
- 1586, 1239, 1586, 1586, 676, 680, 1586, 1586, 690, 693,
- 701, 710, 1586, 1586, 718, 721, 725, 728, 1136, 737,
-
- 742, 745, 748, 754, 757, 1586, 1586, 765, 768, 777,
- 1586, 1586, 1097, 785, 1111, 32, 162, 226, 1586, 788,
- 1586, 1586, 796, 802, 812, 815, 823, 828, 839, 1586,
- 842, 1053, 845, 848, 852, 1586, 1586, 1030, 862, 1586,
- 1004, 219, 252, 220, 865, 1586, 1586, 873, 1586, 1586,
- 881, 1586, 1586, 943, 889, 1586, 938, 929, 892, 248,
- 390, 912, 110, 1586, 895, 204, 249, 898, 901, 917,
- 275, 372, 440, 254, 469, 920, 923, 939, 942, 950,
- 955, 478, 400, 508, 472, 522, 966, 495, 523, 974,
- 1586, 1586, 982, 1586, 1586, 595, 550, 631, 598, 990,
-
- 878, 824, 838, 761, 993, 561, 996, 999, 1002, 1019,
- 750, 723, 694, 684, 1027, 1030, 1036, 1039, 1056, 1064,
- 1082, 1114, 684, 695, 554, 516, 680, 1074, 724, 1132,
- 747, 534, 1150, 1182, 455, 486, 451, 435, 523, 746,
- 587, 767, 228, 389, 582, 305, 1077, 199, 1586, 192,
- 1586, 603, 672, 630, 156, 68, 75, 1106, 1586, 1586,
- 663, 688, 691, 5, 645, 777, 784, 1586, 1145, 810,
- 1174, 1200, 1208, 1213, 744, 820, 1221, 841, 868, 382,
- 804, 871, 888, 821, 860, 667, 778, 898, 913, 789,
- 802, 815, 870, 896, 921, 918, 932, 948, 969, 997,
-
- 1000, 972, 994, 920, 955, 1008, 1009, 1018, 1051, 1093,
- 1152, 1053, 1085, 1161, 1177, 272, 1189, 1190, 1202, 1210,
- 1211, 1035, 1153, 1215, 1217, 1162, 1225, 628, 945, 1226,
- 1227, 1075, 1088, 1109, 1110, 1156, 1222, 1124, 1223, 1224,
- 1229, 1230, 1231, 1232, 1233, 1045, 1043, 1234, 1238, 1249,
- 1254, 1274, 1262, 1255, 1281, 1284, 1586, 1287, 1291, 1586,
- 1294, 1586, 1586, 1312, 1319, 1326, 1333, 1340, 1347, 1354,
- 1361, 1368, 1375, 1382, 1387, 1392, 1397, 1404, 1407, 1410,
- 1413, 1420, 1424, 1430, 1436, 1442, 1449, 1456, 1463, 1470,
- 1477, 1484, 1491
-
- } ;
-
-static yyconst flex_int16_t yy_def[594] =
- { 0,
- 564, 564, 565, 565, 565, 565, 566, 566, 567, 567,
- 568, 568, 569, 569, 569, 569, 570, 570, 564, 564,
- 563, 21, 571, 571, 564, 564, 572, 572, 573, 573,
- 573, 573, 564, 564, 573, 573, 564, 564, 573, 573,
- 573, 573, 564, 564, 563, 45, 574, 574, 569, 569,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 575, 563, 563, 575, 575, 575, 575, 575, 563,
- 563, 563, 563, 563, 563, 563, 576, 563, 563, 576,
-
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 577, 563, 563, 577, 577, 577, 577, 563, 563,
- 563, 563, 563, 563, 578, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 575, 575, 575, 575, 575, 575, 575, 579, 563, 563,
- 576, 576, 580, 563, 563, 563, 563, 563, 577, 577,
- 577, 577, 577, 581, 563, 563, 582, 563, 582, 563,
- 563, 563, 583, 563, 563, 563, 563, 563, 563, 563,
- 575, 575, 575, 575, 575, 575, 584, 584, 563, 576,
- 585, 585, 563, 563, 563, 563, 577, 577, 577, 577,
-
- 586, 586, 563, 563, 582, 563, 563, 582, 563, 563,
- 583, 563, 563, 563, 563, 563, 563, 575, 575, 575,
- 575, 575, 575, 563, 584, 563, 584, 563, 576, 563,
- 585, 563, 585, 563, 563, 563, 563, 577, 577, 577,
- 577, 563, 586, 563, 586, 563, 582, 587, 563, 563,
- 563, 563, 563, 563, 563, 575, 575, 563, 563, 575,
- 575, 584, 563, 576, 585, 563, 563, 563, 563, 563,
- 563, 577, 563, 563, 577, 586, 563, 582, 587, 587,
- 563, 587, 563, 563, 563, 563, 563, 563, 563, 563,
- 575, 563, 563, 563, 575, 575, 584, 563, 576, 585,
-
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 577, 586, 563, 582, 587, 587, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 576, 585, 563, 563, 563, 563, 577, 563, 563,
- 563, 582, 587, 587, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 576, 563, 563, 577, 563, 582, 587,
- 587, 576, 577, 563, 582, 587, 587, 576, 577, 577,
- 582, 582, 582, 587, 587, 563, 563, 563, 563, 563,
- 563, 582, 582, 582, 587, 587, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 582, 582, 582, 587, 587,
-
- 563, 563, 563, 563, 582, 582, 582, 587, 587, 587,
- 563, 563, 563, 563, 582, 582, 582, 587, 587, 587,
- 588, 589, 563, 563, 563, 563, 582, 582, 582, 587,
- 590, 591, 588, 589, 563, 563, 563, 563, 582, 582,
- 582, 590, 587, 592, 591, 593, 587, 563, 563, 563,
- 563, 582, 582, 582, 592, 563, 593, 587, 563, 563,
- 582, 582, 582, 563, 582, 582, 582, 563, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
-
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 582, 582, 582, 582,
- 582, 582, 582, 582, 582, 582, 563, 582, 582, 563,
- 582, 563, 0, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563
-
- } ;
-
-static yyconst flex_int16_t yy_nxt[1642] =
- { 0,
- 563, 54, 55, 54, 54, 55, 54, 54, 55, 54,
- 54, 55, 54, 62, 563, 56, 62, 65, 56, 65,
- 63, 57, 468, 63, 57, 59, 55, 59, 59, 55,
- 59, 68, 69, 66, 143, 66, 70, 71, 144, 60,
- 68, 69, 60, 168, 72, 70, 71, 68, 69, 206,
- 73, 125, 70, 72, 68, 69, 169, 73, 342, 70,
- 72, 75, 76, 75, 76, 126, 125, 72, 55, 55,
- 55, 55, 55, 55, 91, 55, 91, 91, 55, 91,
- 127, 174, 78, 456, 175, 78, 464, 172, 92, 210,
- 77, 92, 77, 79, 80, 55, 80, 79, 79, 79,
-
- 79, 79, 79, 79, 81, 79, 82, 79, 83, 79,
- 84, 79, 82, 82, 82, 82, 82, 82, 82, 82,
- 82, 82, 82, 79, 79, 82, 82, 82, 82, 85,
- 82, 82, 82, 82, 82, 86, 82, 87, 82, 82,
- 82, 82, 88, 89, 82, 82, 82, 82, 55, 55,
- 55, 55, 55, 55, 124, 124, 124, 124, 124, 124,
- 172, 456, 93, 369, 370, 93, 94, 95, 55, 95,
- 94, 94, 94, 94, 94, 94, 94, 96, 94, 281,
- 94, 98, 94, 99, 94, 102, 55, 102, 102, 55,
- 102, 102, 55, 102, 206, 206, 94, 94, 247, 103,
-
- 460, 173, 103, 208, 459, 104, 343, 100, 94, 95,
- 55, 95, 94, 94, 94, 94, 94, 94, 94, 96,
- 94, 281, 94, 98, 94, 99, 94, 102, 55, 102,
- 55, 55, 55, 55, 55, 55, 206, 281, 94, 94,
- 374, 104, 359, 281, 105, 281, 282, 105, 128, 100,
- 102, 55, 102, 102, 55, 102, 55, 55, 55, 55,
- 55, 55, 127, 344, 103, 281, 281, 103, 361, 281,
- 106, 281, 128, 106, 102, 55, 102, 102, 55, 102,
- 102, 55, 102, 102, 55, 102, 127, 360, 104, 206,
- 375, 104, 206, 366, 107, 385, 128, 107, 55, 55,
-
- 55, 55, 55, 55, 124, 124, 124, 124, 124, 124,
- 127, 382, 108, 456, 522, 108, 109, 110, 55, 110,
- 109, 109, 109, 109, 109, 109, 109, 111, 109, 112,
- 109, 113, 109, 114, 109, 112, 112, 112, 112, 112,
- 112, 112, 112, 112, 112, 112, 109, 109, 112, 112,
- 112, 112, 115, 112, 112, 112, 112, 112, 116, 112,
- 117, 112, 118, 112, 112, 112, 112, 112, 112, 112,
- 112, 120, 55, 120, 120, 55, 120, 68, 69, 68,
- 69, 128, 70, 133, 70, 121, 128, 128, 121, 206,
- 122, 128, 122, 148, 456, 127, 124, 124, 124, 206,
-
- 127, 127, 124, 124, 124, 127, 123, 281, 123, 128,
- 134, 124, 124, 124, 139, 128, 135, 206, 128, 136,
- 383, 128, 149, 127, 137, 153, 128, 128, 153, 127,
- 486, 155, 127, 397, 153, 127, 124, 124, 124, 367,
- 127, 127, 157, 451, 154, 124, 124, 124, 139, 155,
- 154, 139, 128, 154, 139, 156, 154, 206, 155, 164,
- 157, 156, 154, 124, 124, 124, 127, 156, 224, 224,
- 224, 224, 224, 224, 230, 230, 230, 230, 230, 230,
- 242, 242, 242, 206, 226, 384, 281, 226, 450, 281,
- 232, 449, 448, 232, 278, 206, 244, 242, 242, 242,
-
- 254, 254, 254, 258, 258, 258, 227, 224, 224, 224,
- 224, 224, 224, 244, 386, 255, 399, 396, 259, 224,
- 224, 224, 206, 226, 233, 206, 226, 230, 230, 230,
- 230, 230, 230, 401, 316, 226, 230, 230, 230, 281,
- 206, 245, 443, 232, 398, 402, 232, 270, 270, 270,
- 452, 446, 232, 438, 273, 273, 273, 262, 242, 242,
- 242, 403, 271, 242, 242, 242, 400, 206, 265, 274,
- 242, 242, 242, 404, 244, 280, 280, 280, 206, 244,
- 285, 285, 285, 254, 254, 254, 244, 289, 289, 289,
- 443, 281, 282, 286, 286, 286, 406, 287, 255, 446,
-
- 288, 416, 290, 437, 206, 276, 258, 258, 258, 292,
- 292, 292, 206, 293, 454, 281, 294, 224, 224, 224,
- 206, 259, 230, 230, 230, 302, 302, 302, 303, 303,
- 303, 461, 405, 226, 304, 304, 304, 408, 232, 270,
- 270, 270, 305, 305, 305, 206, 306, 206, 206, 307,
- 308, 308, 308, 297, 271, 273, 273, 273, 463, 310,
- 310, 310, 206, 311, 534, 309, 312, 300, 407, 469,
- 274, 242, 242, 242, 280, 280, 280, 285, 285, 285,
- 206, 286, 286, 286, 206, 287, 465, 244, 288, 206,
- 281, 289, 289, 289, 320, 320, 320, 206, 321, 462,
-
- 492, 322, 323, 323, 323, 206, 290, 314, 206, 439,
- 317, 292, 292, 292, 467, 293, 466, 324, 294, 325,
- 325, 325, 327, 327, 327, 318, 329, 329, 329, 331,
- 331, 331, 436, 435, 326, 426, 425, 328, 230, 230,
- 230, 206, 330, 334, 334, 334, 302, 302, 302, 303,
- 303, 303, 443, 441, 232, 304, 304, 304, 305, 305,
- 305, 206, 306, 206, 444, 307, 308, 308, 308, 335,
- 335, 335, 443, 336, 424, 453, 337, 333, 310, 310,
- 310, 309, 311, 480, 444, 312, 339, 339, 339, 320,
- 320, 320, 423, 321, 206, 206, 322, 323, 323, 323,
-
- 470, 206, 340, 345, 345, 345, 206, 346, 471, 414,
- 347, 493, 324, 325, 325, 325, 348, 348, 348, 206,
- 349, 206, 496, 350, 327, 327, 327, 206, 326, 351,
- 351, 351, 206, 352, 473, 497, 353, 206, 206, 328,
- 329, 329, 329, 331, 331, 331, 355, 355, 355, 334,
- 334, 334, 487, 335, 335, 335, 330, 336, 206, 481,
- 337, 498, 356, 339, 339, 339, 345, 345, 345, 490,
- 346, 413, 412, 347, 348, 348, 348, 206, 349, 340,
- 484, 350, 351, 351, 351, 206, 352, 206, 206, 353,
- 355, 355, 355, 365, 365, 365, 365, 365, 365, 376,
-
- 376, 376, 378, 378, 378, 206, 356, 485, 491, 206,
- 488, 411, 206, 206, 377, 206, 499, 379, 380, 380,
- 380, 376, 376, 376, 387, 387, 387, 489, 388, 500,
- 206, 389, 371, 381, 372, 206, 377, 206, 206, 373,
- 378, 378, 378, 390, 390, 390, 494, 391, 368, 206,
- 392, 380, 380, 380, 501, 379, 393, 393, 393, 364,
- 394, 495, 206, 395, 502, 206, 381, 387, 387, 387,
- 363, 388, 206, 510, 389, 390, 390, 390, 503, 391,
- 362, 535, 392, 393, 393, 393, 206, 394, 504, 206,
- 395, 409, 409, 409, 415, 415, 415, 417, 417, 417,
-
- 418, 418, 418, 409, 409, 409, 410, 281, 511, 505,
- 206, 206, 508, 206, 206, 419, 281, 206, 410, 281,
- 420, 420, 420, 358, 421, 206, 206, 422, 415, 415,
- 415, 428, 428, 428, 509, 206, 281, 417, 417, 417,
- 418, 418, 418, 506, 206, 528, 507, 206, 512, 513,
- 552, 552, 206, 206, 427, 419, 281, 430, 430, 430,
- 206, 431, 206, 429, 432, 420, 420, 420, 206, 421,
- 206, 514, 422, 281, 357, 428, 428, 428, 458, 458,
- 458, 281, 279, 279, 279, 279, 279, 279, 279, 279,
- 279, 206, 206, 279, 281, 282, 279, 279, 279, 281,
-
- 279, 440, 206, 354, 515, 206, 518, 458, 458, 458,
- 206, 538, 279, 279, 279, 279, 279, 279, 279, 279,
- 279, 279, 279, 281, 539, 279, 206, 206, 279, 279,
- 279, 281, 279, 430, 430, 430, 516, 431, 519, 341,
- 432, 206, 338, 317, 279, 279, 472, 472, 472, 281,
- 279, 279, 279, 279, 279, 447, 279, 279, 279, 540,
- 541, 279, 206, 529, 279, 279, 279, 281, 279, 206,
- 206, 332, 532, 206, 544, 474, 474, 474, 206, 206,
- 279, 279, 279, 279, 279, 279, 279, 279, 279, 279,
- 447, 206, 542, 279, 206, 517, 279, 279, 279, 281,
-
- 279, 472, 472, 472, 520, 475, 206, 206, 476, 477,
- 477, 477, 279, 279, 474, 474, 474, 206, 478, 206,
- 521, 479, 477, 477, 477, 206, 482, 206, 206, 483,
- 206, 523, 206, 524, 206, 533, 536, 537, 206, 206,
- 206, 206, 206, 206, 206, 525, 206, 206, 206, 206,
- 206, 206, 526, 527, 555, 206, 319, 530, 543, 531,
- 546, 281, 555, 558, 315, 547, 206, 558, 550, 551,
- 553, 206, 206, 545, 554, 556, 556, 556, 313, 206,
- 548, 549, 559, 559, 559, 556, 556, 556, 561, 561,
- 561, 557, 559, 559, 559, 561, 561, 561, 560, 301,
-
- 299, 557, 298, 296, 562, 295, 291, 284, 560, 283,
- 277, 562, 52, 52, 52, 52, 52, 52, 52, 53,
- 53, 53, 53, 53, 53, 53, 58, 58, 58, 58,
- 58, 58, 58, 61, 61, 61, 61, 61, 61, 61,
- 64, 64, 64, 64, 64, 64, 64, 67, 67, 67,
- 67, 67, 67, 67, 74, 74, 74, 74, 74, 74,
- 74, 90, 90, 90, 90, 90, 90, 90, 97, 97,
- 97, 97, 97, 97, 97, 101, 101, 101, 101, 101,
- 101, 101, 119, 119, 119, 119, 119, 119, 119, 141,
- 141, 141, 275, 141, 151, 151, 151, 272, 151, 159,
-
- 159, 159, 269, 159, 167, 167, 167, 167, 167, 268,
- 167, 187, 267, 187, 191, 266, 191, 201, 264, 201,
- 205, 205, 205, 205, 205, 205, 205, 211, 263, 261,
- 211, 225, 225, 225, 225, 225, 225, 231, 231, 231,
- 231, 231, 231, 243, 243, 243, 243, 243, 243, 279,
- 279, 279, 279, 279, 279, 279, 433, 433, 433, 433,
- 433, 433, 433, 434, 434, 434, 434, 434, 434, 434,
- 442, 442, 442, 442, 442, 442, 442, 445, 445, 445,
- 445, 445, 445, 445, 455, 455, 455, 455, 455, 455,
- 455, 457, 457, 457, 457, 457, 457, 457, 260, 257,
-
- 256, 253, 252, 251, 250, 249, 248, 206, 246, 241,
- 240, 239, 238, 237, 236, 235, 234, 229, 228, 223,
- 222, 221, 220, 219, 218, 217, 216, 215, 214, 213,
- 212, 209, 207, 206, 204, 203, 202, 200, 199, 198,
- 197, 196, 195, 194, 193, 192, 190, 189, 188, 186,
- 185, 184, 183, 182, 181, 180, 179, 178, 177, 176,
- 171, 168, 170, 166, 165, 163, 162, 161, 160, 158,
- 152, 150, 147, 146, 145, 142, 140, 138, 132, 131,
- 132, 131, 130, 129, 563, 51, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
-
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563
- } ;
-
-static yyconst flex_int16_t yy_chk[1642] =
- { 0,
- 0, 3, 3, 3, 4, 4, 4, 5, 5, 5,
- 6, 6, 6, 9, 0, 3, 10, 11, 4, 12,
- 9, 5, 464, 10, 6, 7, 7, 7, 8, 8,
- 8, 13, 13, 11, 86, 12, 13, 13, 86, 7,
- 14, 14, 8, 125, 13, 14, 14, 15, 15, 316,
- 15, 56, 15, 14, 16, 16, 125, 16, 316, 16,
- 15, 17, 17, 18, 18, 56, 57, 16, 19, 19,
- 19, 20, 20, 20, 23, 23, 23, 24, 24, 24,
- 57, 134, 19, 457, 134, 20, 456, 172, 23, 172,
- 17, 24, 18, 21, 21, 21, 21, 21, 21, 21,
-
- 21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 21, 21, 25, 25,
- 25, 26, 26, 26, 54, 54, 54, 55, 55, 55,
- 133, 455, 25, 363, 363, 26, 27, 27, 27, 27,
- 27, 27, 27, 27, 27, 27, 27, 27, 27, 317,
- 27, 27, 27, 27, 27, 29, 29, 29, 30, 30,
- 30, 31, 31, 31, 208, 169, 27, 27, 208, 29,
-
- 450, 133, 30, 169, 448, 31, 317, 27, 28, 28,
- 28, 28, 28, 28, 28, 28, 28, 28, 28, 28,
- 28, 366, 28, 28, 28, 28, 28, 32, 32, 32,
- 33, 33, 33, 34, 34, 34, 342, 344, 28, 28,
- 366, 32, 342, 318, 33, 443, 443, 34, 60, 28,
- 35, 35, 35, 36, 36, 36, 37, 37, 37, 38,
- 38, 38, 60, 318, 35, 360, 367, 36, 344, 343,
- 37, 374, 83, 38, 39, 39, 39, 40, 40, 40,
- 41, 41, 41, 42, 42, 42, 83, 343, 39, 516,
- 367, 40, 371, 360, 41, 374, 98, 42, 43, 43,
-
- 43, 44, 44, 44, 59, 59, 59, 80, 80, 80,
- 98, 371, 43, 446, 516, 44, 45, 45, 45, 45,
- 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
- 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
- 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
- 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
- 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
- 45, 47, 47, 47, 48, 48, 48, 49, 49, 50,
- 50, 78, 49, 70, 50, 47, 92, 93, 48, 372,
- 49, 108, 50, 92, 444, 78, 91, 91, 91, 480,
-
- 92, 93, 95, 95, 95, 108, 49, 361, 50, 105,
- 70, 102, 102, 102, 78, 106, 70, 383, 103, 70,
- 372, 104, 93, 105, 70, 103, 113, 107, 104, 106,
- 480, 108, 103, 383, 107, 104, 110, 110, 110, 361,
- 113, 107, 105, 438, 105, 120, 120, 120, 106, 105,
- 106, 103, 121, 103, 104, 106, 104, 373, 103, 121,
- 107, 104, 107, 124, 124, 124, 121, 107, 187, 187,
- 187, 188, 188, 188, 191, 191, 191, 192, 192, 192,
- 201, 201, 201, 247, 187, 373, 375, 188, 437, 385,
- 191, 436, 435, 192, 247, 382, 201, 202, 202, 202,
-
- 218, 218, 218, 221, 221, 221, 188, 224, 224, 224,
- 225, 225, 225, 202, 375, 218, 385, 382, 221, 227,
- 227, 227, 278, 224, 192, 384, 225, 230, 230, 230,
- 231, 231, 231, 388, 278, 227, 233, 233, 233, 386,
- 439, 202, 432, 230, 384, 388, 231, 238, 238, 238,
- 439, 432, 233, 426, 240, 240, 240, 227, 242, 242,
- 242, 389, 238, 243, 243, 243, 386, 397, 233, 240,
- 245, 245, 245, 389, 242, 248, 248, 248, 406, 243,
- 253, 253, 253, 254, 254, 254, 245, 256, 256, 256,
- 445, 248, 248, 255, 255, 255, 397, 255, 254, 445,
-
- 255, 406, 256, 425, 441, 245, 258, 258, 258, 259,
- 259, 259, 396, 259, 441, 399, 259, 262, 262, 262,
- 452, 258, 265, 265, 265, 267, 267, 267, 268, 268,
- 268, 452, 396, 262, 269, 269, 269, 399, 265, 270,
- 270, 270, 271, 271, 271, 528, 271, 454, 398, 271,
- 272, 272, 272, 262, 270, 273, 273, 273, 454, 274,
- 274, 274, 465, 274, 528, 272, 274, 265, 398, 465,
- 273, 276, 276, 276, 280, 280, 280, 285, 285, 285,
- 461, 286, 286, 286, 486, 286, 461, 276, 286, 453,
- 280, 289, 289, 289, 290, 290, 290, 427, 290, 453,
-
- 486, 290, 291, 291, 291, 462, 289, 276, 463, 427,
- 280, 292, 292, 292, 463, 292, 462, 291, 292, 295,
- 295, 295, 296, 296, 296, 280, 297, 297, 297, 298,
- 298, 298, 424, 423, 295, 414, 413, 296, 300, 300,
- 300, 429, 297, 301, 301, 301, 302, 302, 302, 303,
- 303, 303, 431, 429, 300, 304, 304, 304, 305, 305,
- 305, 475, 305, 440, 431, 305, 308, 308, 308, 309,
- 309, 309, 442, 309, 412, 440, 309, 300, 310, 310,
- 310, 308, 310, 475, 442, 310, 314, 314, 314, 320,
- 320, 320, 411, 320, 466, 487, 320, 323, 323, 323,
-
- 466, 467, 314, 324, 324, 324, 490, 324, 467, 404,
- 324, 487, 323, 325, 325, 325, 326, 326, 326, 491,
- 326, 481, 490, 326, 327, 327, 327, 470, 325, 328,
- 328, 328, 492, 328, 470, 491, 328, 476, 484, 327,
- 329, 329, 329, 331, 331, 331, 333, 333, 333, 334,
- 334, 334, 481, 335, 335, 335, 329, 335, 478, 476,
- 335, 492, 333, 339, 339, 339, 345, 345, 345, 484,
- 345, 403, 402, 345, 348, 348, 348, 485, 348, 339,
- 478, 348, 351, 351, 351, 479, 351, 493, 482, 351,
- 355, 355, 355, 359, 359, 359, 365, 365, 365, 368,
-
- 368, 368, 369, 369, 369, 483, 355, 479, 485, 359,
- 482, 401, 365, 494, 368, 488, 493, 369, 370, 370,
- 370, 376, 376, 376, 377, 377, 377, 483, 377, 494,
- 489, 377, 365, 370, 365, 496, 376, 504, 495, 365,
- 378, 378, 378, 379, 379, 379, 488, 379, 362, 497,
- 379, 380, 380, 380, 495, 378, 381, 381, 381, 358,
- 381, 489, 529, 381, 496, 498, 380, 387, 387, 387,
- 357, 387, 505, 504, 387, 390, 390, 390, 497, 390,
- 354, 529, 390, 393, 393, 393, 499, 393, 498, 502,
- 393, 400, 400, 400, 405, 405, 405, 407, 407, 407,
-
- 408, 408, 408, 409, 409, 409, 400, 400, 505, 499,
- 405, 503, 502, 407, 500, 408, 408, 501, 409, 409,
- 410, 410, 410, 341, 410, 506, 507, 410, 415, 415,
- 415, 416, 416, 416, 503, 508, 410, 417, 417, 417,
- 418, 418, 418, 500, 415, 522, 501, 416, 506, 507,
- 546, 547, 522, 417, 415, 418, 418, 419, 419, 419,
- 547, 419, 546, 417, 419, 420, 420, 420, 509, 420,
- 512, 508, 420, 419, 338, 428, 428, 428, 447, 447,
- 447, 420, 421, 421, 421, 421, 421, 421, 421, 421,
- 421, 428, 532, 421, 447, 447, 421, 421, 421, 421,
-
- 421, 428, 513, 332, 509, 533, 512, 458, 458, 458,
- 510, 532, 421, 421, 422, 422, 422, 422, 422, 422,
- 422, 422, 422, 458, 533, 422, 534, 535, 422, 422,
- 422, 422, 422, 430, 430, 430, 510, 430, 513, 315,
- 430, 538, 313, 458, 422, 422, 469, 469, 469, 430,
- 433, 433, 433, 433, 433, 433, 433, 433, 433, 534,
- 535, 433, 469, 523, 433, 433, 433, 433, 433, 511,
- 523, 299, 526, 536, 538, 471, 471, 471, 514, 526,
- 433, 433, 434, 434, 434, 434, 434, 434, 434, 434,
- 434, 471, 536, 434, 515, 511, 434, 434, 434, 434,
-
- 434, 472, 472, 472, 514, 472, 517, 518, 472, 473,
- 473, 473, 434, 434, 474, 474, 474, 472, 474, 519,
- 515, 474, 477, 477, 477, 473, 477, 520, 521, 477,
- 474, 517, 524, 518, 525, 527, 530, 531, 477, 537,
- 539, 540, 527, 530, 531, 519, 541, 542, 543, 544,
- 545, 548, 520, 521, 550, 549, 282, 524, 537, 525,
- 540, 279, 551, 554, 277, 541, 550, 553, 544, 545,
- 548, 551, 554, 539, 549, 552, 552, 552, 275, 553,
- 542, 543, 555, 555, 555, 556, 556, 556, 558, 558,
- 558, 552, 559, 559, 559, 561, 561, 561, 555, 266,
-
- 264, 556, 263, 261, 558, 260, 257, 252, 559, 251,
- 246, 561, 564, 564, 564, 564, 564, 564, 564, 565,
- 565, 565, 565, 565, 565, 565, 566, 566, 566, 566,
- 566, 566, 566, 567, 567, 567, 567, 567, 567, 567,
- 568, 568, 568, 568, 568, 568, 568, 569, 569, 569,
- 569, 569, 569, 569, 570, 570, 570, 570, 570, 570,
- 570, 571, 571, 571, 571, 571, 571, 571, 572, 572,
- 572, 572, 572, 572, 572, 573, 573, 573, 573, 573,
- 573, 573, 574, 574, 574, 574, 574, 574, 574, 575,
- 575, 575, 241, 575, 576, 576, 576, 239, 576, 577,
-
- 577, 577, 237, 577, 578, 578, 578, 578, 578, 236,
- 578, 579, 235, 579, 580, 234, 580, 581, 229, 581,
- 582, 582, 582, 582, 582, 582, 582, 583, 228, 223,
- 583, 584, 584, 584, 584, 584, 584, 585, 585, 585,
- 585, 585, 585, 586, 586, 586, 586, 586, 586, 587,
- 587, 587, 587, 587, 587, 587, 588, 588, 588, 588,
- 588, 588, 588, 589, 589, 589, 589, 589, 589, 589,
- 590, 590, 590, 590, 590, 590, 590, 591, 591, 591,
- 591, 591, 591, 591, 592, 592, 592, 592, 592, 592,
- 592, 593, 593, 593, 593, 593, 593, 593, 222, 220,
-
- 219, 217, 216, 213, 212, 211, 209, 205, 203, 200,
- 199, 198, 197, 196, 195, 194, 193, 190, 189, 186,
- 185, 184, 183, 182, 181, 180, 178, 177, 176, 175,
- 174, 170, 168, 167, 166, 165, 164, 163, 162, 161,
- 160, 157, 156, 155, 154, 153, 152, 149, 148, 147,
- 146, 145, 144, 143, 142, 139, 138, 137, 136, 135,
- 129, 128, 126, 123, 122, 118, 117, 116, 115, 111,
- 100, 96, 89, 88, 87, 85, 81, 77, 76, 75,
- 69, 68, 66, 63, 51, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
-
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563, 563, 563, 563, 563, 563, 563, 563, 563, 563,
- 563
- } ;
-
-/* Table of booleans, true if rule could match eol. */
-static yyconst flex_int32_t yy_rule_can_match_eol[93] =
- { 0,
-0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1,
- 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1,
- 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, };
-
-static yy_state_type yy_last_accepting_state;
-static char *yy_last_accepting_cpos;
-
-extern int xbt_graph_parse__flex_debug;
-int xbt_graph_parse__flex_debug = 0;
-
-/* The intent behind this definition is that it'll catch
- * any uses of REJECT which flex missed.
- */
-#define REJECT reject_used_but_not_detected
-#define yymore() yymore_used_but_not_detected
-#define YY_MORE_ADJ 0
-#define YY_RESTORE_YY_MORE_OFFSET
-char *xbt_graph_parse_text;
-/* Validating XML processor for src/xbt/graphxml.dtd.
- *
- * This program was generated with the FleXML XML processor generator.
- * FleXML is Copyright (C) 1999-2005 Kristoffer Rose. All rights reserved.
- * FleXML is Copyright (C) 2003-2013 Martin Quinson. All rights reserved.
- * (1.9.6).
- *
- * There are two, intertwined parts to this program, part A and part B.
- *
- * Part A
- * ------
- *
- * Some parts, here collectively called "Part A", are found in the
- * FleXML package. They are Copyright (C) 1999-2005 Kristoffer Rose
- * and Copyright (C) 2003-2013 Martin Quinson. All rights reserved.
- *
- * You can redistribute, use, perform, display and/or modify "Part A"
- * provided the following two conditions hold:
- *
- * 1. The program is distributed WITHOUT ANY WARRANTY from the author of
- * FleXML; without even the implied warranty of MERCHANTABILITY or
- * FITNESS FOR A PARTICULAR PURPOSE.
- *
- * 2. The program distribution conditions do not in any way affect the
- * distribution conditions of the FleXML system used to generate this
- * file or any version of FleXML derived from that system.
- *
- * Notice that these are explicit rights granted to you for files
- * generated by the FleXML system. For your rights in connection with
- * the FleXML system itself please consult the GNU General Public License.
- *
- * Part B
- * ------
- *
- * The other parts, here collectively called "Part B", and which came
- * from the DTD used by FleXML to generate this program, can be
- * distributed (or not, as the case may be) under the terms of whoever
- * wrote them, provided these terms respect and obey the two conditions
- * above under the heading "Part A".
- *
- * The author of and contributors to FleXML specifically disclaim
- * any copyright interest in "Part B", unless "Part B" was written
- * by the author of or contributors to FleXML.
- *
- */
-
-/* Version strings. */
-const char graphxml_flexml_version[] = "1.9.6";
-
-/* ANSI headers. */
-#include <stdlib.h> /* for realloc() -- needed here when using flex 2.5.4 */
-#include <stdio.h>
-#include <string.h>
-#include <assert.h>
-#include <stdarg.h>
-#include <ctype.h>
-
-#if defined(_XBT_WIN32) || defined(__WIN32__) || defined(WIN32) || defined(__TOS_WIN__)
-# ifndef __STRICT_ANSI__
-# include <io.h>
-# include <process.h>
-# endif
-#else
-# include <unistd.h>
-#endif
-
-#ifndef FLEXML_INDEXSTACKSIZE
-#define FLEXML_INDEXSTACKSIZE 1000
-#endif
-
-/* Generated definitions. */
-#define FLEXML_yylineno
-#ifndef FLEXML_BUFFERSTACKSIZE
-#define FLEXML_BUFFERSTACKSIZE 1000000
-#endif
-#define FLEXML_NEED_BUFFERLIT
-
-/* XML processor api. */
-/* FleXML-provided data. */
-int graphxml_pcdata_ix;
-extern char *graphxml_bufferstack;
-#define graphxml_pcdata (graphxml_bufferstack + graphxml_pcdata_ix)
-AT_graphxml_edge_data AX_graphxml_edge_data;
-#define A_graphxml_edge_data (graphxml_bufferstack + AX_graphxml_edge_data)
-short int graphxml_edge_data_isset;
-AT_graphxml_edge_label AX_graphxml_edge_label;
-#define A_graphxml_edge_label (graphxml_bufferstack + AX_graphxml_edge_label)
-short int graphxml_edge_label_isset;
-AT_graphxml_edge_length AX_graphxml_edge_length;
-#define A_graphxml_edge_length (graphxml_bufferstack + AX_graphxml_edge_length)
-short int graphxml_edge_length_isset;
-AT_graphxml_edge_name AX_graphxml_edge_name;
-#define A_graphxml_edge_name (graphxml_bufferstack + AX_graphxml_edge_name)
-short int graphxml_edge_name_isset;
-AT_graphxml_edge_source AX_graphxml_edge_source;
-#define A_graphxml_edge_source (graphxml_bufferstack + AX_graphxml_edge_source)
-short int graphxml_edge_source_isset;
-AT_graphxml_edge_target AX_graphxml_edge_target;
-#define A_graphxml_edge_target (graphxml_bufferstack + AX_graphxml_edge_target)
-short int graphxml_edge_target_isset;
-AT_graphxml_graph_isDirected AX_graphxml_graph_isDirected;
-#define A_graphxml_graph_isDirected AX_graphxml_graph_isDirected
-short int graphxml_graph_isDirected_isset;
-AT_graphxml_node_data AX_graphxml_node_data;
-#define A_graphxml_node_data (graphxml_bufferstack + AX_graphxml_node_data)
-short int graphxml_node_data_isset;
-AT_graphxml_node_label AX_graphxml_node_label;
-#define A_graphxml_node_label (graphxml_bufferstack + AX_graphxml_node_label)
-short int graphxml_node_label_isset;
-AT_graphxml_node_name AX_graphxml_node_name;
-#define A_graphxml_node_name (graphxml_bufferstack + AX_graphxml_node_name)
-short int graphxml_node_name_isset;
-AT_graphxml_node_position___x AX_graphxml_node_position___x;
-#define A_graphxml_node_position___x (graphxml_bufferstack + AX_graphxml_node_position___x)
-short int graphxml_node_position___x_isset;
-AT_graphxml_node_position___y AX_graphxml_node_position___y;
-#define A_graphxml_node_position___y (graphxml_bufferstack + AX_graphxml_node_position___y)
-short int graphxml_node_position___y_isset;
-
-/* XML state. */
-#ifdef FLEX_DEBUG
-# define ENTER(state) debug_enter(state,#state)
-# define LEAVE debug_leave()
-# define SET(state) debug_set(state,#state)
- static void debug_enter(int, const char*);
- static void debug_leave(void);
- static void debug_set(int, const char*);
-#else
-# define ENTER(state) (yy_push_state(state))
-# define LEAVE (yy_pop_state())
-# define SET(state) BEGIN(state)
-#endif
-
-/* Generic actions. */
-#define SKIP /*skip*/
-#define SUCCEED CLEANUP; return 0
-
-#define FAIL return fail
-static int fail(const char*, ...);
-
-enum {flexml_max_err_msg_size = 512};
-static char flexml_err_msg[flexml_max_err_msg_size];
-const char * graphxml_parse_err_msg()
-{
- return flexml_err_msg;
-}
-static void reset_graphxml_parse_err_msg()
-{
- flexml_err_msg[0] = '\0';
-}
-
-/* Cleanup */
-static void cleanup(void);
-#define CLEANUP cleanup()
-
-/* Text buffer stack handling. */
-char *graphxml_bufferstack = NULL;
-static int blimit = FLEXML_BUFFERSTACKSIZE;
-static int bnext = 1;
-
-static int *indexstack = NULL;
-static int ilimit = FLEXML_INDEXSTACKSIZE;
-static int inext = 1;
-
-#define BUFFERSET(P) (P = bnext)
-#define BUFFERPUTC(C) (ck_blimit(), graphxml_bufferstack[bnext++] = (C))
-#define BUFFERDONE (BUFFERPUTC('\0'))
-
-#define BUFFERLITERAL(C, P) graphxml_bufferliteral(C, &(P), xbt_graph_parse_text)
-
-/* after this is called, there are at least 2 slots left in the stack */
-static int ck_blimit()
-{
- if (bnext >= blimit) {
- blimit += FLEXML_BUFFERSTACKSIZE + 2;
- {
- char *temp = (char *) realloc(graphxml_bufferstack, blimit);
- assert(temp);
- graphxml_bufferstack = temp;
- }
- }
- return 0;
-}
-
-/* after this is called, there are at least 2 slots left in the stack */
-static int ck_ilimit()
-{
- if (inext >= ilimit) {
- ilimit += FLEXML_INDEXSTACKSIZE + 2;
- {
- int *temp = (int *) realloc(indexstack, ilimit);
- assert(temp);
- indexstack = temp;
- }
- }
- return 0;
-}
-
-#ifdef FLEXML_NEED_BUFFERLIT
-static void graphxml_bufferliteral(char c, int* pp, const char* text)
-{
- BUFFERSET(*pp);
- if (c) {
- const char *s = strchr(text, c), *e = strrchr(text, c);
- assert(s && e && s <= e);
- ++s;
- while (s < e) {
- if (isspace(*s)) {
- BUFFERPUTC(' ');
- do ++s; while (s < e && isspace(*s));
- } else
- BUFFERPUTC(*s++);
- }
- } else {
- const char *s = text;
- while (*s)
- BUFFERPUTC(*s++);
- }
- BUFFERDONE;
-}
-#endif
-
-static void pushbuffer(int p)
-{
- ck_ilimit();
- indexstack[inext++] = p;
- indexstack[inext++] = bnext;
-}
-
-static int popbuffer(void)
-{
- assert(inext >= 2);
- bnext = indexstack[--inext];
- return indexstack[--inext];
-}
-
-/* General internal entities are `unput' back onto the input stream... */
-#define ENTITYTEXT(T) \
- { char *s = (T), *e = s+strlen(s);\
- while (--e >= s) { unput(*e); }}
-
-/* Flex standard options. */
-#define YY_NO_INPUT 1
-/* Flex user-requested options. */
-/* XML character classes (currently restricted to ASCII). */
-/* "Common syntactic structures." */
-/* "Names and Tokens." */
-/* Miscellaneous. */
-/* Parser states (flex `exclusive start conditions'):
- *
- * PROLOG the XML prolog of the document before <?xml...>
- * DOCTYPE the XML prolog of the document after <?xml...>
- * EPILOG after the root element
- * INCOMMENT inside an XML comment <!--....-->
- * INPI inside an XML PI <?...?>
- * VALUE1 inside a '...'-delimited literal
- * VALUE2 inside a "..."-delimited literal
- * CDATA inside a <![CDATA[...] ]> section.
- * ROOT_<tag> expect root element <tag>
- * AL_<tag> inside the attribute list for <tag>
- * IN_<tag> inside a <tag> with element contents (ready for end tag)
- * IMPOSSIBLE dummy to permit disabling rules; must be last
- */
-
-/* State names. */
-const char* *graphxml_statenames=NULL;
-
-#define INITIAL 0
-#define PROLOG 1
-#define DOCTYPE 2
-#define EPILOG 3
-#define INCOMMENT 4
-#define INPI 5
-#define VALUE1 6
-#define VALUE2 7
-#define CDATA 8
-#define ROOT_graphxml_edge 9
-#define AL_graphxml_edge 10
-#define E_graphxml_edge 11
-#define ROOT_graphxml_graph 12
-#define AL_graphxml_graph 13
-#define S_graphxml_graph 14
-#define S_graphxml_graph_1 15
-#define S_graphxml_graph_2 16
-#define S_graphxml_graph_3 17
-#define S_graphxml_graph_4 18
-#define S_graphxml_graph_5 19
-#define E_graphxml_graph 20
-#define ROOT_graphxml_node 21
-#define AL_graphxml_node 22
-#define E_graphxml_node 23
-#define IMPOSSIBLE 24
-
-#ifndef YY_NO_UNISTD_H
-/* Special case for "unistd.h", since it is non-ANSI. We include it way
- * down here because we want the user's section 1 to have been scanned first.
- * The user has a chance to override it with an option.
- */
-#if defined(_XBT_WIN32) || defined(__WIN32__) || defined(WIN32) || defined(__TOS_WIN__)
-# ifndef __STRICT_ANSI__
-# include <io.h>
-# include <process.h>
-# endif
-#else
-# include <unistd.h>
-#endif
-#endif
-
-#ifndef YY_EXTRA_TYPE
-#define YY_EXTRA_TYPE void *
-#endif
-
-static int yy_init_globals (void );
-
-/* Accessor methods to globals.
- These are made visible to non-reentrant scanners for convenience. */
-
-int xbt_graph_parse_lex_destroy (void );
-
-int xbt_graph_parse_get_debug (void );
-
-void xbt_graph_parse_set_debug (int debug_flag );
-
-YY_EXTRA_TYPE xbt_graph_parse_get_extra (void );
-
-void xbt_graph_parse_set_extra (YY_EXTRA_TYPE user_defined );
-
-FILE *xbt_graph_parse_get_in (void );
-
-void xbt_graph_parse_set_in (FILE * in_str );
-
-FILE *xbt_graph_parse_get_out (void );
-
-void xbt_graph_parse_set_out (FILE * out_str );
-
-yy_size_t xbt_graph_parse_get_leng (void );
-
-char *xbt_graph_parse_get_text (void );
-
-int xbt_graph_parse_get_lineno (void );
-
-void xbt_graph_parse_set_lineno (int line_number );
-
-/* Macros after this point can all be overridden by user definitions in
- * section 1.
- */
-
-#ifndef YY_SKIP_YYWRAP
-#ifdef __cplusplus
-extern "C" int xbt_graph_parse_wrap (void );
-#else
-extern int xbt_graph_parse_wrap (void );
-#endif
-#endif
-
-#ifndef yytext_ptr
-static void yy_flex_strncpy (char *,yyconst char *,int );
-#endif
-
-#ifdef YY_NEED_STRLEN
-static int yy_flex_strlen (yyconst char * );
-#endif
-
-#ifndef YY_NO_INPUT
-
-#ifdef __cplusplus
-static int yyinput (void );
-#else
-static int input (void );
-#endif
-
-#endif
-
- static int yy_start_stack_ptr = 0;
- static int yy_start_stack_depth = 0;
- static int *yy_start_stack = NULL;
-
- static void yy_push_state (int new_state );
-
- static void yy_pop_state (void );
-
-/* Amount of stuff to slurp up with each read. */
-#ifndef YY_READ_BUF_SIZE
-#ifdef __ia64__
-/* On IA-64, the buffer size is 16k, not 8k */
-#define YY_READ_BUF_SIZE 16384
-#else
-#define YY_READ_BUF_SIZE 8192
-#endif /* __ia64__ */
-#endif
-
-/* Copy whatever the last rule matched to the standard output. */
-#ifndef ECHO
-/* This used to be an fputs(), but since the string might contain NUL's,
- * we now use fwrite().
- */
-#define ECHO do { if (fwrite( xbt_graph_parse_text, xbt_graph_parse_leng, 1, xbt_graph_parse_out )) {} } while (0)
-#endif
-
-/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
- * is returned in "result".
- */
-#ifndef YY_INPUT
-#define YY_INPUT(buf,result,max_size) \
- if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
- { \
- int c = '*'; \
- size_t n; \
- for ( n = 0; n < max_size && \
- (c = getc( xbt_graph_parse_in )) != EOF && c != '\n'; ++n ) \
- buf[n] = (char) c; \
- if ( c == '\n' ) \
- buf[n++] = (char) c; \
- if ( c == EOF && ferror( xbt_graph_parse_in ) ) \
- YY_FATAL_ERROR( "input in flex scanner failed" ); \
- result = n; \
- } \
- else \
- { \
- errno=0; \
- while ( (result = fread(buf, 1, max_size, xbt_graph_parse_in))==0 && ferror(xbt_graph_parse_in)) \
- { \
- if( errno != EINTR) \
- { \
- YY_FATAL_ERROR( "input in flex scanner failed" ); \
- break; \
- } \
- errno=0; \
- clearerr(xbt_graph_parse_in); \
- } \
- }\
-\
-
-#endif
-
-/* No semi-colon after return; correct usage is to write "yyterminate();" -
- * we don't want an extra ';' after the "return" because that will cause
- * some compilers to complain about unreachable statements.
- */
-#ifndef yyterminate
-#define yyterminate() return YY_NULL
-#endif
-
-/* Number of entries by which start-condition stack grows. */
-#ifndef YY_START_STACK_INCR
-#define YY_START_STACK_INCR 25
-#endif
-
-/* Report a fatal error. */
-#ifndef YY_FATAL_ERROR
-#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
-#endif
-
-/* end tables serialization structures and prototypes */
-
-/* Default declaration of generated scanner - a define so the user can
- * easily add parameters.
- */
-#ifndef YY_DECL
-#define YY_DECL_IS_OURS 1
-
-extern int xbt_graph_parse_lex (void);
-
-#define YY_DECL int xbt_graph_parse_lex (void)
-#endif /* !YY_DECL */
-
-/* Code executed at the beginning of each rule, after xbt_graph_parse_text and xbt_graph_parse_leng
- * have been set up.
- */
-#ifndef YY_USER_ACTION
-#define YY_USER_ACTION
-#endif
-
-/* Code executed at the end of each rule. */
-#ifndef YY_BREAK
-#define YY_BREAK break;
-#endif
-
-#define YY_RULE_SETUP \
- YY_USER_ACTION
-
-/** The main scanner function which does all the work.
- */
-YY_DECL
-{
- yy_state_type yy_current_state;
- char *yy_cp, *yy_bp;
- int yy_act;
-
- if ( !(yy_init) )
- {
- (yy_init) = 1;
-
-#ifdef YY_USER_INIT
- YY_USER_INIT;
-#endif
-
- if ( ! (yy_start) )
- (yy_start) = 1; /* first start state */
-
- if ( ! xbt_graph_parse_in )
- xbt_graph_parse_in = stdin;
-
- if ( ! xbt_graph_parse_out )
- xbt_graph_parse_out = stdout;
-
- if ( ! YY_CURRENT_BUFFER ) {
- xbt_graph_parse_ensure_buffer_stack ();
- YY_CURRENT_BUFFER_LVALUE =
- xbt_graph_parse__create_buffer(xbt_graph_parse_in,YY_BUF_SIZE );
- }
-
- xbt_graph_parse__load_buffer_state( );
- }
-
- {
-
- /* Bypass Flex's default INITIAL state and begin by parsing the XML prolog. */
- SET(PROLOG);
- reset_graphxml_parse_err_msg();
- graphxml_bufferstack = (char *) malloc(FLEXML_BUFFERSTACKSIZE);
- assert(graphxml_bufferstack);
- #ifdef FLEX_DEBUG
- {
- int i;
- for (i = 0; i < blimit; i++) {
- graphxml_bufferstack[i] = '\377';
- }
- }
- #endif
- graphxml_bufferstack[0] = '\0';
- indexstack = (int *) malloc(FLEXML_INDEXSTACKSIZE * sizeof(int));
- assert(indexstack);
- indexstack[0] = 0;
-
- /* FleXML_init */
- bnext = inext = 1;
- graphxml_bufferliteral('\0', &bnext, "-1.0");
- graphxml_bufferliteral('\0', &bnext, "-1.0");
- graphxml_bufferliteral('\0', &bnext, "-1.0");
- if(!graphxml_statenames) {graphxml_statenames= (const char **)calloc(IMPOSSIBLE,sizeof(char*));
- graphxml_statenames[PROLOG] = NULL;
- graphxml_statenames[DOCTYPE] = NULL;
- graphxml_statenames[EPILOG] = NULL;
- graphxml_statenames[INCOMMENT] = NULL;
- graphxml_statenames[INPI] = NULL;
- graphxml_statenames[VALUE1] = NULL;
- graphxml_statenames[VALUE2] = NULL;
- graphxml_statenames[CDATA] = NULL;
- graphxml_statenames[ROOT_graphxml_edge] = NULL;
- graphxml_statenames[AL_graphxml_edge] = NULL;
- graphxml_statenames[E_graphxml_edge] = "edge";
- graphxml_statenames[ROOT_graphxml_graph] = NULL;
- graphxml_statenames[AL_graphxml_graph] = NULL;
- graphxml_statenames[S_graphxml_graph] = "graph";
- graphxml_statenames[S_graphxml_graph_1] = "graph";
- graphxml_statenames[S_graphxml_graph_2] = "graph";
- graphxml_statenames[S_graphxml_graph_3] = "graph";
- graphxml_statenames[S_graphxml_graph_4] = "graph";
- graphxml_statenames[S_graphxml_graph_5] = "graph";
- graphxml_statenames[E_graphxml_graph] = "graph";
- graphxml_statenames[ROOT_graphxml_node] = NULL;
- graphxml_statenames[AL_graphxml_node] = NULL;
- graphxml_statenames[E_graphxml_node] = "node";
- }
-
- /* COMMENTS and PIs: handled uniformly for efficiency. */
-
- while ( 1 ) /* loops until end-of-file is reached */
- {
- yy_cp = (yy_c_buf_p);
-
- /* Support of xbt_graph_parse_text. */
- *yy_cp = (yy_hold_char);
-
- /* yy_bp points to the position in yy_ch_buf of the start of
- * the current run.
- */
- yy_bp = yy_cp;
-
- yy_current_state = (yy_start);
-yy_match:
- do
- {
- YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)] ;
- if ( yy_accept[yy_current_state] )
- {
- (yy_last_accepting_state) = yy_current_state;
- (yy_last_accepting_cpos) = yy_cp;
- }
- while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
- {
- yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 564 )
- yy_c = yy_meta[(unsigned int) yy_c];
- }
- yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
- ++yy_cp;
- }
- while ( yy_base[yy_current_state] != 1586 );
-
-yy_find_action:
- yy_act = yy_accept[yy_current_state];
- if ( yy_act == 0 )
- { /* have to back up */
- yy_cp = (yy_last_accepting_cpos);
- yy_current_state = (yy_last_accepting_state);
- yy_act = yy_accept[yy_current_state];
- }
-
- YY_DO_BEFORE_ACTION;
-
- if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] )
- {
- yy_size_t yyl;
- for ( yyl = 0; yyl < xbt_graph_parse_leng; ++yyl )
- if ( xbt_graph_parse_text[yyl] == '\n' )
-
- xbt_graph_parse_lineno++;
-;
- }
-
-do_action: /* This label is used only to access EOF actions. */
-
- switch ( yy_act )
- { /* beginning of action switch */
- case 0: /* must back up */
- /* undo the effects of YY_DO_BEFORE_ACTION */
- *yy_cp = (yy_hold_char);
- yy_cp = (yy_last_accepting_cpos);
- yy_current_state = (yy_last_accepting_state);
- goto yy_find_action;
-
-case 1:
-YY_RULE_SETUP
-ENTER(INCOMMENT);
- YY_BREAK
-case 2:
-YY_RULE_SETUP
-ENTER(INPI);
- YY_BREAK
-
-case 3:
-YY_RULE_SETUP
-LEAVE;
- YY_BREAK
-case 4:
-case 5:
-case 6:
-/* rule 6 can match eol */
-YY_RULE_SETUP
-SKIP;
- YY_BREAK
-case YY_STATE_EOF(INCOMMENT):
-FAIL("EOF in comment.");
- YY_BREAK
-
-case 7:
-YY_RULE_SETUP
-LEAVE;
- YY_BREAK
-case 8:
-case 9:
-/* rule 9 can match eol */
-YY_RULE_SETUP
-SKIP;
- YY_BREAK
-case YY_STATE_EOF(INPI):
-FAIL("EOF in PI (processing instruction).");
- YY_BREAK
-
-/* SPACES: skipped uniformly */
-case 10:
-/* rule 10 can match eol */
-YY_RULE_SETUP
-SKIP;
- YY_BREAK
-/* PROLOG: determine root element and process it. */
-
-case 11:
-/* rule 11 can match eol */
-YY_RULE_SETUP
-SET(DOCTYPE);
- YY_BREAK
-case 12:
-/* rule 12 can match eol */
-YY_RULE_SETUP
-FAIL("Bad declaration %s.",xbt_graph_parse_text);
- YY_BREAK
-
-case 13:
-/* rule 13 can match eol */
-YY_RULE_SETUP
-SET(ROOT_graphxml_edge);
- YY_BREAK
-case 14:
-/* rule 14 can match eol */
-YY_RULE_SETUP
-SET(ROOT_graphxml_graph);
- YY_BREAK
-case 15:
-/* rule 15 can match eol */
-YY_RULE_SETUP
-SET(ROOT_graphxml_node);
- YY_BREAK
-case 16:
-/* rule 16 can match eol */
-YY_RULE_SETUP
-FAIL("Bad declaration %s.",xbt_graph_parse_text);
- YY_BREAK
-case 17:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c' in prolog.", xbt_graph_parse_text[0]);
- YY_BREAK
-case YY_STATE_EOF(PROLOG):
-case YY_STATE_EOF(DOCTYPE):
-FAIL("EOF in prolog.");
- YY_BREAK
-
-/* RULES DERIVED FROM DTD. */
-/* label CDATA ""
- * name CDATA #IMPLIED
- * source CDATA #REQUIRED
- * target CDATA #REQUIRED
- * length CDATA "-1.0"
- * data CDATA ""
- * > */
-case 18:
-/* rule 18 can match eol */
-YY_RULE_SETUP
-FAIL("Starting tag <edge> is not allowed here.");
- YY_BREAK
-case 19:
-/* rule 19 can match eol */
-YY_RULE_SETUP
-{
- AX_graphxml_edge_data = 0;
- graphxml_edge_data_isset = 0;
- AX_graphxml_edge_label = 0;
- graphxml_edge_label_isset = 0;
- AX_graphxml_edge_length = 11;
- graphxml_edge_length_isset = 0;
- AX_graphxml_edge_name = 0;
- graphxml_edge_name_isset = 0;
- AX_graphxml_edge_source = 0;
- graphxml_edge_source_isset = 0;
- AX_graphxml_edge_target = 0;
- graphxml_edge_target_isset = 0;
- ENTER(AL_graphxml_edge); pushbuffer(0);
- }
- YY_BREAK
-
-case 20:
-/* rule 20 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_data_isset != 0) {FAIL("Multiple definition of attribute data in <graphxml_edge>");} graphxml_edge_data_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_data);
- YY_BREAK
-case 21:
-/* rule 21 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_data_isset != 0) {FAIL("Multiple definition of attribute data in <graphxml_edge>");} graphxml_edge_data_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_data);
- YY_BREAK
-case 22:
-/* rule 22 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_label_isset != 0) {FAIL("Multiple definition of attribute label in <graphxml_edge>");} graphxml_edge_label_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_label);
- YY_BREAK
-case 23:
-/* rule 23 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_label_isset != 0) {FAIL("Multiple definition of attribute label in <graphxml_edge>");} graphxml_edge_label_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_label);
- YY_BREAK
-case 24:
-/* rule 24 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_length_isset != 0) {FAIL("Multiple definition of attribute length in <graphxml_edge>");} graphxml_edge_length_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_length);
- YY_BREAK
-case 25:
-/* rule 25 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_length_isset != 0) {FAIL("Multiple definition of attribute length in <graphxml_edge>");} graphxml_edge_length_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_length);
- YY_BREAK
-case 26:
-/* rule 26 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_name_isset != 0) {FAIL("Multiple definition of attribute name in <graphxml_edge>");} graphxml_edge_name_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_name);
- YY_BREAK
-case 27:
-/* rule 27 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_name_isset != 0) {FAIL("Multiple definition of attribute name in <graphxml_edge>");} graphxml_edge_name_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_name);
- YY_BREAK
-case 28:
-/* rule 28 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_source_isset != 0) {FAIL("Multiple definition of attribute source in <graphxml_edge>");} graphxml_edge_source_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_source);
- YY_BREAK
-case 29:
-/* rule 29 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_source_isset != 0) {FAIL("Multiple definition of attribute source in <graphxml_edge>");} graphxml_edge_source_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_source);
- YY_BREAK
-case 30:
-/* rule 30 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_target_isset != 0) {FAIL("Multiple definition of attribute target in <graphxml_edge>");} graphxml_edge_target_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_edge_target);
- YY_BREAK
-case 31:
-/* rule 31 can match eol */
-YY_RULE_SETUP
-if (graphxml_edge_target_isset != 0) {FAIL("Multiple definition of attribute target in <graphxml_edge>");} graphxml_edge_target_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_edge_target);
- YY_BREAK
-case 32:
-YY_RULE_SETUP
-{
- if (!AX_graphxml_edge_source) FAIL("Required attribute `source' not set for `edge' element.");
- if (!AX_graphxml_edge_target) FAIL("Required attribute `target' not set for `edge' element.");
- LEAVE; STag_graphxml_edge();graphxml_pcdata_ix = 0; ENTER(E_graphxml_edge);
- }
- YY_BREAK
-case 33:
-YY_RULE_SETUP
-{
- if (!AX_graphxml_edge_source) FAIL("Required attribute `source' not set for `edge' element.");
- if (!AX_graphxml_edge_target) FAIL("Required attribute `target' not set for `edge' element.");
- LEAVE; STag_graphxml_edge(); graphxml_pcdata_ix = 0; ETag_graphxml_edge(); popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_edge: SET(EPILOG); break;
- case S_graphxml_graph: case S_graphxml_graph_1: case S_graphxml_graph_3: case S_graphxml_graph_4: case S_graphxml_graph_5: SET(S_graphxml_graph_5); break;
- }
- }
- YY_BREAK
-case 34:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c' in attribute list of edge element.", xbt_graph_parse_text[0]);
- YY_BREAK
-case 35:
-YY_RULE_SETUP
-FAIL("Bad attribute `%s' in `edge' element start tag.",xbt_graph_parse_text);
- YY_BREAK
-case YY_STATE_EOF(AL_graphxml_edge):
-FAIL("EOF in attribute list of `edge' element.");
- YY_BREAK
-
-case 36:
-/* rule 36 can match eol */
-YY_RULE_SETUP
-{
- LEAVE;
- ETag_graphxml_edge();
- popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_edge: SET(EPILOG); break;
- case S_graphxml_graph: case S_graphxml_graph_1: case S_graphxml_graph_3: case S_graphxml_graph_4: case S_graphxml_graph_5: SET(S_graphxml_graph_5); break;
- }
- }
- YY_BREAK
-case 37:
-/* rule 37 can match eol */
-YY_RULE_SETUP
-FAIL("Unexpected end-tag `%s': `</edge>' expected.",xbt_graph_parse_text);
- YY_BREAK
-case 38:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c': `</edge>' expected.",xbt_graph_parse_text[0]);
- YY_BREAK
-case YY_STATE_EOF(E_graphxml_edge):
-FAIL("Premature EOF: `</edge>' expected.");
- YY_BREAK
-
-/* <!-- Small DTD for xbt graphs. --> */
-/* isDirected (true|false) "true"
- * > */
-case 39:
-/* rule 39 can match eol */
-YY_RULE_SETUP
-FAIL("Starting tag <graph> is not allowed here.");
- YY_BREAK
-case 40:
-/* rule 40 can match eol */
-YY_RULE_SETUP
-{
- AX_graphxml_graph_isDirected = A_graphxml_graph_isDirected_true;
- graphxml_graph_isDirected_isset = 0;
- ENTER(AL_graphxml_graph); pushbuffer(0);
- }
- YY_BREAK
-
-case 41:
-/* rule 41 can match eol */
-case 42:
-/* rule 42 can match eol */
-YY_RULE_SETUP
-A_graphxml_graph_isDirected = A_graphxml_graph_isDirected_true;
- YY_BREAK
-case 43:
-/* rule 43 can match eol */
-case 44:
-/* rule 44 can match eol */
-YY_RULE_SETUP
-A_graphxml_graph_isDirected = A_graphxml_graph_isDirected_false;
- YY_BREAK
-case 45:
-YY_RULE_SETUP
-{
- LEAVE; STag_graphxml_graph();graphxml_pcdata_ix = 0; ENTER(S_graphxml_graph);
- }
- YY_BREAK
-case 46:
-YY_RULE_SETUP
-{
- LEAVE; STag_graphxml_graph(); graphxml_pcdata_ix = 0; ETag_graphxml_graph(); popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_graph: SET(EPILOG); break;
- }
- }
- YY_BREAK
-case 47:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c' in attribute list of graph element.", xbt_graph_parse_text[0]);
- YY_BREAK
-case 48:
-YY_RULE_SETUP
-FAIL("Bad attribute `%s' in `graph' element start tag.",xbt_graph_parse_text);
- YY_BREAK
-case YY_STATE_EOF(AL_graphxml_graph):
-FAIL("EOF in attribute list of `graph' element.");
- YY_BREAK
-
-case 49:
-/* rule 49 can match eol */
-YY_RULE_SETUP
-{
- LEAVE;
- ETag_graphxml_graph();
- popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_graph: SET(EPILOG); break;
- }
- }
- YY_BREAK
-case 50:
-/* rule 50 can match eol */
-YY_RULE_SETUP
-FAIL("Unexpected end-tag `%s': `</graph>' expected.",xbt_graph_parse_text);
- YY_BREAK
-case 51:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c': `</graph>' expected.",xbt_graph_parse_text[0]);
- YY_BREAK
-case YY_STATE_EOF(E_graphxml_graph):
-case YY_STATE_EOF(S_graphxml_graph):
-case YY_STATE_EOF(S_graphxml_graph_1):
-case YY_STATE_EOF(S_graphxml_graph_3):
-case YY_STATE_EOF(S_graphxml_graph_5):
-FAIL("Premature EOF: `</graph>' expected.");
- YY_BREAK
-
-/* label CDATA ""
- * name CDATA #REQUIRED
- * data CDATA ""
- * position_x CDATA "-1.0"
- * position_y CDATA "-1.0"
- * > */
-case 52:
-/* rule 52 can match eol */
-YY_RULE_SETUP
-FAIL("Starting tag <node> is not allowed here.");
- YY_BREAK
-case 53:
-/* rule 53 can match eol */
-YY_RULE_SETUP
-{
- AX_graphxml_node_data = 0;
- graphxml_node_data_isset = 0;
- AX_graphxml_node_label = 0;
- graphxml_node_label_isset = 0;
- AX_graphxml_node_name = 0;
- graphxml_node_name_isset = 0;
- AX_graphxml_node_position___x = 1;
- graphxml_node_position___x_isset = 0;
- AX_graphxml_node_position___y = 6;
- graphxml_node_position___y_isset = 0;
- ENTER(AL_graphxml_node); pushbuffer(0);
- }
- YY_BREAK
-
-case 54:
-/* rule 54 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_data_isset != 0) {FAIL("Multiple definition of attribute data in <graphxml_node>");} graphxml_node_data_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_node_data);
- YY_BREAK
-case 55:
-/* rule 55 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_data_isset != 0) {FAIL("Multiple definition of attribute data in <graphxml_node>");} graphxml_node_data_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_node_data);
- YY_BREAK
-case 56:
-/* rule 56 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_label_isset != 0) {FAIL("Multiple definition of attribute label in <graphxml_node>");} graphxml_node_label_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_node_label);
- YY_BREAK
-case 57:
-/* rule 57 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_label_isset != 0) {FAIL("Multiple definition of attribute label in <graphxml_node>");} graphxml_node_label_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_node_label);
- YY_BREAK
-case 58:
-/* rule 58 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_name_isset != 0) {FAIL("Multiple definition of attribute name in <graphxml_node>");} graphxml_node_name_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_node_name);
- YY_BREAK
-case 59:
-/* rule 59 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_name_isset != 0) {FAIL("Multiple definition of attribute name in <graphxml_node>");} graphxml_node_name_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_node_name);
- YY_BREAK
-case 60:
-/* rule 60 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_position___x_isset != 0) {FAIL("Multiple definition of attribute position_x in <graphxml_node>");} graphxml_node_position___x_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_node_position___x);
- YY_BREAK
-case 61:
-/* rule 61 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_position___x_isset != 0) {FAIL("Multiple definition of attribute position_x in <graphxml_node>");} graphxml_node_position___x_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_node_position___x);
- YY_BREAK
-case 62:
-/* rule 62 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_position___y_isset != 0) {FAIL("Multiple definition of attribute position_y in <graphxml_node>");} graphxml_node_position___y_isset = 1; ENTER(VALUE1); BUFFERSET(AX_graphxml_node_position___y);
- YY_BREAK
-case 63:
-/* rule 63 can match eol */
-YY_RULE_SETUP
-if (graphxml_node_position___y_isset != 0) {FAIL("Multiple definition of attribute position_y in <graphxml_node>");} graphxml_node_position___y_isset = 1; ENTER(VALUE2); BUFFERSET(AX_graphxml_node_position___y);
- YY_BREAK
-case 64:
-YY_RULE_SETUP
-{
- if (!AX_graphxml_node_name) FAIL("Required attribute `name' not set for `node' element.");
- LEAVE; STag_graphxml_node();graphxml_pcdata_ix = 0; ENTER(E_graphxml_node);
- }
- YY_BREAK
-case 65:
-YY_RULE_SETUP
-{
- if (!AX_graphxml_node_name) FAIL("Required attribute `name' not set for `node' element.");
- LEAVE; STag_graphxml_node(); graphxml_pcdata_ix = 0; ETag_graphxml_node(); popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_node: SET(EPILOG); break;
- case S_graphxml_graph: case S_graphxml_graph_2: case S_graphxml_graph_3: SET(S_graphxml_graph_3); break;
- }
- }
- YY_BREAK
-case 66:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c' in attribute list of node element.", xbt_graph_parse_text[0]);
- YY_BREAK
-case 67:
-YY_RULE_SETUP
-FAIL("Bad attribute `%s' in `node' element start tag.",xbt_graph_parse_text);
- YY_BREAK
-case YY_STATE_EOF(AL_graphxml_node):
-FAIL("EOF in attribute list of `node' element.");
- YY_BREAK
-
-case 68:
-/* rule 68 can match eol */
-YY_RULE_SETUP
-{
- LEAVE;
- ETag_graphxml_node();
- popbuffer(); /* attribute */
- switch (YY_START) {
- case ROOT_graphxml_node: SET(EPILOG); break;
- case S_graphxml_graph: case S_graphxml_graph_2: case S_graphxml_graph_3: SET(S_graphxml_graph_3); break;
- }
- }
- YY_BREAK
-case 69:
-/* rule 69 can match eol */
-YY_RULE_SETUP
-FAIL("Unexpected end-tag `%s': `</node>' expected.",xbt_graph_parse_text);
- YY_BREAK
-case 70:
-YY_RULE_SETUP
-FAIL("Unexpected character `%c': `</node>' expected.",xbt_graph_parse_text[0]);
- YY_BREAK
-case YY_STATE_EOF(E_graphxml_node):
-FAIL("Premature EOF: `</node>' expected.");
- YY_BREAK
-
-/* EPILOG: after the root element. */
-
-case 71:
-YY_RULE_SETUP
-{SET(PROLOG); yyless(0); CLEANUP; return -1;}
- YY_BREAK
-case YY_STATE_EOF(EPILOG):
-SUCCEED;
- YY_BREAK
-
-/* CHARACTER DATA. */
-
-/* Non-defined standard entities... */
-case 72:
-YY_RULE_SETUP
-BUFFERPUTC('&');
- YY_BREAK
-case 73:
-YY_RULE_SETUP
-BUFFERPUTC('<');
- YY_BREAK
-case 74:
-YY_RULE_SETUP
-BUFFERPUTC('>');
- YY_BREAK
-case 75:
-YY_RULE_SETUP
-BUFFERPUTC('\'');
- YY_BREAK
-case 76:
-YY_RULE_SETUP
-BUFFERPUTC('"');
- YY_BREAK
-/* Character entities. */
-case 77:
-YY_RULE_SETUP
-BUFFERPUTC((unsigned char)atoi(xbt_graph_parse_text+2));
- YY_BREAK
-case 78:
-YY_RULE_SETUP
-BUFFERPUTC((unsigned char)strtol(xbt_graph_parse_text+3,NULL,16));
- YY_BREAK
-
-case 79:
-/* rule 79 can match eol */
-case 80:
-/* rule 80 can match eol */
-case 81:
-/* rule 81 can match eol */
-case 82:
-/* rule 82 can match eol */
-YY_RULE_SETUP
-BUFFERPUTC('\n');
- YY_BREAK
-
-case 83:
-YY_RULE_SETUP
-ENTER(CDATA);
- YY_BREAK
-case 84:
-YY_RULE_SETUP
-FAIL("Unexpected `]""]>' in character data.");
- YY_BREAK
-
-case 85:
-YY_RULE_SETUP
-BUFFERDONE; LEAVE;
- YY_BREAK
-case YY_STATE_EOF(VALUE1):
-FAIL("EOF in literal (\"'\" expected).");
- YY_BREAK
-
-case 86:
-YY_RULE_SETUP
-BUFFERDONE; LEAVE;
- YY_BREAK
-case YY_STATE_EOF(VALUE2):
-FAIL("EOF in literal (`\"' expected).");
- YY_BREAK
-
-case 87:
-/* rule 87 can match eol */
-YY_RULE_SETUP
-BUFFERPUTC(xbt_graph_parse_text[0]);
- YY_BREAK
-case 88:
-YY_RULE_SETUP
-FAIL("Spurious `%c' in character data.",xbt_graph_parse_text[0]);
- YY_BREAK
-
-case 89:
-YY_RULE_SETUP
-LEAVE;
- YY_BREAK
-/* "]""]" BUFFERPUTC(xbt_graph_parse_text[0]); BUFFERPUTC(xbt_graph_parse_text[1]); */
-case 90:
-YY_RULE_SETUP
-BUFFERPUTC(xbt_graph_parse_text[0]);
- YY_BREAK
-case YY_STATE_EOF(CDATA):
-FAIL("EOF in CDATA section.");
- YY_BREAK
-
-/* Impossible rules to avoid warnings from flex(1). */
-/* Ideally, this should be replaced by code in flexml.pl that
- generates just the states not covered by other rules. */
-
-case 91:
-/* rule 91 can match eol */
-YY_RULE_SETUP
-FAIL("Syntax error on character `%c'.", xbt_graph_parse_text[0]);
- YY_BREAK
-
-case 92:
-YY_RULE_SETUP
-ECHO;
- YY_BREAK
-case YY_STATE_EOF(INITIAL):
-case YY_STATE_EOF(ROOT_graphxml_edge):
-case YY_STATE_EOF(ROOT_graphxml_graph):
-case YY_STATE_EOF(S_graphxml_graph_2):
-case YY_STATE_EOF(S_graphxml_graph_4):
-case YY_STATE_EOF(ROOT_graphxml_node):
-case YY_STATE_EOF(IMPOSSIBLE):
- yyterminate();
-
- case YY_END_OF_BUFFER:
- {
- /* Amount of text matched not including the EOB char. */
- int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
-
- /* Undo the effects of YY_DO_BEFORE_ACTION. */
- *yy_cp = (yy_hold_char);
- YY_RESTORE_YY_MORE_OFFSET
-
- if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
- {
- /* We're scanning a new file or input source. It's
- * possible that this happened because the user
- * just pointed xbt_graph_parse_in at a new source and called
- * xbt_graph_parse_lex(). If so, then we have to assure
- * consistency between YY_CURRENT_BUFFER and our
- * globals. Here is the right place to do so, because
- * this is the first action (other than possibly a
- * back-up) that will match for the new input source.
- */
- (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
- YY_CURRENT_BUFFER_LVALUE->yy_input_file = xbt_graph_parse_in;
- YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
- }
-
- /* Note that here we test for yy_c_buf_p "<=" to the position
- * of the first EOB in the buffer, since yy_c_buf_p will
- * already have been incremented past the NUL character
- * (since all states make transitions on EOB to the
- * end-of-buffer state). Contrast this with the test
- * in input().
- */
- if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
- { /* This was really a NUL. */
- yy_state_type yy_next_state;
-
- (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
-
- yy_current_state = yy_get_previous_state( );
-
- /* Okay, we're now positioned to make the NUL
- * transition. We couldn't have
- * yy_get_previous_state() go ahead and do it
- * for us because it doesn't know how to deal
- * with the possibility of jamming (and we don't
- * want to build jamming into it because then it
- * will run more slowly).
- */
-
- yy_next_state = yy_try_NUL_trans( yy_current_state );
-
- yy_bp = (yytext_ptr) + YY_MORE_ADJ;
-
- if ( yy_next_state )
- {
- /* Consume the NUL. */
- yy_cp = ++(yy_c_buf_p);
- yy_current_state = yy_next_state;
- goto yy_match;
- }
-
- else
- {
- yy_cp = (yy_c_buf_p);
- goto yy_find_action;
- }
- }
-
- else switch ( yy_get_next_buffer( ) )
- {
- case EOB_ACT_END_OF_FILE:
- {
- (yy_did_buffer_switch_on_eof) = 0;
-
- if ( xbt_graph_parse_wrap( ) )
- {
- /* Note: because we've taken care in
- * yy_get_next_buffer() to have set up
- * xbt_graph_parse_text, we can now set up
- * yy_c_buf_p so that if some total
- * hoser (like flex itself) wants to
- * call the scanner after we return the
- * YY_NULL, it'll still work - another
- * YY_NULL will get returned.
- */
- (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
-
- yy_act = YY_STATE_EOF(YY_START);
- goto do_action;
- }
-
- else
- {
- if ( ! (yy_did_buffer_switch_on_eof) )
- YY_NEW_FILE;
- }
- break;
- }
-
- case EOB_ACT_CONTINUE_SCAN:
- (yy_c_buf_p) =
- (yytext_ptr) + yy_amount_of_matched_text;
-
- yy_current_state = yy_get_previous_state( );
-
- yy_cp = (yy_c_buf_p);
- yy_bp = (yytext_ptr) + YY_MORE_ADJ;
- goto yy_match;
-
- case EOB_ACT_LAST_MATCH:
- (yy_c_buf_p) =
- &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
-
- yy_current_state = yy_get_previous_state( );
-
- yy_cp = (yy_c_buf_p);
- yy_bp = (yytext_ptr) + YY_MORE_ADJ;
- goto yy_find_action;
- }
- break;
- }
-
- default:
- YY_FATAL_ERROR(
- "fatal flex scanner internal error--no action found" );
- } /* end of action switch */
- } /* end of scanning one token */
- } /* end of user's declarations */
-} /* end of xbt_graph_parse_lex */
-
-/* yy_get_next_buffer - try to read in a new buffer
- *
- * Returns a code representing an action:
- * EOB_ACT_LAST_MATCH -
- * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
- * EOB_ACT_END_OF_FILE - end of file
- */
-static int yy_get_next_buffer (void)
-{
- char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
- char *source = (yytext_ptr);
- int number_to_move, i;
- int ret_val;
-
- if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
- YY_FATAL_ERROR(
- "fatal flex scanner internal error--end of buffer missed" );
-
- if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
- { /* Don't try to fill the buffer, so this is an EOF. */
- if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
- {
- /* We matched a single character, the EOB, so
- * treat this as a final EOF.
- */
- return EOB_ACT_END_OF_FILE;
- }
-
- else
- {
- /* We matched some text prior to the EOB, first
- * process it.
- */
- return EOB_ACT_LAST_MATCH;
- }
- }
-
- /* Try to read more data. */
-
- /* First move last chars to start of buffer. */
- number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
-
- for ( i = 0; i < number_to_move; ++i )
- *(dest++) = *(source++);
-
- if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
- /* don't do the read, it's not guaranteed to return an EOF,
- * just force an EOF
- */
- YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
-
- else
- {
- yy_size_t num_to_read =
- YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
-
- while ( num_to_read <= 0 )
- { /* Not enough room in the buffer - grow it. */
-
- /* just a shorter name for the current buffer */
- YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
-
- int yy_c_buf_p_offset =
- (int) ((yy_c_buf_p) - b->yy_ch_buf);
-
- if ( b->yy_is_our_buffer )
- {
- yy_size_t new_size = b->yy_buf_size * 2;
-
- if ( new_size <= 0 )
- b->yy_buf_size += b->yy_buf_size / 8;
- else
- b->yy_buf_size *= 2;
-
- b->yy_ch_buf = (char *)
- /* Include room in for 2 EOB chars. */
- xbt_graph_parse_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
- }
- else
- /* Can't grow it, we don't own it. */
- b->yy_ch_buf = 0;
-
- if ( ! b->yy_ch_buf )
- YY_FATAL_ERROR(
- "fatal error - scanner input buffer overflow" );
-
- (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
-
- num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
- number_to_move - 1;
-
- }
-
- if ( num_to_read > YY_READ_BUF_SIZE )
- num_to_read = YY_READ_BUF_SIZE;
-
- /* Read in more data. */
- YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
- (yy_n_chars), num_to_read );
-
- YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
- }
-
- if ( (yy_n_chars) == 0 )
- {
- if ( number_to_move == YY_MORE_ADJ )
- {
- ret_val = EOB_ACT_END_OF_FILE;
- xbt_graph_parse_restart(xbt_graph_parse_in );
- }
-
- else
- {
- ret_val = EOB_ACT_LAST_MATCH;
- YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
- YY_BUFFER_EOF_PENDING;
- }
- }
-
- else
- ret_val = EOB_ACT_CONTINUE_SCAN;
-
- if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
- /* Extend the array by 50%, plus the number we really need. */
- yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
- YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_graph_parse_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
- if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
- YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
- }
-
- (yy_n_chars) += number_to_move;
- YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
- YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
-
- (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
-
- return ret_val;
-}
-
-/* yy_get_previous_state - get the state just before the EOB char was reached */
-
- static yy_state_type yy_get_previous_state (void)
-{
- yy_state_type yy_current_state;
- char *yy_cp;
-
- yy_current_state = (yy_start);
-
- for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
- {
- YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
- if ( yy_accept[yy_current_state] )
- {
- (yy_last_accepting_state) = yy_current_state;
- (yy_last_accepting_cpos) = yy_cp;
- }
- while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
- {
- yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 564 )
- yy_c = yy_meta[(unsigned int) yy_c];
- }
- yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
- }
-
- return yy_current_state;
-}
-
-/* yy_try_NUL_trans - try to make a transition on the NUL character
- *
- * synopsis
- * next_state = yy_try_NUL_trans( current_state );
- */
- static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
-{
- int yy_is_jam;
- char *yy_cp = (yy_c_buf_p);
-
- YY_CHAR yy_c = 1;
- if ( yy_accept[yy_current_state] )
- {
- (yy_last_accepting_state) = yy_current_state;
- (yy_last_accepting_cpos) = yy_cp;
- }
- while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
- {
- yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 564 )
- yy_c = yy_meta[(unsigned int) yy_c];
- }
- yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
- yy_is_jam = (yy_current_state == 563);
-
- return yy_is_jam ? 0 : yy_current_state;
-}
-
-#ifndef YY_NO_INPUT
-#ifdef __cplusplus
- static int yyinput (void)
-#else
- static int input (void)
-#endif
-
-{
- int c;
-
- *(yy_c_buf_p) = (yy_hold_char);
-
- if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
- {
- /* yy_c_buf_p now points to the character we want to return.
- * If this occurs *before* the EOB characters, then it's a
- * valid NUL; if not, then we've hit the end of the buffer.
- */
- if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
- /* This was really a NUL. */
- *(yy_c_buf_p) = '\0';
-
- else
- { /* need more input */
- yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
- ++(yy_c_buf_p);
-
- switch ( yy_get_next_buffer( ) )
- {
- case EOB_ACT_LAST_MATCH:
- /* This happens because yy_g_n_b()
- * sees that we've accumulated a
- * token and flags that we need to
- * try matching the token before
- * proceeding. But for input(),
- * there's no matching to consider.
- * So convert the EOB_ACT_LAST_MATCH
- * to EOB_ACT_END_OF_FILE.
- */
-
- /* Reset buffer status. */
- xbt_graph_parse_restart(xbt_graph_parse_in );
-
- /*FALLTHROUGH*/
-
- case EOB_ACT_END_OF_FILE:
- {
- if ( xbt_graph_parse_wrap( ) )
- return EOF;
-
- if ( ! (yy_did_buffer_switch_on_eof) )
- YY_NEW_FILE;
-#ifdef __cplusplus
- return yyinput();
-#else
- return input();
-#endif
- }
-
- case EOB_ACT_CONTINUE_SCAN:
- (yy_c_buf_p) = (yytext_ptr) + offset;
- break;
- }
- }
- }
-
- c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
- *(yy_c_buf_p) = '\0'; /* preserve xbt_graph_parse_text */
- (yy_hold_char) = *++(yy_c_buf_p);
-
- if ( c == '\n' )
-
- xbt_graph_parse_lineno++;
-;
-
- return c;
-}
-#endif /* ifndef YY_NO_INPUT */
-
-/** Immediately switch to a different input stream.
- * @param input_file A readable stream.
- *
- * @note This function does not reset the start condition to @c INITIAL .
- */
- void xbt_graph_parse_restart (FILE * input_file )
-{
-
- if ( ! YY_CURRENT_BUFFER ){
- xbt_graph_parse_ensure_buffer_stack ();
- YY_CURRENT_BUFFER_LVALUE =
- xbt_graph_parse__create_buffer(xbt_graph_parse_in,YY_BUF_SIZE );
- }
-
- xbt_graph_parse__init_buffer(YY_CURRENT_BUFFER,input_file );
- xbt_graph_parse__load_buffer_state( );
-}
-
-/** Switch to a different input buffer.
- * @param new_buffer The new input buffer.
- *
- */
- void xbt_graph_parse__switch_to_buffer (YY_BUFFER_STATE new_buffer )
-{
-
- /* TODO. We should be able to replace this entire function body
- * with
- * xbt_graph_parse_pop_buffer_state();
- * xbt_graph_parse_push_buffer_state(new_buffer);
- */
- xbt_graph_parse_ensure_buffer_stack ();
- if ( YY_CURRENT_BUFFER == new_buffer )
- return;
-
- if ( YY_CURRENT_BUFFER )
- {
- /* Flush out information for old buffer. */
- *(yy_c_buf_p) = (yy_hold_char);
- YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
- YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
- }
-
- YY_CURRENT_BUFFER_LVALUE = new_buffer;
- xbt_graph_parse__load_buffer_state( );
-
- /* We don't actually know whether we did this switch during
- * EOF (xbt_graph_parse_wrap()) processing, but the only time this flag
- * is looked at is after xbt_graph_parse_wrap() is called, so it's safe
- * to go ahead and always set it.
- */
- (yy_did_buffer_switch_on_eof) = 1;
-}
-
-static void xbt_graph_parse__load_buffer_state (void)
-{
- (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
- (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
- xbt_graph_parse_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
- (yy_hold_char) = *(yy_c_buf_p);
-}
-
-/** Allocate and initialize an input buffer state.
- * @param file A readable stream.
- * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
- *
- * @return the allocated buffer state.
- */
- YY_BUFFER_STATE xbt_graph_parse__create_buffer (FILE * file, int size )
-{
- YY_BUFFER_STATE b;
-
- b = (YY_BUFFER_STATE) xbt_graph_parse_alloc(sizeof( struct yy_buffer_state ) );
- if ( ! b )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse__create_buffer()" );
-
- b->yy_buf_size = size;
-
- /* yy_ch_buf has to be 2 characters longer than the size given because
- * we need to put in 2 end-of-buffer characters.
- */
- b->yy_ch_buf = (char *) xbt_graph_parse_alloc(b->yy_buf_size + 2 );
- if ( ! b->yy_ch_buf )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse__create_buffer()" );
-
- b->yy_is_our_buffer = 1;
-
- xbt_graph_parse__init_buffer(b,file );
-
- return b;
-}
-
-/** Destroy the buffer.
- * @param b a buffer created with xbt_graph_parse__create_buffer()
- *
- */
- void xbt_graph_parse__delete_buffer (YY_BUFFER_STATE b )
-{
-
- if ( ! b )
- return;
-
- if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
- YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
-
- if ( b->yy_is_our_buffer )
- xbt_graph_parse_free((void *) b->yy_ch_buf );
-
- xbt_graph_parse_free((void *) b );
-}
-
-/* Initializes or reinitializes a buffer.
- * This function is sometimes called more than once on the same buffer,
- * such as during a xbt_graph_parse_restart() or at EOF.
- */
- static void xbt_graph_parse__init_buffer (YY_BUFFER_STATE b, FILE * file )
-
-{
- int oerrno = errno;
-
- xbt_graph_parse__flush_buffer(b );
-
- b->yy_input_file = file;
- b->yy_fill_buffer = 1;
-
- /* If b is the current buffer, then xbt_graph_parse__init_buffer was _probably_
- * called from xbt_graph_parse_restart() or through yy_get_next_buffer.
- * In that case, we don't want to reset the lineno or column.
- */
- if (b != YY_CURRENT_BUFFER){
- b->yy_bs_lineno = 1;
- b->yy_bs_column = 0;
- }
-
- b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
-
- errno = oerrno;
-}
-
-/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
- * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
- *
- */
- void xbt_graph_parse__flush_buffer (YY_BUFFER_STATE b )
-{
- if ( ! b )
- return;
-
- b->yy_n_chars = 0;
-
- /* We always need two end-of-buffer characters. The first causes
- * a transition to the end-of-buffer state. The second causes
- * a jam in that state.
- */
- b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
- b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
-
- b->yy_buf_pos = &b->yy_ch_buf[0];
-
- b->yy_at_bol = 1;
- b->yy_buffer_status = YY_BUFFER_NEW;
-
- if ( b == YY_CURRENT_BUFFER )
- xbt_graph_parse__load_buffer_state( );
-}
-
-/** Pushes the new state onto the stack. The new state becomes
- * the current state. This function will allocate the stack
- * if necessary.
- * @param new_buffer The new state.
- *
- */
-void xbt_graph_parse_push_buffer_state (YY_BUFFER_STATE new_buffer )
-{
- if (new_buffer == NULL)
- return;
-
- xbt_graph_parse_ensure_buffer_stack();
-
- /* This block is copied from xbt_graph_parse__switch_to_buffer. */
- if ( YY_CURRENT_BUFFER )
- {
- /* Flush out information for old buffer. */
- *(yy_c_buf_p) = (yy_hold_char);
- YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
- YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
- }
-
- /* Only push if top exists. Otherwise, replace top. */
- if (YY_CURRENT_BUFFER)
- (yy_buffer_stack_top)++;
- YY_CURRENT_BUFFER_LVALUE = new_buffer;
-
- /* copied from xbt_graph_parse__switch_to_buffer. */
- xbt_graph_parse__load_buffer_state( );
- (yy_did_buffer_switch_on_eof) = 1;
-}
-
-/** Removes and deletes the top of the stack, if present.
- * The next element becomes the new top.
- *
- */
-void xbt_graph_parse_pop_buffer_state (void)
-{
- if (!YY_CURRENT_BUFFER)
- return;
-
- xbt_graph_parse__delete_buffer(YY_CURRENT_BUFFER );
- YY_CURRENT_BUFFER_LVALUE = NULL;
- if ((yy_buffer_stack_top) > 0)
- --(yy_buffer_stack_top);
-
- if (YY_CURRENT_BUFFER) {
- xbt_graph_parse__load_buffer_state( );
- (yy_did_buffer_switch_on_eof) = 1;
- }
-}
-
-/* Allocates the stack if it does not exist.
- * Guarantees space for at least one push.
- */
-static void xbt_graph_parse_ensure_buffer_stack (void)
-{
- yy_size_t num_to_alloc;
-
- if (!(yy_buffer_stack)) {
-
- /* First allocation is just for 2 elements, since we don't know if this
- * scanner will even need a stack. We use 2 instead of 1 to avoid an
- * immediate realloc on the next call.
- */
- num_to_alloc = 1;
- (yy_buffer_stack) = (struct yy_buffer_state**)xbt_graph_parse_alloc
- (num_to_alloc * sizeof(struct yy_buffer_state*)
- );
- if ( ! (yy_buffer_stack) )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse_ensure_buffer_stack()" );
-
- memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
-
- (yy_buffer_stack_max) = num_to_alloc;
- (yy_buffer_stack_top) = 0;
- return;
- }
-
- if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
-
- /* Increase the buffer to prepare for a possible push. */
- int grow_size = 8 /* arbitrary grow size */;
-
- num_to_alloc = (yy_buffer_stack_max) + grow_size;
- (yy_buffer_stack) = (struct yy_buffer_state**)xbt_graph_parse_realloc
- ((yy_buffer_stack),
- num_to_alloc * sizeof(struct yy_buffer_state*)
- );
- if ( ! (yy_buffer_stack) )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse_ensure_buffer_stack()" );
-
- /* zero only the new slots.*/
- memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
- (yy_buffer_stack_max) = num_to_alloc;
- }
-}
-
-/** Setup the input buffer state to scan directly from a user-specified character buffer.
- * @param base the character buffer
- * @param size the size in bytes of the character buffer
- *
- * @return the newly allocated buffer state object.
- */
-YY_BUFFER_STATE xbt_graph_parse__scan_buffer (char * base, yy_size_t size )
-{
- YY_BUFFER_STATE b;
-
- if ( size < 2 ||
- base[size-2] != YY_END_OF_BUFFER_CHAR ||
- base[size-1] != YY_END_OF_BUFFER_CHAR )
- /* They forgot to leave room for the EOB's. */
- return 0;
-
- b = (YY_BUFFER_STATE) xbt_graph_parse_alloc(sizeof( struct yy_buffer_state ) );
- if ( ! b )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse__scan_buffer()" );
-
- b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
- b->yy_buf_pos = b->yy_ch_buf = base;
- b->yy_is_our_buffer = 0;
- b->yy_input_file = 0;
- b->yy_n_chars = b->yy_buf_size;
- b->yy_is_interactive = 0;
- b->yy_at_bol = 1;
- b->yy_fill_buffer = 0;
- b->yy_buffer_status = YY_BUFFER_NEW;
-
- xbt_graph_parse__switch_to_buffer(b );
-
- return b;
-}
-
-/** Setup the input buffer state to scan a string. The next call to xbt_graph_parse_lex() will
- * scan from a @e copy of @a str.
- * @param yystr a NUL-terminated string to scan
- *
- * @return the newly allocated buffer state object.
- * @note If you want to scan bytes that may contain NUL values, then use
- * xbt_graph_parse__scan_bytes() instead.
- */
-YY_BUFFER_STATE xbt_graph_parse__scan_string (yyconst char * yystr )
-{
-
- return xbt_graph_parse__scan_bytes(yystr,strlen(yystr) );
-}
-
-/** Setup the input buffer state to scan the given bytes. The next call to xbt_graph_parse_lex() will
- * scan from a @e copy of @a bytes.
- * @param yybytes the byte buffer to scan
- * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
- *
- * @return the newly allocated buffer state object.
- */
-YY_BUFFER_STATE xbt_graph_parse__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
-{
- YY_BUFFER_STATE b;
- char *buf;
- yy_size_t n;
- yy_size_t i;
-
- /* Get memory for full buffer, including space for trailing EOB's. */
- n = _yybytes_len + 2;
- buf = (char *) xbt_graph_parse_alloc(n );
- if ( ! buf )
- YY_FATAL_ERROR( "out of dynamic memory in xbt_graph_parse__scan_bytes()" );
-
- for ( i = 0; i < _yybytes_len; ++i )
- buf[i] = yybytes[i];
-
- buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
-
- b = xbt_graph_parse__scan_buffer(buf,n );
- if ( ! b )
- YY_FATAL_ERROR( "bad buffer in xbt_graph_parse__scan_bytes()" );
-
- /* It's okay to grow etc. this buffer, and we should throw it
- * away when we're done.
- */
- b->yy_is_our_buffer = 1;
-
- return b;
-}
-
- static void yy_push_state (int new_state )
-{
- if ( (yy_start_stack_ptr) >= (yy_start_stack_depth) )
- {
- yy_size_t new_size;
-
- (yy_start_stack_depth) += YY_START_STACK_INCR;
- new_size = (yy_start_stack_depth) * sizeof( int );
-
- if ( ! (yy_start_stack) )
- (yy_start_stack) = (int *) xbt_graph_parse_alloc(new_size );
-
- else
- (yy_start_stack) = (int *) xbt_graph_parse_realloc((void *) (yy_start_stack),new_size );
-
- if ( ! (yy_start_stack) )
- YY_FATAL_ERROR( "out of memory expanding start-condition stack" );
- }
-
- (yy_start_stack)[(yy_start_stack_ptr)++] = YY_START;
-
- BEGIN(new_state);
-}
-
- static void yy_pop_state (void)
-{
- if ( --(yy_start_stack_ptr) < 0 )
- YY_FATAL_ERROR( "start-condition stack underflow" );
-
- BEGIN((yy_start_stack)[(yy_start_stack_ptr)]);
-}
-
-#ifndef YY_EXIT_FAILURE
-#define YY_EXIT_FAILURE 2
-#endif
-
-static void yy_fatal_error (yyconst char* msg )
-{
- (void) fprintf( stderr, "%s\n", msg );
- exit( YY_EXIT_FAILURE );
-}
-
-/* Redefine yyless() so it works in section 3 code. */
-
-#undef yyless
-#define yyless(n) \
- do \
- { \
- /* Undo effects of setting up xbt_graph_parse_text. */ \
- int yyless_macro_arg = (n); \
- YY_LESS_LINENO(yyless_macro_arg);\
- xbt_graph_parse_text[xbt_graph_parse_leng] = (yy_hold_char); \
- (yy_c_buf_p) = xbt_graph_parse_text + yyless_macro_arg; \
- (yy_hold_char) = *(yy_c_buf_p); \
- *(yy_c_buf_p) = '\0'; \
- xbt_graph_parse_leng = yyless_macro_arg; \
- } \
- while ( 0 )
-
-/* Accessor methods (get/set functions) to struct members. */
-
-/** Get the current line number.
- *
- */
-int xbt_graph_parse_get_lineno (void)
-{
-
- return xbt_graph_parse_lineno;
-}
-
-/** Get the input stream.
- *
- */
-FILE *xbt_graph_parse_get_in (void)
-{
- return xbt_graph_parse_in;
-}
-
-/** Get the output stream.
- *
- */
-FILE *xbt_graph_parse_get_out (void)
-{
- return xbt_graph_parse_out;
-}
-
-/** Get the length of the current token.
- *
- */
-yy_size_t xbt_graph_parse_get_leng (void)
-{
- return xbt_graph_parse_leng;
-}
-
-/** Get the current token.
- *
- */
-
-char *xbt_graph_parse_get_text (void)
-{
- return xbt_graph_parse_text;
-}
-
-/** Set the current line number.
- * @param line_number
- *
- */
-void xbt_graph_parse_set_lineno (int line_number )
-{
-
- xbt_graph_parse_lineno = line_number;
-}
-
-/** Set the input stream. This does not discard the current
- * input buffer.
- * @param in_str A readable stream.
- *
- * @see xbt_graph_parse__switch_to_buffer
- */
-void xbt_graph_parse_set_in (FILE * in_str )
-{
- xbt_graph_parse_in = in_str ;
-}
-
-void xbt_graph_parse_set_out (FILE * out_str )
-{
- xbt_graph_parse_out = out_str ;
-}
-
-int xbt_graph_parse_get_debug (void)
-{
- return xbt_graph_parse__flex_debug;
-}
-
-void xbt_graph_parse_set_debug (int bdebug )
-{
- xbt_graph_parse__flex_debug = bdebug ;
-}
-
-static int yy_init_globals (void)
-{
- /* Initialization is the same as for the non-reentrant scanner.
- * This function is called from xbt_graph_parse_lex_destroy(), so don't allocate here.
- */
-
- /* We do not touch xbt_graph_parse_lineno unless the option is enabled. */
- xbt_graph_parse_lineno = 1;
-
- (yy_buffer_stack) = 0;
- (yy_buffer_stack_top) = 0;
- (yy_buffer_stack_max) = 0;
- (yy_c_buf_p) = (char *) 0;
- (yy_init) = 0;
- (yy_start) = 0;
-
- (yy_start_stack_ptr) = 0;
- (yy_start_stack_depth) = 0;
- (yy_start_stack) = NULL;
-
-/* Defined in main.c */
-#ifdef YY_STDINIT
- xbt_graph_parse_in = stdin;
- xbt_graph_parse_out = stdout;
-#else
- xbt_graph_parse_in = (FILE *) 0;
- xbt_graph_parse_out = (FILE *) 0;
-#endif
-
- /* For future reference: Set errno on error, since we are called by
- * xbt_graph_parse_lex_init()
- */
- return 0;
-}
-
-/* xbt_graph_parse_lex_destroy is for both reentrant and non-reentrant scanners. */
-int xbt_graph_parse_lex_destroy (void)
-{
-
- /* Pop the buffer stack, destroying each element. */
- while(YY_CURRENT_BUFFER){
- xbt_graph_parse__delete_buffer(YY_CURRENT_BUFFER );
- YY_CURRENT_BUFFER_LVALUE = NULL;
- xbt_graph_parse_pop_buffer_state();
- }
-
- /* Destroy the stack itself. */
- xbt_graph_parse_free((yy_buffer_stack) );
- (yy_buffer_stack) = NULL;
-
- /* Destroy the start condition stack. */
- xbt_graph_parse_free((yy_start_stack) );
- (yy_start_stack) = NULL;
-
- /* Reset the globals. This is important in a non-reentrant scanner so the next time
- * xbt_graph_parse_lex() is called, initialization will occur. */
- yy_init_globals( );
-
- return 0;
-}
-
-/*
- * Internal utility routines.
- */
-
-#ifndef yytext_ptr
-static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
-{
- int i;
- for ( i = 0; i < n; ++i )
- s1[i] = s2[i];
-}
-#endif
-
-#ifdef YY_NEED_STRLEN
-static int yy_flex_strlen (yyconst char * s )
-{
- int n;
- for ( n = 0; s[n]; ++n )
- ;
-
- return n;
-}
-#endif
-
-void *xbt_graph_parse_alloc (yy_size_t size )
-{
- return (void *) malloc( size );
-}
-
-void *xbt_graph_parse_realloc (void * ptr, yy_size_t size )
-{
- /* The cast to (char *) in the following accommodates both
- * implementations that use char* generic pointers, and those
- * that use void* generic pointers. It works with the latter
- * because both ANSI C and C++ allow castless assignment from
- * any pointer type to void*, and deal with argument conversions
- * as though doing an assignment.
- */
- return (void *) realloc( (char *) ptr, size );
-}
-
-void xbt_graph_parse_free (void * ptr )
-{
- free( (char *) ptr ); /* see xbt_graph_parse_realloc() for (char *) cast */
-}
-
-#define YYTABLES_NAME "yytables"
-
-/* Element context stack lookup. */
-int graphxml_element_context(int i)
-{
- return (0<i && i<yy_start_stack_depth
- ? yy_start_stack[yy_start_stack_ptr - i]
- : 0);
-}
-
-#ifdef FLEX_DEBUG
-void print_yy_stack(char* fmt, ...)
-{
- int i = 0; va_list ap; va_start(ap, fmt);
- vfprintf(stderr, fmt, ap);
- if (graphxml_statenames) {
- for (i=1; i<yy_start_stack_ptr; i++) {
- fprintf(stderr, "%s/", graphxml_statenames[yy_start_stack[i] ]);
- }
- fprintf(stderr,"%s\n", graphxml_statenames[YY_START]);
- }
- va_end(ap);
-}
-
-void print_graphxml_bufferstack()
-{
- int i;
- fputs("Buffer: ", stderr);
- for (i = 0; i < blimit; i++) {
- if ( graphxml_bufferstack[i] == '\377' ) break;
- putc(graphxml_bufferstack[i], stderr);
- }
- putc('\n', stderr);
-}
-
-static void debug_enter(int state, const char* statename) {
- yy_push_state(state);
- if (xbt_graph_parse__flex_debug) {
- print_yy_stack("--ENTER(%s) : ",statename);
- print_graphxml_bufferstack();
- }
-}
-
-static void debug_leave(void) {
- if (xbt_graph_parse__flex_debug) {
- print_yy_stack("--LEAVE : ");
- print_graphxml_bufferstack();
- }
- yy_pop_state();
-}
-
-static void debug_set(int state, const char* statename) {
- BEGIN(state);
- if (xbt_graph_parse__flex_debug) print_yy_stack("--SET(%s) : ",statename);
-}
-#endif
-
-static void cleanup(void)
-{
- if (graphxml_statenames) {
- free(graphxml_statenames);
- graphxml_statenames = NULL;
- }
- free(graphxml_bufferstack);
- graphxml_bufferstack = NULL;
-
- free(indexstack);
- indexstack = NULL;
-}
-
-static int fail(const char* fmt, ...)
-{
- int chars_left, used;
- va_list ap; va_start(ap, fmt);
-#ifdef FLEXML_yylineno
- used = sprintf(flexml_err_msg,
- "Invalid XML (XML input line %d, state %d): ",
- xbt_graph_parse_lineno, YY_START);
-#else
- used = sprintf(flexml_err_msg,
- "Invalid XML (state %d): ",
- YY_START);
-#endif
- chars_left = flexml_max_err_msg_size - used - 1;
- vsnprintf(flexml_err_msg + used, chars_left, fmt, ap);
- va_end(ap);
-
-#ifndef FLEXML_quiet_parser
- /* print directly to sdterr */
- fprintf(stderr, "%s\n", flexml_err_msg);
- flexml_err_msg[0] = '\0';
-#endif
-
- cleanup();
-
- return 1;
-}
-
