source4/heimdal/lib/hx509/lex.yy.c

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