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
6f * 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#define MAX_INCLUDE_DEPTH 10
44YY_BUFFER_STATE include_stack[MAX_INCLUDE_DEPTH];
45int include_stack_ptr = 0;
46%}
47%%
48
49<INITIAL>{
50^"#include"[[:blank:]]+"<"  { BEGIN(GET_FILENAME); }
51.|\n      { ECHO; }
52}
53
54<GET_FILENAME>{
55[[:alnum:]_.-]+>  {
56     /* recurse */
57    yytext[yyleng-1]='\0';
58    include_stack[include_stack_ptr++] = YY_CURRENT_BUFFER;
59    if((yyin=fopen(yytext,"r"))==NULL) {
60        fprintf(stderr,"*** Error: Could not open include file \"%s\".\n",yytext);
61        error = 1;
62        yyterminate();
63    }
64    yy_switch_to_buffer( yy_create_buffer( yyin, YY_BUF_SIZE ));
65    BEGIN(0);
66    }
67.|\n  {
68    fprintf(stderr,"Invalid input \"%s\".\n", yytext);
69    error = 1;
70    yyterminate();
71   }
72}
73
74<<EOF>> {
75       if ( --include_stack_ptr < 0 ) {
76           yyterminate();
77       }
78       else {
79            fclose(yyin);
80           yy_delete_buffer( YY_CURRENT_BUFFER );
81           yy_switch_to_buffer( include_stack[include_stack_ptr] );
82       }
83   }
84
85%%
86
87int main(int argc, char** argv);
88
89int
90main ( int argc, char** argv )
91{
92    FILE * fp;
93    if( argc != 2 ) {
94        fprintf(stderr,"*** Error: Must specify one filename.\n");
95        exit(-1);
96    }
97    if((fp=fopen(argv[1],"r"))==NULL) {
98        fprintf(stderr,"*** Error: fopen(%s) failed.\n",argv[1]);
99        exit(-1);
100    }
101    yyin = fp;
102    yyout = stdout;
103    yylex();
104    if (!error)
105        printf("TEST RETURNING OK.\n");
106    else
107        exit(-1);
108    return 0;
109}
110