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/* A scanner file to build "scanner.c". 26 Input language is any text. 27 "#include <filename>" causes a buffer switch. 28 */ 29#include <stdio.h> 30#include <stdlib.h> 31#include "config.h" 32 33int error = 0; 34%} 35 36%option 8bit prefix="test" 37%option nounput nomain noyywrap noinput 38%option warn 39 40%x GET_FILENAME 41 42%% 43 44<INITIAL>{ 45^"#include"[[:blank:]]+"<" { BEGIN(GET_FILENAME); } 46.|\n { ECHO; } 47} 48 49<GET_FILENAME>{ 50[[:alnum:]_.-]+> { 51 /* recurse */ 52 yytext[yyleng-1]='\0'; 53 if((yyin=fopen(yytext,"r"))==NULL) { 54 fprintf(stderr,"*** Error: Could not open include file \"%s\".\n",yytext); 55 error = 1; 56 yyterminate(); 57 } 58 testpush_buffer_state( yy_create_buffer( yyin, YY_BUF_SIZE )); 59 BEGIN(0); 60 } 61.|\n { 62 fprintf(stderr,"Invalid input \"%s\".\n", yytext); 63 error = 1; 64 yyterminate(); 65 } 66} 67 68<<EOF>> { 69 fclose(yyin); 70 testpop_buffer_state(); 71 if(!YY_CURRENT_BUFFER) 72 yyterminate(); 73 } 74 75%% 76 77int main(int argc, char** argv); 78 79int 80main ( int argc, char** argv ) 81{ 82 FILE * fp; 83 if( argc != 2 ) { 84 fprintf(stderr,"*** Error: Must specify one filename.\n"); 85 exit(-1); 86 } 87 if((fp=fopen(argv[1],"r"))==NULL) { 88 fprintf(stderr,"*** Error: fopen(%s) failed.\n",argv[1]); 89 exit(-1); 90 } 91 yyin = fp; 92 yyout = stdout; 93 yylex(); 94 if (!error) 95 printf("TEST RETURNING OK.\n"); 96 else 97 exit(-1); 98 return 0; 99} 100