]> git.saurik.com Git - bison.git/blame - src/scan-skel.l
* src/getargs.h, src/getargs.c (trace_e, trace_args, trace_types):
[bison.git] / src / scan-skel.l
CommitLineData
be2a1a68
AD
1/* Scan Bison Skeletons. -*- C -*-
2 Copyright (C) 2001, 2002 Free Software Foundation, Inc.
1239777d
AD
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.
9b3add5b 15
1239777d
AD
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. */
9b3add5b 20
c5e3e510 21%option nodefault noyywrap nounput never-interactive debug
aed7fd9b 22%option prefix="skel_" outfile="lex.yy.c"
9b3add5b 23
aed7fd9b
AD
24%{
25#include "system.h"
6e40b4eb 26#include "quotearg.h"
536545f3
AD
27#include "error.h"
28#include "getargs.h"
be2a1a68 29#include "files.h"
6e40b4eb 30
d33cb3ae 31int skel_lex (void);
6e40b4eb 32
c5e3e510
AD
33#define QPUTS(String) \
34 fputs (quotearg_style (c_quoting_style, (String)), yyout);
35
aed7fd9b 36%}
9b3add5b 37%%
e9683cfd
PE
38
39%{
40 int lineno IF_LINT (= 0);
41 char *outname = NULL;
42%}
43
44"@output ".*\n {
45 char const *filename = yytext + sizeof "@output " - 1;
46 yytext[yyleng - 1] = '\0';
47
48 if (*filename == '@')
49 {
50 if (strcmp (filename, "@output_header_name@") == 0)
51 filename = spec_defines_file;
52 else if (strcmp (filename, "@output_parser_name@") == 0)
53 filename = parser_file_name;
54 else
55 abort ();
56 }
57
58 XFREE (outname);
59 outname = xstrdup (filename);
60 yyout = xfopen (outname, "w");
61 lineno = 1;
62}
63
64"@@" fputc ('@', yyout);
65"@{" fputc ('[', yyout);
66"@}" fputc (']', yyout);
67
68"@oline@" fprintf (yyout, "%d", lineno);
c5e3e510
AD
69"@ofile@" QPUTS (outname);
70"@output_parser_name@" QPUTS (parser_file_name);
71"@output_header_name@" QPUTS (spec_defines_file);
e9683cfd
PE
72
73"@" abort ();
74\n lineno++; ECHO;
c5e3e510 75[^@\n]+ ECHO;
e9683cfd
PE
76
77<<EOF>> xfclose (yyout); free (outname); return EOF;
9b3add5b 78%%
536545f3 79
2cdb2a7b
PE
80/*------------------------.
81| Scan a Bison skeleton. |
82`------------------------*/
536545f3 83
2cdb2a7b 84void scan_skel (FILE *);
536545f3
AD
85
86void
2cdb2a7b 87scan_skel (FILE *in)
536545f3 88{
2cdb2a7b 89 skel_in = in;
c5e3e510 90 skel__flex_debug = trace_flag & trace_skeleton;
536545f3 91 skel_lex ();
536545f3
AD
92 /* Reclaim Flex's buffers. */
93 yy_delete_buffer (YY_CURRENT_BUFFER);
94}