5 #define YY_INT_ALIGNED short int
7 /* A lexical scanner generated by flex */
9 #define yy_create_buffer __ktrfmt_create_buffer
10 #define yy_delete_buffer __ktrfmt_delete_buffer
11 #define yy_flex_debug __ktrfmt_flex_debug
12 #define yy_init_buffer __ktrfmt_init_buffer
13 #define yy_flush_buffer __ktrfmt_flush_buffer
14 #define yy_load_buffer_state __ktrfmt_load_buffer_state
15 #define yy_switch_to_buffer __ktrfmt_switch_to_buffer
16 #define yyin __ktrfmtin
17 #define yyleng __ktrfmtleng
18 #define yylex __ktrfmtlex
19 #define yylineno __ktrfmtlineno
20 #define yyout __ktrfmtout
21 #define yyrestart __ktrfmtrestart
22 #define yytext __ktrfmttext
23 #define yywrap __ktrfmtwrap
24 #define yyalloc __ktrfmtalloc
25 #define yyrealloc __ktrfmtrealloc
26 #define yyfree __ktrfmtfree
29 #define YY_FLEX_MAJOR_VERSION 2
30 #define YY_FLEX_MINOR_VERSION 5
31 #define YY_FLEX_SUBMINOR_VERSION 35
32 #if YY_FLEX_SUBMINOR_VERSION > 0
36 /* First, we deal with platform-specific or compiler-specific issues. */
38 /* begin standard C headers. */
44 /* end standard C headers. */
46 /* flex integer type definitions */
51 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
55 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
56 * if you want the limit (max/min) macros for int types.
58 #ifndef __STDC_LIMIT_MACROS
59 #define __STDC_LIMIT_MACROS 1
63 typedef int8_t flex_int8_t;
64 typedef uint8_t flex_uint8_t;
65 typedef int16_t flex_int16_t;
66 typedef uint16_t flex_uint16_t;
67 typedef int32_t flex_int32_t;
68 typedef uint32_t flex_uint32_t;
70 typedef signed char flex_int8_t;
71 typedef short int flex_int16_t;
72 typedef int flex_int32_t;
73 typedef unsigned char flex_uint8_t;
74 typedef unsigned short int flex_uint16_t;
75 typedef unsigned int flex_uint32_t;
77 /* Limits of integral types. */
79 #define INT8_MIN (-128)
82 #define INT16_MIN (-32767-1)
85 #define INT32_MIN (-2147483647-1)
88 #define INT8_MAX (127)
91 #define INT16_MAX (32767)
94 #define INT32_MAX (2147483647)
97 #define UINT8_MAX (255U)
100 #define UINT16_MAX (65535U)
103 #define UINT32_MAX (4294967295U)
108 #endif /* ! FLEXINT_H */
112 /* The "const" storage-class-modifier is valid. */
115 #else /* ! __cplusplus */
117 /* C99 requires __STDC__ to be defined as 1. */
118 #if defined (__STDC__)
122 #endif /* defined (__STDC__) */
123 #endif /* ! __cplusplus */
126 #define yyconst const
131 /* Returned upon end-of-file. */
134 /* Promotes a possibly negative, possibly signed char to an unsigned
135 * integer for use as an array index. If the signed char is negative,
136 * we want to instead treat it as an 8-bit unsigned char, hence the
139 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
141 /* Enter a start condition. This macro really ought to take a parameter,
142 * but we do it the disgusting crufty way forced on us by the ()-less
143 * definition of BEGIN.
145 #define BEGIN (yy_start) = 1 + 2 *
147 /* Translate the current start state into a value that can be later handed
148 * to BEGIN to return to the state. The YYSTATE alias is for lex
151 #define YY_START (((yy_start) - 1) / 2)
152 #define YYSTATE YY_START
154 /* Action number for EOF rule of a given start state. */
155 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
157 /* Special action meaning "start processing a new file". */
158 #define YY_NEW_FILE __ktrfmtrestart(__ktrfmtin )
160 #define YY_END_OF_BUFFER_CHAR 0
162 /* Size of default input buffer. */
165 /* On IA-64, the buffer size is 16k, not 8k.
166 * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
167 * Ditto for the __ia64__ case accordingly.
169 #define YY_BUF_SIZE 32768
171 #define YY_BUF_SIZE 16384
172 #endif /* __ia64__ */
175 /* The state buf must be large enough to hold one state per character in the main buffer.
177 #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
179 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
180 #define YY_TYPEDEF_YY_BUFFER_STATE
181 typedef struct yy_buffer_state *YY_BUFFER_STATE;
184 extern int __ktrfmtleng;
186 extern FILE *__ktrfmtin, *__ktrfmtout;
188 #define EOB_ACT_CONTINUE_SCAN 0
189 #define EOB_ACT_END_OF_FILE 1
190 #define EOB_ACT_LAST_MATCH 2
192 #define YY_LESS_LINENO(n)
194 /* Return all but the first "n" matched characters back to the input stream. */
198 /* Undo effects of setting up __ktrfmttext. */ \
199 int yyless_macro_arg = (n); \
200 YY_LESS_LINENO(yyless_macro_arg);\
201 *yy_cp = (yy_hold_char); \
202 YY_RESTORE_YY_MORE_OFFSET \
203 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
204 YY_DO_BEFORE_ACTION; /* set up __ktrfmttext again */ \
208 #define unput(c) yyunput( c, (yytext_ptr) )
210 #ifndef YY_TYPEDEF_YY_SIZE_T
211 #define YY_TYPEDEF_YY_SIZE_T
212 typedef size_t yy_size_t;
215 #ifndef YY_STRUCT_YY_BUFFER_STATE
216 #define YY_STRUCT_YY_BUFFER_STATE
217 struct yy_buffer_state
221 char *yy_ch_buf; /* input buffer */
222 char *yy_buf_pos; /* current position in input buffer */
224 /* Size of input buffer in bytes, not including room for EOB
227 yy_size_t yy_buf_size;
229 /* Number of characters read into yy_ch_buf, not including EOB
234 /* Whether we "own" the buffer - i.e., we know we created it,
235 * and can realloc() it to grow it, and should free() it to
238 int yy_is_our_buffer;
240 /* Whether this is an "interactive" input source; if so, and
241 * if we're using stdio for input, then we want to use getc()
242 * instead of fread(), to make sure we stop fetching input after
245 int yy_is_interactive;
247 /* Whether we're considered to be at the beginning of a line.
248 * If so, '^' rules will be active on the next match, otherwise
253 int yy_bs_lineno; /**< The line count. */
254 int yy_bs_column; /**< The column count. */
256 /* Whether to try to fill the input buffer when we reach the
261 int yy_buffer_status;
263 #define YY_BUFFER_NEW 0
264 #define YY_BUFFER_NORMAL 1
265 /* When an EOF's been seen but there's still some text to process
266 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
267 * shouldn't try reading from the input source any more. We might
268 * still have a bunch of tokens to match, though, because of
269 * possible backing-up.
271 * When we actually see the EOF, we change the status to "new"
272 * (via __ktrfmtrestart()), so that the user can continue scanning by
273 * just pointing __ktrfmtin at a new input file.
275 #define YY_BUFFER_EOF_PENDING 2
278 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
280 /* Stack of input buffers. */
281 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
282 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
283 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
285 /* We provide macros for accessing buffer states in case in the
286 * future we want to put the buffer states in a more general
289 * Returns the top of the stack, or NULL.
291 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
292 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
295 /* Same as previous macro, but useful when we know that the buffer stack is not
296 * NULL or when we need an lvalue. For internal use only.
298 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
300 /* yy_hold_char holds the character lost when __ktrfmttext is formed. */
301 static char yy_hold_char;
302 static int yy_n_chars; /* number of characters read into yy_ch_buf */
305 /* Points to current character in buffer. */
306 static char *yy_c_buf_p = (char *) 0;
307 static int yy_init = 0; /* whether we need to initialize */
308 static int yy_start = 0; /* start state number */
310 /* Flag which is used to allow __ktrfmtwrap()'s to do buffer switches
311 * instead of setting up a fresh __ktrfmtin. A bit of a hack ...
313 static int yy_did_buffer_switch_on_eof;
315 void __ktrfmtrestart (FILE *input_file );
316 void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer );
317 YY_BUFFER_STATE __ktrfmt_create_buffer (FILE *file,int size );
318 void __ktrfmt_delete_buffer (YY_BUFFER_STATE b );
319 void __ktrfmt_flush_buffer (YY_BUFFER_STATE b );
320 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer );
321 void __ktrfmtpop_buffer_state (void );
323 static void __ktrfmtensure_buffer_stack (void );
324 static void __ktrfmt_load_buffer_state (void );
325 static void __ktrfmt_init_buffer (YY_BUFFER_STATE b,FILE *file );
327 #define YY_FLUSH_BUFFER __ktrfmt_flush_buffer(YY_CURRENT_BUFFER )
329 YY_BUFFER_STATE __ktrfmt_scan_buffer (char *base,yy_size_t size );
330 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char *yy_str );
331 YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char *bytes,int len );
333 void *__ktrfmtalloc (yy_size_t );
334 void *__ktrfmtrealloc (void *,yy_size_t );
335 void __ktrfmtfree (void * );
337 #define yy_new_buffer __ktrfmt_create_buffer
339 #define yy_set_interactive(is_interactive) \
341 if ( ! YY_CURRENT_BUFFER ){ \
342 __ktrfmtensure_buffer_stack (); \
343 YY_CURRENT_BUFFER_LVALUE = \
344 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
346 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
349 #define yy_set_bol(at_bol) \
351 if ( ! YY_CURRENT_BUFFER ){\
352 __ktrfmtensure_buffer_stack (); \
353 YY_CURRENT_BUFFER_LVALUE = \
354 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE ); \
356 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
359 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
361 /* Begin user sect3 */
363 #define __ktrfmtwrap(n) 1
364 #define YY_SKIP_YYWRAP
366 typedef unsigned char YY_CHAR;
368 FILE *__ktrfmtin = (FILE *) 0, *__ktrfmtout = (FILE *) 0;
370 typedef int yy_state_type;
372 extern int __ktrfmtlineno;
374 int __ktrfmtlineno = 1;
376 extern char *__ktrfmttext;
377 #define yytext_ptr __ktrfmttext
379 static yy_state_type yy_get_previous_state (void );
380 static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
381 static int yy_get_next_buffer (void );
382 static void yy_fatal_error (yyconst char msg[] );
384 /* Done after the current pattern has been matched and before the
385 * corresponding action - sets up __ktrfmttext.
387 #define YY_DO_BEFORE_ACTION \
388 (yytext_ptr) = yy_bp; \
389 __ktrfmtleng = (size_t) (yy_cp - yy_bp); \
390 (yy_hold_char) = *yy_cp; \
392 (yy_c_buf_p) = yy_cp;
394 #define YY_NUM_RULES 8
395 #define YY_END_OF_BUFFER 9
396 /* This struct is not used in this scanner,
397 but its presence is necessary. */
400 flex_int32_t yy_verify;
403 static yyconst flex_int16_t yy_accept[20] =
405 0, 0, 9, 8, 1, 8, 3, 4, 5, 6,
406 7, 1, 0, 0, 3, 4, 2, 2, 0
409 static yyconst flex_int32_t yy_ec[256] =
411 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
412 1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
413 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
414 1, 2, 1, 4, 1, 5, 1, 1, 1, 1,
415 1, 1, 1, 1, 1, 1, 1, 6, 6, 6,
416 6, 6, 6, 6, 6, 6, 6, 1, 1, 1,
417 7, 1, 1, 1, 8, 8, 8, 8, 8, 8,
418 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
419 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
420 9, 10, 11, 1, 8, 1, 8, 8, 8, 8,
422 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
423 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,
424 8, 8, 1, 1, 1, 1, 1, 1, 1, 1,
425 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
426 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
427 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
428 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
429 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
430 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
431 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
433 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
434 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
435 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
436 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
437 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
441 static yyconst flex_int32_t yy_meta[12] =
443 1, 1, 2, 2, 1, 3, 1, 3, 1, 1,
447 static yyconst flex_int16_t yy_base[22] =
449 0, 0, 23, 24, 20, 10, 0, 11, 24, 24,
450 24, 14, 8, 11, 0, 8, 24, 0, 24, 18,
454 static yyconst flex_int16_t yy_def[22] =
456 19, 1, 19, 19, 19, 20, 21, 19, 19, 19,
457 19, 19, 20, 13, 21, 19, 19, 13, 0, 19,
461 static yyconst flex_int16_t yy_nxt[36] =
463 4, 5, 4, 6, 7, 8, 9, 7, 10, 4,
464 11, 17, 15, 16, 18, 12, 16, 14, 13, 14,
465 13, 12, 19, 3, 19, 19, 19, 19, 19, 19,
469 static yyconst flex_int16_t yy_chk[36] =
471 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
472 1, 13, 21, 16, 14, 12, 8, 13, 20, 6,
473 20, 5, 3, 19, 19, 19, 19, 19, 19, 19,
477 static yy_state_type yy_last_accepting_state;
478 static char *yy_last_accepting_cpos;
480 extern int __ktrfmt_flex_debug;
481 int __ktrfmt_flex_debug = 0;
483 /* The intent behind this definition is that it'll catch
484 * any uses of REJECT which flex missed.
486 #define REJECT reject_used_but_not_detected
487 #define yymore() yymore_used_but_not_detected
488 #define YY_MORE_ADJ 0
489 #define YY_RESTORE_YY_MORE_OFFSET
495 //#define YYSTYPE struct token
496 #include "ktrfmt.tab.h"
498 #include "internal.h"
504 static struct token tokens[NR_TOKENS];
506 static struct symtab *strtab;
512 if (curr_tok == NR_TOKENS) {
514 fprintf(stderr, "Reached max number of tokens\n");
517 return &tokens[curr_tok];
521 tok_free(struct token *tok)
523 assert(&tokens[curr_tok] == tok);
529 * We keep track of strings we've seen before so string comparison
530 * can be done w/ a simple pointer comparison
534 newstr(const char *s)
538 strtab = symtab_new(); /* XXX: oom */
539 if ((r = symtab_find(strtab, s)))
542 symtab_insert(strtab, r, r);
546 #line 547 "ktrfmt.yy.c"
550 #ifndef YY_NO_UNISTD_H
551 /* Special case for "unistd.h", since it is non-ANSI. We include it way
552 * down here because we want the user's section 1 to have been scanned first.
553 * The user has a chance to override it with an option.
558 #ifndef YY_EXTRA_TYPE
559 #define YY_EXTRA_TYPE void *
562 static int yy_init_globals (void );
564 /* Accessor methods to globals.
565 These are made visible to non-reentrant scanners for convenience. */
567 int __ktrfmtlex_destroy (void );
569 int __ktrfmtget_debug (void );
571 void __ktrfmtset_debug (int debug_flag );
573 YY_EXTRA_TYPE __ktrfmtget_extra (void );
575 void __ktrfmtset_extra (YY_EXTRA_TYPE user_defined );
577 FILE *__ktrfmtget_in (void );
579 void __ktrfmtset_in (FILE * in_str );
581 FILE *__ktrfmtget_out (void );
583 void __ktrfmtset_out (FILE * out_str );
585 int __ktrfmtget_leng (void );
587 char *__ktrfmtget_text (void );
589 int __ktrfmtget_lineno (void );
591 void __ktrfmtset_lineno (int line_number );
593 YYSTYPE * __ktrfmtget_lval (void );
595 void __ktrfmtset_lval (YYSTYPE * yylval_param );
597 /* Macros after this point can all be overridden by user definitions in
601 #ifndef YY_SKIP_YYWRAP
603 extern "C" int __ktrfmtwrap (void );
605 extern int __ktrfmtwrap (void );
610 static void yy_flex_strncpy (char *,yyconst char *,int );
613 #ifdef YY_NEED_STRLEN
614 static int yy_flex_strlen (yyconst char * );
620 static int yyinput (void );
622 static int input (void );
627 /* Amount of stuff to slurp up with each read. */
628 #ifndef YY_READ_BUF_SIZE
630 /* On IA-64, the buffer size is 16k, not 8k */
631 #define YY_READ_BUF_SIZE 16384
633 #define YY_READ_BUF_SIZE 8192
634 #endif /* __ia64__ */
637 /* Copy whatever the last rule matched to the standard output. */
639 /* This used to be an fputs(), but since the string might contain NUL's,
640 * we now use fwrite().
642 #define ECHO do { if (fwrite( __ktrfmttext, __ktrfmtleng, 1, __ktrfmtout )) {} } while (0)
645 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
646 * is returned in "result".
649 #define YY_INPUT(buf,result,max_size) \
650 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
654 for ( n = 0; n < max_size && \
655 (c = getc( __ktrfmtin )) != EOF && c != '\n'; ++n ) \
658 buf[n++] = (char) c; \
659 if ( c == EOF && ferror( __ktrfmtin ) ) \
660 YY_FATAL_ERROR( "input in flex scanner failed" ); \
666 while ( (result = fread(buf, 1, max_size, __ktrfmtin))==0 && ferror(__ktrfmtin)) \
668 if( errno != EINTR) \
670 YY_FATAL_ERROR( "input in flex scanner failed" ); \
674 clearerr(__ktrfmtin); \
681 /* No semi-colon after return; correct usage is to write "yyterminate();" -
682 * we don't want an extra ';' after the "return" because that will cause
683 * some compilers to complain about unreachable statements.
686 #define yyterminate() return YY_NULL
689 /* Number of entries by which start-condition stack grows. */
690 #ifndef YY_START_STACK_INCR
691 #define YY_START_STACK_INCR 25
694 /* Report a fatal error. */
695 #ifndef YY_FATAL_ERROR
696 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
699 /* end tables serialization structures and prototypes */
701 /* Default declaration of generated scanner - a define so the user can
702 * easily add parameters.
705 #define YY_DECL_IS_OURS 1
707 extern int __ktrfmtlex \
708 (YYSTYPE * yylval_param );
710 #define YY_DECL int __ktrfmtlex \
711 (YYSTYPE * yylval_param )
712 #endif /* !YY_DECL */
714 /* Code executed at the beginning of each rule, after __ktrfmttext and __ktrfmtleng
717 #ifndef YY_USER_ACTION
718 #define YY_USER_ACTION
721 /* Code executed at the end of each rule. */
723 #define YY_BREAK break;
726 #define YY_RULE_SETUP \
729 /** The main scanner function which does all the work.
733 register yy_state_type yy_current_state;
734 register char *yy_cp, *yy_bp;
741 #line 742 "ktrfmt.yy.c"
743 yylval = yylval_param;
754 (yy_start) = 1; /* first start state */
760 __ktrfmtout = stdout;
762 if ( ! YY_CURRENT_BUFFER ) {
763 __ktrfmtensure_buffer_stack ();
764 YY_CURRENT_BUFFER_LVALUE =
765 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
768 __ktrfmt_load_buffer_state( );
771 while ( 1 ) /* loops until end-of-file is reached */
773 yy_cp = (yy_c_buf_p);
775 /* Support of __ktrfmttext. */
776 *yy_cp = (yy_hold_char);
778 /* yy_bp points to the position in yy_ch_buf of the start of
783 yy_current_state = (yy_start);
787 register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
788 if ( yy_accept[yy_current_state] )
790 (yy_last_accepting_state) = yy_current_state;
791 (yy_last_accepting_cpos) = yy_cp;
793 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
795 yy_current_state = (int) yy_def[yy_current_state];
796 if ( yy_current_state >= 20 )
797 yy_c = yy_meta[(unsigned int) yy_c];
799 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
802 while ( yy_base[yy_current_state] != 24 );
805 yy_act = yy_accept[yy_current_state];
807 { /* have to back up */
808 yy_cp = (yy_last_accepting_cpos);
809 yy_current_state = (yy_last_accepting_state);
810 yy_act = yy_accept[yy_current_state];
815 do_action: /* This label is used only to access EOF actions. */
818 { /* beginning of action switch */
819 case 0: /* must back up */
820 /* undo the effects of YY_DO_BEFORE_ACTION */
821 *yy_cp = (yy_hold_char);
822 yy_cp = (yy_last_accepting_cpos);
823 yy_current_state = (yy_last_accepting_state);
836 yylval->tok = tok_new();
837 yylval->tok->type = TOK_STR;
838 len = strlen(__ktrfmttext);
839 __ktrfmttext[len - 1] = '\0'; /* kill trailing quote */
840 yylval->tok->str = newstr(__ktrfmttext + 1);
841 printd(LEX, "TOK_STR\n");
849 yylval->tok = tok_new();
850 yylval->tok->type = TOK_ID;
851 printd(LEX, "tok %p TOK_ID %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
852 yylval->tok->str = strdup(__ktrfmttext); /* XXX: oom */
860 yylval->tok = tok_new();
861 yylval->tok->type = TOK_INT;
862 yylval->tok->str = strdup(__ktrfmttext);
863 printd(LEX, "TOK_INT\n");
872 printd(LEX, "TOK_EQ\n");
881 printd(LEX, "TOK_LEFT_BRACK\n");
882 return TOK_LEFT_BRACK;
890 printd(LEX, "TOK_RIGHT_BRACK\n");
891 return TOK_RIGHT_BRACK;
899 #line 900 "ktrfmt.yy.c"
900 case YY_STATE_EOF(INITIAL):
903 case YY_END_OF_BUFFER:
905 /* Amount of text matched not including the EOB char. */
906 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
908 /* Undo the effects of YY_DO_BEFORE_ACTION. */
909 *yy_cp = (yy_hold_char);
910 YY_RESTORE_YY_MORE_OFFSET
912 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
914 /* We're scanning a new file or input source. It's
915 * possible that this happened because the user
916 * just pointed __ktrfmtin at a new source and called
917 * __ktrfmtlex(). If so, then we have to assure
918 * consistency between YY_CURRENT_BUFFER and our
919 * globals. Here is the right place to do so, because
920 * this is the first action (other than possibly a
921 * back-up) that will match for the new input source.
923 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
924 YY_CURRENT_BUFFER_LVALUE->yy_input_file = __ktrfmtin;
925 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
928 /* Note that here we test for yy_c_buf_p "<=" to the position
929 * of the first EOB in the buffer, since yy_c_buf_p will
930 * already have been incremented past the NUL character
931 * (since all states make transitions on EOB to the
932 * end-of-buffer state). Contrast this with the test
935 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
936 { /* This was really a NUL. */
937 yy_state_type yy_next_state;
939 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
941 yy_current_state = yy_get_previous_state( );
943 /* Okay, we're now positioned to make the NUL
944 * transition. We couldn't have
945 * yy_get_previous_state() go ahead and do it
946 * for us because it doesn't know how to deal
947 * with the possibility of jamming (and we don't
948 * want to build jamming into it because then it
949 * will run more slowly).
952 yy_next_state = yy_try_NUL_trans( yy_current_state );
954 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
958 /* Consume the NUL. */
959 yy_cp = ++(yy_c_buf_p);
960 yy_current_state = yy_next_state;
966 yy_cp = (yy_c_buf_p);
971 else switch ( yy_get_next_buffer( ) )
973 case EOB_ACT_END_OF_FILE:
975 (yy_did_buffer_switch_on_eof) = 0;
977 if ( __ktrfmtwrap( ) )
979 /* Note: because we've taken care in
980 * yy_get_next_buffer() to have set up
981 * __ktrfmttext, we can now set up
982 * yy_c_buf_p so that if some total
983 * hoser (like flex itself) wants to
984 * call the scanner after we return the
985 * YY_NULL, it'll still work - another
986 * YY_NULL will get returned.
988 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
990 yy_act = YY_STATE_EOF(YY_START);
996 if ( ! (yy_did_buffer_switch_on_eof) )
1002 case EOB_ACT_CONTINUE_SCAN:
1004 (yytext_ptr) + yy_amount_of_matched_text;
1006 yy_current_state = yy_get_previous_state( );
1008 yy_cp = (yy_c_buf_p);
1009 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1012 case EOB_ACT_LAST_MATCH:
1014 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1016 yy_current_state = yy_get_previous_state( );
1018 yy_cp = (yy_c_buf_p);
1019 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1020 goto yy_find_action;
1027 "fatal flex scanner internal error--no action found" );
1028 } /* end of action switch */
1029 } /* end of scanning one token */
1030 } /* end of __ktrfmtlex */
1032 /* yy_get_next_buffer - try to read in a new buffer
1034 * Returns a code representing an action:
1035 * EOB_ACT_LAST_MATCH -
1036 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1037 * EOB_ACT_END_OF_FILE - end of file
1039 static int yy_get_next_buffer (void)
1041 register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1042 register char *source = (yytext_ptr);
1043 register int number_to_move, i;
1046 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1048 "fatal flex scanner internal error--end of buffer missed" );
1050 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1051 { /* Don't try to fill the buffer, so this is an EOF. */
1052 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1054 /* We matched a single character, the EOB, so
1055 * treat this as a final EOF.
1057 return EOB_ACT_END_OF_FILE;
1062 /* We matched some text prior to the EOB, first
1065 return EOB_ACT_LAST_MATCH;
1069 /* Try to read more data. */
1071 /* First move last chars to start of buffer. */
1072 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1074 for ( i = 0; i < number_to_move; ++i )
1075 *(dest++) = *(source++);
1077 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1078 /* don't do the read, it's not guaranteed to return an EOF,
1081 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1086 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1088 while ( num_to_read <= 0 )
1089 { /* Not enough room in the buffer - grow it. */
1091 /* just a shorter name for the current buffer */
1092 YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1094 int yy_c_buf_p_offset =
1095 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1097 if ( b->yy_is_our_buffer )
1099 int new_size = b->yy_buf_size * 2;
1101 if ( new_size <= 0 )
1102 b->yy_buf_size += b->yy_buf_size / 8;
1104 b->yy_buf_size *= 2;
1106 b->yy_ch_buf = (char *)
1107 /* Include room in for 2 EOB chars. */
1108 __ktrfmtrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
1111 /* Can't grow it, we don't own it. */
1114 if ( ! b->yy_ch_buf )
1116 "fatal error - scanner input buffer overflow" );
1118 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1120 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1125 if ( num_to_read > YY_READ_BUF_SIZE )
1126 num_to_read = YY_READ_BUF_SIZE;
1128 /* Read in more data. */
1129 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1130 (yy_n_chars), (size_t) num_to_read );
1132 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1135 if ( (yy_n_chars) == 0 )
1137 if ( number_to_move == YY_MORE_ADJ )
1139 ret_val = EOB_ACT_END_OF_FILE;
1140 __ktrfmtrestart(__ktrfmtin );
1145 ret_val = EOB_ACT_LAST_MATCH;
1146 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1147 YY_BUFFER_EOF_PENDING;
1152 ret_val = EOB_ACT_CONTINUE_SCAN;
1154 if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1155 /* Extend the array by 50%, plus the number we really need. */
1156 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1157 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) __ktrfmtrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
1158 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1159 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1162 (yy_n_chars) += number_to_move;
1163 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1164 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1166 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1171 /* yy_get_previous_state - get the state just before the EOB char was reached */
1173 static yy_state_type yy_get_previous_state (void)
1175 register yy_state_type yy_current_state;
1176 register char *yy_cp;
1178 yy_current_state = (yy_start);
1180 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1182 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1183 if ( yy_accept[yy_current_state] )
1185 (yy_last_accepting_state) = yy_current_state;
1186 (yy_last_accepting_cpos) = yy_cp;
1188 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1190 yy_current_state = (int) yy_def[yy_current_state];
1191 if ( yy_current_state >= 20 )
1192 yy_c = yy_meta[(unsigned int) yy_c];
1194 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1197 return yy_current_state;
1200 /* yy_try_NUL_trans - try to make a transition on the NUL character
1203 * next_state = yy_try_NUL_trans( current_state );
1205 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1207 register int yy_is_jam;
1208 register char *yy_cp = (yy_c_buf_p);
1210 register YY_CHAR yy_c = 1;
1211 if ( yy_accept[yy_current_state] )
1213 (yy_last_accepting_state) = yy_current_state;
1214 (yy_last_accepting_cpos) = yy_cp;
1216 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1218 yy_current_state = (int) yy_def[yy_current_state];
1219 if ( yy_current_state >= 20 )
1220 yy_c = yy_meta[(unsigned int) yy_c];
1222 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1223 yy_is_jam = (yy_current_state == 19);
1225 return yy_is_jam ? 0 : yy_current_state;
1230 static int yyinput (void)
1232 static int input (void)
1238 *(yy_c_buf_p) = (yy_hold_char);
1240 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1242 /* yy_c_buf_p now points to the character we want to return.
1243 * If this occurs *before* the EOB characters, then it's a
1244 * valid NUL; if not, then we've hit the end of the buffer.
1246 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1247 /* This was really a NUL. */
1248 *(yy_c_buf_p) = '\0';
1251 { /* need more input */
1252 int offset = (yy_c_buf_p) - (yytext_ptr);
1255 switch ( yy_get_next_buffer( ) )
1257 case EOB_ACT_LAST_MATCH:
1258 /* This happens because yy_g_n_b()
1259 * sees that we've accumulated a
1260 * token and flags that we need to
1261 * try matching the token before
1262 * proceeding. But for input(),
1263 * there's no matching to consider.
1264 * So convert the EOB_ACT_LAST_MATCH
1265 * to EOB_ACT_END_OF_FILE.
1268 /* Reset buffer status. */
1269 __ktrfmtrestart(__ktrfmtin );
1273 case EOB_ACT_END_OF_FILE:
1275 if ( __ktrfmtwrap( ) )
1278 if ( ! (yy_did_buffer_switch_on_eof) )
1287 case EOB_ACT_CONTINUE_SCAN:
1288 (yy_c_buf_p) = (yytext_ptr) + offset;
1294 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1295 *(yy_c_buf_p) = '\0'; /* preserve __ktrfmttext */
1296 (yy_hold_char) = *++(yy_c_buf_p);
1300 #endif /* ifndef YY_NO_INPUT */
1302 /** Immediately switch to a different input stream.
1303 * @param input_file A readable stream.
1305 * @note This function does not reset the start condition to @c INITIAL .
1307 void __ktrfmtrestart (FILE * input_file )
1310 if ( ! YY_CURRENT_BUFFER ){
1311 __ktrfmtensure_buffer_stack ();
1312 YY_CURRENT_BUFFER_LVALUE =
1313 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
1316 __ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
1317 __ktrfmt_load_buffer_state( );
1320 /** Switch to a different input buffer.
1321 * @param new_buffer The new input buffer.
1324 void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer )
1327 /* TODO. We should be able to replace this entire function body
1329 * __ktrfmtpop_buffer_state();
1330 * __ktrfmtpush_buffer_state(new_buffer);
1332 __ktrfmtensure_buffer_stack ();
1333 if ( YY_CURRENT_BUFFER == new_buffer )
1336 if ( YY_CURRENT_BUFFER )
1338 /* Flush out information for old buffer. */
1339 *(yy_c_buf_p) = (yy_hold_char);
1340 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1341 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1344 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1345 __ktrfmt_load_buffer_state( );
1347 /* We don't actually know whether we did this switch during
1348 * EOF (__ktrfmtwrap()) processing, but the only time this flag
1349 * is looked at is after __ktrfmtwrap() is called, so it's safe
1350 * to go ahead and always set it.
1352 (yy_did_buffer_switch_on_eof) = 1;
1355 static void __ktrfmt_load_buffer_state (void)
1357 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1358 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1359 __ktrfmtin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1360 (yy_hold_char) = *(yy_c_buf_p);
1363 /** Allocate and initialize an input buffer state.
1364 * @param file A readable stream.
1365 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1367 * @return the allocated buffer state.
1369 YY_BUFFER_STATE __ktrfmt_create_buffer (FILE * file, int size )
1373 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1375 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1377 b->yy_buf_size = size;
1379 /* yy_ch_buf has to be 2 characters longer than the size given because
1380 * we need to put in 2 end-of-buffer characters.
1382 b->yy_ch_buf = (char *) __ktrfmtalloc(b->yy_buf_size + 2 );
1383 if ( ! b->yy_ch_buf )
1384 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1386 b->yy_is_our_buffer = 1;
1388 __ktrfmt_init_buffer(b,file );
1393 /** Destroy the buffer.
1394 * @param b a buffer created with __ktrfmt_create_buffer()
1397 void __ktrfmt_delete_buffer (YY_BUFFER_STATE b )
1403 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1404 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1406 if ( b->yy_is_our_buffer )
1407 __ktrfmtfree((void *) b->yy_ch_buf );
1409 __ktrfmtfree((void *) b );
1413 extern int isatty (int );
1414 #endif /* __cplusplus */
1416 /* Initializes or reinitializes a buffer.
1417 * This function is sometimes called more than once on the same buffer,
1418 * such as during a __ktrfmtrestart() or at EOF.
1420 static void __ktrfmt_init_buffer (YY_BUFFER_STATE b, FILE * file )
1425 __ktrfmt_flush_buffer(b );
1427 b->yy_input_file = file;
1428 b->yy_fill_buffer = 1;
1430 /* If b is the current buffer, then __ktrfmt_init_buffer was _probably_
1431 * called from __ktrfmtrestart() or through yy_get_next_buffer.
1432 * In that case, we don't want to reset the lineno or column.
1434 if (b != YY_CURRENT_BUFFER){
1435 b->yy_bs_lineno = 1;
1436 b->yy_bs_column = 0;
1439 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1444 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1445 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1448 void __ktrfmt_flush_buffer (YY_BUFFER_STATE b )
1455 /* We always need two end-of-buffer characters. The first causes
1456 * a transition to the end-of-buffer state. The second causes
1457 * a jam in that state.
1459 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1460 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1462 b->yy_buf_pos = &b->yy_ch_buf[0];
1465 b->yy_buffer_status = YY_BUFFER_NEW;
1467 if ( b == YY_CURRENT_BUFFER )
1468 __ktrfmt_load_buffer_state( );
1471 /** Pushes the new state onto the stack. The new state becomes
1472 * the current state. This function will allocate the stack
1474 * @param new_buffer The new state.
1477 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer )
1479 if (new_buffer == NULL)
1482 __ktrfmtensure_buffer_stack();
1484 /* This block is copied from __ktrfmt_switch_to_buffer. */
1485 if ( YY_CURRENT_BUFFER )
1487 /* Flush out information for old buffer. */
1488 *(yy_c_buf_p) = (yy_hold_char);
1489 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1490 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1493 /* Only push if top exists. Otherwise, replace top. */
1494 if (YY_CURRENT_BUFFER)
1495 (yy_buffer_stack_top)++;
1496 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1498 /* copied from __ktrfmt_switch_to_buffer. */
1499 __ktrfmt_load_buffer_state( );
1500 (yy_did_buffer_switch_on_eof) = 1;
1503 /** Removes and deletes the top of the stack, if present.
1504 * The next element becomes the new top.
1507 void __ktrfmtpop_buffer_state (void)
1509 if (!YY_CURRENT_BUFFER)
1512 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1513 YY_CURRENT_BUFFER_LVALUE = NULL;
1514 if ((yy_buffer_stack_top) > 0)
1515 --(yy_buffer_stack_top);
1517 if (YY_CURRENT_BUFFER) {
1518 __ktrfmt_load_buffer_state( );
1519 (yy_did_buffer_switch_on_eof) = 1;
1523 /* Allocates the stack if it does not exist.
1524 * Guarantees space for at least one push.
1526 static void __ktrfmtensure_buffer_stack (void)
1530 if (!(yy_buffer_stack)) {
1532 /* First allocation is just for 2 elements, since we don't know if this
1533 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1534 * immediate realloc on the next call.
1537 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtalloc
1538 (num_to_alloc * sizeof(struct yy_buffer_state*)
1540 if ( ! (yy_buffer_stack) )
1541 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1543 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1545 (yy_buffer_stack_max) = num_to_alloc;
1546 (yy_buffer_stack_top) = 0;
1550 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1552 /* Increase the buffer to prepare for a possible push. */
1553 int grow_size = 8 /* arbitrary grow size */;
1555 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1556 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtrealloc
1558 num_to_alloc * sizeof(struct yy_buffer_state*)
1560 if ( ! (yy_buffer_stack) )
1561 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1563 /* zero only the new slots.*/
1564 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1565 (yy_buffer_stack_max) = num_to_alloc;
1569 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1570 * @param base the character buffer
1571 * @param size the size in bytes of the character buffer
1573 * @return the newly allocated buffer state object.
1575 YY_BUFFER_STATE __ktrfmt_scan_buffer (char * base, yy_size_t size )
1580 base[size-2] != YY_END_OF_BUFFER_CHAR ||
1581 base[size-1] != YY_END_OF_BUFFER_CHAR )
1582 /* They forgot to leave room for the EOB's. */
1585 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1587 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_buffer()" );
1589 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1590 b->yy_buf_pos = b->yy_ch_buf = base;
1591 b->yy_is_our_buffer = 0;
1592 b->yy_input_file = 0;
1593 b->yy_n_chars = b->yy_buf_size;
1594 b->yy_is_interactive = 0;
1596 b->yy_fill_buffer = 0;
1597 b->yy_buffer_status = YY_BUFFER_NEW;
1599 __ktrfmt_switch_to_buffer(b );
1604 /** Setup the input buffer state to scan a string. The next call to __ktrfmtlex() will
1605 * scan from a @e copy of @a str.
1606 * @param yystr a NUL-terminated string to scan
1608 * @return the newly allocated buffer state object.
1609 * @note If you want to scan bytes that may contain NUL values, then use
1610 * __ktrfmt_scan_bytes() instead.
1612 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char * yystr )
1615 return __ktrfmt_scan_bytes(yystr,strlen(yystr) );
1618 /** Setup the input buffer state to scan the given bytes. The next call to __ktrfmtlex() will
1619 * scan from a @e copy of @a bytes.
1620 * @param yybytes the byte buffer to scan
1621 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1623 * @return the newly allocated buffer state object.
1625 YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char * yybytes, int _yybytes_len )
1632 /* Get memory for full buffer, including space for trailing EOB's. */
1633 n = _yybytes_len + 2;
1634 buf = (char *) __ktrfmtalloc(n );
1636 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_bytes()" );
1638 for ( i = 0; i < _yybytes_len; ++i )
1639 buf[i] = yybytes[i];
1641 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1643 b = __ktrfmt_scan_buffer(buf,n );
1645 YY_FATAL_ERROR( "bad buffer in __ktrfmt_scan_bytes()" );
1647 /* It's okay to grow etc. this buffer, and we should throw it
1648 * away when we're done.
1650 b->yy_is_our_buffer = 1;
1655 #ifndef YY_EXIT_FAILURE
1656 #define YY_EXIT_FAILURE 2
1659 static void yy_fatal_error (yyconst char* msg )
1661 (void) fprintf( stderr, "%s\n", msg );
1662 exit( YY_EXIT_FAILURE );
1665 /* Redefine yyless() so it works in section 3 code. */
1671 /* Undo effects of setting up __ktrfmttext. */ \
1672 int yyless_macro_arg = (n); \
1673 YY_LESS_LINENO(yyless_macro_arg);\
1674 __ktrfmttext[__ktrfmtleng] = (yy_hold_char); \
1675 (yy_c_buf_p) = __ktrfmttext + yyless_macro_arg; \
1676 (yy_hold_char) = *(yy_c_buf_p); \
1677 *(yy_c_buf_p) = '\0'; \
1678 __ktrfmtleng = yyless_macro_arg; \
1682 /* Accessor methods (get/set functions) to struct members. */
1684 /** Get the current line number.
1687 int __ktrfmtget_lineno (void)
1690 return __ktrfmtlineno;
1693 /** Get the input stream.
1696 FILE *__ktrfmtget_in (void)
1701 /** Get the output stream.
1704 FILE *__ktrfmtget_out (void)
1709 /** Get the length of the current token.
1712 int __ktrfmtget_leng (void)
1714 return __ktrfmtleng;
1717 /** Get the current token.
1721 char *__ktrfmtget_text (void)
1723 return __ktrfmttext;
1726 /** Set the current line number.
1727 * @param line_number
1730 void __ktrfmtset_lineno (int line_number )
1733 __ktrfmtlineno = line_number;
1736 /** Set the input stream. This does not discard the current
1738 * @param in_str A readable stream.
1740 * @see __ktrfmt_switch_to_buffer
1742 void __ktrfmtset_in (FILE * in_str )
1744 __ktrfmtin = in_str ;
1747 void __ktrfmtset_out (FILE * out_str )
1749 __ktrfmtout = out_str ;
1752 int __ktrfmtget_debug (void)
1754 return __ktrfmt_flex_debug;
1757 void __ktrfmtset_debug (int bdebug )
1759 __ktrfmt_flex_debug = bdebug ;
1762 static int yy_init_globals (void)
1764 /* Initialization is the same as for the non-reentrant scanner.
1765 * This function is called from __ktrfmtlex_destroy(), so don't allocate here.
1768 (yy_buffer_stack) = 0;
1769 (yy_buffer_stack_top) = 0;
1770 (yy_buffer_stack_max) = 0;
1771 (yy_c_buf_p) = (char *) 0;
1775 /* Defined in main.c */
1778 __ktrfmtout = stdout;
1780 __ktrfmtin = (FILE *) 0;
1781 __ktrfmtout = (FILE *) 0;
1784 /* For future reference: Set errno on error, since we are called by
1785 * __ktrfmtlex_init()
1790 /* __ktrfmtlex_destroy is for both reentrant and non-reentrant scanners. */
1791 int __ktrfmtlex_destroy (void)
1794 /* Pop the buffer stack, destroying each element. */
1795 while(YY_CURRENT_BUFFER){
1796 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1797 YY_CURRENT_BUFFER_LVALUE = NULL;
1798 __ktrfmtpop_buffer_state();
1801 /* Destroy the stack itself. */
1802 __ktrfmtfree((yy_buffer_stack) );
1803 (yy_buffer_stack) = NULL;
1805 /* Reset the globals. This is important in a non-reentrant scanner so the next time
1806 * __ktrfmtlex() is called, initialization will occur. */
1813 * Internal utility routines.
1817 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1820 for ( i = 0; i < n; ++i )
1825 #ifdef YY_NEED_STRLEN
1826 static int yy_flex_strlen (yyconst char * s )
1829 for ( n = 0; s[n]; ++n )
1836 void *__ktrfmtalloc (yy_size_t size )
1838 return (void *) malloc( size );
1841 void *__ktrfmtrealloc (void * ptr, yy_size_t size )
1843 /* The cast to (char *) in the following accommodates both
1844 * implementations that use char* generic pointers, and those
1845 * that use void* generic pointers. It works with the latter
1846 * because both ANSI C and C++ allow castless assignment from
1847 * any pointer type to void*, and deal with argument conversions
1848 * as though doing an assignment.
1850 return (void *) realloc( (char *) ptr, size );
1853 void __ktrfmtfree (void * ptr )
1855 free( (char *) ptr ); /* see __ktrfmtrealloc() for (char *) cast */
1858 #define YYTABLES_NAME "yytables"
1860 #line 109 "ktrfmt.l"