source4/heimdal/lib/hx509/sel-lex.c

   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>
  44 typedef int8_t flex_int8_t;
  45 typedef uint8_t flex_uint8_t;
  46 typedef int16_t flex_int16_t;
  47 typedef uint16_t flex_uint16_t;
  48 typedef int32_t flex_int32_t;
  49 typedef uint32_t flex_uint32_t;
  50 #else
  51 typedef signed char flex_int8_t;
  52 typedef short int flex_int16_t;
  53 typedef int flex_int32_t;
  54 typedef unsigned char flex_uint8_t;
  55 typedef unsigned short int flex_uint16_t;
  56 typedef 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
 153 typedef struct yy_buffer_state *YY_BUFFER_STATE;
 154 #endif
 155
 156 extern int yyleng;
 157
 158 extern 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
 191 typedef size_t yy_size_t;
 192 #endif
 193
 194 #ifndef YY_STRUCT_YY_BUFFER_STATE
 195 #define YY_STRUCT_YY_BUFFER_STATE
 196 struct 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. */
 260 static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
 261 static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
 262 static 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. */
 280 static char yy_hold_char;
 281 static int yy_n_chars;          /* number of characters read into yy_ch_buf */
 282 int yyleng;
 283
 284 /* Points to current character in buffer. */
 285 static char *yy_c_buf_p = (char *) 0;
 286 static int yy_init = 0;         /* whether we need to initialize */
 287 static 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  */
 292 static int yy_did_buffer_switch_on_eof;
 293
 294 void yyrestart (FILE *input_file  );
 295 void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
 296 YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
 297 void yy_delete_buffer (YY_BUFFER_STATE b  );
 298 void yy_flush_buffer (YY_BUFFER_STATE b  );
 299 void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
 300 void yypop_buffer_state (void );
 301
 302 static void yyensure_buffer_stack (void );
 303 static void yy_load_buffer_state (void );
 304 static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );
 305
 306 #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
 307
 308 YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
 309 YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
 310 YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );
 311
 312 void *yyalloc (yy_size_t  );
 313 void *yyrealloc (void *,yy_size_t  );
 314 void 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
 342 typedef unsigned char YY_CHAR;
 343
 344 FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
 345
 346 typedef int yy_state_type;
 347
 348 extern int yylineno;
 349
 350 int yylineno = 1;
 351
 352 extern char *yytext;
 353 #define yytext_ptr yytext
 354
 355 static yy_state_type yy_get_previous_state (void );
 356 static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
 357 static int yy_get_next_buffer (void );
 358 static 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. */
 374 struct yy_trans_info
 375         {
 376         flex_int32_t yy_verify;
 377         flex_int32_t yy_nxt;
 378         };
 379 static 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
 387 static 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
 419 static 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
 426 static 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
 434 static 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
 442 static 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
 453 static 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
 464 static yy_state_type yy_last_accepting_state;
 465 static char *yy_last_accepting_cpos;
 466
 467 extern int yy_flex_debug;
 468 int 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
 477 char *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"
 527 unsigned lineno = 1;
 528
 529 static char * handle_string(void);
 530 static int lex_input(char *, int);
 531
 532 struct 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
 557 static 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
 565 extern "C" int yywrap (void );
 566 #else
 567 extern int yywrap (void );
 568 #endif
 569 #endif
 570
 571     static void yyunput (int c,char *buf_ptr  );
 572
 573 #ifndef yytext_ptr
 574 static void yy_flex_strncpy (char *,yyconst char *,int );
 575 #endif
 576
 577 #ifdef YY_NEED_STRLEN
 578 static int yy_flex_strlen (yyconst char * );
 579 #endif
 580
 581 #ifndef YY_NO_INPUT
 582
 583 #ifdef __cplusplus
 584 static int yyinput (void );
 585 #else
 586 static 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
 666 extern 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  */
 688 YY_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);
 738 yy_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
 758 yy_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
 769 do_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
 780 case 1:
 781 YY_RULE_SETUP
 782 #line 66 "sel-lex.l"
 783 { return kw_TRUE; }
 784         YY_BREAK
 785 case 2:
 786 YY_RULE_SETUP
 787 #line 67 "sel-lex.l"
 788 { return kw_FALSE; }
 789         YY_BREAK
 790 case 3:
 791 YY_RULE_SETUP
 792 #line 68 "sel-lex.l"
 793 { return kw_AND; }
 794         YY_BREAK
 795 case 4:
 796 YY_RULE_SETUP
 797 #line 69 "sel-lex.l"
 798 { return kw_OR; }
 799         YY_BREAK
 800 case 5:
 801 YY_RULE_SETUP
 802 #line 70 "sel-lex.l"
 803 { return kw_IN; }
 804         YY_BREAK
 805 case 6:
 806 YY_RULE_SETUP
 807 #line 71 "sel-lex.l"
 808 { return kw_TAILMATCH; }
 809         YY_BREAK
 810 case 7:
 811 YY_RULE_SETUP
 812 #line 73 "sel-lex.l"
 813 {
 814                           yylval.string = strdup ((const char *)yytext);
 815                           return IDENTIFIER;
 816                         }
 817         YY_BREAK
 818 case 8:
 819 YY_RULE_SETUP
 820 #line 77 "sel-lex.l"
 821 { yylval.string = handle_string(); return STRING; }
 822         YY_BREAK
 823 case 9:
 824 /* rule 9 can match eol */
 825 YY_RULE_SETUP
 826 #line 78 "sel-lex.l"
 827 { ++lineno; }
 828         YY_BREAK
 829 case 10:
 830 YY_RULE_SETUP
 831 #line 79 "sel-lex.l"
 832 { return *yytext; }
 833         YY_BREAK
 834 case 11:
 835 YY_RULE_SETUP
 836 #line 80 "sel-lex.l"
 837 ;
 838         YY_BREAK
 839 case 12:
 840 YY_RULE_SETUP
 841 #line 81 "sel-lex.l"
 842 ECHO;
 843         YY_BREAK
 844 #line 844 "heimdal/lib/hx509/sel-lex.c"
 845 case 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  */
 984 static 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
1337 static 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
1395 extern 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  */
1459 void 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  */
1489 void 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  */
1508 static 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  */
1557 YY_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  */
1594 YY_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  */
1607 YY_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
1641 static 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  */
1669 int yyget_lineno  (void)
1670 {
1671
1672     return yylineno;
1673 }
1674
1675 /** Get the input stream.
1676  *
1677  */
1678 FILE *yyget_in  (void)
1679 {
1680         return yyin;
1681 }
1682
1683 /** Get the output stream.
1684  *
1685  */
1686 FILE *yyget_out  (void)
1687 {
1688         return yyout;
1689 }
1690
1691 /** Get the length of the current token.
1692  *
1693  */
1694 int yyget_leng  (void)
1695 {
1696         return yyleng;
1697 }
1698
1699 /** Get the current token.
1700  *
1701  */
1702
1703 char *yyget_text  (void)
1704 {
1705         return yytext;
1706 }
1707
1708 /** Set the current line number.
1709  * @param line_number
1710  *
1711  */
1712 void 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  */
1724 void yyset_in (FILE *  in_str )
1725 {
1726         yyin = in_str ;
1727 }
1728
1729 void yyset_out (FILE *  out_str )
1730 {
1731         yyout = out_str ;
1732 }
1733
1734 int yyget_debug  (void)
1735 {
1736         return yy_flex_debug;
1737 }
1738
1739 void yyset_debug (int  bdebug )
1740 {
1741         yy_flex_debug = bdebug ;
1742 }
1743
1744 static 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. */
1773 int 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
1799 static 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
1808 static 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
1818 void *yyalloc (yy_size_t  size )
1819 {
1820         return (void *) malloc( size );
1821 }
1822
1823 void *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
1835 void 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
1846 static char *
1847 handle_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
1877 int
1878 yywrap ()
1879 {
1880      return 1;
1881 }
1882
1883 static int
1884 lex_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