src/scan-skel.l

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