heimdal Extra files required for merge up to current heimdal
[sfrench/samba-autobuild/.git] / source4 / heimdal / lib / hx509 / lex.yy.c
1
2 #line 3 "lex.yy.c"
3
4 #define  YY_INT_ALIGNED short int
5
6 /* A lexical scanner generated by flex */
7
8 #define FLEX_SCANNER
9 #define YY_FLEX_MAJOR_VERSION 2
10 #define YY_FLEX_MINOR_VERSION 5
11 #define YY_FLEX_SUBMINOR_VERSION 35
12 #if YY_FLEX_SUBMINOR_VERSION > 0
13 #define FLEX_BETA
14 #endif
15
16 /* First, we deal with  platform-specific or compiler-specific issues. */
17
18 /* begin standard C headers. */
19 #include <stdio.h>
20 #include <string.h>
21 #include <errno.h>
22 #include <stdlib.h>
23
24 /* end standard C headers. */
25
26 /* flex integer type definitions */
27
28 #ifndef FLEXINT_H
29 #define FLEXINT_H
30
31 /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
32
33 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
34
35 /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
36  * if you want the limit (max/min) macros for int types.
37  */
38 #ifndef __STDC_LIMIT_MACROS
39 #define __STDC_LIMIT_MACROS 1
40 #endif
41
42 #include <inttypes.h>
43 typedef int8_t flex_int8_t;
44 typedef uint8_t flex_uint8_t;
45 typedef int16_t flex_int16_t;
46 typedef uint16_t flex_uint16_t;
47 typedef int32_t flex_int32_t;
48 typedef uint32_t flex_uint32_t;
49 #else
50 typedef signed char flex_int8_t;
51 typedef short int flex_int16_t;
52 typedef int flex_int32_t;
53 typedef unsigned char flex_uint8_t;
54 typedef unsigned short int flex_uint16_t;
55 typedef unsigned int flex_uint32_t;
56 #endif /* ! C99 */
57
58 /* Limits of integral types. */
59 #ifndef INT8_MIN
60 #define INT8_MIN               (-128)
61 #endif
62 #ifndef INT16_MIN
63 #define INT16_MIN              (-32767-1)
64 #endif
65 #ifndef INT32_MIN
66 #define INT32_MIN              (-2147483647-1)
67 #endif
68 #ifndef INT8_MAX
69 #define INT8_MAX               (127)
70 #endif
71 #ifndef INT16_MAX
72 #define INT16_MAX              (32767)
73 #endif
74 #ifndef INT32_MAX
75 #define INT32_MAX              (2147483647)
76 #endif
77 #ifndef UINT8_MAX
78 #define UINT8_MAX              (255U)
79 #endif
80 #ifndef UINT16_MAX
81 #define UINT16_MAX             (65535U)
82 #endif
83 #ifndef UINT32_MAX
84 #define UINT32_MAX             (4294967295U)
85 #endif
86
87 #endif /* ! FLEXINT_H */
88
89 #ifdef __cplusplus
90
91 /* The "const" storage-class-modifier is valid. */
92 #define YY_USE_CONST
93
94 #else   /* ! __cplusplus */
95
96 /* C99 requires __STDC__ to be defined as 1. */
97 #if defined (__STDC__)
98
99 #define YY_USE_CONST
100
101 #endif  /* defined (__STDC__) */
102 #endif  /* ! __cplusplus */
103
104 #ifdef YY_USE_CONST
105 #define yyconst const
106 #else
107 #define yyconst
108 #endif
109
110 /* Returned upon end-of-file. */
111 #define YY_NULL 0
112
113 /* Promotes a possibly negative, possibly signed char to an unsigned
114  * integer for use as an array index.  If the signed char is negative,
115  * we want to instead treat it as an 8-bit unsigned char, hence the
116  * double cast.
117  */
118 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
119
120 /* Enter a start condition.  This macro really ought to take a parameter,
121  * but we do it the disgusting crufty way forced on us by the ()-less
122  * definition of BEGIN.
123  */
124 #define BEGIN (yy_start) = 1 + 2 *
125
126 /* Translate the current start state into a value that can be later handed
127  * to BEGIN to return to the state.  The YYSTATE alias is for lex
128  * compatibility.
129  */
130 #define YY_START (((yy_start) - 1) / 2)
131 #define YYSTATE YY_START
132
133 /* Action number for EOF rule of a given start state. */
134 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
135
136 /* Special action meaning "start processing a new file". */
137 #define YY_NEW_FILE yyrestart(yyin  )
138
139 #define YY_END_OF_BUFFER_CHAR 0
140
141 /* Size of default input buffer. */
142 #ifndef YY_BUF_SIZE
143 #define YY_BUF_SIZE 16384
144 #endif
145
146 /* The state buf must be large enough to hold one state per character in the main buffer.
147  */
148 #define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
149
150 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
151 #define YY_TYPEDEF_YY_BUFFER_STATE
152 typedef struct yy_buffer_state *YY_BUFFER_STATE;
153 #endif
154
155 extern int yyleng;
156
157 extern FILE *yyin, *yyout;
158
159 #define EOB_ACT_CONTINUE_SCAN 0
160 #define EOB_ACT_END_OF_FILE 1
161 #define EOB_ACT_LAST_MATCH 2
162
163     #define YY_LESS_LINENO(n)
164
165 /* Return all but the first "n" matched characters back to the input stream. */
166 #define yyless(n) \
167         do \
168                 { \
169                 /* Undo effects of setting up yytext. */ \
170         int yyless_macro_arg = (n); \
171         YY_LESS_LINENO(yyless_macro_arg);\
172                 *yy_cp = (yy_hold_char); \
173                 YY_RESTORE_YY_MORE_OFFSET \
174                 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
175                 YY_DO_BEFORE_ACTION; /* set up yytext again */ \
176                 } \
177         while ( 0 )
178
179 #define unput(c) yyunput( c, (yytext_ptr)  )
180
181 #ifndef YY_TYPEDEF_YY_SIZE_T
182 #define YY_TYPEDEF_YY_SIZE_T
183 typedef size_t yy_size_t;
184 #endif
185
186 #ifndef YY_STRUCT_YY_BUFFER_STATE
187 #define YY_STRUCT_YY_BUFFER_STATE
188 struct yy_buffer_state
189         {
190         FILE *yy_input_file;
191
192         char *yy_ch_buf;                /* input buffer */
193         char *yy_buf_pos;               /* current position in input buffer */
194
195         /* Size of input buffer in bytes, not including room for EOB
196          * characters.
197          */
198         yy_size_t yy_buf_size;
199
200         /* Number of characters read into yy_ch_buf, not including EOB
201          * characters.
202          */
203         int yy_n_chars;
204
205         /* Whether we "own" the buffer - i.e., we know we created it,
206          * and can realloc() it to grow it, and should free() it to
207          * delete it.
208          */
209         int yy_is_our_buffer;
210
211         /* Whether this is an "interactive" input source; if so, and
212          * if we're using stdio for input, then we want to use getc()
213          * instead of fread(), to make sure we stop fetching input after
214          * each newline.
215          */
216         int yy_is_interactive;
217
218         /* Whether we're considered to be at the beginning of a line.
219          * If so, '^' rules will be active on the next match, otherwise
220          * not.
221          */
222         int yy_at_bol;
223
224     int yy_bs_lineno; /**< The line count. */
225     int yy_bs_column; /**< The column count. */
226
227         /* Whether to try to fill the input buffer when we reach the
228          * end of it.
229          */
230         int yy_fill_buffer;
231
232         int yy_buffer_status;
233
234 #define YY_BUFFER_NEW 0
235 #define YY_BUFFER_NORMAL 1
236         /* When an EOF's been seen but there's still some text to process
237          * then we mark the buffer as YY_EOF_PENDING, to indicate that we
238          * shouldn't try reading from the input source any more.  We might
239          * still have a bunch of tokens to match, though, because of
240          * possible backing-up.
241          *
242          * When we actually see the EOF, we change the status to "new"
243          * (via yyrestart()), so that the user can continue scanning by
244          * just pointing yyin at a new input file.
245          */
246 #define YY_BUFFER_EOF_PENDING 2
247
248         };
249 #endif /* !YY_STRUCT_YY_BUFFER_STATE */
250
251 /* Stack of input buffers. */
252 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
253 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
254 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
255
256 /* We provide macros for accessing buffer states in case in the
257  * future we want to put the buffer states in a more general
258  * "scanner state".
259  *
260  * Returns the top of the stack, or NULL.
261  */
262 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
263                           ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
264                           : NULL)
265
266 /* Same as previous macro, but useful when we know that the buffer stack is not
267  * NULL or when we need an lvalue. For internal use only.
268  */
269 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
270
271 /* yy_hold_char holds the character lost when yytext is formed. */
272 static char yy_hold_char;
273 static int yy_n_chars;          /* number of characters read into yy_ch_buf */
274 int yyleng;
275
276 /* Points to current character in buffer. */
277 static char *yy_c_buf_p = (char *) 0;
278 static int yy_init = 0;         /* whether we need to initialize */
279 static int yy_start = 0;        /* start state number */
280
281 /* Flag which is used to allow yywrap()'s to do buffer switches
282  * instead of setting up a fresh yyin.  A bit of a hack ...
283  */
284 static int yy_did_buffer_switch_on_eof;
285
286 void yyrestart (FILE *input_file  );
287 void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
288 YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
289 void yy_delete_buffer (YY_BUFFER_STATE b  );
290 void yy_flush_buffer (YY_BUFFER_STATE b  );
291 void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
292 void yypop_buffer_state (void );
293
294 static void yyensure_buffer_stack (void );
295 static void yy_load_buffer_state (void );
296 static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );
297
298 #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
299
300 YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
301 YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
302 YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );
303
304 void *yyalloc (yy_size_t  );
305 void *yyrealloc (void *,yy_size_t  );
306 void yyfree (void *  );
307
308 #define yy_new_buffer yy_create_buffer
309
310 #define yy_set_interactive(is_interactive) \
311         { \
312         if ( ! YY_CURRENT_BUFFER ){ \
313         yyensure_buffer_stack (); \
314                 YY_CURRENT_BUFFER_LVALUE =    \
315             yy_create_buffer(yyin,YY_BUF_SIZE ); \
316         } \
317         YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
318         }
319
320 #define yy_set_bol(at_bol) \
321         { \
322         if ( ! YY_CURRENT_BUFFER ){\
323         yyensure_buffer_stack (); \
324                 YY_CURRENT_BUFFER_LVALUE =    \
325             yy_create_buffer(yyin,YY_BUF_SIZE ); \
326         } \
327         YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
328         }
329
330 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
331
332 /* Begin user sect3 */
333
334 typedef unsigned char YY_CHAR;
335
336 FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
337
338 typedef int yy_state_type;
339
340 extern int yylineno;
341
342 int yylineno = 1;
343
344 extern char *yytext;
345 #define yytext_ptr yytext
346
347 static yy_state_type yy_get_previous_state (void );
348 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
349 static int yy_get_next_buffer (void );
350 static void yy_fatal_error (yyconst char msg[]  );
351
352 /* Done after the current pattern has been matched and before the
353  * corresponding action - sets up yytext.
354  */
355 #define YY_DO_BEFORE_ACTION \
356         (yytext_ptr) = yy_bp; \
357         yyleng = (size_t) (yy_cp - yy_bp); \
358         (yy_hold_char) = *yy_cp; \
359         *yy_cp = '\0'; \
360         (yy_c_buf_p) = yy_cp;
361
362 #define YY_NUM_RULES 12
363 #define YY_END_OF_BUFFER 13
364 /* This struct is not used in this scanner,
365    but its presence is necessary. */
366 struct yy_trans_info
367         {
368         flex_int32_t yy_verify;
369         flex_int32_t yy_nxt;
370         };
371 static yyconst flex_int16_t yy_accept[36] =
372     {   0,
373         0,    0,   13,   12,   11,    9,   10,    8,    7,    7,
374         7,    7,    7,    7,    7,    7,    7,    5,    4,    7,
375         7,    3,    7,    7,    7,    7,    7,    1,    2,    7,
376         7,    7,    7,    6,    0
377     } ;
378
379 static yyconst flex_int32_t yy_ec[256] =
380     {   0,
381         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
382         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
383         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
384         1,    2,    4,    5,    1,    1,    4,    1,    1,    4,
385         4,    1,    1,    4,    6,    4,    1,    6,    6,    6,
386         6,    6,    6,    6,    6,    6,    6,    1,    1,    1,
387         4,    1,    1,    1,    7,    8,    9,   10,   11,   12,
388         8,   13,   14,    8,    8,   15,   16,   17,   18,    8,
389         8,   19,   20,   21,   22,    8,    8,    8,    8,    8,
390         1,    1,    1,    1,    6,    1,    8,    8,    8,    8,
391
392         8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
393         8,    8,    8,    8,    8,    8,    8,    8,    8,    8,
394         8,    8,    4,    1,    4,    1,    1,    1,    1,    1,
395         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
396         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
397         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
398         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
399         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
400         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
401         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
402
403         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
404         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
405         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
406         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
407         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
408         1,    1,    1,    1,    1
409     } ;
410
411 static yyconst flex_int32_t yy_meta[23] =
412     {   0,
413         1,    1,    1,    1,    1,    2,    2,    2,    2,    2,
414         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
415         2,    2
416     } ;
417
418 static yyconst flex_int16_t yy_base[37] =
419     {   0,
420         0,    0,   43,   44,   44,   44,   44,   44,   25,    0,
421        34,   23,   20,   16,    0,   28,   22,    0,    0,   22,
422        12,    0,   13,   17,   20,   19,   13,    0,    0,   21,
423         6,   17,   12,    0,   44,   22
424     } ;
425
426 static yyconst flex_int16_t yy_def[37] =
427     {   0,
428        35,    1,   35,   35,   35,   35,   35,   35,   36,   36,
429        36,   36,   36,   36,   36,   36,   36,   36,   36,   36,
430        36,   36,   36,   36,   36,   36,   36,   36,   36,   36,
431        36,   36,   36,   36,    0,   35
432     } ;
433
434 static yyconst flex_int16_t yy_nxt[67] =
435     {   0,
436         4,    5,    6,    7,    8,    4,    9,   10,   10,   10,
437        10,   11,   10,   12,   10,   10,   10,   13,   10,   10,
438        14,   10,   20,   15,   34,   33,   32,   31,   30,   29,
439        28,   27,   26,   25,   21,   24,   23,   22,   19,   18,
440        17,   16,   35,    3,   35,   35,   35,   35,   35,   35,
441        35,   35,   35,   35,   35,   35,   35,   35,   35,   35,
442        35,   35,   35,   35,   35,   35
443     } ;
444
445 static yyconst flex_int16_t yy_chk[67] =
446     {   0,
447         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
448         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
449         1,    1,   14,   36,   33,   32,   31,   30,   27,   26,
450        25,   24,   23,   21,   14,   20,   17,   16,   13,   12,
451        11,    9,    3,   35,   35,   35,   35,   35,   35,   35,
452        35,   35,   35,   35,   35,   35,   35,   35,   35,   35,
453        35,   35,   35,   35,   35,   35
454     } ;
455
456 static yy_state_type yy_last_accepting_state;
457 static char *yy_last_accepting_cpos;
458
459 extern int yy_flex_debug;
460 int yy_flex_debug = 0;
461
462 /* The intent behind this definition is that it'll catch
463  * any uses of REJECT which flex missed.
464  */
465 #define REJECT reject_used_but_not_detected
466 #define yymore() yymore_used_but_not_detected
467 #define YY_MORE_ADJ 0
468 #define YY_RESTORE_YY_MORE_OFFSET
469 char *yytext;
470 #line 1 "sel-lex.l"
471 #line 2 "sel-lex.l"
472 /*
473  * Copyright (c) 2004, 2008 Kungliga Tekniska Högskolan
474  * (Royal Institute of Technology, Stockholm, Sweden).
475  * All rights reserved.
476  *
477  * Redistribution and use in source and binary forms, with or without
478  * modification, are permitted provided that the following conditions
479  * are met:
480  *
481  * 1. Redistributions of source code must retain the above copyright
482  *    notice, this list of conditions and the following disclaimer.
483  *
484  * 2. Redistributions in binary form must reproduce the above copyright
485  *    notice, this list of conditions and the following disclaimer in the
486  *    documentation and/or other materials provided with the distribution.
487  *
488  * 3. Neither the name of the Institute nor the names of its contributors
489  *    may be used to endorse or promote products derived from this software
490  *    without specific prior written permission.
491  *
492  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
493  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
494  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
495  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
496  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
497  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
498  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
499  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
500  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
501  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
502  * SUCH DAMAGE.
503  */
504
505 /* $Id$ */
506
507 #ifdef HAVE_CONFIG_H
508 #include <config.h>
509 #endif
510
511 #undef ECHO
512
513 #include <stdio.h>
514 #include <string.h>
515 #include <stdarg.h>
516 #include <stdlib.h>
517 #include "sel.h"
518 #include "sel-gram.h"
519 unsigned lineno = 1;
520
521 static char * handle_string(void);
522 static int lex_input(char *, int);
523
524 struct hx_expr_input _hx509_expr_input;
525
526 #ifndef YY_NULL
527 #define YY_NULL 0
528 #endif
529
530 #define YY_NO_UNPUT 1
531
532 #undef YY_INPUT
533 #define YY_INPUT(buf,res,maxsize) (res = lex_input(buf, maxsize))
534
535 #undef ECHO
536
537 #line 538 "lex.yy.c"
538
539 #define INITIAL 0
540
541 #ifndef YY_NO_UNISTD_H
542 /* Special case for "unistd.h", since it is non-ANSI. We include it way
543  * down here because we want the user's section 1 to have been scanned first.
544  * The user has a chance to override it with an option.
545  */
546 #include <unistd.h>
547 #endif
548
549 #ifndef YY_EXTRA_TYPE
550 #define YY_EXTRA_TYPE void *
551 #endif
552
553 static int yy_init_globals (void );
554
555 /* Accessor methods to globals.
556    These are made visible to non-reentrant scanners for convenience. */
557
558 int yylex_destroy (void );
559
560 int yyget_debug (void );
561
562 void yyset_debug (int debug_flag  );
563
564 YY_EXTRA_TYPE yyget_extra (void );
565
566 void yyset_extra (YY_EXTRA_TYPE user_defined  );
567
568 FILE *yyget_in (void );
569
570 void yyset_in  (FILE * in_str  );
571
572 FILE *yyget_out (void );
573
574 void yyset_out  (FILE * out_str  );
575
576 int yyget_leng (void );
577
578 char *yyget_text (void );
579
580 int yyget_lineno (void );
581
582 void yyset_lineno (int line_number  );
583
584 /* Macros after this point can all be overridden by user definitions in
585  * section 1.
586  */
587
588 #ifndef YY_SKIP_YYWRAP
589 #ifdef __cplusplus
590 extern "C" int yywrap (void );
591 #else
592 extern int yywrap (void );
593 #endif
594 #endif
595
596     static void yyunput (int c,char *buf_ptr  );
597
598 #ifndef yytext_ptr
599 static void yy_flex_strncpy (char *,yyconst char *,int );
600 #endif
601
602 #ifdef YY_NEED_STRLEN
603 static int yy_flex_strlen (yyconst char * );
604 #endif
605
606 #ifndef YY_NO_INPUT
607
608 #ifdef __cplusplus
609 static int yyinput (void );
610 #else
611 static int input (void );
612 #endif
613
614 #endif
615
616 /* Amount of stuff to slurp up with each read. */
617 #ifndef YY_READ_BUF_SIZE
618 #define YY_READ_BUF_SIZE 8192
619 #endif
620
621 /* Copy whatever the last rule matched to the standard output. */
622 #ifndef ECHO
623 /* This used to be an fputs(), but since the string might contain NUL's,
624  * we now use fwrite().
625  */
626 #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
627 #endif
628
629 /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
630  * is returned in "result".
631  */
632 #ifndef YY_INPUT
633 #define YY_INPUT(buf,result,max_size) \
634         if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
635                 { \
636                 int c = '*'; \
637                 unsigned n; \
638                 for ( n = 0; n < max_size && \
639                              (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
640                         buf[n] = (char) c; \
641                 if ( c == '\n' ) \
642                         buf[n++] = (char) c; \
643                 if ( c == EOF && ferror( yyin ) ) \
644                         YY_FATAL_ERROR( "input in flex scanner failed" ); \
645                 result = n; \
646                 } \
647         else \
648                 { \
649                 errno=0; \
650                 while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \
651                         { \
652                         if( errno != EINTR) \
653                                 { \
654                                 YY_FATAL_ERROR( "input in flex scanner failed" ); \
655                                 break; \
656                                 } \
657                         errno=0; \
658                         clearerr(yyin); \
659                         } \
660                 }\
661 \
662
663 #endif
664
665 /* No semi-colon after return; correct usage is to write "yyterminate();" -
666  * we don't want an extra ';' after the "return" because that will cause
667  * some compilers to complain about unreachable statements.
668  */
669 #ifndef yyterminate
670 #define yyterminate() return YY_NULL
671 #endif
672
673 /* Number of entries by which start-condition stack grows. */
674 #ifndef YY_START_STACK_INCR
675 #define YY_START_STACK_INCR 25
676 #endif
677
678 /* Report a fatal error. */
679 #ifndef YY_FATAL_ERROR
680 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
681 #endif
682
683 /* end tables serialization structures and prototypes */
684
685 /* Default declaration of generated scanner - a define so the user can
686  * easily add parameters.
687  */
688 #ifndef YY_DECL
689 #define YY_DECL_IS_OURS 1
690
691 extern int yylex (void);
692
693 #define YY_DECL int yylex (void)
694 #endif /* !YY_DECL */
695
696 /* Code executed at the beginning of each rule, after yytext and yyleng
697  * have been set up.
698  */
699 #ifndef YY_USER_ACTION
700 #define YY_USER_ACTION
701 #endif
702
703 /* Code executed at the end of each rule. */
704 #ifndef YY_BREAK
705 #define YY_BREAK break;
706 #endif
707
708 #define YY_RULE_SETUP \
709         YY_USER_ACTION
710
711 /** The main scanner function which does all the work.
712  */
713 YY_DECL
714 {
715         register yy_state_type yy_current_state;
716         register char *yy_cp, *yy_bp;
717         register int yy_act;
718
719 #line 68 "sel-lex.l"
720
721
722 #line 723 "lex.yy.c"
723
724         if ( !(yy_init) )
725                 {
726                 (yy_init) = 1;
727
728 #ifdef YY_USER_INIT
729                 YY_USER_INIT;
730 #endif
731
732                 if ( ! (yy_start) )
733                         (yy_start) = 1; /* first start state */
734
735                 if ( ! yyin )
736                         yyin = stdin;
737
738                 if ( ! yyout )
739                         yyout = stdout;
740
741                 if ( ! YY_CURRENT_BUFFER ) {
742                         yyensure_buffer_stack ();
743                         YY_CURRENT_BUFFER_LVALUE =
744                                 yy_create_buffer(yyin,YY_BUF_SIZE );
745                 }
746
747                 yy_load_buffer_state( );
748                 }
749
750         while ( 1 )             /* loops until end-of-file is reached */
751                 {
752                 yy_cp = (yy_c_buf_p);
753
754                 /* Support of yytext. */
755                 *yy_cp = (yy_hold_char);
756
757                 /* yy_bp points to the position in yy_ch_buf of the start of
758                  * the current run.
759                  */
760                 yy_bp = yy_cp;
761
762                 yy_current_state = (yy_start);
763 yy_match:
764                 do
765                         {
766                         register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
767                         if ( yy_accept[yy_current_state] )
768                                 {
769                                 (yy_last_accepting_state) = yy_current_state;
770                                 (yy_last_accepting_cpos) = yy_cp;
771                                 }
772                         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
773                                 {
774                                 yy_current_state = (int) yy_def[yy_current_state];
775                                 if ( yy_current_state >= 36 )
776                                         yy_c = yy_meta[(unsigned int) yy_c];
777                                 }
778                         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
779                         ++yy_cp;
780                         }
781                 while ( yy_base[yy_current_state] != 44 );
782
783 yy_find_action:
784                 yy_act = yy_accept[yy_current_state];
785                 if ( yy_act == 0 )
786                         { /* have to back up */
787                         yy_cp = (yy_last_accepting_cpos);
788                         yy_current_state = (yy_last_accepting_state);
789                         yy_act = yy_accept[yy_current_state];
790                         }
791
792                 YY_DO_BEFORE_ACTION;
793
794 do_action:      /* This label is used only to access EOF actions. */
795
796                 switch ( yy_act )
797         { /* beginning of action switch */
798                         case 0: /* must back up */
799                         /* undo the effects of YY_DO_BEFORE_ACTION */
800                         *yy_cp = (yy_hold_char);
801                         yy_cp = (yy_last_accepting_cpos);
802                         yy_current_state = (yy_last_accepting_state);
803                         goto yy_find_action;
804
805 case 1:
806 YY_RULE_SETUP
807 #line 70 "sel-lex.l"
808 { return kw_TRUE; }
809         YY_BREAK
810 case 2:
811 YY_RULE_SETUP
812 #line 71 "sel-lex.l"
813 { return kw_FALSE; }
814         YY_BREAK
815 case 3:
816 YY_RULE_SETUP
817 #line 72 "sel-lex.l"
818 { return kw_AND; }
819         YY_BREAK
820 case 4:
821 YY_RULE_SETUP
822 #line 73 "sel-lex.l"
823 { return kw_OR; }
824         YY_BREAK
825 case 5:
826 YY_RULE_SETUP
827 #line 74 "sel-lex.l"
828 { return kw_IN; }
829         YY_BREAK
830 case 6:
831 YY_RULE_SETUP
832 #line 75 "sel-lex.l"
833 { return kw_TAILMATCH; }
834         YY_BREAK
835 case 7:
836 YY_RULE_SETUP
837 #line 77 "sel-lex.l"
838 {
839                           yylval.string = strdup ((const char *)yytext);
840                           return IDENTIFIER;
841                         }
842         YY_BREAK
843 case 8:
844 YY_RULE_SETUP
845 #line 81 "sel-lex.l"
846 { yylval.string = handle_string(); return STRING; }
847         YY_BREAK
848 case 9:
849 /* rule 9 can match eol */
850 YY_RULE_SETUP
851 #line 82 "sel-lex.l"
852 { ++lineno; }
853         YY_BREAK
854 case 10:
855 YY_RULE_SETUP
856 #line 83 "sel-lex.l"
857 { return *yytext; }
858         YY_BREAK
859 case 11:
860 YY_RULE_SETUP
861 #line 84 "sel-lex.l"
862 ;
863         YY_BREAK
864 case 12:
865 YY_RULE_SETUP
866 #line 85 "sel-lex.l"
867 ECHO;
868         YY_BREAK
869 #line 870 "lex.yy.c"
870 case YY_STATE_EOF(INITIAL):
871         yyterminate();
872
873         case YY_END_OF_BUFFER:
874                 {
875                 /* Amount of text matched not including the EOB char. */
876                 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
877
878                 /* Undo the effects of YY_DO_BEFORE_ACTION. */
879                 *yy_cp = (yy_hold_char);
880                 YY_RESTORE_YY_MORE_OFFSET
881
882                 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
883                         {
884                         /* We're scanning a new file or input source.  It's
885                          * possible that this happened because the user
886                          * just pointed yyin at a new source and called
887                          * yylex().  If so, then we have to assure
888                          * consistency between YY_CURRENT_BUFFER and our
889                          * globals.  Here is the right place to do so, because
890                          * this is the first action (other than possibly a
891                          * back-up) that will match for the new input source.
892                          */
893                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
894                         YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
895                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
896                         }
897
898                 /* Note that here we test for yy_c_buf_p "<=" to the position
899                  * of the first EOB in the buffer, since yy_c_buf_p will
900                  * already have been incremented past the NUL character
901                  * (since all states make transitions on EOB to the
902                  * end-of-buffer state).  Contrast this with the test
903                  * in input().
904                  */
905                 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
906                         { /* This was really a NUL. */
907                         yy_state_type yy_next_state;
908
909                         (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
910
911                         yy_current_state = yy_get_previous_state(  );
912
913                         /* Okay, we're now positioned to make the NUL
914                          * transition.  We couldn't have
915                          * yy_get_previous_state() go ahead and do it
916                          * for us because it doesn't know how to deal
917                          * with the possibility of jamming (and we don't
918                          * want to build jamming into it because then it
919                          * will run more slowly).
920                          */
921
922                         yy_next_state = yy_try_NUL_trans( yy_current_state );
923
924                         yy_bp = (yytext_ptr) + YY_MORE_ADJ;
925
926                         if ( yy_next_state )
927                                 {
928                                 /* Consume the NUL. */
929                                 yy_cp = ++(yy_c_buf_p);
930                                 yy_current_state = yy_next_state;
931                                 goto yy_match;
932                                 }
933
934                         else
935                                 {
936                                 yy_cp = (yy_c_buf_p);
937                                 goto yy_find_action;
938                                 }
939                         }
940
941                 else switch ( yy_get_next_buffer(  ) )
942                         {
943                         case EOB_ACT_END_OF_FILE:
944                                 {
945                                 (yy_did_buffer_switch_on_eof) = 0;
946
947                                 if ( yywrap( ) )
948                                         {
949                                         /* Note: because we've taken care in
950                                          * yy_get_next_buffer() to have set up
951                                          * yytext, we can now set up
952                                          * yy_c_buf_p so that if some total
953                                          * hoser (like flex itself) wants to
954                                          * call the scanner after we return the
955                                          * YY_NULL, it'll still work - another
956                                          * YY_NULL will get returned.
957                                          */
958                                         (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
959
960                                         yy_act = YY_STATE_EOF(YY_START);
961                                         goto do_action;
962                                         }
963
964                                 else
965                                         {
966                                         if ( ! (yy_did_buffer_switch_on_eof) )
967                                                 YY_NEW_FILE;
968                                         }
969                                 break;
970                                 }
971
972                         case EOB_ACT_CONTINUE_SCAN:
973                                 (yy_c_buf_p) =
974                                         (yytext_ptr) + yy_amount_of_matched_text;
975
976                                 yy_current_state = yy_get_previous_state(  );
977
978                                 yy_cp = (yy_c_buf_p);
979                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
980                                 goto yy_match;
981
982                         case EOB_ACT_LAST_MATCH:
983                                 (yy_c_buf_p) =
984                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
985
986                                 yy_current_state = yy_get_previous_state(  );
987
988                                 yy_cp = (yy_c_buf_p);
989                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
990                                 goto yy_find_action;
991                         }
992                 break;
993                 }
994
995         default:
996                 YY_FATAL_ERROR(
997                         "fatal flex scanner internal error--no action found" );
998         } /* end of action switch */
999                 } /* end of scanning one token */
1000 } /* end of yylex */
1001
1002 /* yy_get_next_buffer - try to read in a new buffer
1003  *
1004  * Returns a code representing an action:
1005  *      EOB_ACT_LAST_MATCH -
1006  *      EOB_ACT_CONTINUE_SCAN - continue scanning from current position
1007  *      EOB_ACT_END_OF_FILE - end of file
1008  */
1009 static int yy_get_next_buffer (void)
1010 {
1011         register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
1012         register char *source = (yytext_ptr);
1013         register int number_to_move, i;
1014         int ret_val;
1015
1016         if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
1017                 YY_FATAL_ERROR(
1018                 "fatal flex scanner internal error--end of buffer missed" );
1019
1020         if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
1021                 { /* Don't try to fill the buffer, so this is an EOF. */
1022                 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
1023                         {
1024                         /* We matched a single character, the EOB, so
1025                          * treat this as a final EOF.
1026                          */
1027                         return EOB_ACT_END_OF_FILE;
1028                         }
1029
1030                 else
1031                         {
1032                         /* We matched some text prior to the EOB, first
1033                          * process it.
1034                          */
1035                         return EOB_ACT_LAST_MATCH;
1036                         }
1037                 }
1038
1039         /* Try to read more data. */
1040
1041         /* First move last chars to start of buffer. */
1042         number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
1043
1044         for ( i = 0; i < number_to_move; ++i )
1045                 *(dest++) = *(source++);
1046
1047         if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
1048                 /* don't do the read, it's not guaranteed to return an EOF,
1049                  * just force an EOF
1050                  */
1051                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
1052
1053         else
1054                 {
1055                         int num_to_read =
1056                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
1057
1058                 while ( num_to_read <= 0 )
1059                         { /* Not enough room in the buffer - grow it. */
1060
1061                         /* just a shorter name for the current buffer */
1062                         YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
1063
1064                         int yy_c_buf_p_offset =
1065                                 (int) ((yy_c_buf_p) - b->yy_ch_buf);
1066
1067                         if ( b->yy_is_our_buffer )
1068                                 {
1069                                 int new_size = b->yy_buf_size * 2;
1070
1071                                 if ( new_size <= 0 )
1072                                         b->yy_buf_size += b->yy_buf_size / 8;
1073                                 else
1074                                         b->yy_buf_size *= 2;
1075
1076                                 b->yy_ch_buf = (char *)
1077                                         /* Include room in for 2 EOB chars. */
1078                                         yyrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
1079                                 }
1080                         else
1081                                 /* Can't grow it, we don't own it. */
1082                                 b->yy_ch_buf = 0;
1083
1084                         if ( ! b->yy_ch_buf )
1085                                 YY_FATAL_ERROR(
1086                                 "fatal error - scanner input buffer overflow" );
1087
1088                         (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
1089
1090                         num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
1091                                                 number_to_move - 1;
1092
1093                         }
1094
1095                 if ( num_to_read > YY_READ_BUF_SIZE )
1096                         num_to_read = YY_READ_BUF_SIZE;
1097
1098                 /* Read in more data. */
1099                 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
1100                         (yy_n_chars), (size_t) num_to_read );
1101
1102                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1103                 }
1104
1105         if ( (yy_n_chars) == 0 )
1106                 {
1107                 if ( number_to_move == YY_MORE_ADJ )
1108                         {
1109                         ret_val = EOB_ACT_END_OF_FILE;
1110                         yyrestart(yyin  );
1111                         }
1112
1113                 else
1114                         {
1115                         ret_val = EOB_ACT_LAST_MATCH;
1116                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
1117                                 YY_BUFFER_EOF_PENDING;
1118                         }
1119                 }
1120
1121         else
1122                 ret_val = EOB_ACT_CONTINUE_SCAN;
1123
1124         if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
1125                 /* Extend the array by 50%, plus the number we really need. */
1126                 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
1127                 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
1128                 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1129                         YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
1130         }
1131
1132         (yy_n_chars) += number_to_move;
1133         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
1134         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
1135
1136         (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
1137
1138         return ret_val;
1139 }
1140
1141 /* yy_get_previous_state - get the state just before the EOB char was reached */
1142
1143     static yy_state_type yy_get_previous_state (void)
1144 {
1145         register yy_state_type yy_current_state;
1146         register char *yy_cp;
1147
1148         yy_current_state = (yy_start);
1149
1150         for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
1151                 {
1152                 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
1153                 if ( yy_accept[yy_current_state] )
1154                         {
1155                         (yy_last_accepting_state) = yy_current_state;
1156                         (yy_last_accepting_cpos) = yy_cp;
1157                         }
1158                 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1159                         {
1160                         yy_current_state = (int) yy_def[yy_current_state];
1161                         if ( yy_current_state >= 36 )
1162                                 yy_c = yy_meta[(unsigned int) yy_c];
1163                         }
1164                 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1165                 }
1166
1167         return yy_current_state;
1168 }
1169
1170 /* yy_try_NUL_trans - try to make a transition on the NUL character
1171  *
1172  * synopsis
1173  *      next_state = yy_try_NUL_trans( current_state );
1174  */
1175     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
1176 {
1177         register int yy_is_jam;
1178         register char *yy_cp = (yy_c_buf_p);
1179
1180         register YY_CHAR yy_c = 1;
1181         if ( yy_accept[yy_current_state] )
1182                 {
1183                 (yy_last_accepting_state) = yy_current_state;
1184                 (yy_last_accepting_cpos) = yy_cp;
1185                 }
1186         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1187                 {
1188                 yy_current_state = (int) yy_def[yy_current_state];
1189                 if ( yy_current_state >= 36 )
1190                         yy_c = yy_meta[(unsigned int) yy_c];
1191                 }
1192         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
1193         yy_is_jam = (yy_current_state == 35);
1194
1195         return yy_is_jam ? 0 : yy_current_state;
1196 }
1197
1198     static void yyunput (int c, register char * yy_bp )
1199 {
1200         register char *yy_cp;
1201
1202     yy_cp = (yy_c_buf_p);
1203
1204         /* undo effects of setting up yytext */
1205         *yy_cp = (yy_hold_char);
1206
1207         if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1208                 { /* need to shift things up to make room */
1209                 /* +2 for EOB chars. */
1210                 register int number_to_move = (yy_n_chars) + 2;
1211                 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
1212                                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
1213                 register char *source =
1214                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
1215
1216                 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
1217                         *--dest = *--source;
1218
1219                 yy_cp += (int) (dest - source);
1220                 yy_bp += (int) (dest - source);
1221                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
1222                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
1223
1224                 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
1225                         YY_FATAL_ERROR( "flex scanner push-back overflow" );
1226                 }
1227
1228         *--yy_cp = (char) c;
1229
1230         (yytext_ptr) = yy_bp;
1231         (yy_hold_char) = *yy_cp;
1232         (yy_c_buf_p) = yy_cp;
1233 }
1234
1235 #ifndef YY_NO_INPUT
1236 #ifdef __cplusplus
1237     static int yyinput (void)
1238 #else
1239     static int input  (void)
1240 #endif
1241
1242 {
1243         int c;
1244
1245         *(yy_c_buf_p) = (yy_hold_char);
1246
1247         if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
1248                 {
1249                 /* yy_c_buf_p now points to the character we want to return.
1250                  * If this occurs *before* the EOB characters, then it's a
1251                  * valid NUL; if not, then we've hit the end of the buffer.
1252                  */
1253                 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
1254                         /* This was really a NUL. */
1255                         *(yy_c_buf_p) = '\0';
1256
1257                 else
1258                         { /* need more input */
1259                         int offset = (yy_c_buf_p) - (yytext_ptr);
1260                         ++(yy_c_buf_p);
1261
1262                         switch ( yy_get_next_buffer(  ) )
1263                                 {
1264                                 case EOB_ACT_LAST_MATCH:
1265                                         /* This happens because yy_g_n_b()
1266                                          * sees that we've accumulated a
1267                                          * token and flags that we need to
1268                                          * try matching the token before
1269                                          * proceeding.  But for input(),
1270                                          * there's no matching to consider.
1271                                          * So convert the EOB_ACT_LAST_MATCH
1272                                          * to EOB_ACT_END_OF_FILE.
1273                                          */
1274
1275                                         /* Reset buffer status. */
1276                                         yyrestart(yyin );
1277
1278                                         /*FALLTHROUGH*/
1279
1280                                 case EOB_ACT_END_OF_FILE:
1281                                         {
1282                                         if ( yywrap( ) )
1283                                                 return EOF;
1284
1285                                         if ( ! (yy_did_buffer_switch_on_eof) )
1286                                                 YY_NEW_FILE;
1287 #ifdef __cplusplus
1288                                         return yyinput();
1289 #else
1290                                         return input();
1291 #endif
1292                                         }
1293
1294                                 case EOB_ACT_CONTINUE_SCAN:
1295                                         (yy_c_buf_p) = (yytext_ptr) + offset;
1296                                         break;
1297                                 }
1298                         }
1299                 }
1300
1301         c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */
1302         *(yy_c_buf_p) = '\0';   /* preserve yytext */
1303         (yy_hold_char) = *++(yy_c_buf_p);
1304
1305         return c;
1306 }
1307 #endif  /* ifndef YY_NO_INPUT */
1308
1309 /** Immediately switch to a different input stream.
1310  * @param input_file A readable stream.
1311  *
1312  * @note This function does not reset the start condition to @c INITIAL .
1313  */
1314     void yyrestart  (FILE * input_file )
1315 {
1316
1317         if ( ! YY_CURRENT_BUFFER ){
1318         yyensure_buffer_stack ();
1319                 YY_CURRENT_BUFFER_LVALUE =
1320             yy_create_buffer(yyin,YY_BUF_SIZE );
1321         }
1322
1323         yy_init_buffer(YY_CURRENT_BUFFER,input_file );
1324         yy_load_buffer_state( );
1325 }
1326
1327 /** Switch to a different input buffer.
1328  * @param new_buffer The new input buffer.
1329  *
1330  */
1331     void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
1332 {
1333
1334         /* TODO. We should be able to replace this entire function body
1335          * with
1336          *              yypop_buffer_state();
1337          *              yypush_buffer_state(new_buffer);
1338      */
1339         yyensure_buffer_stack ();
1340         if ( YY_CURRENT_BUFFER == new_buffer )
1341                 return;
1342
1343         if ( YY_CURRENT_BUFFER )
1344                 {
1345                 /* Flush out information for old buffer. */
1346                 *(yy_c_buf_p) = (yy_hold_char);
1347                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1348                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1349                 }
1350
1351         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1352         yy_load_buffer_state( );
1353
1354         /* We don't actually know whether we did this switch during
1355          * EOF (yywrap()) processing, but the only time this flag
1356          * is looked at is after yywrap() is called, so it's safe
1357          * to go ahead and always set it.
1358          */
1359         (yy_did_buffer_switch_on_eof) = 1;
1360 }
1361
1362 static void yy_load_buffer_state  (void)
1363 {
1364         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
1365         (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
1366         yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
1367         (yy_hold_char) = *(yy_c_buf_p);
1368 }
1369
1370 /** Allocate and initialize an input buffer state.
1371  * @param file A readable stream.
1372  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1373  *
1374  * @return the allocated buffer state.
1375  */
1376     YY_BUFFER_STATE yy_create_buffer  (FILE * file, int  size )
1377 {
1378         YY_BUFFER_STATE b;
1379
1380         b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state )  );
1381         if ( ! b )
1382                 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1383
1384         b->yy_buf_size = size;
1385
1386         /* yy_ch_buf has to be 2 characters longer than the size given because
1387          * we need to put in 2 end-of-buffer characters.
1388          */
1389         b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2  );
1390         if ( ! b->yy_ch_buf )
1391                 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
1392
1393         b->yy_is_our_buffer = 1;
1394
1395         yy_init_buffer(b,file );
1396
1397         return b;
1398 }
1399
1400 /** Destroy the buffer.
1401  * @param b a buffer created with yy_create_buffer()
1402  *
1403  */
1404     void yy_delete_buffer (YY_BUFFER_STATE  b )
1405 {
1406
1407         if ( ! b )
1408                 return;
1409
1410         if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
1411                 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
1412
1413         if ( b->yy_is_our_buffer )
1414                 yyfree((void *) b->yy_ch_buf  );
1415
1416         yyfree((void *) b  );
1417 }
1418
1419 #ifndef __cplusplus
1420 extern int isatty (int );
1421 #endif /* __cplusplus */
1422
1423 /* Initializes or reinitializes a buffer.
1424  * This function is sometimes called more than once on the same buffer,
1425  * such as during a yyrestart() or at EOF.
1426  */
1427     static void yy_init_buffer  (YY_BUFFER_STATE  b, FILE * file )
1428
1429 {
1430         int oerrno = errno;
1431
1432         yy_flush_buffer(b );
1433
1434         b->yy_input_file = file;
1435         b->yy_fill_buffer = 1;
1436
1437     /* If b is the current buffer, then yy_init_buffer was _probably_
1438      * called from yyrestart() or through yy_get_next_buffer.
1439      * In that case, we don't want to reset the lineno or column.
1440      */
1441     if (b != YY_CURRENT_BUFFER){
1442         b->yy_bs_lineno = 1;
1443         b->yy_bs_column = 0;
1444     }
1445
1446         b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
1447
1448         errno = oerrno;
1449 }
1450
1451 /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
1452  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1453  *
1454  */
1455     void yy_flush_buffer (YY_BUFFER_STATE  b )
1456 {
1457         if ( ! b )
1458                 return;
1459
1460         b->yy_n_chars = 0;
1461
1462         /* We always need two end-of-buffer characters.  The first causes
1463          * a transition to the end-of-buffer state.  The second causes
1464          * a jam in that state.
1465          */
1466         b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
1467         b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
1468
1469         b->yy_buf_pos = &b->yy_ch_buf[0];
1470
1471         b->yy_at_bol = 1;
1472         b->yy_buffer_status = YY_BUFFER_NEW;
1473
1474         if ( b == YY_CURRENT_BUFFER )
1475                 yy_load_buffer_state( );
1476 }
1477
1478 /** Pushes the new state onto the stack. The new state becomes
1479  *  the current state. This function will allocate the stack
1480  *  if necessary.
1481  *  @param new_buffer The new state.
1482  *
1483  */
1484 void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
1485 {
1486         if (new_buffer == NULL)
1487                 return;
1488
1489         yyensure_buffer_stack();
1490
1491         /* This block is copied from yy_switch_to_buffer. */
1492         if ( YY_CURRENT_BUFFER )
1493                 {
1494                 /* Flush out information for old buffer. */
1495                 *(yy_c_buf_p) = (yy_hold_char);
1496                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
1497                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
1498                 }
1499
1500         /* Only push if top exists. Otherwise, replace top. */
1501         if (YY_CURRENT_BUFFER)
1502                 (yy_buffer_stack_top)++;
1503         YY_CURRENT_BUFFER_LVALUE = new_buffer;
1504
1505         /* copied from yy_switch_to_buffer. */
1506         yy_load_buffer_state( );
1507         (yy_did_buffer_switch_on_eof) = 1;
1508 }
1509
1510 /** Removes and deletes the top of the stack, if present.
1511  *  The next element becomes the new top.
1512  *
1513  */
1514 void yypop_buffer_state (void)
1515 {
1516         if (!YY_CURRENT_BUFFER)
1517                 return;
1518
1519         yy_delete_buffer(YY_CURRENT_BUFFER );
1520         YY_CURRENT_BUFFER_LVALUE = NULL;
1521         if ((yy_buffer_stack_top) > 0)
1522                 --(yy_buffer_stack_top);
1523
1524         if (YY_CURRENT_BUFFER) {
1525                 yy_load_buffer_state( );
1526                 (yy_did_buffer_switch_on_eof) = 1;
1527         }
1528 }
1529
1530 /* Allocates the stack if it does not exist.
1531  *  Guarantees space for at least one push.
1532  */
1533 static void yyensure_buffer_stack (void)
1534 {
1535         int num_to_alloc;
1536
1537         if (!(yy_buffer_stack)) {
1538
1539                 /* First allocation is just for 2 elements, since we don't know if this
1540                  * scanner will even need a stack. We use 2 instead of 1 to avoid an
1541                  * immediate realloc on the next call.
1542          */
1543                 num_to_alloc = 1;
1544                 (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
1545                                                                 (num_to_alloc * sizeof(struct yy_buffer_state*)
1546                                                                 );
1547                 if ( ! (yy_buffer_stack) )
1548                         YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
1549
1550                 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
1551
1552                 (yy_buffer_stack_max) = num_to_alloc;
1553                 (yy_buffer_stack_top) = 0;
1554                 return;
1555         }
1556
1557         if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
1558
1559                 /* Increase the buffer to prepare for a possible push. */
1560                 int grow_size = 8 /* arbitrary grow size */;
1561
1562                 num_to_alloc = (yy_buffer_stack_max) + grow_size;
1563                 (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc
1564                                                                 ((yy_buffer_stack),
1565                                                                 num_to_alloc * sizeof(struct yy_buffer_state*)
1566                                                                 );
1567                 if ( ! (yy_buffer_stack) )
1568                         YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
1569
1570                 /* zero only the new slots.*/
1571                 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
1572                 (yy_buffer_stack_max) = num_to_alloc;
1573         }
1574 }
1575
1576 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1577  * @param base the character buffer
1578  * @param size the size in bytes of the character buffer
1579  *
1580  * @return the newly allocated buffer state object.
1581  */
1582 YY_BUFFER_STATE yy_scan_buffer  (char * base, yy_size_t  size )
1583 {
1584         YY_BUFFER_STATE b;
1585
1586         if ( size < 2 ||
1587              base[size-2] != YY_END_OF_BUFFER_CHAR ||
1588              base[size-1] != YY_END_OF_BUFFER_CHAR )
1589                 /* They forgot to leave room for the EOB's. */
1590                 return 0;
1591
1592         b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state )  );
1593         if ( ! b )
1594                 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
1595
1596         b->yy_buf_size = size - 2;      /* "- 2" to take care of EOB's */
1597         b->yy_buf_pos = b->yy_ch_buf = base;
1598         b->yy_is_our_buffer = 0;
1599         b->yy_input_file = 0;
1600         b->yy_n_chars = b->yy_buf_size;
1601         b->yy_is_interactive = 0;
1602         b->yy_at_bol = 1;
1603         b->yy_fill_buffer = 0;
1604         b->yy_buffer_status = YY_BUFFER_NEW;
1605
1606         yy_switch_to_buffer(b  );
1607
1608         return b;
1609 }
1610
1611 /** Setup the input buffer state to scan a string. The next call to yylex() will
1612  * scan from a @e copy of @a str.
1613  * @param yystr a NUL-terminated string to scan
1614  *
1615  * @return the newly allocated buffer state object.
1616  * @note If you want to scan bytes that may contain NUL values, then use
1617  *       yy_scan_bytes() instead.
1618  */
1619 YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
1620 {
1621
1622         return yy_scan_bytes(yystr,strlen(yystr) );
1623 }
1624
1625 /** Setup the input buffer state to scan the given bytes. The next call to yylex() will
1626  * scan from a @e copy of @a bytes.
1627  * @param bytes the byte buffer to scan
1628  * @param len the number of bytes in the buffer pointed to by @a bytes.
1629  *
1630  * @return the newly allocated buffer state object.
1631  */
1632 YY_BUFFER_STATE yy_scan_bytes  (yyconst char * yybytes, int  _yybytes_len )
1633 {
1634         YY_BUFFER_STATE b;
1635         char *buf;
1636         yy_size_t n;
1637         int i;
1638
1639         /* Get memory for full buffer, including space for trailing EOB's. */
1640         n = _yybytes_len + 2;
1641         buf = (char *) yyalloc(n  );
1642         if ( ! buf )
1643                 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
1644
1645         for ( i = 0; i < _yybytes_len; ++i )
1646                 buf[i] = yybytes[i];
1647
1648         buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
1649
1650         b = yy_scan_buffer(buf,n );
1651         if ( ! b )
1652                 YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
1653
1654         /* It's okay to grow etc. this buffer, and we should throw it
1655          * away when we're done.
1656          */
1657         b->yy_is_our_buffer = 1;
1658
1659         return b;
1660 }
1661
1662 #ifndef YY_EXIT_FAILURE
1663 #define YY_EXIT_FAILURE 2
1664 #endif
1665
1666 static void yy_fatal_error (yyconst char* msg )
1667 {
1668         (void) fprintf( stderr, "%s\n", msg );
1669         exit( YY_EXIT_FAILURE );
1670 }
1671
1672 /* Redefine yyless() so it works in section 3 code. */
1673
1674 #undef yyless
1675 #define yyless(n) \
1676         do \
1677                 { \
1678                 /* Undo effects of setting up yytext. */ \
1679         int yyless_macro_arg = (n); \
1680         YY_LESS_LINENO(yyless_macro_arg);\
1681                 yytext[yyleng] = (yy_hold_char); \
1682                 (yy_c_buf_p) = yytext + yyless_macro_arg; \
1683                 (yy_hold_char) = *(yy_c_buf_p); \
1684                 *(yy_c_buf_p) = '\0'; \
1685                 yyleng = yyless_macro_arg; \
1686                 } \
1687         while ( 0 )
1688
1689 /* Accessor  methods (get/set functions) to struct members. */
1690
1691 /** Get the current line number.
1692  *
1693  */
1694 int yyget_lineno  (void)
1695 {
1696
1697     return yylineno;
1698 }
1699
1700 /** Get the input stream.
1701  *
1702  */
1703 FILE *yyget_in  (void)
1704 {
1705         return yyin;
1706 }
1707
1708 /** Get the output stream.
1709  *
1710  */
1711 FILE *yyget_out  (void)
1712 {
1713         return yyout;
1714 }
1715
1716 /** Get the length of the current token.
1717  *
1718  */
1719 int yyget_leng  (void)
1720 {
1721         return yyleng;
1722 }
1723
1724 /** Get the current token.
1725  *
1726  */
1727
1728 char *yyget_text  (void)
1729 {
1730         return yytext;
1731 }
1732
1733 /** Set the current line number.
1734  * @param line_number
1735  *
1736  */
1737 void yyset_lineno (int  line_number )
1738 {
1739
1740     yylineno = line_number;
1741 }
1742
1743 /** Set the input stream. This does not discard the current
1744  * input buffer.
1745  * @param in_str A readable stream.
1746  *
1747  * @see yy_switch_to_buffer
1748  */
1749 void yyset_in (FILE *  in_str )
1750 {
1751         yyin = in_str ;
1752 }
1753
1754 void yyset_out (FILE *  out_str )
1755 {
1756         yyout = out_str ;
1757 }
1758
1759 int yyget_debug  (void)
1760 {
1761         return yy_flex_debug;
1762 }
1763
1764 void yyset_debug (int  bdebug )
1765 {
1766         yy_flex_debug = bdebug ;
1767 }
1768
1769 static int yy_init_globals (void)
1770 {
1771         /* Initialization is the same as for the non-reentrant scanner.
1772      * This function is called from yylex_destroy(), so don't allocate here.
1773      */
1774
1775     (yy_buffer_stack) = 0;
1776     (yy_buffer_stack_top) = 0;
1777     (yy_buffer_stack_max) = 0;
1778     (yy_c_buf_p) = (char *) 0;
1779     (yy_init) = 0;
1780     (yy_start) = 0;
1781
1782 /* Defined in main.c */
1783 #ifdef YY_STDINIT
1784     yyin = stdin;
1785     yyout = stdout;
1786 #else
1787     yyin = (FILE *) 0;
1788     yyout = (FILE *) 0;
1789 #endif
1790
1791     /* For future reference: Set errno on error, since we are called by
1792      * yylex_init()
1793      */
1794     return 0;
1795 }
1796
1797 /* yylex_destroy is for both reentrant and non-reentrant scanners. */
1798 int yylex_destroy  (void)
1799 {
1800
1801     /* Pop the buffer stack, destroying each element. */
1802         while(YY_CURRENT_BUFFER){
1803                 yy_delete_buffer(YY_CURRENT_BUFFER  );
1804                 YY_CURRENT_BUFFER_LVALUE = NULL;
1805                 yypop_buffer_state();
1806         }
1807
1808         /* Destroy the stack itself. */
1809         yyfree((yy_buffer_stack) );
1810         (yy_buffer_stack) = NULL;
1811
1812     /* Reset the globals. This is important in a non-reentrant scanner so the next time
1813      * yylex() is called, initialization will occur. */
1814     yy_init_globals( );
1815
1816     return 0;
1817 }
1818
1819 /*
1820  * Internal utility routines.
1821  */
1822
1823 #ifndef yytext_ptr
1824 static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
1825 {
1826         register int i;
1827         for ( i = 0; i < n; ++i )
1828                 s1[i] = s2[i];
1829 }
1830 #endif
1831
1832 #ifdef YY_NEED_STRLEN
1833 static int yy_flex_strlen (yyconst char * s )
1834 {
1835         register int n;
1836         for ( n = 0; s[n]; ++n )
1837                 ;
1838
1839         return n;
1840 }
1841 #endif
1842
1843 void *yyalloc (yy_size_t  size )
1844 {
1845         return (void *) malloc( size );
1846 }
1847
1848 void *yyrealloc  (void * ptr, yy_size_t  size )
1849 {
1850         /* The cast to (char *) in the following accommodates both
1851          * implementations that use char* generic pointers, and those
1852          * that use void* generic pointers.  It works with the latter
1853          * because both ANSI C and C++ allow castless assignment from
1854          * any pointer type to void*, and deal with argument conversions
1855          * as though doing an assignment.
1856          */
1857         return (void *) realloc( (char *) ptr, size );
1858 }
1859
1860 void yyfree (void * ptr )
1861 {
1862         free( (char *) ptr );   /* see yyrealloc() for (char *) cast */
1863 }
1864
1865 #define YYTABLES_NAME "yytables"
1866
1867 #line 85 "sel-lex.l"
1868
1869
1870
1871 static char *
1872 handle_string(void)
1873 {
1874     char x[1024];
1875     int i = 0;
1876     int c;
1877     int quote = 0;
1878     while((c = input()) != EOF){
1879         if(quote) {
1880             x[i++] = '\\';
1881             x[i++] = c;
1882             quote = 0;
1883             continue;
1884         }
1885         if(c == '\n'){
1886             _hx509_sel_yyerror("unterminated string");
1887             lineno++;
1888             break;
1889         }
1890         if(c == '\\'){
1891             quote++;
1892             continue;
1893         }
1894         if(c == '\"')
1895             break;
1896         x[i++] = c;
1897     }
1898     x[i] = '\0';
1899     return strdup(x);
1900 }
1901
1902 int
1903 yywrap ()
1904 {
1905      return 1;
1906 }
1907
1908 static int
1909 lex_input(char *buf, int max_size)
1910 {
1911     int n;
1912
1913     n = _hx509_expr_input.length - _hx509_expr_input.offset;
1914     if (max_size < n)
1915         n = max_size;
1916     if (n <= 0)
1917         return YY_NULL;
1918
1919     memcpy(buf, _hx509_expr_input.buf + _hx509_expr_input.offset, n);
1920     _hx509_expr_input.offset += n;
1921
1922     return n;
1923 }