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 10
395 #define YY_END_OF_BUFFER 11
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[24] =
405 0, 0, 11, 10, 1, 10, 3, 7, 4, 4,
406 6, 8, 9, 1, 0, 0, 3, 4, 0, 2,
410 static yyconst flex_int32_t yy_ec[256] =
412 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
413 1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
414 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
415 1, 2, 1, 4, 1, 5, 1, 1, 1, 1,
416 1, 1, 1, 1, 1, 6, 1, 7, 8, 8,
417 8, 8, 8, 8, 8, 8, 8, 1, 1, 1,
418 9, 1, 1, 1, 10, 10, 10, 10, 10, 10,
419 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
420 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
421 12, 13, 14, 1, 11, 1, 10, 10, 10, 10,
423 10, 10, 11, 11, 11, 11, 11, 11, 11, 11,
424 11, 11, 11, 11, 11, 11, 11, 11, 11, 15,
425 11, 11, 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,
432 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,
438 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
442 static yyconst flex_int32_t yy_meta[16] =
444 1, 1, 2, 2, 1, 1, 3, 3, 1, 4,
448 static yyconst flex_int16_t yy_base[28] =
450 0, 0, 29, 48, 24, 12, 0, 48, 9, 9,
451 48, 48, 48, 21, 14, 15, 0, 13, 0, 48,
452 18, 0, 48, 31, 35, 39, 43
455 static yyconst flex_int16_t yy_def[28] =
457 23, 1, 23, 23, 23, 24, 25, 23, 26, 23,
458 23, 23, 23, 23, 24, 24, 25, 23, 27, 23,
459 24, 27, 0, 23, 23, 23, 23
462 static yyconst flex_int16_t yy_nxt[64] =
464 4, 5, 4, 6, 7, 8, 9, 10, 11, 7,
465 7, 12, 4, 13, 7, 18, 18, 20, 21, 18,
466 18, 20, 14, 19, 16, 14, 16, 16, 23, 23,
467 16, 15, 23, 15, 15, 15, 15, 17, 17, 17,
468 17, 18, 23, 23, 18, 22, 22, 3, 23, 23,
469 23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
473 static yyconst flex_int16_t yy_chk[64] =
475 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
476 1, 1, 1, 1, 1, 10, 10, 15, 16, 18,
477 18, 21, 14, 9, 6, 5, 15, 16, 3, 0,
478 21, 24, 0, 24, 24, 24, 24, 25, 25, 25,
479 25, 26, 0, 0, 26, 27, 27, 23, 23, 23,
480 23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
484 static yy_state_type yy_last_accepting_state;
485 static char *yy_last_accepting_cpos;
487 extern int __ktrfmt_flex_debug;
488 int __ktrfmt_flex_debug = 0;
490 /* The intent behind this definition is that it'll catch
491 * any uses of REJECT which flex missed.
493 #define REJECT reject_used_but_not_detected
494 #define yymore() yymore_used_but_not_detected
495 #define YY_MORE_ADJ 0
496 #define YY_RESTORE_YY_MORE_OFFSET
502 //#define YYSTYPE struct token
503 #include "ktrfmt.tab.h"
505 #include "internal.h"
511 /* XXX: need to switch to reentrant lexer */
512 static struct token tokens[NR_TOKENS];
514 static struct symtab *strtab;
520 if (curr_tok == NR_TOKENS) {
522 fprintf(stderr, "Reached max number of tokens\n");
525 return &tokens[curr_tok];
529 tok_free(struct token *tok)
531 assert(&tokens[curr_tok] == tok);
536 * We keep track of strings we've seen before so string comparison
537 * can be done w/ a simple pointer comparison
541 newstr(const char *s)
545 strtab = symtab_new();
546 if ((r = symtab_find(strtab, s)))
548 if (!(r = strdup(s)))
550 symtab_insert(strtab, r, r);
554 #line 555 "ktrfmt.yy.c"
558 #ifndef YY_NO_UNISTD_H
559 /* Special case for "unistd.h", since it is non-ANSI. We include it way
560 * down here because we want the user's section 1 to have been scanned first.
561 * The user has a chance to override it with an option.
566 #ifndef YY_EXTRA_TYPE
567 #define YY_EXTRA_TYPE void *
570 static int yy_init_globals (void );
572 /* Accessor methods to globals.
573 These are made visible to non-reentrant scanners for convenience. */
575 int __ktrfmtlex_destroy (void );
577 int __ktrfmtget_debug (void );
579 void __ktrfmtset_debug (int debug_flag );
581 YY_EXTRA_TYPE __ktrfmtget_extra (void );
583 void __ktrfmtset_extra (YY_EXTRA_TYPE user_defined );
585 FILE *__ktrfmtget_in (void );
587 void __ktrfmtset_in (FILE * in_str );
589 FILE *__ktrfmtget_out (void );
591 void __ktrfmtset_out (FILE * out_str );
593 int __ktrfmtget_leng (void );
595 char *__ktrfmtget_text (void );
597 int __ktrfmtget_lineno (void );
599 void __ktrfmtset_lineno (int line_number );
601 YYSTYPE * __ktrfmtget_lval (void );
603 void __ktrfmtset_lval (YYSTYPE * yylval_param );
605 /* Macros after this point can all be overridden by user definitions in
609 #ifndef YY_SKIP_YYWRAP
611 extern "C" int __ktrfmtwrap (void );
613 extern int __ktrfmtwrap (void );
618 static void yy_flex_strncpy (char *,yyconst char *,int );
621 #ifdef YY_NEED_STRLEN
622 static int yy_flex_strlen (yyconst char * );
628 static int yyinput (void );
630 static int input (void );
635 /* Amount of stuff to slurp up with each read. */
636 #ifndef YY_READ_BUF_SIZE
638 /* On IA-64, the buffer size is 16k, not 8k */
639 #define YY_READ_BUF_SIZE 16384
641 #define YY_READ_BUF_SIZE 8192
642 #endif /* __ia64__ */
645 /* Copy whatever the last rule matched to the standard output. */
647 /* This used to be an fputs(), but since the string might contain NUL's,
648 * we now use fwrite().
650 #define ECHO do { if (fwrite( __ktrfmttext, __ktrfmtleng, 1, __ktrfmtout )) {} } while (0)
653 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
654 * is returned in "result".
657 #define YY_INPUT(buf,result,max_size) \
658 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
662 for ( n = 0; n < max_size && \
663 (c = getc( __ktrfmtin )) != EOF && c != '\n'; ++n ) \
666 buf[n++] = (char) c; \
667 if ( c == EOF && ferror( __ktrfmtin ) ) \
668 YY_FATAL_ERROR( "input in flex scanner failed" ); \
674 while ( (result = fread(buf, 1, max_size, __ktrfmtin))==0 && ferror(__ktrfmtin)) \
676 if( errno != EINTR) \
678 YY_FATAL_ERROR( "input in flex scanner failed" ); \
682 clearerr(__ktrfmtin); \
689 /* No semi-colon after return; correct usage is to write "yyterminate();" -
690 * we don't want an extra ';' after the "return" because that will cause
691 * some compilers to complain about unreachable statements.
694 #define yyterminate() return YY_NULL
697 /* Number of entries by which start-condition stack grows. */
698 #ifndef YY_START_STACK_INCR
699 #define YY_START_STACK_INCR 25
702 /* Report a fatal error. */
703 #ifndef YY_FATAL_ERROR
704 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
707 /* end tables serialization structures and prototypes */
709 /* Default declaration of generated scanner - a define so the user can
710 * easily add parameters.
713 #define YY_DECL_IS_OURS 1
715 extern int __ktrfmtlex \
716 (YYSTYPE * yylval_param );
718 #define YY_DECL int __ktrfmtlex \
719 (YYSTYPE * yylval_param )
720 #endif /* !YY_DECL */
722 /* Code executed at the beginning of each rule, after __ktrfmttext and __ktrfmtleng
725 #ifndef YY_USER_ACTION
726 #define YY_USER_ACTION
729 /* Code executed at the end of each rule. */
731 #define YY_BREAK break;
734 #define YY_RULE_SETUP \
737 /** The main scanner function which does all the work.
741 register yy_state_type yy_current_state;
742 register char *yy_cp, *yy_bp;
749 #line 750 "ktrfmt.yy.c"
751 yylval = yylval_param;
762 (yy_start) = 1; /* first start state */
768 __ktrfmtout = stdout;
770 if ( ! YY_CURRENT_BUFFER ) {
771 __ktrfmtensure_buffer_stack ();
772 YY_CURRENT_BUFFER_LVALUE =
773 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
776 __ktrfmt_load_buffer_state( );
779 while ( 1 ) /* loops until end-of-file is reached */
781 yy_cp = (yy_c_buf_p);
783 /* Support of __ktrfmttext. */
784 *yy_cp = (yy_hold_char);
786 /* yy_bp points to the position in yy_ch_buf of the start of
791 yy_current_state = (yy_start);
795 register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
796 if ( yy_accept[yy_current_state] )
798 (yy_last_accepting_state) = yy_current_state;
799 (yy_last_accepting_cpos) = yy_cp;
801 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
803 yy_current_state = (int) yy_def[yy_current_state];
804 if ( yy_current_state >= 24 )
805 yy_c = yy_meta[(unsigned int) yy_c];
807 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
810 while ( yy_base[yy_current_state] != 48 );
813 yy_act = yy_accept[yy_current_state];
815 { /* have to back up */
816 yy_cp = (yy_last_accepting_cpos);
817 yy_current_state = (yy_last_accepting_state);
818 yy_act = yy_accept[yy_current_state];
823 do_action: /* This label is used only to access EOF actions. */
826 { /* beginning of action switch */
827 case 0: /* must back up */
828 /* undo the effects of YY_DO_BEFORE_ACTION */
829 *yy_cp = (yy_hold_char);
830 yy_cp = (yy_last_accepting_cpos);
831 yy_current_state = (yy_last_accepting_state);
844 yylval->tok = tok_new();
845 yylval->tok->type = TOK_STR;
846 len = strlen(__ktrfmttext);
847 assert(__ktrfmttext[len - 1] == '"');
848 __ktrfmttext[len - 1] = '\0'; /* kill trailing quote */
849 printd(LEX, "newstr(\"%s\")\n", __ktrfmttext + 1);
850 yylval->tok->str = newstr(__ktrfmttext + 1); /* parser detects oom */
851 __ktrfmttext[len - 1] = '"'; /* restore quote */
852 printd(LEX, "TOK_STR: \"%s\"\n", yylval->tok->str);
860 yylval->tok = tok_new();
861 yylval->tok->type = TOK_ID;
862 printd(LEX, "tok %p TOK_ID %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
863 yylval->tok->str = newstr(__ktrfmttext); /* parser detects oom */
871 yylval->tok = tok_new();
872 yylval->tok->type = TOK_INT;
873 yylval->tok->str = strdup(__ktrfmttext); /* parser detects oom */
874 printd(LEX, "TOK_INT\n");
882 yylval->tok = tok_new();
883 yylval->tok->type = TOK_INT;
884 yylval->tok->str = strdup(__ktrfmttext); /* parser detects oom */
885 printd(LEX, "TOK_INT\n");
894 printd(LEX, "TOK_EQ\n");
903 printd(LEX, "TOK_DOT\n");
912 printd(LEX, "TOK_LEFT_BRACK\n");
913 return TOK_LEFT_BRACK;
921 printd(LEX, "TOK_RIGHT_BRACK\n");
922 return TOK_RIGHT_BRACK;
930 #line 931 "ktrfmt.yy.c"
931 case YY_STATE_EOF(INITIAL):
934 case YY_END_OF_BUFFER:
936 /* Amount of text matched not including the EOB char. */
937 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
939 /* Undo the effects of YY_DO_BEFORE_ACTION. */
940 *yy_cp = (yy_hold_char);
941 YY_RESTORE_YY_MORE_OFFSET
943 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
945 /* We're scanning a new file or input source. It's
946 * possible that this happened because the user
947 * just pointed __ktrfmtin at a new source and called
948 * __ktrfmtlex(). If so, then we have to assure
949 * consistency between YY_CURRENT_BUFFER and our
950 * globals. Here is the right place to do so, because
951 * this is the first action (other than possibly a
952 * back-up) that will match for the new input source.
954 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
955 YY_CURRENT_BUFFER_LVALUE->yy_input_file = __ktrfmtin;
956 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
959 /* Note that here we test for yy_c_buf_p "<=" to the position
960 * of the first EOB in the buffer, since yy_c_buf_p will
961 * already have been incremented past the NUL character
962 * (since all states make transitions on EOB to the
963 * end-of-buffer state). Contrast this with the test
966 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
967 { /* This was really a NUL. */
968 yy_state_type yy_next_state;
970 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
972 yy_current_state = yy_get_previous_state( );
974 /* Okay, we're now positioned to make the NUL
975 * transition. We couldn't have
976 * yy_get_previous_state() go ahead and do it
977 * for us because it doesn't know how to deal
978 * with the possibility of jamming (and we don't
979 * want to build jamming into it because then it
980 * will run more slowly).
983 yy_next_state = yy_try_NUL_trans( yy_current_state );
985 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
989 /* Consume the NUL. */
990 yy_cp = ++(yy_c_buf_p);
991 yy_current_state = yy_next_state;
997 yy_cp = (yy_c_buf_p);
1002 else switch ( yy_get_next_buffer( ) )
1004 case EOB_ACT_END_OF_FILE:
1006 (yy_did_buffer_switch_on_eof) = 0;
1008 if ( __ktrfmtwrap( ) )
1010 /* Note: because we've taken care in
1011 * yy_get_next_buffer() to have set up
1012 * __ktrfmttext, we can now set up
1013 * yy_c_buf_p so that if some total
1014 * hoser (like flex itself) wants to
1015 * call the scanner after we return the
1016 * YY_NULL, it'll still work - another
1017 * YY_NULL will get returned.
1019 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1021 yy_act = YY_STATE_EOF(YY_START);
1027 if ( ! (yy_did_buffer_switch_on_eof) )
1033 case EOB_ACT_CONTINUE_SCAN:
1035 (yytext_ptr) + yy_amount_of_matched_text;
1037 yy_current_state = yy_get_previous_state( );
1039 yy_cp = (yy_c_buf_p);
1040 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1043 case EOB_ACT_LAST_MATCH:
1045 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1047 yy_current_state = yy_get_previous_state( );
1049 yy_cp = (yy_c_buf_p);
1050 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1051 goto yy_find_action;
1058 "fatal flex scanner internal error--no action found" );
1059 } /* end of action switch */
1060 } /* end of scanning one token */
1061 } /* end of __ktrfmtlex */
1063 /* yy_get_next_buffer - try to read in a new buffer
1065 * Returns a code representing an action:
1066 * EOB_ACT_LAST_MATCH -
1067 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1068 * EOB_ACT_END_OF_FILE - end of file
1070 static int yy_get_next_buffer (void)
1072 register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1073 register char *source = (yytext_ptr);
1074 register int number_to_move, i;
1077 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1079 "fatal flex scanner internal error--end of buffer missed" );
1081 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1082 { /* Don't try to fill the buffer, so this is an EOF. */
1083 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1085 /* We matched a single character, the EOB, so
1086 * treat this as a final EOF.
1088 return EOB_ACT_END_OF_FILE;
1093 /* We matched some text prior to the EOB, first
1096 return EOB_ACT_LAST_MATCH;
1100 /* Try to read more data. */
1102 /* First move last chars to start of buffer. */
1103 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1105 for ( i = 0; i < number_to_move; ++i )
1106 *(dest++) = *(source++);
1108 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1109 /* don't do the read, it's not guaranteed to return an EOF,
1112 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1117 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1119 while ( num_to_read <= 0 )
1120 { /* Not enough room in the buffer - grow it. */
1122 /* just a shorter name for the current buffer */
1123 YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1125 int yy_c_buf_p_offset =
1126 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1128 if ( b->yy_is_our_buffer )
1130 int new_size = b->yy_buf_size * 2;
1132 if ( new_size <= 0 )
1133 b->yy_buf_size += b->yy_buf_size / 8;
1135 b->yy_buf_size *= 2;
1137 b->yy_ch_buf = (char *)
1138 /* Include room in for 2 EOB chars. */
1139 __ktrfmtrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
1142 /* Can't grow it, we don't own it. */
1145 if ( ! b->yy_ch_buf )
1147 "fatal error - scanner input buffer overflow" );
1149 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1151 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1156 if ( num_to_read > YY_READ_BUF_SIZE )
1157 num_to_read = YY_READ_BUF_SIZE;
1159 /* Read in more data. */
1160 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1161 (yy_n_chars), (size_t) num_to_read );
1163 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1166 if ( (yy_n_chars) == 0 )
1168 if ( number_to_move == YY_MORE_ADJ )
1170 ret_val = EOB_ACT_END_OF_FILE;
1171 __ktrfmtrestart(__ktrfmtin );
1176 ret_val = EOB_ACT_LAST_MATCH;
1177 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1178 YY_BUFFER_EOF_PENDING;
1183 ret_val = EOB_ACT_CONTINUE_SCAN;
1185 if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1186 /* Extend the array by 50%, plus the number we really need. */
1187 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1188 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) __ktrfmtrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
1189 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1190 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1193 (yy_n_chars) += number_to_move;
1194 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1195 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1197 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1202 /* yy_get_previous_state - get the state just before the EOB char was reached */
1204 static yy_state_type yy_get_previous_state (void)
1206 register yy_state_type yy_current_state;
1207 register char *yy_cp;
1209 yy_current_state = (yy_start);
1211 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1213 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1214 if ( yy_accept[yy_current_state] )
1216 (yy_last_accepting_state) = yy_current_state;
1217 (yy_last_accepting_cpos) = yy_cp;
1219 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1221 yy_current_state = (int) yy_def[yy_current_state];
1222 if ( yy_current_state >= 24 )
1223 yy_c = yy_meta[(unsigned int) yy_c];
1225 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1228 return yy_current_state;
1231 /* yy_try_NUL_trans - try to make a transition on the NUL character
1234 * next_state = yy_try_NUL_trans( current_state );
1236 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1238 register int yy_is_jam;
1239 register char *yy_cp = (yy_c_buf_p);
1241 register YY_CHAR yy_c = 1;
1242 if ( yy_accept[yy_current_state] )
1244 (yy_last_accepting_state) = yy_current_state;
1245 (yy_last_accepting_cpos) = yy_cp;
1247 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1249 yy_current_state = (int) yy_def[yy_current_state];
1250 if ( yy_current_state >= 24 )
1251 yy_c = yy_meta[(unsigned int) yy_c];
1253 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1254 yy_is_jam = (yy_current_state == 23);
1256 return yy_is_jam ? 0 : yy_current_state;
1261 static int yyinput (void)
1263 static int input (void)
1269 *(yy_c_buf_p) = (yy_hold_char);
1271 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1273 /* yy_c_buf_p now points to the character we want to return.
1274 * If this occurs *before* the EOB characters, then it's a
1275 * valid NUL; if not, then we've hit the end of the buffer.
1277 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1278 /* This was really a NUL. */
1279 *(yy_c_buf_p) = '\0';
1282 { /* need more input */
1283 int offset = (yy_c_buf_p) - (yytext_ptr);
1286 switch ( yy_get_next_buffer( ) )
1288 case EOB_ACT_LAST_MATCH:
1289 /* This happens because yy_g_n_b()
1290 * sees that we've accumulated a
1291 * token and flags that we need to
1292 * try matching the token before
1293 * proceeding. But for input(),
1294 * there's no matching to consider.
1295 * So convert the EOB_ACT_LAST_MATCH
1296 * to EOB_ACT_END_OF_FILE.
1299 /* Reset buffer status. */
1300 __ktrfmtrestart(__ktrfmtin );
1304 case EOB_ACT_END_OF_FILE:
1306 if ( __ktrfmtwrap( ) )
1309 if ( ! (yy_did_buffer_switch_on_eof) )
1318 case EOB_ACT_CONTINUE_SCAN:
1319 (yy_c_buf_p) = (yytext_ptr) + offset;
1325 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1326 *(yy_c_buf_p) = '\0'; /* preserve __ktrfmttext */
1327 (yy_hold_char) = *++(yy_c_buf_p);
1331 #endif /* ifndef YY_NO_INPUT */
1333 /** Immediately switch to a different input stream.
1334 * @param input_file A readable stream.
1336 * @note This function does not reset the start condition to @c INITIAL .
1338 void __ktrfmtrestart (FILE * input_file )
1341 if ( ! YY_CURRENT_BUFFER ){
1342 __ktrfmtensure_buffer_stack ();
1343 YY_CURRENT_BUFFER_LVALUE =
1344 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
1347 __ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
1348 __ktrfmt_load_buffer_state( );
1351 /** Switch to a different input buffer.
1352 * @param new_buffer The new input buffer.
1355 void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer )
1358 /* TODO. We should be able to replace this entire function body
1360 * __ktrfmtpop_buffer_state();
1361 * __ktrfmtpush_buffer_state(new_buffer);
1363 __ktrfmtensure_buffer_stack ();
1364 if ( YY_CURRENT_BUFFER == new_buffer )
1367 if ( YY_CURRENT_BUFFER )
1369 /* Flush out information for old buffer. */
1370 *(yy_c_buf_p) = (yy_hold_char);
1371 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1372 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1375 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1376 __ktrfmt_load_buffer_state( );
1378 /* We don't actually know whether we did this switch during
1379 * EOF (__ktrfmtwrap()) processing, but the only time this flag
1380 * is looked at is after __ktrfmtwrap() is called, so it's safe
1381 * to go ahead and always set it.
1383 (yy_did_buffer_switch_on_eof) = 1;
1386 static void __ktrfmt_load_buffer_state (void)
1388 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1389 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1390 __ktrfmtin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1391 (yy_hold_char) = *(yy_c_buf_p);
1394 /** Allocate and initialize an input buffer state.
1395 * @param file A readable stream.
1396 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1398 * @return the allocated buffer state.
1400 YY_BUFFER_STATE __ktrfmt_create_buffer (FILE * file, int size )
1404 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1406 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1408 b->yy_buf_size = size;
1410 /* yy_ch_buf has to be 2 characters longer than the size given because
1411 * we need to put in 2 end-of-buffer characters.
1413 b->yy_ch_buf = (char *) __ktrfmtalloc(b->yy_buf_size + 2 );
1414 if ( ! b->yy_ch_buf )
1415 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1417 b->yy_is_our_buffer = 1;
1419 __ktrfmt_init_buffer(b,file );
1424 /** Destroy the buffer.
1425 * @param b a buffer created with __ktrfmt_create_buffer()
1428 void __ktrfmt_delete_buffer (YY_BUFFER_STATE b )
1434 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1435 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1437 if ( b->yy_is_our_buffer )
1438 __ktrfmtfree((void *) b->yy_ch_buf );
1440 __ktrfmtfree((void *) b );
1444 extern int isatty (int );
1445 #endif /* __cplusplus */
1447 /* Initializes or reinitializes a buffer.
1448 * This function is sometimes called more than once on the same buffer,
1449 * such as during a __ktrfmtrestart() or at EOF.
1451 static void __ktrfmt_init_buffer (YY_BUFFER_STATE b, FILE * file )
1456 __ktrfmt_flush_buffer(b );
1458 b->yy_input_file = file;
1459 b->yy_fill_buffer = 1;
1461 /* If b is the current buffer, then __ktrfmt_init_buffer was _probably_
1462 * called from __ktrfmtrestart() or through yy_get_next_buffer.
1463 * In that case, we don't want to reset the lineno or column.
1465 if (b != YY_CURRENT_BUFFER){
1466 b->yy_bs_lineno = 1;
1467 b->yy_bs_column = 0;
1470 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1475 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1476 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1479 void __ktrfmt_flush_buffer (YY_BUFFER_STATE b )
1486 /* We always need two end-of-buffer characters. The first causes
1487 * a transition to the end-of-buffer state. The second causes
1488 * a jam in that state.
1490 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1491 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1493 b->yy_buf_pos = &b->yy_ch_buf[0];
1496 b->yy_buffer_status = YY_BUFFER_NEW;
1498 if ( b == YY_CURRENT_BUFFER )
1499 __ktrfmt_load_buffer_state( );
1502 /** Pushes the new state onto the stack. The new state becomes
1503 * the current state. This function will allocate the stack
1505 * @param new_buffer The new state.
1508 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer )
1510 if (new_buffer == NULL)
1513 __ktrfmtensure_buffer_stack();
1515 /* This block is copied from __ktrfmt_switch_to_buffer. */
1516 if ( YY_CURRENT_BUFFER )
1518 /* Flush out information for old buffer. */
1519 *(yy_c_buf_p) = (yy_hold_char);
1520 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1521 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1524 /* Only push if top exists. Otherwise, replace top. */
1525 if (YY_CURRENT_BUFFER)
1526 (yy_buffer_stack_top)++;
1527 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1529 /* copied from __ktrfmt_switch_to_buffer. */
1530 __ktrfmt_load_buffer_state( );
1531 (yy_did_buffer_switch_on_eof) = 1;
1534 /** Removes and deletes the top of the stack, if present.
1535 * The next element becomes the new top.
1538 void __ktrfmtpop_buffer_state (void)
1540 if (!YY_CURRENT_BUFFER)
1543 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1544 YY_CURRENT_BUFFER_LVALUE = NULL;
1545 if ((yy_buffer_stack_top) > 0)
1546 --(yy_buffer_stack_top);
1548 if (YY_CURRENT_BUFFER) {
1549 __ktrfmt_load_buffer_state( );
1550 (yy_did_buffer_switch_on_eof) = 1;
1554 /* Allocates the stack if it does not exist.
1555 * Guarantees space for at least one push.
1557 static void __ktrfmtensure_buffer_stack (void)
1561 if (!(yy_buffer_stack)) {
1563 /* First allocation is just for 2 elements, since we don't know if this
1564 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1565 * immediate realloc on the next call.
1568 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtalloc
1569 (num_to_alloc * sizeof(struct yy_buffer_state*)
1571 if ( ! (yy_buffer_stack) )
1572 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1574 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1576 (yy_buffer_stack_max) = num_to_alloc;
1577 (yy_buffer_stack_top) = 0;
1581 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1583 /* Increase the buffer to prepare for a possible push. */
1584 int grow_size = 8 /* arbitrary grow size */;
1586 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1587 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtrealloc
1589 num_to_alloc * sizeof(struct yy_buffer_state*)
1591 if ( ! (yy_buffer_stack) )
1592 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1594 /* zero only the new slots.*/
1595 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1596 (yy_buffer_stack_max) = num_to_alloc;
1600 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1601 * @param base the character buffer
1602 * @param size the size in bytes of the character buffer
1604 * @return the newly allocated buffer state object.
1606 YY_BUFFER_STATE __ktrfmt_scan_buffer (char * base, yy_size_t size )
1611 base[size-2] != YY_END_OF_BUFFER_CHAR ||
1612 base[size-1] != YY_END_OF_BUFFER_CHAR )
1613 /* They forgot to leave room for the EOB's. */
1616 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1618 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_buffer()" );
1620 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1621 b->yy_buf_pos = b->yy_ch_buf = base;
1622 b->yy_is_our_buffer = 0;
1623 b->yy_input_file = 0;
1624 b->yy_n_chars = b->yy_buf_size;
1625 b->yy_is_interactive = 0;
1627 b->yy_fill_buffer = 0;
1628 b->yy_buffer_status = YY_BUFFER_NEW;
1630 __ktrfmt_switch_to_buffer(b );
1635 /** Setup the input buffer state to scan a string. The next call to __ktrfmtlex() will
1636 * scan from a @e copy of @a str.
1637 * @param yystr a NUL-terminated string to scan
1639 * @return the newly allocated buffer state object.
1640 * @note If you want to scan bytes that may contain NUL values, then use
1641 * __ktrfmt_scan_bytes() instead.
1643 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char * yystr )
1646 return __ktrfmt_scan_bytes(yystr,strlen(yystr) );
1649 /** Setup the input buffer state to scan the given bytes. The next call to __ktrfmtlex() will
1650 * scan from a @e copy of @a bytes.
1651 * @param yybytes the byte buffer to scan
1652 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1654 * @return the newly allocated buffer state object.
1656 YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char * yybytes, int _yybytes_len )
1663 /* Get memory for full buffer, including space for trailing EOB's. */
1664 n = _yybytes_len + 2;
1665 buf = (char *) __ktrfmtalloc(n );
1667 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_bytes()" );
1669 for ( i = 0; i < _yybytes_len; ++i )
1670 buf[i] = yybytes[i];
1672 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1674 b = __ktrfmt_scan_buffer(buf,n );
1676 YY_FATAL_ERROR( "bad buffer in __ktrfmt_scan_bytes()" );
1678 /* It's okay to grow etc. this buffer, and we should throw it
1679 * away when we're done.
1681 b->yy_is_our_buffer = 1;
1686 #ifndef YY_EXIT_FAILURE
1687 #define YY_EXIT_FAILURE 2
1690 static void yy_fatal_error (yyconst char* msg )
1692 (void) fprintf( stderr, "%s\n", msg );
1693 exit( YY_EXIT_FAILURE );
1696 /* Redefine yyless() so it works in section 3 code. */
1702 /* Undo effects of setting up __ktrfmttext. */ \
1703 int yyless_macro_arg = (n); \
1704 YY_LESS_LINENO(yyless_macro_arg);\
1705 __ktrfmttext[__ktrfmtleng] = (yy_hold_char); \
1706 (yy_c_buf_p) = __ktrfmttext + yyless_macro_arg; \
1707 (yy_hold_char) = *(yy_c_buf_p); \
1708 *(yy_c_buf_p) = '\0'; \
1709 __ktrfmtleng = yyless_macro_arg; \
1713 /* Accessor methods (get/set functions) to struct members. */
1715 /** Get the current line number.
1718 int __ktrfmtget_lineno (void)
1721 return __ktrfmtlineno;
1724 /** Get the input stream.
1727 FILE *__ktrfmtget_in (void)
1732 /** Get the output stream.
1735 FILE *__ktrfmtget_out (void)
1740 /** Get the length of the current token.
1743 int __ktrfmtget_leng (void)
1745 return __ktrfmtleng;
1748 /** Get the current token.
1752 char *__ktrfmtget_text (void)
1754 return __ktrfmttext;
1757 /** Set the current line number.
1758 * @param line_number
1761 void __ktrfmtset_lineno (int line_number )
1764 __ktrfmtlineno = line_number;
1767 /** Set the input stream. This does not discard the current
1769 * @param in_str A readable stream.
1771 * @see __ktrfmt_switch_to_buffer
1773 void __ktrfmtset_in (FILE * in_str )
1775 __ktrfmtin = in_str ;
1778 void __ktrfmtset_out (FILE * out_str )
1780 __ktrfmtout = out_str ;
1783 int __ktrfmtget_debug (void)
1785 return __ktrfmt_flex_debug;
1788 void __ktrfmtset_debug (int bdebug )
1790 __ktrfmt_flex_debug = bdebug ;
1793 static int yy_init_globals (void)
1795 /* Initialization is the same as for the non-reentrant scanner.
1796 * This function is called from __ktrfmtlex_destroy(), so don't allocate here.
1799 (yy_buffer_stack) = 0;
1800 (yy_buffer_stack_top) = 0;
1801 (yy_buffer_stack_max) = 0;
1802 (yy_c_buf_p) = (char *) 0;
1806 /* Defined in main.c */
1809 __ktrfmtout = stdout;
1811 __ktrfmtin = (FILE *) 0;
1812 __ktrfmtout = (FILE *) 0;
1815 /* For future reference: Set errno on error, since we are called by
1816 * __ktrfmtlex_init()
1821 /* __ktrfmtlex_destroy is for both reentrant and non-reentrant scanners. */
1822 int __ktrfmtlex_destroy (void)
1825 /* Pop the buffer stack, destroying each element. */
1826 while(YY_CURRENT_BUFFER){
1827 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1828 YY_CURRENT_BUFFER_LVALUE = NULL;
1829 __ktrfmtpop_buffer_state();
1832 /* Destroy the stack itself. */
1833 __ktrfmtfree((yy_buffer_stack) );
1834 (yy_buffer_stack) = NULL;
1836 /* Reset the globals. This is important in a non-reentrant scanner so the next time
1837 * __ktrfmtlex() is called, initialization will occur. */
1844 * Internal utility routines.
1848 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1851 for ( i = 0; i < n; ++i )
1856 #ifdef YY_NEED_STRLEN
1857 static int yy_flex_strlen (yyconst char * s )
1860 for ( n = 0; s[n]; ++n )
1867 void *__ktrfmtalloc (yy_size_t size )
1869 return (void *) malloc( size );
1872 void *__ktrfmtrealloc (void * ptr, yy_size_t size )
1874 /* The cast to (char *) in the following accommodates both
1875 * implementations that use char* generic pointers, and those
1876 * that use void* generic pointers. It works with the latter
1877 * because both ANSI C and C++ allow castless assignment from
1878 * any pointer type to void*, and deal with argument conversions
1879 * as though doing an assignment.
1881 return (void *) realloc( (char *) ptr, size );
1884 void __ktrfmtfree (void * ptr )
1886 free( (char *) ptr ); /* see __ktrfmtrealloc() for (char *) cast */
1889 #define YYTABLES_NAME "yytables"
1891 #line 126 "ktrfmt.l"