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