1 #line 2 "gras/DataDesc/ddt_parse.yy.c"
3 #line 4 "gras/DataDesc/ddt_parse.yy.c"
5 #define YY_INT_ALIGNED short int
7 /* A lexical scanner generated by flex */
10 #define YY_FLEX_MAJOR_VERSION 2
11 #define YY_FLEX_MINOR_VERSION 5
12 #define YY_FLEX_SUBMINOR_VERSION 31
13 #if YY_FLEX_SUBMINOR_VERSION > 0
17 /* First, we deal with platform-specific or compiler-specific issues. */
19 /* begin standard C headers. */
25 /* end standard C headers. */
27 /* flex integer type definitions */
32 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
34 #if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
36 typedef int8_t flex_int8_t;
37 typedef uint8_t flex_uint8_t;
38 typedef int16_t flex_int16_t;
39 typedef uint16_t flex_uint16_t;
40 typedef int32_t flex_int32_t;
41 typedef uint32_t flex_uint32_t;
43 typedef signed char flex_int8_t;
44 typedef short int flex_int16_t;
45 typedef int flex_int32_t;
46 typedef unsigned char flex_uint8_t;
47 typedef unsigned short int flex_uint16_t;
48 typedef unsigned int flex_uint32_t;
51 /* Limits of integral types. */
53 #define INT8_MIN (-128)
56 #define INT16_MIN (-32767-1)
59 #define INT32_MIN (-2147483647-1)
62 #define INT8_MAX (127)
65 #define INT16_MAX (32767)
68 #define INT32_MAX (2147483647)
71 #define UINT8_MAX (255U)
74 #define UINT16_MAX (65535U)
77 #define UINT32_MAX (4294967295U)
80 #endif /* ! FLEXINT_H */
84 /* The "const" storage-class-modifier is valid. */
87 #else /* ! __cplusplus */
94 #endif /* ! __cplusplus */
102 /* Returned upon end-of-file. */
105 /* Promotes a possibly negative, possibly signed char to an unsigned
106 * integer for use as an array index. If the signed char is negative,
107 * we want to instead treat it as an 8-bit unsigned char, hence the
110 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
112 /* Enter a start condition. This macro really ought to take a parameter,
113 * but we do it the disgusting crufty way forced on us by the ()-less
114 * definition of BEGIN.
116 #define BEGIN (yy_start) = 1 + 2 *
118 /* Translate the current start state into a value that can be later handed
119 * to BEGIN to return to the state. The YYSTATE alias is for lex
122 #define YY_START (((yy_start) - 1) / 2)
123 #define YYSTATE YY_START
125 /* Action number for EOF rule of a given start state. */
126 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
128 /* Special action meaning "start processing a new file". */
129 #define YY_NEW_FILE gras_ddt_parse_restart(gras_ddt_parse_in )
131 #define YY_END_OF_BUFFER_CHAR 0
133 /* Size of default input buffer. */
135 #define YY_BUF_SIZE 16384
138 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
139 #define YY_TYPEDEF_YY_BUFFER_STATE
140 typedef struct yy_buffer_state *YY_BUFFER_STATE;
143 extern int gras_ddt_parse_leng;
145 extern FILE *gras_ddt_parse_in, *gras_ddt_parse_out;
147 #define EOB_ACT_CONTINUE_SCAN 0
148 #define EOB_ACT_END_OF_FILE 1
149 #define EOB_ACT_LAST_MATCH 2
151 #define YY_LESS_LINENO(n)
153 /* Return all but the first "n" matched characters back to the input stream. */
157 /* Undo effects of setting up gras_ddt_parse_text. */ \
158 int yyless_macro_arg = (n); \
159 YY_LESS_LINENO(yyless_macro_arg);\
160 *yy_cp = (yy_hold_char); \
161 YY_RESTORE_YY_MORE_OFFSET \
162 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
163 YY_DO_BEFORE_ACTION; /* set up gras_ddt_parse_text again */ \
167 #define unput(c) yyunput( c, (yytext_ptr) )
169 /* The following is because we cannot portably get our hands on size_t
170 * (without autoconf's help, which isn't available because we want
171 * flex-generated scanners to compile on their own).
174 #ifndef YY_TYPEDEF_YY_SIZE_T
175 #define YY_TYPEDEF_YY_SIZE_T
176 typedef unsigned int yy_size_t;
179 #ifndef YY_STRUCT_YY_BUFFER_STATE
180 #define YY_STRUCT_YY_BUFFER_STATE
181 struct yy_buffer_state
185 char *yy_ch_buf; /* input buffer */
186 char *yy_buf_pos; /* current position in input buffer */
188 /* Size of input buffer in bytes, not including room for EOB
191 yy_size_t yy_buf_size;
193 /* Number of characters read into yy_ch_buf, not including EOB
198 /* Whether we "own" the buffer - i.e., we know we created it,
199 * and can realloc() it to grow it, and should free() it to
202 int yy_is_our_buffer;
204 /* Whether this is an "interactive" input source; if so, and
205 * if we're using stdio for input, then we want to use getc()
206 * instead of fread(), to make sure we stop fetching input after
209 int yy_is_interactive;
211 /* Whether we're considered to be at the beginning of a line.
212 * If so, '^' rules will be active on the next match, otherwise
217 int yy_bs_lineno; /**< The line count. */
218 int yy_bs_column; /**< The column count. */
220 /* Whether to try to fill the input buffer when we reach the
225 int yy_buffer_status;
227 #define YY_BUFFER_NEW 0
228 #define YY_BUFFER_NORMAL 1
229 /* When an EOF's been seen but there's still some text to process
230 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
231 * shouldn't try reading from the input source any more. We might
232 * still have a bunch of tokens to match, though, because of
233 * possible backing-up.
235 * When we actually see the EOF, we change the status to "new"
236 * (via gras_ddt_parse_restart()), so that the user can continue scanning by
237 * just pointing gras_ddt_parse_in at a new input file.
239 #define YY_BUFFER_EOF_PENDING 2
242 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
244 /* Stack of input buffers. */
245 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
246 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
247 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
249 /* We provide macros for accessing buffer states in case in the
250 * future we want to put the buffer states in a more general
253 * Returns the top of the stack, or NULL.
255 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
256 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
259 /* Same as previous macro, but useful when we know that the buffer stack is not
260 * NULL or when we need an lvalue. For internal use only.
262 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
264 /* yy_hold_char holds the character lost when gras_ddt_parse_text is formed. */
265 static char yy_hold_char;
266 static int yy_n_chars; /* number of characters read into yy_ch_buf */
267 int gras_ddt_parse_leng;
269 /* Points to current character in buffer. */
270 static char *yy_c_buf_p = (char *) 0;
271 static int yy_init = 1; /* whether we need to initialize */
272 static int yy_start = 0; /* start state number */
274 /* Flag which is used to allow gras_ddt_parse_wrap()'s to do buffer switches
275 * instead of setting up a fresh gras_ddt_parse_in. A bit of a hack ...
277 static int yy_did_buffer_switch_on_eof;
279 void gras_ddt_parse_restart (FILE *input_file );
280 void gras_ddt_parse__switch_to_buffer (YY_BUFFER_STATE new_buffer );
281 YY_BUFFER_STATE gras_ddt_parse__create_buffer (FILE *file,int size );
282 void gras_ddt_parse__delete_buffer (YY_BUFFER_STATE b );
283 void gras_ddt_parse__flush_buffer (YY_BUFFER_STATE b );
284 void gras_ddt_parse_push_buffer_state (YY_BUFFER_STATE new_buffer );
285 void gras_ddt_parse_pop_buffer_state (void );
287 static void gras_ddt_parse_ensure_buffer_stack (void );
288 static void gras_ddt_parse__load_buffer_state (void );
289 static void gras_ddt_parse__init_buffer (YY_BUFFER_STATE b,FILE *file );
291 #define YY_FLUSH_BUFFER gras_ddt_parse__flush_buffer(YY_CURRENT_BUFFER )
293 YY_BUFFER_STATE gras_ddt_parse__scan_buffer (char *base,yy_size_t size );
294 YY_BUFFER_STATE gras_ddt_parse__scan_string (yyconst char *yy_str );
295 YY_BUFFER_STATE gras_ddt_parse__scan_bytes (yyconst char *bytes,int len );
297 void *gras_ddt_parse_alloc (yy_size_t );
298 void *gras_ddt_parse_realloc (void *,yy_size_t );
299 void gras_ddt_parse_free (void * );
301 #define yy_new_buffer gras_ddt_parse__create_buffer
303 #define yy_set_interactive(is_interactive) \
305 if ( ! YY_CURRENT_BUFFER ){ \
306 gras_ddt_parse_ensure_buffer_stack (); \
307 YY_CURRENT_BUFFER_LVALUE = \
308 gras_ddt_parse__create_buffer(gras_ddt_parse_in,YY_BUF_SIZE ); \
310 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
313 #define yy_set_bol(at_bol) \
315 if ( ! YY_CURRENT_BUFFER ){\
316 gras_ddt_parse_ensure_buffer_stack (); \
317 YY_CURRENT_BUFFER_LVALUE = \
318 gras_ddt_parse__create_buffer(gras_ddt_parse_in,YY_BUF_SIZE ); \
320 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
323 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
325 /* Begin user sect3 */
327 #define gras_ddt_parse_wrap(n) 1
328 #define YY_SKIP_YYWRAP
330 typedef unsigned char YY_CHAR;
332 FILE *gras_ddt_parse_in = (FILE *) 0, *gras_ddt_parse_out = (FILE *) 0;
334 typedef int yy_state_type;
336 extern int gras_ddt_parse_lineno;
338 int gras_ddt_parse_lineno = 1;
340 extern char *gras_ddt_parse_text;
341 #define yytext_ptr gras_ddt_parse_text
343 static yy_state_type yy_get_previous_state (void );
344 static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
345 static int yy_get_next_buffer (void );
346 static void yy_fatal_error (yyconst char msg[] );
348 /* Done after the current pattern has been matched and before the
349 * corresponding action - sets up gras_ddt_parse_text.
351 #define YY_DO_BEFORE_ACTION \
352 (yytext_ptr) = yy_bp; \
353 gras_ddt_parse_leng = (size_t) (yy_cp - yy_bp); \
354 (yy_hold_char) = *yy_cp; \
356 (yy_c_buf_p) = yy_cp;
358 #define YY_NUM_RULES 26
359 #define YY_END_OF_BUFFER 27
360 /* This struct is not used in this scanner,
361 but its presence is necessary. */
364 flex_int32_t yy_verify;
367 static yyconst flex_int16_t yy_accept[61] =
369 14, 14, 7, 7, 10, 10, 0, 0, 27, 25,
370 24, 19, 20, 21, 23, 14, 25, 22, 17, 18,
371 15, 16, 7, 7, 6, 7, 7, 10, 12, 11,
372 26, 26, 14, 0, 1, 7, 7, 7, 5, 7,
373 10, 11, 11, 13, 0, 0, 2, 1, 4, 0,
374 3, 0, 2, 0, 3, 0, 0, 8, 9, 0
377 static yyconst flex_int32_t yy_ec[256] =
379 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
380 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
381 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
382 1, 2, 1, 1, 1, 1, 1, 1, 1, 4,
383 5, 6, 1, 7, 8, 8, 9, 10, 10, 10,
384 10, 10, 10, 10, 10, 10, 10, 1, 11, 1,
385 1, 1, 1, 1, 8, 8, 8, 8, 8, 8,
386 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
387 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
388 12, 1, 13, 14, 8, 1, 8, 8, 8, 8,
390 8, 8, 15, 8, 8, 8, 8, 8, 8, 8,
391 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
392 8, 8, 16, 1, 17, 1, 1, 1, 1, 1,
393 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
394 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
395 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
396 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
397 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
398 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
399 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
401 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
402 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
403 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
404 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
405 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
409 static yyconst flex_int32_t yy_meta[18] =
411 1, 1, 2, 1, 1, 3, 1, 4, 1, 4,
415 static yyconst flex_int16_t yy_base[69] =
417 0, 0, 16, 30, 17, 18, 78, 77, 85, 88,
418 88, 88, 88, 88, 88, 0, 19, 88, 88, 88,
419 88, 88, 0, 24, 88, 75, 77, 0, 88, 21,
420 88, 76, 0, 22, 0, 0, 27, 75, 0, 71,
421 0, 29, 34, 88, 29, 65, 76, 0, 0, 63,
422 74, 60, 72, 56, 65, 51, 50, 88, 88, 88,
423 45, 49, 53, 55, 57, 61, 65, 69
426 static yyconst flex_int16_t yy_def[69] =
428 60, 1, 61, 61, 62, 62, 63, 63, 60, 60,
429 60, 60, 60, 60, 60, 64, 60, 60, 60, 60,
430 60, 60, 65, 65, 60, 65, 65, 66, 60, 67,
431 60, 60, 64, 60, 68, 65, 65, 65, 65, 65,
432 66, 67, 67, 60, 60, 60, 60, 68, 65, 60,
433 60, 60, 60, 60, 60, 60, 60, 60, 60, 0,
434 60, 60, 60, 60, 60, 60, 60, 60
437 static yyconst flex_int16_t yy_nxt[106] =
439 10, 10, 11, 12, 13, 14, 15, 16, 17, 16,
440 18, 19, 20, 10, 16, 21, 22, 24, 25, 29,
441 29, 26, 30, 30, 34, 37, 43, 35, 37, 44,
442 27, 24, 25, 46, 60, 26, 47, 60, 38, 43,
443 50, 38, 44, 51, 27, 23, 23, 23, 23, 28,
444 28, 28, 28, 31, 31, 31, 31, 36, 33, 36,
445 36, 41, 59, 58, 41, 42, 55, 42, 42, 48,
446 57, 48, 48, 53, 56, 55, 54, 53, 52, 49,
447 40, 45, 40, 39, 60, 32, 32, 9, 60, 60,
448 60, 60, 60, 60, 60, 60, 60, 60, 60, 60,
453 static yyconst flex_int16_t yy_chk[106] =
455 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
456 1, 1, 1, 1, 1, 1, 1, 3, 3, 5,
457 6, 3, 5, 6, 17, 24, 30, 17, 37, 30,
458 3, 4, 4, 34, 42, 4, 34, 42, 24, 43,
459 45, 37, 43, 45, 4, 61, 61, 61, 61, 62,
460 62, 62, 62, 63, 63, 63, 63, 65, 64, 65,
461 65, 66, 57, 56, 66, 67, 55, 67, 67, 68,
462 54, 68, 68, 53, 52, 51, 50, 47, 46, 40,
463 38, 32, 27, 26, 9, 8, 7, 60, 60, 60,
464 60, 60, 60, 60, 60, 60, 60, 60, 60, 60,
469 static yy_state_type yy_last_accepting_state;
470 static char *yy_last_accepting_cpos;
472 extern int gras_ddt_parse__flex_debug;
473 int gras_ddt_parse__flex_debug = 0;
475 /* The intent behind this definition is that it'll catch
476 * any uses of REJECT which flex missed.
478 #define REJECT reject_used_but_not_detected
479 #define yymore() yymore_used_but_not_detected
480 #define YY_MORE_ADJ 0
481 #define YY_RESTORE_YY_MORE_OFFSET
482 char *gras_ddt_parse_text;
483 #line 1 "gras/DataDesc/ddt_parse.yy.l"
485 /* DataDesc/ddt_parse -- automatic parsing of data structures */
486 /* Copyright (c) 2004 Arnaud Legrand, Martin Quinson. All rights reserved. */
487 /* This program is free software; you can redistribute it and/or modify it
488 * under the terms of the license (GNU LGPL) which comes with this package. */
489 /* char string_buf[GRAS_DDT_PARSE_MAX_STR_CONST];
490 char *string_buf_ptr = NULL; FIXME; killme*/
491 #line 15 "gras/DataDesc/ddt_parse.yy.l"
492 #include "gras/DataDesc/datadesc_private.h"
493 #include "gras/DataDesc/ddt_parse.yy.h"
495 YY_BUFFER_STATE gras_ddt_input_buffer;
496 FILE *gras_ddt_file_to_parse;
498 int gras_ddt_parse_line_pos = 1;
499 int gras_ddt_parse_col_pos = 0;
500 int gras_ddt_parse_char_pos = 0;
501 int gras_ddt_parse_tok_num = 0;
502 const char *definition;
503 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(lexer,ddt_parse,"The crude internals of the lexer used for type parsing");
504 #define SHOW_WHERE DEBUG4("%d:%d (char #%d): seen '%s'", gras_ddt_parse_line_pos,gras_ddt_parse_col_pos,gras_ddt_parse_char_pos,gras_ddt_parse_text)
506 #line 507 "gras/DataDesc/ddt_parse.yy.c"
513 #ifndef YY_NO_UNISTD_H
514 /* Special case for "unistd.h", since it is non-ANSI. We include it way
515 * down here because we want the user's section 1 to have been scanned first.
516 * The user has a chance to override it with an option.
521 #ifndef YY_EXTRA_TYPE
522 #define YY_EXTRA_TYPE void *
525 /* Macros after this point can all be overridden by user definitions in
529 #ifndef YY_SKIP_YYWRAP
531 extern "C" int gras_ddt_parse_wrap (void );
533 extern int gras_ddt_parse_wrap (void );
537 static void yyunput (int c,char *buf_ptr );
540 static void yy_flex_strncpy (char *,yyconst char *,int );
543 #ifdef YY_NEED_STRLEN
544 static int yy_flex_strlen (yyconst char * );
550 static int yyinput (void );
552 static int input (void );
557 /* Amount of stuff to slurp up with each read. */
558 #ifndef YY_READ_BUF_SIZE
559 #define YY_READ_BUF_SIZE 8192
562 /* Copy whatever the last rule matched to the standard output. */
564 /* This used to be an fputs(), but since the string might contain NUL's,
565 * we now use fwrite().
567 #define ECHO (void) fwrite( gras_ddt_parse_text, gras_ddt_parse_leng, 1, gras_ddt_parse_out )
570 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
571 * is returned in "result".
574 #define YY_INPUT(buf,result,max_size) \
575 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
579 for ( n = 0; n < max_size && \
580 (c = getc( gras_ddt_parse_in )) != EOF && c != '\n'; ++n ) \
583 buf[n++] = (char) c; \
584 if ( c == EOF && ferror( gras_ddt_parse_in ) ) \
585 YY_FATAL_ERROR( "input in flex scanner failed" ); \
591 while ( (result = fread(buf, 1, max_size, gras_ddt_parse_in))==0 && ferror(gras_ddt_parse_in)) \
593 if( errno != EINTR) \
595 YY_FATAL_ERROR( "input in flex scanner failed" ); \
599 clearerr(gras_ddt_parse_in); \
606 /* No semi-colon after return; correct usage is to write "yyterminate();" -
607 * we don't want an extra ';' after the "return" because that will cause
608 * some compilers to complain about unreachable statements.
611 #define yyterminate() return YY_NULL
614 /* Number of entries by which start-condition stack grows. */
615 #ifndef YY_START_STACK_INCR
616 #define YY_START_STACK_INCR 25
619 /* Report a fatal error. */
620 #ifndef YY_FATAL_ERROR
621 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
624 /* end tables serialization structures and prototypes */
626 /* Default declaration of generated scanner - a define so the user can
627 * easily add parameters.
630 #define YY_DECL_IS_OURS 1
632 extern int gras_ddt_parse_lex (void);
634 #define YY_DECL int gras_ddt_parse_lex (void)
635 #endif /* !YY_DECL */
637 /* Code executed at the beginning of each rule, after gras_ddt_parse_text and gras_ddt_parse_leng
640 #ifndef YY_USER_ACTION
641 #define YY_USER_ACTION
644 /* Code executed at the end of each rule. */
646 #define YY_BREAK break;
649 #define YY_RULE_SETUP \
652 /** The main scanner function which does all the work.
656 register yy_state_type yy_current_state;
657 register char *yy_cp, *yy_bp;
660 #line 35 "gras/DataDesc/ddt_parse.yy.l"
662 int comment_caller=0;
663 int annotate_caller=0;
665 #line 666 "gras/DataDesc/ddt_parse.yy.c"
676 (yy_start) = 1; /* first start state */
678 if ( ! gras_ddt_parse_in )
679 gras_ddt_parse_in = stdin;
681 if ( ! gras_ddt_parse_out )
682 gras_ddt_parse_out = stdout;
684 if ( ! YY_CURRENT_BUFFER ) {
685 gras_ddt_parse_ensure_buffer_stack ();
686 YY_CURRENT_BUFFER_LVALUE =
687 gras_ddt_parse__create_buffer(gras_ddt_parse_in,YY_BUF_SIZE );
690 gras_ddt_parse__load_buffer_state( );
693 while ( 1 ) /* loops until end-of-file is reached */
695 yy_cp = (yy_c_buf_p);
697 /* Support of gras_ddt_parse_text. */
698 *yy_cp = (yy_hold_char);
700 /* yy_bp points to the position in yy_ch_buf of the start of
705 yy_current_state = (yy_start);
709 register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
710 if ( yy_accept[yy_current_state] )
712 (yy_last_accepting_state) = yy_current_state;
713 (yy_last_accepting_cpos) = yy_cp;
715 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
717 yy_current_state = (int) yy_def[yy_current_state];
718 if ( yy_current_state >= 61 )
719 yy_c = yy_meta[(unsigned int) yy_c];
721 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
724 while ( yy_base[yy_current_state] != 88 );
727 yy_act = yy_accept[yy_current_state];
729 { /* have to back up */
730 yy_cp = (yy_last_accepting_cpos);
731 yy_current_state = (yy_last_accepting_state);
732 yy_act = yy_accept[yy_current_state];
737 do_action: /* This label is used only to access EOF actions. */
740 { /* beginning of action switch */
741 case 0: /* must back up */
742 /* undo the effects of YY_DO_BEFORE_ACTION */
743 *yy_cp = (yy_hold_char);
744 yy_cp = (yy_last_accepting_cpos);
745 yy_current_state = (yy_last_accepting_state);
750 #line 39 "gras/DataDesc/ddt_parse.yy.l"
755 #line 41 "gras/DataDesc/ddt_parse.yy.l"
756 { /****************** ANNOTATION ************************/
757 DEBUG0("Begin annotation");
758 annotate_caller = INITIAL;
759 gras_ddt_parse_char_pos+= strlen(gras_ddt_parse_text);
760 gras_ddt_parse_col_pos+= strlen(gras_ddt_parse_text);
766 #line 48 "gras/DataDesc/ddt_parse.yy.l"
767 { /* trim annotation */
768 DEBUG0("Begin annotation");
769 annotate_caller = foo;
770 gras_ddt_parse_char_pos+= strlen(gras_ddt_parse_text);
771 gras_ddt_parse_col_pos+= strlen(gras_ddt_parse_text);
777 #line 56 "gras/DataDesc/ddt_parse.yy.l"
779 DEBUG0("End annotation");
780 gras_ddt_parse_char_pos+= strlen(gras_ddt_parse_text);
781 gras_ddt_parse_col_pos+= strlen(gras_ddt_parse_text);
782 BEGIN(annotate_caller);
787 #line 63 "gras/DataDesc/ddt_parse.yy.l"
789 PARSE_ERROR0("``/*g'' construct closed by a regular ``*/''");
793 /* rule 6 can match eol */
795 #line 66 "gras/DataDesc/ddt_parse.yy.l"
797 PARSE_ERROR0("Type annotation cannot spread over several lines");
802 #line 70 "gras/DataDesc/ddt_parse.yy.l"
804 gras_ddt_parse_char_pos+= strlen(gras_ddt_parse_text);
805 gras_ddt_parse_col_pos+= strlen(gras_ddt_parse_text);
806 return GRAS_DDT_PARSE_TOKEN_ANNOTATE;
811 #line 76 "gras/DataDesc/ddt_parse.yy.l"
812 { /****************** COMMENTS ************************/
813 /* constructs like : */
815 /* are not comments but size annotations */
816 comment_caller = INITIAL;
822 #line 84 "gras/DataDesc/ddt_parse.yy.l"
824 comment_caller = foo;
830 #line 89 "gras/DataDesc/ddt_parse.yy.l"
831 { /* eat anything that's not a '*' */
836 #line 91 "gras/DataDesc/ddt_parse.yy.l"
837 { /* eat up '*'s not followed by '/'s */
841 /* rule 12 can match eol */
843 #line 93 "gras/DataDesc/ddt_parse.yy.l"
845 ++gras_ddt_parse_line_pos;
846 gras_ddt_parse_col_pos=0;
847 gras_ddt_parse_char_pos++;
852 #line 98 "gras/DataDesc/ddt_parse.yy.l"
854 gras_ddt_parse_char_pos+= strlen(gras_ddt_parse_text);
855 gras_ddt_parse_col_pos+= strlen(gras_ddt_parse_text);
856 BEGIN(comment_caller);
861 #line 104 "gras/DataDesc/ddt_parse.yy.l"
862 { /****************** STATEMENTS ************************/
863 gras_ddt_parse_char_pos += strlen(gras_ddt_parse_text);
864 gras_ddt_parse_col_pos += strlen(gras_ddt_parse_text);
866 return(GRAS_DDT_PARSE_TOKEN_WORD);
871 #line 110 "gras/DataDesc/ddt_parse.yy.l"
873 gras_ddt_parse_char_pos++;
874 gras_ddt_parse_col_pos++;
876 return(GRAS_DDT_PARSE_TOKEN_LA);
881 #line 116 "gras/DataDesc/ddt_parse.yy.l"
883 gras_ddt_parse_char_pos++;
884 gras_ddt_parse_col_pos++;
886 return(GRAS_DDT_PARSE_TOKEN_RA);
891 #line 122 "gras/DataDesc/ddt_parse.yy.l"
893 gras_ddt_parse_char_pos++;
894 gras_ddt_parse_col_pos++;
896 return(GRAS_DDT_PARSE_TOKEN_LB);
901 #line 128 "gras/DataDesc/ddt_parse.yy.l"
903 gras_ddt_parse_char_pos++;
904 gras_ddt_parse_col_pos++;
906 return(GRAS_DDT_PARSE_TOKEN_RB);
911 #line 134 "gras/DataDesc/ddt_parse.yy.l"
913 gras_ddt_parse_char_pos++;
914 gras_ddt_parse_col_pos++;
916 return(GRAS_DDT_PARSE_TOKEN_LP);
921 #line 140 "gras/DataDesc/ddt_parse.yy.l"
923 gras_ddt_parse_char_pos++;
924 gras_ddt_parse_col_pos++;
926 return(GRAS_DDT_PARSE_TOKEN_RP);
931 #line 146 "gras/DataDesc/ddt_parse.yy.l"
933 gras_ddt_parse_char_pos++;
934 gras_ddt_parse_col_pos++;
936 return(GRAS_DDT_PARSE_TOKEN_STAR);
941 #line 152 "gras/DataDesc/ddt_parse.yy.l"
943 gras_ddt_parse_char_pos++;
944 gras_ddt_parse_col_pos++;
946 return(GRAS_DDT_PARSE_TOKEN_SEMI_COLON);
951 #line 158 "gras/DataDesc/ddt_parse.yy.l"
953 gras_ddt_parse_char_pos++;
954 gras_ddt_parse_col_pos++;
956 return(GRAS_DDT_PARSE_TOKEN_COLON);
960 /* rule 24 can match eol */
962 #line 164 "gras/DataDesc/ddt_parse.yy.l"
964 gras_ddt_parse_line_pos++;
965 gras_ddt_parse_char_pos++;
966 gras_ddt_parse_col_pos=0;
972 #line 170 "gras/DataDesc/ddt_parse.yy.l"
974 gras_ddt_parse_char_pos++;
975 gras_ddt_parse_col_pos++;
981 #line 175 "gras/DataDesc/ddt_parse.yy.l"
984 #line 985 "gras/DataDesc/ddt_parse.yy.c"
985 case YY_STATE_EOF(INITIAL):
986 case YY_STATE_EOF(annotate):
987 case YY_STATE_EOF(comment):
988 case YY_STATE_EOF(foo):
991 case YY_END_OF_BUFFER:
993 /* Amount of text matched not including the EOB char. */
994 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
996 /* Undo the effects of YY_DO_BEFORE_ACTION. */
997 *yy_cp = (yy_hold_char);
998 YY_RESTORE_YY_MORE_OFFSET
1000 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
1002 /* We're scanning a new file or input source. It's
1003 * possible that this happened because the user
1004 * just pointed gras_ddt_parse_in at a new source and called
1005 * gras_ddt_parse_lex(). If so, then we have to assure
1006 * consistency between YY_CURRENT_BUFFER and our
1007 * globals. Here is the right place to do so, because
1008 * this is the first action (other than possibly a
1009 * back-up) that will match for the new input source.
1011 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1012 YY_CURRENT_BUFFER_LVALUE->yy_input_file = gras_ddt_parse_in;
1013 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
1016 /* Note that here we test for yy_c_buf_p "<=" to the position
1017 * of the first EOB in the buffer, since yy_c_buf_p will
1018 * already have been incremented past the NUL character
1019 * (since all states make transitions on EOB to the
1020 * end-of-buffer state). Contrast this with the test
1023 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1024 { /* This was really a NUL. */
1025 yy_state_type yy_next_state;
1027 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
1029 yy_current_state = yy_get_previous_state( );
1031 /* Okay, we're now positioned to make the NUL
1032 * transition. We couldn't have
1033 * yy_get_previous_state() go ahead and do it
1034 * for us because it doesn't know how to deal
1035 * with the possibility of jamming (and we don't
1036 * want to build jamming into it because then it
1037 * will run more slowly).
1040 yy_next_state = yy_try_NUL_trans( yy_current_state );
1042 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1044 if ( yy_next_state )
1046 /* Consume the NUL. */
1047 yy_cp = ++(yy_c_buf_p);
1048 yy_current_state = yy_next_state;
1054 yy_cp = (yy_c_buf_p);
1055 goto yy_find_action;
1059 else switch ( yy_get_next_buffer( ) )
1061 case EOB_ACT_END_OF_FILE:
1063 (yy_did_buffer_switch_on_eof) = 0;
1065 if ( gras_ddt_parse_wrap( ) )
1067 /* Note: because we've taken care in
1068 * yy_get_next_buffer() to have set up
1069 * gras_ddt_parse_text, we can now set up
1070 * yy_c_buf_p so that if some total
1071 * hoser (like flex itself) wants to
1072 * call the scanner after we return the
1073 * YY_NULL, it'll still work - another
1074 * YY_NULL will get returned.
1076 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1078 yy_act = YY_STATE_EOF(YY_START);
1084 if ( ! (yy_did_buffer_switch_on_eof) )
1090 case EOB_ACT_CONTINUE_SCAN:
1092 (yytext_ptr) + yy_amount_of_matched_text;
1094 yy_current_state = yy_get_previous_state( );
1096 yy_cp = (yy_c_buf_p);
1097 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1100 case EOB_ACT_LAST_MATCH:
1102 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1104 yy_current_state = yy_get_previous_state( );
1106 yy_cp = (yy_c_buf_p);
1107 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1108 goto yy_find_action;
1115 "fatal flex scanner internal error--no action found" );
1116 } /* end of action switch */
1117 } /* end of scanning one token */
1118 } /* end of gras_ddt_parse_lex */
1120 /* yy_get_next_buffer - try to read in a new buffer
1122 * Returns a code representing an action:
1123 * EOB_ACT_LAST_MATCH -
1124 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1125 * EOB_ACT_END_OF_FILE - end of file
1127 static int yy_get_next_buffer (void)
1129 register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1130 register char *source = (yytext_ptr);
1131 register int number_to_move, i;
1134 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1136 "fatal flex scanner internal error--end of buffer missed" );
1138 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1139 { /* Don't try to fill the buffer, so this is an EOF. */
1140 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1142 /* We matched a single character, the EOB, so
1143 * treat this as a final EOF.
1145 return EOB_ACT_END_OF_FILE;
1150 /* We matched some text prior to the EOB, first
1153 return EOB_ACT_LAST_MATCH;
1157 /* Try to read more data. */
1159 /* First move last chars to start of buffer. */
1160 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1162 for ( i = 0; i < number_to_move; ++i )
1163 *(dest++) = *(source++);
1165 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1166 /* don't do the read, it's not guaranteed to return an EOF,
1169 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1173 size_t num_to_read =
1174 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1176 while ( num_to_read <= 0 )
1177 { /* Not enough room in the buffer - grow it. */
1179 /* just a shorter name for the current buffer */
1180 YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1182 int yy_c_buf_p_offset =
1183 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1185 if ( b->yy_is_our_buffer )
1187 int new_size = b->yy_buf_size * 2;
1189 if ( new_size <= 0 )
1190 b->yy_buf_size += b->yy_buf_size / 8;
1192 b->yy_buf_size *= 2;
1194 b->yy_ch_buf = (char *)
1195 /* Include room in for 2 EOB chars. */
1196 gras_ddt_parse_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
1199 /* Can't grow it, we don't own it. */
1202 if ( ! b->yy_ch_buf )
1204 "fatal error - scanner input buffer overflow" );
1206 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1208 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1213 if ( num_to_read > YY_READ_BUF_SIZE )
1214 num_to_read = YY_READ_BUF_SIZE;
1216 /* Read in more data. */
1217 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1218 (yy_n_chars), num_to_read );
1220 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1223 if ( (yy_n_chars) == 0 )
1225 if ( number_to_move == YY_MORE_ADJ )
1227 ret_val = EOB_ACT_END_OF_FILE;
1228 gras_ddt_parse_restart(gras_ddt_parse_in );
1233 ret_val = EOB_ACT_LAST_MATCH;
1234 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1235 YY_BUFFER_EOF_PENDING;
1240 ret_val = EOB_ACT_CONTINUE_SCAN;
1242 (yy_n_chars) += number_to_move;
1243 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1244 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1246 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1251 /* yy_get_previous_state - get the state just before the EOB char was reached */
1253 static yy_state_type yy_get_previous_state (void)
1255 register yy_state_type yy_current_state;
1256 register char *yy_cp;
1258 yy_current_state = (yy_start);
1260 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1262 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1263 if ( yy_accept[yy_current_state] )
1265 (yy_last_accepting_state) = yy_current_state;
1266 (yy_last_accepting_cpos) = yy_cp;
1268 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1270 yy_current_state = (int) yy_def[yy_current_state];
1271 if ( yy_current_state >= 61 )
1272 yy_c = yy_meta[(unsigned int) yy_c];
1274 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1277 return yy_current_state;
1280 /* yy_try_NUL_trans - try to make a transition on the NUL character
1283 * next_state = yy_try_NUL_trans( current_state );
1285 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1287 register int yy_is_jam;
1288 register char *yy_cp = (yy_c_buf_p);
1290 register YY_CHAR yy_c = 1;
1291 if ( yy_accept[yy_current_state] )
1293 (yy_last_accepting_state) = yy_current_state;
1294 (yy_last_accepting_cpos) = yy_cp;
1296 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1298 yy_current_state = (int) yy_def[yy_current_state];
1299 if ( yy_current_state >= 61 )
1300 yy_c = yy_meta[(unsigned int) yy_c];
1302 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1303 yy_is_jam = (yy_current_state == 60);
1305 return yy_is_jam ? 0 : yy_current_state;
1308 static void yyunput (int c, register char * yy_bp )
1310 register char *yy_cp;
1312 yy_cp = (yy_c_buf_p);
1314 /* undo effects of setting up gras_ddt_parse_text */
1315 *yy_cp = (yy_hold_char);
1317 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1318 { /* need to shift things up to make room */
1319 /* +2 for EOB chars. */
1320 register int number_to_move = (yy_n_chars) + 2;
1321 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1322 YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1323 register char *source =
1324 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1326 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1327 *--dest = *--source;
1329 yy_cp += (int) (dest - source);
1330 yy_bp += (int) (dest - source);
1331 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1332 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1334 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1335 YY_FATAL_ERROR( "flex scanner push-back overflow" );
1338 *--yy_cp = (char) c;
1340 (yytext_ptr) = yy_bp;
1341 (yy_hold_char) = *yy_cp;
1342 (yy_c_buf_p) = yy_cp;
1347 static int yyinput (void)
1349 static int input (void)
1355 *(yy_c_buf_p) = (yy_hold_char);
1357 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1359 /* yy_c_buf_p now points to the character we want to return.
1360 * If this occurs *before* the EOB characters, then it's a
1361 * valid NUL; if not, then we've hit the end of the buffer.
1363 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1364 /* This was really a NUL. */
1365 *(yy_c_buf_p) = '\0';
1368 { /* need more input */
1369 int offset = (yy_c_buf_p) - (yytext_ptr);
1372 switch ( yy_get_next_buffer( ) )
1374 case EOB_ACT_LAST_MATCH:
1375 /* This happens because yy_g_n_b()
1376 * sees that we've accumulated a
1377 * token and flags that we need to
1378 * try matching the token before
1379 * proceeding. But for input(),
1380 * there's no matching to consider.
1381 * So convert the EOB_ACT_LAST_MATCH
1382 * to EOB_ACT_END_OF_FILE.
1385 /* Reset buffer status. */
1386 gras_ddt_parse_restart(gras_ddt_parse_in );
1390 case EOB_ACT_END_OF_FILE:
1392 if ( gras_ddt_parse_wrap( ) )
1395 if ( ! (yy_did_buffer_switch_on_eof) )
1404 case EOB_ACT_CONTINUE_SCAN:
1405 (yy_c_buf_p) = (yytext_ptr) + offset;
1411 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1412 *(yy_c_buf_p) = '\0'; /* preserve gras_ddt_parse_text */
1413 (yy_hold_char) = *++(yy_c_buf_p);
1417 #endif /* ifndef YY_NO_INPUT */
1419 /** Immediately switch to a different input stream.
1420 * @param input_file A readable stream.
1422 * @note This function does not reset the start condition to @c INITIAL .
1424 void gras_ddt_parse_restart (FILE * input_file )
1427 if ( ! YY_CURRENT_BUFFER ){
1428 gras_ddt_parse_ensure_buffer_stack ();
1429 YY_CURRENT_BUFFER_LVALUE =
1430 gras_ddt_parse__create_buffer(gras_ddt_parse_in,YY_BUF_SIZE );
1433 gras_ddt_parse__init_buffer(YY_CURRENT_BUFFER,input_file );
1434 gras_ddt_parse__load_buffer_state( );
1437 /** Switch to a different input buffer.
1438 * @param new_buffer The new input buffer.
1441 void gras_ddt_parse__switch_to_buffer (YY_BUFFER_STATE new_buffer )
1444 /* TODO. We should be able to replace this entire function body
1446 * gras_ddt_parse_pop_buffer_state();
1447 * gras_ddt_parse_push_buffer_state(new_buffer);
1449 gras_ddt_parse_ensure_buffer_stack ();
1450 if ( YY_CURRENT_BUFFER == new_buffer )
1453 if ( YY_CURRENT_BUFFER )
1455 /* Flush out information for old buffer. */
1456 *(yy_c_buf_p) = (yy_hold_char);
1457 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1458 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1461 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1462 gras_ddt_parse__load_buffer_state( );
1464 /* We don't actually know whether we did this switch during
1465 * EOF (gras_ddt_parse_wrap()) processing, but the only time this flag
1466 * is looked at is after gras_ddt_parse_wrap() is called, so it's safe
1467 * to go ahead and always set it.
1469 (yy_did_buffer_switch_on_eof) = 1;
1472 static void gras_ddt_parse__load_buffer_state (void)
1474 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1475 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1476 gras_ddt_parse_in = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1477 (yy_hold_char) = *(yy_c_buf_p);
1480 /** Allocate and initialize an input buffer state.
1481 * @param file A readable stream.
1482 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1484 * @return the allocated buffer state.
1486 YY_BUFFER_STATE gras_ddt_parse__create_buffer (FILE * file, int size )
1490 b = (YY_BUFFER_STATE) gras_ddt_parse_alloc(sizeof( struct yy_buffer_state ) );
1492 YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse__create_buffer()" );
1494 b->yy_buf_size = size;
1496 /* yy_ch_buf has to be 2 characters longer than the size given because
1497 * we need to put in 2 end-of-buffer characters.
1499 b->yy_ch_buf = (char *) gras_ddt_parse_alloc(b->yy_buf_size + 2 );
1500 if ( ! b->yy_ch_buf )
1501 YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse__create_buffer()" );
1503 b->yy_is_our_buffer = 1;
1505 gras_ddt_parse__init_buffer(b,file );
1510 /** Destroy the buffer.
1511 * @param b a buffer created with gras_ddt_parse__create_buffer()
1514 void gras_ddt_parse__delete_buffer (YY_BUFFER_STATE b )
1520 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1521 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1523 if ( b->yy_is_our_buffer )
1524 gras_ddt_parse_free((void *) b->yy_ch_buf );
1526 gras_ddt_parse_free((void *) b );
1530 extern int isatty (int );
1531 #endif /* __cplusplus */
1533 /* Initializes or reinitializes a buffer.
1534 * This function is sometimes called more than once on the same buffer,
1535 * such as during a gras_ddt_parse_restart() or at EOF.
1537 static void gras_ddt_parse__init_buffer (YY_BUFFER_STATE b, FILE * file )
1542 gras_ddt_parse__flush_buffer(b );
1544 b->yy_input_file = file;
1545 b->yy_fill_buffer = 1;
1547 /* If b is the current buffer, then gras_ddt_parse__init_buffer was _probably_
1548 * called from gras_ddt_parse_restart() or through yy_get_next_buffer.
1549 * In that case, we don't want to reset the lineno or column.
1551 if (b != YY_CURRENT_BUFFER){
1552 b->yy_bs_lineno = 1;
1553 b->yy_bs_column = 0;
1556 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1561 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1562 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1565 void gras_ddt_parse__flush_buffer (YY_BUFFER_STATE b )
1572 /* We always need two end-of-buffer characters. The first causes
1573 * a transition to the end-of-buffer state. The second causes
1574 * a jam in that state.
1576 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1577 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1579 b->yy_buf_pos = &b->yy_ch_buf[0];
1582 b->yy_buffer_status = YY_BUFFER_NEW;
1584 if ( b == YY_CURRENT_BUFFER )
1585 gras_ddt_parse__load_buffer_state( );
1588 /** Pushes the new state onto the stack. The new state becomes
1589 * the current state. This function will allocate the stack
1591 * @param new_buffer The new state.
1594 void gras_ddt_parse_push_buffer_state (YY_BUFFER_STATE new_buffer )
1596 if (new_buffer == NULL)
1599 gras_ddt_parse_ensure_buffer_stack();
1601 /* This block is copied from gras_ddt_parse__switch_to_buffer. */
1602 if ( YY_CURRENT_BUFFER )
1604 /* Flush out information for old buffer. */
1605 *(yy_c_buf_p) = (yy_hold_char);
1606 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1607 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1610 /* Only push if top exists. Otherwise, replace top. */
1611 if (YY_CURRENT_BUFFER)
1612 (yy_buffer_stack_top)++;
1613 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1615 /* copied from gras_ddt_parse__switch_to_buffer. */
1616 gras_ddt_parse__load_buffer_state( );
1617 (yy_did_buffer_switch_on_eof) = 1;
1620 /** Removes and deletes the top of the stack, if present.
1621 * The next element becomes the new top.
1624 void gras_ddt_parse_pop_buffer_state (void)
1626 if (!YY_CURRENT_BUFFER)
1629 gras_ddt_parse__delete_buffer(YY_CURRENT_BUFFER );
1630 YY_CURRENT_BUFFER_LVALUE = NULL;
1631 if ((yy_buffer_stack_top) > 0)
1632 --(yy_buffer_stack_top);
1634 if (YY_CURRENT_BUFFER) {
1635 gras_ddt_parse__load_buffer_state( );
1636 (yy_did_buffer_switch_on_eof) = 1;
1640 /* Allocates the stack if it does not exist.
1641 * Guarantees space for at least one push.
1643 static void gras_ddt_parse_ensure_buffer_stack (void)
1647 if (!(yy_buffer_stack)) {
1649 /* First allocation is just for 2 elements, since we don't know if this
1650 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1651 * immediate realloc on the next call.
1654 (yy_buffer_stack) = (struct yy_buffer_state**)gras_ddt_parse_alloc
1655 (num_to_alloc * sizeof(struct yy_buffer_state*)
1658 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1660 (yy_buffer_stack_max) = num_to_alloc;
1661 (yy_buffer_stack_top) = 0;
1665 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1667 /* Increase the buffer to prepare for a possible push. */
1668 int grow_size = 8 /* arbitrary grow size */;
1670 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1671 (yy_buffer_stack) = (struct yy_buffer_state**)gras_ddt_parse_realloc
1673 num_to_alloc * sizeof(struct yy_buffer_state*)
1676 /* zero only the new slots.*/
1677 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1678 (yy_buffer_stack_max) = num_to_alloc;
1682 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1683 * @param base the character buffer
1684 * @param size the size in bytes of the character buffer
1686 * @return the newly allocated buffer state object.
1688 YY_BUFFER_STATE gras_ddt_parse__scan_buffer (char * base, yy_size_t size )
1693 base[size-2] != YY_END_OF_BUFFER_CHAR ||
1694 base[size-1] != YY_END_OF_BUFFER_CHAR )
1695 /* They forgot to leave room for the EOB's. */
1698 b = (YY_BUFFER_STATE) gras_ddt_parse_alloc(sizeof( struct yy_buffer_state ) );
1700 YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse__scan_buffer()" );
1702 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1703 b->yy_buf_pos = b->yy_ch_buf = base;
1704 b->yy_is_our_buffer = 0;
1705 b->yy_input_file = 0;
1706 b->yy_n_chars = b->yy_buf_size;
1707 b->yy_is_interactive = 0;
1709 b->yy_fill_buffer = 0;
1710 b->yy_buffer_status = YY_BUFFER_NEW;
1712 gras_ddt_parse__switch_to_buffer(b );
1717 /** Setup the input buffer state to scan a string. The next call to gras_ddt_parse_lex() will
1718 * scan from a @e copy of @a str.
1719 * @param str a NUL-terminated string to scan
1721 * @return the newly allocated buffer state object.
1722 * @note If you want to scan bytes that may contain NUL values, then use
1723 * gras_ddt_parse__scan_bytes() instead.
1725 YY_BUFFER_STATE gras_ddt_parse__scan_string (yyconst char * yy_str )
1728 return gras_ddt_parse__scan_bytes(yy_str,strlen(yy_str) );
1731 /** Setup the input buffer state to scan the given bytes. The next call to gras_ddt_parse_lex() will
1732 * scan from a @e copy of @a bytes.
1733 * @param bytes the byte buffer to scan
1734 * @param len the number of bytes in the buffer pointed to by @a bytes.
1736 * @return the newly allocated buffer state object.
1738 YY_BUFFER_STATE gras_ddt_parse__scan_bytes (yyconst char * bytes, int len )
1745 /* Get memory for full buffer, including space for trailing EOB's. */
1747 buf = (char *) gras_ddt_parse_alloc(n );
1749 YY_FATAL_ERROR( "out of dynamic memory in gras_ddt_parse__scan_bytes()" );
1751 for ( i = 0; i < len; ++i )
1754 buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
1756 b = gras_ddt_parse__scan_buffer(buf,n );
1758 YY_FATAL_ERROR( "bad buffer in gras_ddt_parse__scan_bytes()" );
1760 /* It's okay to grow etc. this buffer, and we should throw it
1761 * away when we're done.
1763 b->yy_is_our_buffer = 1;
1768 #ifndef YY_EXIT_FAILURE
1769 #define YY_EXIT_FAILURE 2
1772 static void yy_fatal_error (yyconst char* msg )
1774 (void) fprintf( stderr, "%s\n", msg );
1775 exit( YY_EXIT_FAILURE );
1778 /* Redefine yyless() so it works in section 3 code. */
1784 /* Undo effects of setting up gras_ddt_parse_text. */ \
1785 int yyless_macro_arg = (n); \
1786 YY_LESS_LINENO(yyless_macro_arg);\
1787 gras_ddt_parse_text[gras_ddt_parse_leng] = (yy_hold_char); \
1788 (yy_c_buf_p) = gras_ddt_parse_text + yyless_macro_arg; \
1789 (yy_hold_char) = *(yy_c_buf_p); \
1790 *(yy_c_buf_p) = '\0'; \
1791 gras_ddt_parse_leng = yyless_macro_arg; \
1795 /* Accessor methods (get/set functions) to struct members. */
1797 /** Get the current line number.
1800 int gras_ddt_parse_get_lineno (void)
1803 return gras_ddt_parse_lineno;
1806 /** Get the input stream.
1809 FILE *gras_ddt_parse_get_in (void)
1811 return gras_ddt_parse_in;
1814 /** Get the output stream.
1817 FILE *gras_ddt_parse_get_out (void)
1819 return gras_ddt_parse_out;
1822 /** Get the length of the current token.
1825 int gras_ddt_parse_get_leng (void)
1827 return gras_ddt_parse_leng;
1830 /** Get the current token.
1834 char *gras_ddt_parse_get_text (void)
1836 return gras_ddt_parse_text;
1839 /** Set the current line number.
1840 * @param line_number
1843 void gras_ddt_parse_set_lineno (int line_number )
1846 gras_ddt_parse_lineno = line_number;
1849 /** Set the input stream. This does not discard the current
1851 * @param in_str A readable stream.
1853 * @see gras_ddt_parse__switch_to_buffer
1855 void gras_ddt_parse_set_in (FILE * in_str )
1857 gras_ddt_parse_in = in_str ;
1860 void gras_ddt_parse_set_out (FILE * out_str )
1862 gras_ddt_parse_out = out_str ;
1865 int gras_ddt_parse_get_debug (void)
1867 return gras_ddt_parse__flex_debug;
1870 void gras_ddt_parse_set_debug (int bdebug )
1872 gras_ddt_parse__flex_debug = bdebug ;
1875 /* gras_ddt_parse_lex_destroy is for both reentrant and non-reentrant scanners. */
1876 int gras_ddt_parse_lex_destroy (void)
1879 /* Pop the buffer stack, destroying each element. */
1880 while(YY_CURRENT_BUFFER){
1881 gras_ddt_parse__delete_buffer(YY_CURRENT_BUFFER );
1882 YY_CURRENT_BUFFER_LVALUE = NULL;
1883 gras_ddt_parse_pop_buffer_state();
1886 /* Destroy the stack itself. */
1887 gras_ddt_parse_free((yy_buffer_stack) );
1888 (yy_buffer_stack) = NULL;
1894 * Internal utility routines.
1898 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1901 for ( i = 0; i < n; ++i )
1906 #ifdef YY_NEED_STRLEN
1907 static int yy_flex_strlen (yyconst char * s )
1910 for ( n = 0; s[n]; ++n )
1917 void *gras_ddt_parse_alloc (yy_size_t size )
1919 return (void *) malloc( size );
1922 void *gras_ddt_parse_realloc (void * ptr, yy_size_t size )
1924 /* The cast to (char *) in the following accommodates both
1925 * implementations that use char* generic pointers, and those
1926 * that use void* generic pointers. It works with the latter
1927 * because both ANSI C and C++ allow castless assignment from
1928 * any pointer type to void*, and deal with argument conversions
1929 * as though doing an assignment.
1931 return (void *) realloc( (char *) ptr, size );
1934 void gras_ddt_parse_free (void * ptr )
1936 free( (char *) ptr ); /* see gras_ddt_parse_realloc() for (char *) cast */
1939 #define YYTABLES_NAME "yytables"
1942 #undef YY_FLUSH_BUFFER
1944 #undef yy_new_buffer
1945 #undef yy_set_interactive
1947 #undef YY_DO_BEFORE_ACTION
1949 #ifdef YY_DECL_IS_OURS
1950 #undef YY_DECL_IS_OURS
1953 #line 175 "gras/DataDesc/ddt_parse.yy.l"
1956 /* {space}+ { return(TOKEN_SPACE);} */
1958 void gras_ddt_parse_dump(void) {
1959 switch(gras_ddt_parse_tok_num) {
1960 case GRAS_DDT_PARSE_TOKEN_LA : {printf("TOKEN_LA ");break;}
1961 case GRAS_DDT_PARSE_TOKEN_RA : {printf("TOKEN_RA ");break;}
1962 case GRAS_DDT_PARSE_TOKEN_WORD : {printf("TOKEN_WORD ");break;}
1963 /* case GRAS_DDT_PARSE_TOKEN_SPACE : {printf("TOKEN_SPACE ");break;}*/
1964 /* case GRAS_DDT_PARSE_TOKEN_COMMENT : {printf("TOKEN_COMMENT ");break;}*/
1965 case GRAS_DDT_PARSE_TOKEN_NEWLINE : {printf("TOKEN_NEWLINE\n");return;}
1966 case GRAS_DDT_PARSE_TOKEN_EMPTY : {printf("TOKEN_EMPTY\n");return;}
1967 default : {printf("Unknown token %d\n", gras_ddt_parse_tok_num);return;}
1969 printf("-->%s<-- [line %d, pos %d]\n",gras_ddt_parse_text,gras_ddt_parse_line_pos,gras_ddt_parse_char_pos);
1973 int gras_ddt_parse_lex_n_dump(void) {
1974 gras_ddt_parse_tok_num = gras_ddt_parse_lex();
1975 /* gras_ddt_parse_char_pos += strlen(gras_ddt_parse_text);*/
1976 return(gras_ddt_parse_tok_num);
1979 void gras_ddt_parse_pointer_init(const char *file) {
1980 gras_ddt_file_to_parse = fopen(file,"r");
1981 gras_ddt_input_buffer = gras_ddt_parse__create_buffer(gras_ddt_file_to_parse,10 );
1982 gras_ddt_parse__switch_to_buffer(gras_ddt_input_buffer);
1984 gras_ddt_parse_line_pos = 1;
1985 gras_ddt_parse_char_pos = 0;
1986 gras_ddt_parse_col_pos = 0;
1987 gras_ddt_parse_tok_num = 0;
1990 void gras_ddt_parse_pointer_close(void) {
1991 gras_ddt_parse__delete_buffer(gras_ddt_input_buffer);
1992 fclose(gras_ddt_file_to_parse);
1994 gras_ddt_parse_line_pos = 1;
1995 gras_ddt_parse_char_pos = 0;
1996 gras_ddt_parse_tok_num = 0;
2000 void gras_ddt_parse_pointer_string_init(const char *string_to_parse) {
2001 gras_ddt_input_buffer = gras_ddt_parse__scan_string (string_to_parse);
2002 definition = string_to_parse;
2003 gras_ddt_parse__switch_to_buffer(gras_ddt_input_buffer);
2005 gras_ddt_parse_line_pos = 1;
2006 gras_ddt_parse_char_pos = 0;
2007 gras_ddt_parse_tok_num = 0;
2010 void gras_ddt_parse_pointer_string_close(void) {
2011 gras_ddt_parse__delete_buffer(gras_ddt_input_buffer);
2013 gras_ddt_parse_line_pos = 1;
2014 gras_ddt_parse_char_pos = 0;
2015 gras_ddt_parse_tok_num = 0;
2018 yyunput('\0',NULL); /* fake a use of this function to calm gcc down */
2021 /* Local variables:*/