external/bsd/flex/dist/tests/test-include-by-push/scanner.l

   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 %}
  33
  34 %option 8bit outfile="scanner.c" prefix="test"
  35 %option nounput nomain noyywrap
  36 %option warn
  37
  38 %x GET_FILENAME
  39
  40 %%
  41
  42 <INITIAL>{
  43 ^"#include"[[:blank:]]+"<"  { BEGIN(GET_FILENAME); }
  44 .|\n      { ECHO; }
  45 }
  46
  47 <GET_FILENAME>{
  48 [[:alnum:]_.-]+>  {
  49      /* recurse */
  50     yytext[yyleng-1]='\0';
  51     if((yyin=fopen(yytext,"r"))==NULL) {
  52         fprintf(stderr,"*** Error: Could not open include file \"%s\".\n",yytext);
  53         yyterminate();
  54     }
  55     yypush_buffer_state( yy_create_buffer( yyin, YY_BUF_SIZE ));
  56     BEGIN(0);
  57     }
  58 .|\n  {
  59     fprintf(stderr,"Invalid input \"%s\".\n", yytext);
  60     yyterminate();
  61    }
  62 }
  63
  64 <<EOF>> {
  65            fclose(yyin);
  66            yypop_buffer_state();
  67            if(!YY_CURRENT_BUFFER)
  68                yyterminate();
  69         }
  70
  71 %%
  72
  73 int main(int argc, char** argv);
  74
  75 int
  76 main ( int argc, char** argv )
  77 {
  78     FILE * fp;
  79     if( argc != 2 ) {
  80         fprintf(stderr,"*** Error: Must specifiy one filename.\n");
  81         exit(-1);
  82     }
  83     if((fp=fopen(argv[1],"r"))==NULL) {
  84         fprintf(stderr,"*** Error: fopen(%s) failed.\n",argv[1]);
  85         exit(-1);
  86     }
  87     yyin = fp;
  88     yyout = stdout;
  89     yylex();
  90     printf("TEST RETURNING OK.\n");
  91     return 0;
  92 }