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 11
395 #define YY_END_OF_BUFFER 12
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[26] =
405 0, 0, 12, 11, 1, 11, 3, 8, 5, 5,
406 7, 4, 9, 10, 1, 0, 0, 3, 5, 0,
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, 15, 1, 16, 16, 16, 16,
423 16, 16, 15, 15, 15, 15, 15, 15, 15, 15,
424 15, 15, 15, 15, 15, 15, 15, 15, 15, 17,
425 15, 15, 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[18] =
444 1, 1, 2, 2, 1, 1, 3, 3, 1, 4,
448 static yyconst flex_int16_t yy_base[31] =
450 0, 0, 31, 54, 26, 14, 0, 54, 9, 11,
451 54, 0, 54, 54, 23, 16, 17, 0, 15, 0,
452 0, 54, 20, 0, 54, 33, 37, 41, 45, 49
455 static yyconst flex_int16_t yy_def[31] =
457 25, 1, 25, 25, 25, 26, 27, 25, 28, 25,
458 25, 29, 25, 25, 25, 26, 26, 27, 25, 30,
459 29, 25, 26, 30, 0, 25, 25, 25, 25, 25
462 static yyconst flex_int16_t yy_nxt[72] =
464 4, 5, 4, 6, 7, 8, 9, 10, 11, 12,
465 12, 13, 4, 14, 7, 7, 7, 19, 19, 22,
466 23, 19, 19, 22, 15, 20, 17, 15, 17, 17,
467 25, 25, 17, 16, 25, 16, 16, 16, 16, 18,
468 18, 18, 18, 19, 25, 25, 19, 21, 21, 21,
469 21, 24, 24, 3, 25, 25, 25, 25, 25, 25,
470 25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
474 static yyconst flex_int16_t yy_chk[72] =
476 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
477 1, 1, 1, 1, 1, 1, 1, 10, 10, 16,
478 17, 19, 19, 23, 15, 9, 6, 5, 16, 17,
479 3, 0, 23, 26, 0, 26, 26, 26, 26, 27,
480 27, 27, 27, 28, 0, 0, 28, 29, 29, 29,
481 29, 30, 30, 25, 25, 25, 25, 25, 25, 25,
482 25, 25, 25, 25, 25, 25, 25, 25, 25, 25,
486 static yy_state_type yy_last_accepting_state;
487 static char *yy_last_accepting_cpos;
489 extern int __ktrfmt_flex_debug;
490 int __ktrfmt_flex_debug = 0;
492 /* The intent behind this definition is that it'll catch
493 * any uses of REJECT which flex missed.
495 #define REJECT reject_used_but_not_detected
496 #define yymore() yymore_used_but_not_detected
497 #define YY_MORE_ADJ 0
498 #define YY_RESTORE_YY_MORE_OFFSET
504 //#define YYSTYPE struct token
506 #include "ktrfmt.tab.h"
508 #include "internal.h"
514 /* XXX: need to switch to reentrant lexer */
515 static struct token tokens[NR_TOKENS];
517 static struct symtab *strtab;
524 if (curr_tok == NR_TOKENS) {
526 fprintf(stderr, "Reached max number of tokens\n");
529 return &tokens[curr_tok];
533 tok_free(struct token *tok)
535 assert(&tokens[curr_tok] == tok);
540 * We keep track of strings we've seen before so string comparison
541 * can be done w/ a simple pointer comparison
545 newstr(const char *s)
549 strtab = symtab_new();
550 if ((r = symtab_find(strtab, s)))
552 if (!(r = strdup(s)))
554 symtab_insert(strtab, r, r);
558 #line 559 "ktrfmt.yy.c"
562 #ifndef YY_NO_UNISTD_H
563 /* Special case for "unistd.h", since it is non-ANSI. We include it way
564 * down here because we want the user's section 1 to have been scanned first.
565 * The user has a chance to override it with an option.
570 #ifndef YY_EXTRA_TYPE
571 #define YY_EXTRA_TYPE void *
574 static int yy_init_globals (void );
576 /* Accessor methods to globals.
577 These are made visible to non-reentrant scanners for convenience. */
579 int __ktrfmtlex_destroy (void );
581 int __ktrfmtget_debug (void );
583 void __ktrfmtset_debug (int debug_flag );
585 YY_EXTRA_TYPE __ktrfmtget_extra (void );
587 void __ktrfmtset_extra (YY_EXTRA_TYPE user_defined );
589 FILE *__ktrfmtget_in (void );
591 void __ktrfmtset_in (FILE * in_str );
593 FILE *__ktrfmtget_out (void );
595 void __ktrfmtset_out (FILE * out_str );
597 int __ktrfmtget_leng (void );
599 char *__ktrfmtget_text (void );
601 int __ktrfmtget_lineno (void );
603 void __ktrfmtset_lineno (int line_number );
605 YYSTYPE * __ktrfmtget_lval (void );
607 void __ktrfmtset_lval (YYSTYPE * yylval_param );
609 /* Macros after this point can all be overridden by user definitions in
613 #ifndef YY_SKIP_YYWRAP
615 extern "C" int __ktrfmtwrap (void );
617 extern int __ktrfmtwrap (void );
622 static void yy_flex_strncpy (char *,yyconst char *,int );
625 #ifdef YY_NEED_STRLEN
626 static int yy_flex_strlen (yyconst char * );
632 static int yyinput (void );
634 static int input (void );
639 /* Amount of stuff to slurp up with each read. */
640 #ifndef YY_READ_BUF_SIZE
642 /* On IA-64, the buffer size is 16k, not 8k */
643 #define YY_READ_BUF_SIZE 16384
645 #define YY_READ_BUF_SIZE 8192
646 #endif /* __ia64__ */
649 /* Copy whatever the last rule matched to the standard output. */
651 /* This used to be an fputs(), but since the string might contain NUL's,
652 * we now use fwrite().
654 #define ECHO do { if (fwrite( __ktrfmttext, __ktrfmtleng, 1, __ktrfmtout )) {} } while (0)
657 /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
658 * is returned in "result".
661 #define YY_INPUT(buf,result,max_size) \
662 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
666 for ( n = 0; n < max_size && \
667 (c = getc( __ktrfmtin )) != EOF && c != '\n'; ++n ) \
670 buf[n++] = (char) c; \
671 if ( c == EOF && ferror( __ktrfmtin ) ) \
672 YY_FATAL_ERROR( "input in flex scanner failed" ); \
678 while ( (result = fread(buf, 1, max_size, __ktrfmtin))==0 && ferror(__ktrfmtin)) \
680 if( errno != EINTR) \
682 YY_FATAL_ERROR( "input in flex scanner failed" ); \
686 clearerr(__ktrfmtin); \
693 /* No semi-colon after return; correct usage is to write "yyterminate();" -
694 * we don't want an extra ';' after the "return" because that will cause
695 * some compilers to complain about unreachable statements.
698 #define yyterminate() return YY_NULL
701 /* Number of entries by which start-condition stack grows. */
702 #ifndef YY_START_STACK_INCR
703 #define YY_START_STACK_INCR 25
706 /* Report a fatal error. */
707 #ifndef YY_FATAL_ERROR
708 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
711 /* end tables serialization structures and prototypes */
713 /* Default declaration of generated scanner - a define so the user can
714 * easily add parameters.
717 #define YY_DECL_IS_OURS 1
719 extern int __ktrfmtlex \
720 (YYSTYPE * yylval_param );
722 #define YY_DECL int __ktrfmtlex \
723 (YYSTYPE * yylval_param )
724 #endif /* !YY_DECL */
726 /* Code executed at the beginning of each rule, after __ktrfmttext and __ktrfmtleng
729 #ifndef YY_USER_ACTION
730 #define YY_USER_ACTION
733 /* Code executed at the end of each rule. */
735 #define YY_BREAK break;
738 #define YY_RULE_SETUP \
741 /** The main scanner function which does all the work.
745 register yy_state_type yy_current_state;
746 register char *yy_cp, *yy_bp;
753 #line 754 "ktrfmt.yy.c"
755 yylval = yylval_param;
766 (yy_start) = 1; /* first start state */
772 __ktrfmtout = stdout;
774 if ( ! YY_CURRENT_BUFFER ) {
775 __ktrfmtensure_buffer_stack ();
776 YY_CURRENT_BUFFER_LVALUE =
777 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
780 __ktrfmt_load_buffer_state( );
783 while ( 1 ) /* loops until end-of-file is reached */
785 yy_cp = (yy_c_buf_p);
787 /* Support of __ktrfmttext. */
788 *yy_cp = (yy_hold_char);
790 /* yy_bp points to the position in yy_ch_buf of the start of
795 yy_current_state = (yy_start);
799 register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
800 if ( yy_accept[yy_current_state] )
802 (yy_last_accepting_state) = yy_current_state;
803 (yy_last_accepting_cpos) = yy_cp;
805 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
807 yy_current_state = (int) yy_def[yy_current_state];
808 if ( yy_current_state >= 26 )
809 yy_c = yy_meta[(unsigned int) yy_c];
811 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
814 while ( yy_base[yy_current_state] != 54 );
817 yy_act = yy_accept[yy_current_state];
819 { /* have to back up */
820 yy_cp = (yy_last_accepting_cpos);
821 yy_current_state = (yy_last_accepting_state);
822 yy_act = yy_accept[yy_current_state];
827 do_action: /* This label is used only to access EOF actions. */
830 { /* beginning of action switch */
831 case 0: /* must back up */
832 /* undo the effects of YY_DO_BEFORE_ACTION */
833 *yy_cp = (yy_hold_char);
834 yy_cp = (yy_last_accepting_cpos);
835 yy_current_state = (yy_last_accepting_state);
848 yylval->tok = tok_new();
849 yylval->tok->type = TOK_STR;
850 len = strlen(__ktrfmttext);
851 assert(__ktrfmttext[len - 1] == '"');
852 __ktrfmttext[len - 1] = '\0'; /* kill trailing quote */
853 printd(LEX, "newstr(\"%s\")\n", __ktrfmttext + 1);
854 yylval->tok->str = newstr(__ktrfmttext + 1); /* parser detects oom */
855 __ktrfmttext[len - 1] = '"'; /* restore quote */
856 printd(LEX, "TOK_STR: \"%s\"\n", yylval->tok->str);
864 yylval->tok = tok_new();
865 yylval->tok->type = TOK_ID;
866 printd(LEX, "tok %p TOK_ID %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
867 yylval->tok->str = newstr(__ktrfmttext); /* parser detects oom */
875 yylval->tok = tok_new();
876 yylval->tok->type = TOK_CTOR;
877 printd(LEX, "tok %p TOK_CTOR %p:%s\n", yylval->tok, __ktrfmttext, __ktrfmttext);
878 yylval->tok->str = newstr(__ktrfmttext); /* parser detects oom */
886 yylval->tok = tok_new();
887 yylval->tok->type = TOK_INT;
888 yylval->tok->str = strdup(__ktrfmttext); /* parser detects oom */
889 printd(LEX, "TOK_INT\n");
897 yylval->tok = tok_new();
898 yylval->tok->type = TOK_INT;
899 yylval->tok->str = strdup(__ktrfmttext); /* parser detects oom */
900 printd(LEX, "TOK_INT\n");
909 printd(LEX, "TOK_EQ\n");
918 printd(LEX, "TOK_DOT\n");
927 printd(LEX, "TOK_LEFT_BRACK\n");
928 return TOK_LEFT_BRACK;
936 printd(LEX, "TOK_RIGHT_BRACK\n");
937 return TOK_RIGHT_BRACK;
945 #line 946 "ktrfmt.yy.c"
946 case YY_STATE_EOF(INITIAL):
949 case YY_END_OF_BUFFER:
951 /* Amount of text matched not including the EOB char. */
952 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
954 /* Undo the effects of YY_DO_BEFORE_ACTION. */
955 *yy_cp = (yy_hold_char);
956 YY_RESTORE_YY_MORE_OFFSET
958 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
960 /* We're scanning a new file or input source. It's
961 * possible that this happened because the user
962 * just pointed __ktrfmtin at a new source and called
963 * __ktrfmtlex(). If so, then we have to assure
964 * consistency between YY_CURRENT_BUFFER and our
965 * globals. Here is the right place to do so, because
966 * this is the first action (other than possibly a
967 * back-up) that will match for the new input source.
969 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
970 YY_CURRENT_BUFFER_LVALUE->yy_input_file = __ktrfmtin;
971 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
974 /* Note that here we test for yy_c_buf_p "<=" to the position
975 * of the first EOB in the buffer, since yy_c_buf_p will
976 * already have been incremented past the NUL character
977 * (since all states make transitions on EOB to the
978 * end-of-buffer state). Contrast this with the test
981 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
982 { /* This was really a NUL. */
983 yy_state_type yy_next_state;
985 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
987 yy_current_state = yy_get_previous_state( );
989 /* Okay, we're now positioned to make the NUL
990 * transition. We couldn't have
991 * yy_get_previous_state() go ahead and do it
992 * for us because it doesn't know how to deal
993 * with the possibility of jamming (and we don't
994 * want to build jamming into it because then it
995 * will run more slowly).
998 yy_next_state = yy_try_NUL_trans( yy_current_state );
1000 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1002 if ( yy_next_state )
1004 /* Consume the NUL. */
1005 yy_cp = ++(yy_c_buf_p);
1006 yy_current_state = yy_next_state;
1012 yy_cp = (yy_c_buf_p);
1013 goto yy_find_action;
1017 else switch ( yy_get_next_buffer( ) )
1019 case EOB_ACT_END_OF_FILE:
1021 (yy_did_buffer_switch_on_eof) = 0;
1023 if ( __ktrfmtwrap( ) )
1025 /* Note: because we've taken care in
1026 * yy_get_next_buffer() to have set up
1027 * __ktrfmttext, we can now set up
1028 * yy_c_buf_p so that if some total
1029 * hoser (like flex itself) wants to
1030 * call the scanner after we return the
1031 * YY_NULL, it'll still work - another
1032 * YY_NULL will get returned.
1034 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
1036 yy_act = YY_STATE_EOF(YY_START);
1042 if ( ! (yy_did_buffer_switch_on_eof) )
1048 case EOB_ACT_CONTINUE_SCAN:
1050 (yytext_ptr) + yy_amount_of_matched_text;
1052 yy_current_state = yy_get_previous_state( );
1054 yy_cp = (yy_c_buf_p);
1055 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1058 case EOB_ACT_LAST_MATCH:
1060 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
1062 yy_current_state = yy_get_previous_state( );
1064 yy_cp = (yy_c_buf_p);
1065 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
1066 goto yy_find_action;
1073 "fatal flex scanner internal error--no action found" );
1074 } /* end of action switch */
1075 } /* end of scanning one token */
1076 } /* end of __ktrfmtlex */
1078 /* yy_get_next_buffer - try to read in a new buffer
1080 * Returns a code representing an action:
1081 * EOB_ACT_LAST_MATCH -
1082 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1083 * EOB_ACT_END_OF_FILE - end of file
1085 static int yy_get_next_buffer (void)
1087 register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1088 register char *source = (yytext_ptr);
1089 register int number_to_move, i;
1092 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1094 "fatal flex scanner internal error--end of buffer missed" );
1096 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1097 { /* Don't try to fill the buffer, so this is an EOF. */
1098 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1100 /* We matched a single character, the EOB, so
1101 * treat this as a final EOF.
1103 return EOB_ACT_END_OF_FILE;
1108 /* We matched some text prior to the EOB, first
1111 return EOB_ACT_LAST_MATCH;
1115 /* Try to read more data. */
1117 /* First move last chars to start of buffer. */
1118 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1120 for ( i = 0; i < number_to_move; ++i )
1121 *(dest++) = *(source++);
1123 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1124 /* don't do the read, it's not guaranteed to return an EOF,
1127 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1132 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1134 while ( num_to_read <= 0 )
1135 { /* Not enough room in the buffer - grow it. */
1137 /* just a shorter name for the current buffer */
1138 YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1140 int yy_c_buf_p_offset =
1141 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1143 if ( b->yy_is_our_buffer )
1145 int new_size = b->yy_buf_size * 2;
1147 if ( new_size <= 0 )
1148 b->yy_buf_size += b->yy_buf_size / 8;
1150 b->yy_buf_size *= 2;
1152 b->yy_ch_buf = (char *)
1153 /* Include room in for 2 EOB chars. */
1154 __ktrfmtrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
1157 /* Can't grow it, we don't own it. */
1160 if ( ! b->yy_ch_buf )
1162 "fatal error - scanner input buffer overflow" );
1164 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1166 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1171 if ( num_to_read > YY_READ_BUF_SIZE )
1172 num_to_read = YY_READ_BUF_SIZE;
1174 /* Read in more data. */
1175 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1176 (yy_n_chars), (size_t) num_to_read );
1178 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1181 if ( (yy_n_chars) == 0 )
1183 if ( number_to_move == YY_MORE_ADJ )
1185 ret_val = EOB_ACT_END_OF_FILE;
1186 __ktrfmtrestart(__ktrfmtin );
1191 ret_val = EOB_ACT_LAST_MATCH;
1192 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1193 YY_BUFFER_EOF_PENDING;
1198 ret_val = EOB_ACT_CONTINUE_SCAN;
1200 if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1201 /* Extend the array by 50%, plus the number we really need. */
1202 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1203 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) __ktrfmtrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
1204 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1205 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1208 (yy_n_chars) += number_to_move;
1209 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1210 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1212 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1217 /* yy_get_previous_state - get the state just before the EOB char was reached */
1219 static yy_state_type yy_get_previous_state (void)
1221 register yy_state_type yy_current_state;
1222 register char *yy_cp;
1224 yy_current_state = (yy_start);
1226 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1228 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1229 if ( yy_accept[yy_current_state] )
1231 (yy_last_accepting_state) = yy_current_state;
1232 (yy_last_accepting_cpos) = yy_cp;
1234 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1236 yy_current_state = (int) yy_def[yy_current_state];
1237 if ( yy_current_state >= 26 )
1238 yy_c = yy_meta[(unsigned int) yy_c];
1240 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1243 return yy_current_state;
1246 /* yy_try_NUL_trans - try to make a transition on the NUL character
1249 * next_state = yy_try_NUL_trans( current_state );
1251 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
1253 register int yy_is_jam;
1254 register char *yy_cp = (yy_c_buf_p);
1256 register YY_CHAR yy_c = 1;
1257 if ( yy_accept[yy_current_state] )
1259 (yy_last_accepting_state) = yy_current_state;
1260 (yy_last_accepting_cpos) = yy_cp;
1262 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1264 yy_current_state = (int) yy_def[yy_current_state];
1265 if ( yy_current_state >= 26 )
1266 yy_c = yy_meta[(unsigned int) yy_c];
1268 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1269 yy_is_jam = (yy_current_state == 25);
1271 return yy_is_jam ? 0 : yy_current_state;
1276 static int yyinput (void)
1278 static int input (void)
1284 *(yy_c_buf_p) = (yy_hold_char);
1286 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1288 /* yy_c_buf_p now points to the character we want to return.
1289 * If this occurs *before* the EOB characters, then it's a
1290 * valid NUL; if not, then we've hit the end of the buffer.
1292 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1293 /* This was really a NUL. */
1294 *(yy_c_buf_p) = '\0';
1297 { /* need more input */
1298 int offset = (yy_c_buf_p) - (yytext_ptr);
1301 switch ( yy_get_next_buffer( ) )
1303 case EOB_ACT_LAST_MATCH:
1304 /* This happens because yy_g_n_b()
1305 * sees that we've accumulated a
1306 * token and flags that we need to
1307 * try matching the token before
1308 * proceeding. But for input(),
1309 * there's no matching to consider.
1310 * So convert the EOB_ACT_LAST_MATCH
1311 * to EOB_ACT_END_OF_FILE.
1314 /* Reset buffer status. */
1315 __ktrfmtrestart(__ktrfmtin );
1319 case EOB_ACT_END_OF_FILE:
1321 if ( __ktrfmtwrap( ) )
1324 if ( ! (yy_did_buffer_switch_on_eof) )
1333 case EOB_ACT_CONTINUE_SCAN:
1334 (yy_c_buf_p) = (yytext_ptr) + offset;
1340 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
1341 *(yy_c_buf_p) = '\0'; /* preserve __ktrfmttext */
1342 (yy_hold_char) = *++(yy_c_buf_p);
1346 #endif /* ifndef YY_NO_INPUT */
1348 /** Immediately switch to a different input stream.
1349 * @param input_file A readable stream.
1351 * @note This function does not reset the start condition to @c INITIAL .
1353 void __ktrfmtrestart (FILE * input_file )
1356 if ( ! YY_CURRENT_BUFFER ){
1357 __ktrfmtensure_buffer_stack ();
1358 YY_CURRENT_BUFFER_LVALUE =
1359 __ktrfmt_create_buffer(__ktrfmtin,YY_BUF_SIZE );
1362 __ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
1363 __ktrfmt_load_buffer_state( );
1366 /** Switch to a different input buffer.
1367 * @param new_buffer The new input buffer.
1370 void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer )
1373 /* TODO. We should be able to replace this entire function body
1375 * __ktrfmtpop_buffer_state();
1376 * __ktrfmtpush_buffer_state(new_buffer);
1378 __ktrfmtensure_buffer_stack ();
1379 if ( YY_CURRENT_BUFFER == new_buffer )
1382 if ( YY_CURRENT_BUFFER )
1384 /* Flush out information for old buffer. */
1385 *(yy_c_buf_p) = (yy_hold_char);
1386 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1387 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1390 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1391 __ktrfmt_load_buffer_state( );
1393 /* We don't actually know whether we did this switch during
1394 * EOF (__ktrfmtwrap()) processing, but the only time this flag
1395 * is looked at is after __ktrfmtwrap() is called, so it's safe
1396 * to go ahead and always set it.
1398 (yy_did_buffer_switch_on_eof) = 1;
1401 static void __ktrfmt_load_buffer_state (void)
1403 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1404 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1405 __ktrfmtin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1406 (yy_hold_char) = *(yy_c_buf_p);
1409 /** Allocate and initialize an input buffer state.
1410 * @param file A readable stream.
1411 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1413 * @return the allocated buffer state.
1415 YY_BUFFER_STATE __ktrfmt_create_buffer (FILE * file, int size )
1419 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1421 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1423 b->yy_buf_size = size;
1425 /* yy_ch_buf has to be 2 characters longer than the size given because
1426 * we need to put in 2 end-of-buffer characters.
1428 b->yy_ch_buf = (char *) __ktrfmtalloc(b->yy_buf_size + 2 );
1429 if ( ! b->yy_ch_buf )
1430 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_create_buffer()" );
1432 b->yy_is_our_buffer = 1;
1434 __ktrfmt_init_buffer(b,file );
1439 /** Destroy the buffer.
1440 * @param b a buffer created with __ktrfmt_create_buffer()
1443 void __ktrfmt_delete_buffer (YY_BUFFER_STATE b )
1449 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1450 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1452 if ( b->yy_is_our_buffer )
1453 __ktrfmtfree((void *) b->yy_ch_buf );
1455 __ktrfmtfree((void *) b );
1459 extern int isatty (int );
1460 #endif /* __cplusplus */
1462 /* Initializes or reinitializes a buffer.
1463 * This function is sometimes called more than once on the same buffer,
1464 * such as during a __ktrfmtrestart() or at EOF.
1466 static void __ktrfmt_init_buffer (YY_BUFFER_STATE b, FILE * file )
1471 __ktrfmt_flush_buffer(b );
1473 b->yy_input_file = file;
1474 b->yy_fill_buffer = 1;
1476 /* If b is the current buffer, then __ktrfmt_init_buffer was _probably_
1477 * called from __ktrfmtrestart() or through yy_get_next_buffer.
1478 * In that case, we don't want to reset the lineno or column.
1480 if (b != YY_CURRENT_BUFFER){
1481 b->yy_bs_lineno = 1;
1482 b->yy_bs_column = 0;
1485 b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1490 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1491 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1494 void __ktrfmt_flush_buffer (YY_BUFFER_STATE b )
1501 /* We always need two end-of-buffer characters. The first causes
1502 * a transition to the end-of-buffer state. The second causes
1503 * a jam in that state.
1505 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1506 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1508 b->yy_buf_pos = &b->yy_ch_buf[0];
1511 b->yy_buffer_status = YY_BUFFER_NEW;
1513 if ( b == YY_CURRENT_BUFFER )
1514 __ktrfmt_load_buffer_state( );
1517 /** Pushes the new state onto the stack. The new state becomes
1518 * the current state. This function will allocate the stack
1520 * @param new_buffer The new state.
1523 void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer )
1525 if (new_buffer == NULL)
1528 __ktrfmtensure_buffer_stack();
1530 /* This block is copied from __ktrfmt_switch_to_buffer. */
1531 if ( YY_CURRENT_BUFFER )
1533 /* Flush out information for old buffer. */
1534 *(yy_c_buf_p) = (yy_hold_char);
1535 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1536 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1539 /* Only push if top exists. Otherwise, replace top. */
1540 if (YY_CURRENT_BUFFER)
1541 (yy_buffer_stack_top)++;
1542 YY_CURRENT_BUFFER_LVALUE = new_buffer;
1544 /* copied from __ktrfmt_switch_to_buffer. */
1545 __ktrfmt_load_buffer_state( );
1546 (yy_did_buffer_switch_on_eof) = 1;
1549 /** Removes and deletes the top of the stack, if present.
1550 * The next element becomes the new top.
1553 void __ktrfmtpop_buffer_state (void)
1555 if (!YY_CURRENT_BUFFER)
1558 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1559 YY_CURRENT_BUFFER_LVALUE = NULL;
1560 if ((yy_buffer_stack_top) > 0)
1561 --(yy_buffer_stack_top);
1563 if (YY_CURRENT_BUFFER) {
1564 __ktrfmt_load_buffer_state( );
1565 (yy_did_buffer_switch_on_eof) = 1;
1569 /* Allocates the stack if it does not exist.
1570 * Guarantees space for at least one push.
1572 static void __ktrfmtensure_buffer_stack (void)
1576 if (!(yy_buffer_stack)) {
1578 /* First allocation is just for 2 elements, since we don't know if this
1579 * scanner will even need a stack. We use 2 instead of 1 to avoid an
1580 * immediate realloc on the next call.
1583 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtalloc
1584 (num_to_alloc * sizeof(struct yy_buffer_state*)
1586 if ( ! (yy_buffer_stack) )
1587 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1589 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1591 (yy_buffer_stack_max) = num_to_alloc;
1592 (yy_buffer_stack_top) = 0;
1596 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1598 /* Increase the buffer to prepare for a possible push. */
1599 int grow_size = 8 /* arbitrary grow size */;
1601 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1602 (yy_buffer_stack) = (struct yy_buffer_state**)__ktrfmtrealloc
1604 num_to_alloc * sizeof(struct yy_buffer_state*)
1606 if ( ! (yy_buffer_stack) )
1607 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmtensure_buffer_stack()" );
1609 /* zero only the new slots.*/
1610 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1611 (yy_buffer_stack_max) = num_to_alloc;
1615 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1616 * @param base the character buffer
1617 * @param size the size in bytes of the character buffer
1619 * @return the newly allocated buffer state object.
1621 YY_BUFFER_STATE __ktrfmt_scan_buffer (char * base, yy_size_t size )
1626 base[size-2] != YY_END_OF_BUFFER_CHAR ||
1627 base[size-1] != YY_END_OF_BUFFER_CHAR )
1628 /* They forgot to leave room for the EOB's. */
1631 b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
1633 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_buffer()" );
1635 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
1636 b->yy_buf_pos = b->yy_ch_buf = base;
1637 b->yy_is_our_buffer = 0;
1638 b->yy_input_file = 0;
1639 b->yy_n_chars = b->yy_buf_size;
1640 b->yy_is_interactive = 0;
1642 b->yy_fill_buffer = 0;
1643 b->yy_buffer_status = YY_BUFFER_NEW;
1645 __ktrfmt_switch_to_buffer(b );
1650 /** Setup the input buffer state to scan a string. The next call to __ktrfmtlex() will
1651 * scan from a @e copy of @a str.
1652 * @param yystr a NUL-terminated string to scan
1654 * @return the newly allocated buffer state object.
1655 * @note If you want to scan bytes that may contain NUL values, then use
1656 * __ktrfmt_scan_bytes() instead.
1658 YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char * yystr )
1661 return __ktrfmt_scan_bytes(yystr,strlen(yystr) );
1664 /** Setup the input buffer state to scan the given bytes. The next call to __ktrfmtlex() will
1665 * scan from a @e copy of @a bytes.
1666 * @param yybytes the byte buffer to scan
1667 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
1669 * @return the newly allocated buffer state object.
1671 YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char * yybytes, int _yybytes_len )
1678 /* Get memory for full buffer, including space for trailing EOB's. */
1679 n = _yybytes_len + 2;
1680 buf = (char *) __ktrfmtalloc(n );
1682 YY_FATAL_ERROR( "out of dynamic memory in __ktrfmt_scan_bytes()" );
1684 for ( i = 0; i < _yybytes_len; ++i )
1685 buf[i] = yybytes[i];
1687 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1689 b = __ktrfmt_scan_buffer(buf,n );
1691 YY_FATAL_ERROR( "bad buffer in __ktrfmt_scan_bytes()" );
1693 /* It's okay to grow etc. this buffer, and we should throw it
1694 * away when we're done.
1696 b->yy_is_our_buffer = 1;
1701 #ifndef YY_EXIT_FAILURE
1702 #define YY_EXIT_FAILURE 2
1705 static void yy_fatal_error (yyconst char* msg )
1707 (void) fprintf( stderr, "%s\n", msg );
1708 exit( YY_EXIT_FAILURE );
1711 /* Redefine yyless() so it works in section 3 code. */
1717 /* Undo effects of setting up __ktrfmttext. */ \
1718 int yyless_macro_arg = (n); \
1719 YY_LESS_LINENO(yyless_macro_arg);\
1720 __ktrfmttext[__ktrfmtleng] = (yy_hold_char); \
1721 (yy_c_buf_p) = __ktrfmttext + yyless_macro_arg; \
1722 (yy_hold_char) = *(yy_c_buf_p); \
1723 *(yy_c_buf_p) = '\0'; \
1724 __ktrfmtleng = yyless_macro_arg; \
1728 /* Accessor methods (get/set functions) to struct members. */
1730 /** Get the current line number.
1733 int __ktrfmtget_lineno (void)
1736 return __ktrfmtlineno;
1739 /** Get the input stream.
1742 FILE *__ktrfmtget_in (void)
1747 /** Get the output stream.
1750 FILE *__ktrfmtget_out (void)
1755 /** Get the length of the current token.
1758 int __ktrfmtget_leng (void)
1760 return __ktrfmtleng;
1763 /** Get the current token.
1767 char *__ktrfmtget_text (void)
1769 return __ktrfmttext;
1772 /** Set the current line number.
1773 * @param line_number
1776 void __ktrfmtset_lineno (int line_number )
1779 __ktrfmtlineno = line_number;
1782 /** Set the input stream. This does not discard the current
1784 * @param in_str A readable stream.
1786 * @see __ktrfmt_switch_to_buffer
1788 void __ktrfmtset_in (FILE * in_str )
1790 __ktrfmtin = in_str ;
1793 void __ktrfmtset_out (FILE * out_str )
1795 __ktrfmtout = out_str ;
1798 int __ktrfmtget_debug (void)
1800 return __ktrfmt_flex_debug;
1803 void __ktrfmtset_debug (int bdebug )
1805 __ktrfmt_flex_debug = bdebug ;
1808 static int yy_init_globals (void)
1810 /* Initialization is the same as for the non-reentrant scanner.
1811 * This function is called from __ktrfmtlex_destroy(), so don't allocate here.
1814 (yy_buffer_stack) = 0;
1815 (yy_buffer_stack_top) = 0;
1816 (yy_buffer_stack_max) = 0;
1817 (yy_c_buf_p) = (char *) 0;
1821 /* Defined in main.c */
1824 __ktrfmtout = stdout;
1826 __ktrfmtin = (FILE *) 0;
1827 __ktrfmtout = (FILE *) 0;
1830 /* For future reference: Set errno on error, since we are called by
1831 * __ktrfmtlex_init()
1836 /* __ktrfmtlex_destroy is for both reentrant and non-reentrant scanners. */
1837 int __ktrfmtlex_destroy (void)
1840 /* Pop the buffer stack, destroying each element. */
1841 while(YY_CURRENT_BUFFER){
1842 __ktrfmt_delete_buffer(YY_CURRENT_BUFFER );
1843 YY_CURRENT_BUFFER_LVALUE = NULL;
1844 __ktrfmtpop_buffer_state();
1847 /* Destroy the stack itself. */
1848 __ktrfmtfree((yy_buffer_stack) );
1849 (yy_buffer_stack) = NULL;
1851 /* Reset the globals. This is important in a non-reentrant scanner so the next time
1852 * __ktrfmtlex() is called, initialization will occur. */
1859 * Internal utility routines.
1863 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1866 for ( i = 0; i < n; ++i )
1871 #ifdef YY_NEED_STRLEN
1872 static int yy_flex_strlen (yyconst char * s )
1875 for ( n = 0; s[n]; ++n )
1882 void *__ktrfmtalloc (yy_size_t size )
1884 return (void *) malloc( size );
1887 void *__ktrfmtrealloc (void * ptr, yy_size_t size )
1889 /* The cast to (char *) in the following accommodates both
1890 * implementations that use char* generic pointers, and those
1891 * that use void* generic pointers. It works with the latter
1892 * because both ANSI C and C++ allow castless assignment from
1893 * any pointer type to void*, and deal with argument conversions
1894 * as though doing an assignment.
1896 return (void *) realloc( (char *) ptr, size );
1899 void __ktrfmtfree (void * ptr )
1901 free( (char *) ptr ); /* see __ktrfmtrealloc() for (char *) cast */
1904 #define YYTABLES_NAME "yytables"
1906 #line 136 "ktrfmt.l"