source: branches/samba-3.5.x/source4/heimdal/lib/hx509/sel-lex.c

Last change on this file was 414, checked in by Herwig Bauernfeind, 16 years ago

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