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 f * 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
33 int 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
44 YY_BUFFER_STATE include_stack[MAX_INCLUDE_DEPTH];
45 int 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
87 int main(int argc, char** argv);
88
89 int
main(int argc,char ** argv)90 main ( 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