src/scan-skel.l

   1 /* Scan Bison Skeletons.                                       -*- C -*-
   2    Copyright (C) 2001, 2002  Free Software Foundation, Inc.
   3
   4    This file is part of Bison, the GNU Compiler Compiler.
   5
   6    Bison is free software; you can redistribute it and/or modify it
   7    under the terms of the GNU General Public License as published by
   8    the Free Software Foundation; either version 2, or (at your option)
   9    any later version.
  10
  11    Bison is distributed in the hope that it will be useful, but
  12    WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with Bison; see the file COPYING.  If not, write to the Free
  18    Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  19    02111-1307, USA.  */
  20
  21 %option nodefault noyywrap nounput never-interactive
  22 %option prefix="skel_" outfile="lex.yy.c"
  23
  24 %{
  25 #include "system.h"
  26 #include "quotearg.h"
  27 #include "error.h"
  28 #include "getargs.h"
  29 #include "files.h"
  30
  31 int skel_lex (void);
  32
  33 %}
  34 %%
  35
  36 %{
  37   int lineno IF_LINT (= 0);
  38   char *outname = NULL;
  39 %}
  40
  41 "@output ".*\n {
  42   char const *filename = yytext + sizeof "@output " - 1;
  43   yytext[yyleng - 1] = '\0';
  44
  45   if (*filename == '@')
  46     {
  47       if (strcmp (filename, "@output_header_name@") == 0)
  48         filename = spec_defines_file;
  49       else if (strcmp (filename, "@output_parser_name@") == 0)
  50         filename = parser_file_name;
  51       else
  52         abort ();
  53     }
  54
  55   XFREE (outname);
  56   outname = xstrdup (filename);
  57   yyout = xfopen (outname, "w");
  58   lineno = 1;
  59 }
  60
  61 "@@"       fputc ('@', yyout);
  62 "@{"       fputc ('[', yyout);
  63 "@}"       fputc (']', yyout);
  64
  65 "@oline@"  fprintf (yyout, "%d", lineno);
  66 "@ofile@"  fputs (quotearg_style (c_quoting_style, outname), yyout);
  67
  68 "@"        abort ();
  69 \n         lineno++; ECHO;
  70 .          ECHO;
  71
  72 <<EOF>>    xfclose (yyout); free (outname); return EOF;
  73 %%
  74
  75 /*------------------------.
  76 | Scan a Bison skeleton.  |
  77 `------------------------*/
  78
  79 void scan_skel (FILE *);
  80
  81 void
  82 scan_skel (FILE *in)
  83 {
  84   skel_in = in;
  85   skel_lex ();
  86
  87   /* Reclaim Flex's buffers.  */
  88   yy_delete_buffer (YY_CURRENT_BUFFER);
  89 }