1 /* 2 * This file is part of flex. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions 6 * are met: 7 * 8 * 1. Redistributions of source code must retain the above copyright 9 * notice, this list of conditions and the following disclaimer. 10 * 2. Redistributions in binary form must reproduce the above copyright 11 * notice, this list of conditions and the following disclaimer in the 12 * documentation and/or other materials provided with the distribution. 13 * 14 * Neither the name of the University nor the names of its contributors 15 * may be used to endorse or promote products derived from this software 16 * without specific prior written permission. 17 * 18 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR 19 * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED 20 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 21 * PURPOSE. 22 */ 23 24 %{ 25 #include <stdio.h> 26 #include <stdlib.h> 27 #include "config.h" 28 29 %} 30 31 %option 8bit prefix="test" 32 %option nounput nomain noyywrap 33 %option warn reject 34 35 36 %% 37 38 . { REJECT; } 39 .|\n ; 40 41 %% 42 43 int main ( int argc, char** argv ) 44 { 45 FILE* fp = NULL; 46 void *yyscanner=0; 47 M4_YY_DECL_GUTS_VAR(); 48 49 #ifdef TEST_IS_REENTRANT 50 yylex_init(&yyscanner); 51 #endif 52 53 #ifdef TEST_HAS_TABLES_EXTERNAL 54 if((fp = fopen(argv[1],"r"))== NULL) 55 YY_FATAL_ERROR("could not open tables file for reading"); 56 57 if(yytables_fload(fp M4_YY_CALL_LAST_ARG) < 0) 58 YY_FATAL_ERROR("yytables_fload returned < 0"); 59 if(M4_YY_TABLES_VERIFY) 60 exit(0); 61 #endif 62 63 if(argc > 2){ 64 if((fp = fopen(argv[2],"r"))== NULL) 65 YY_FATAL_ERROR("could not open input file for reading"); 66 yyin = fp; 67 } 68 while(yylex(M4_YY_CALL_ONLY_ARG) != 0) 69 ; 70 71 #ifdef TEST_HAS_TABLES_EXTERNAL 72 yytables_destroy(M4_YY_CALL_ONLY_ARG); 73 #endif 74 yylex_destroy(M4_YY_CALL_ONLY_ARG); 75 76 if(argc < 0) /* silence the compiler */ 77 yyscanner = (void*)fp; 78 79 return 0; 80 } 81