Commit | Line | Data |
---|---|---|
be2a1a68 | 1 | /* Scan Bison Skeletons. -*- C -*- |
353d3eb6 | 2 | |
33a1fa4e | 3 | Copyright (C) 2001-2007, 2009-2012 Free Software Foundation, Inc. |
1239777d AD |
4 | |
5 | This file is part of Bison, the GNU Compiler Compiler. | |
6 | ||
f16b0819 PE |
7 | This program is free software: you can redistribute it and/or modify |
8 | it under the terms of the GNU General Public License as published by | |
9 | the Free Software Foundation, either version 3 of the License, or | |
10 | (at your option) any later version. | |
1239777d | 11 | |
f16b0819 PE |
12 | This program is distributed in the hope that it will be useful, |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
9b3add5b | 16 | |
1239777d | 17 | You should have received a copy of the GNU General Public License |
f16b0819 | 18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
9b3add5b | 19 | |
4521fcdf | 20 | %option nodefault noyywrap noinput nounput never-interactive debug |
aed7fd9b | 21 | %option prefix="skel_" outfile="lex.yy.c" |
9b3add5b | 22 | |
aed7fd9b | 23 | %{ |
4f6e011e PE |
24 | /* Work around a bug in flex 2.5.31. See Debian bug 333231 |
25 | <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=333231>. */ | |
26 | #undef skel_wrap | |
27 | #define skel_wrap() 1 | |
28 | ||
f9bfc42a JD |
29 | #define FLEX_PREFIX(Id) skel_ ## Id |
30 | #include "flex-scanner.h" | |
353d3eb6 | 31 | |
cb48f191 | 32 | #include <dirname.h> |
353d3eb6 PE |
33 | #include <error.h> |
34 | #include <quotearg.h> | |
35 | ||
db5c43f7 | 36 | #include "complain.h" |
536545f3 | 37 | #include "getargs.h" |
be2a1a68 | 38 | #include "files.h" |
04098407 | 39 | #include "scan-skel.h" |
dc9701e8 | 40 | |
08af01c2 JD |
41 | #define YY_DECL static int skel_lex (void) |
42 | YY_DECL; | |
06f01bc4 | 43 | |
c5e3e510 | 44 | #define QPUTS(String) \ |
68cae94e | 45 | fputs (quotearg_style (c_quoting_style, String), yyout) |
c5e3e510 | 46 | |
3eb82471 JD |
47 | static void at_directive_perform (int at_directive_argc, |
48 | char *at_directive_argv[], | |
49 | char **outnamep, int *out_linenop); | |
50 | static void fail_for_at_directive_too_many_args (char const *at_directive_name); | |
51 | static void fail_for_at_directive_too_few_args (char const *at_directive_name); | |
08af01c2 | 52 | static void fail_for_invalid_at (char const *at); |
aed7fd9b | 53 | %} |
08af01c2 | 54 | |
3eb82471 | 55 | %x SC_AT_DIRECTIVE_ARGS |
08af01c2 JD |
56 | %x SC_AT_DIRECTIVE_SKIP_WS |
57 | ||
9b3add5b | 58 | %% |
e9683cfd PE |
59 | |
60 | %{ | |
77bb73e7 | 61 | int out_lineno PACIFY_CC (= 0); |
e9683cfd | 62 | char *outname = NULL; |
3eb82471 JD |
63 | |
64 | /* Currently, only the @warn, @complain, @fatal, @warn_at, @complain_at, and | |
65 | @fatal_at directives take multiple arguments, and the last three already | |
66 | can't take more than 7. at_directive_argv[0] is the directive name. */ | |
67 | #define AT_DIRECTIVE_ARGC_MAX 8 | |
68 | int at_directive_argc = 0; | |
69 | char *at_directive_argv[AT_DIRECTIVE_ARGC_MAX]; | |
e9683cfd PE |
70 | %} |
71 | ||
7dc4a694 JD |
72 | "@@" fputc ('@', yyout); |
73 | "@{" fputc ('[', yyout); | |
74 | "@}" fputc (']', yyout); | |
33a1fa4e | 75 | "@`" /* Empty. Used by b4_cat in ../data/bison.m4. */ |
7dc4a694 | 76 | @\n /* Likewise. */ |
e9683cfd | 77 | |
3fc65ead | 78 | "@oline@" fprintf (yyout, "%d", out_lineno + 1); |
c5e3e510 | 79 | "@ofile@" QPUTS (outname); |
bd9d212b | 80 | |
08af01c2 JD |
81 | @[a-z_]+"(" { |
82 | yytext[yyleng-1] = '\0'; | |
3eb82471 JD |
83 | obstack_grow (&obstack_for_string, yytext, yyleng); |
84 | at_directive_argv[at_directive_argc++] = | |
85 | obstack_finish (&obstack_for_string); | |
86 | BEGIN SC_AT_DIRECTIVE_ARGS; | |
bd9d212b | 87 | } |
e9683cfd | 88 | |
3fc16193 | 89 | /* This pattern must not match more than the previous @ patterns. */ |
7dc4a694 | 90 | @[^@{}`(\n]* fail_for_invalid_at (yytext); |
3fc65ead | 91 | \n out_lineno++; ECHO; |
68e93ad5 | 92 | [^@\n]+ ECHO; |
e9683cfd | 93 | |
08af01c2 | 94 | <INITIAL><<EOF>> { |
7ec5ab2e PE |
95 | if (outname) |
96 | { | |
97 | free (outname); | |
98 | xfclose (yyout); | |
99 | } | |
100 | return EOF; | |
101 | } | |
08af01c2 | 102 | |
3eb82471 | 103 | <SC_AT_DIRECTIVE_ARGS>{ |
5f340b48 | 104 | [^@]+ { STRING_GROW; } |
08af01c2 | 105 | |
5f340b48 JD |
106 | "@@" { obstack_1grow (&obstack_for_string, '@'); } |
107 | "@{" { obstack_1grow (&obstack_for_string, '['); } | |
108 | "@}" { obstack_1grow (&obstack_for_string, ']'); } | |
47fa5747 | 109 | "@`" /* Empty. Useful for starting an argument |
08af01c2 | 110 | that begins with whitespace. */ |
7dc4a694 | 111 | @\n /* Empty. */ |
08af01c2 JD |
112 | |
113 | @[,)] { | |
114 | if (at_directive_argc >= AT_DIRECTIVE_ARGC_MAX) | |
3eb82471 | 115 | fail_for_at_directive_too_many_args (at_directive_argv[0]); |
08af01c2 JD |
116 | |
117 | obstack_1grow (&obstack_for_string, '\0'); | |
118 | at_directive_argv[at_directive_argc++] = | |
119 | obstack_finish (&obstack_for_string); | |
120 | ||
121 | /* Like M4, skip whitespace after a comma. */ | |
122 | if (yytext[1] == ',') | |
123 | BEGIN SC_AT_DIRECTIVE_SKIP_WS; | |
124 | else | |
125 | { | |
3eb82471 JD |
126 | at_directive_perform (at_directive_argc, at_directive_argv, |
127 | &outname, &out_lineno); | |
08af01c2 JD |
128 | obstack_free (&obstack_for_string, at_directive_argv[0]); |
129 | at_directive_argc = 0; | |
08af01c2 JD |
130 | BEGIN INITIAL; |
131 | } | |
132 | } | |
133 | ||
134 | @.? { fail_for_invalid_at (yytext); } | |
135 | } | |
136 | ||
137 | <SC_AT_DIRECTIVE_SKIP_WS>{ | |
3fc65ead | 138 | [ \t\r\n] |
3eb82471 | 139 | . { yyless (0); BEGIN SC_AT_DIRECTIVE_ARGS; } |
08af01c2 JD |
140 | } |
141 | ||
3eb82471 | 142 | <SC_AT_DIRECTIVE_ARGS,SC_AT_DIRECTIVE_SKIP_WS>{ |
08af01c2 | 143 | <<EOF>> { |
3eb82471 | 144 | fatal (_("unclosed %s directive in skeleton"), at_directive_argv[0]); |
08af01c2 JD |
145 | } |
146 | } | |
147 | ||
9b3add5b | 148 | %% |
536545f3 | 149 | |
2cdb2a7b PE |
150 | /*------------------------. |
151 | | Scan a Bison skeleton. | | |
152 | `------------------------*/ | |
536545f3 | 153 | |
536545f3 | 154 | void |
2cdb2a7b | 155 | scan_skel (FILE *in) |
536545f3 | 156 | { |
08af01c2 JD |
157 | static bool initialized = false; |
158 | if (!initialized) | |
159 | { | |
160 | initialized = true; | |
161 | obstack_init (&obstack_for_string); | |
162 | } | |
2cdb2a7b | 163 | skel_in = in; |
c5e3e510 | 164 | skel__flex_debug = trace_flag & trace_skeleton; |
536545f3 | 165 | skel_lex (); |
536545f3 | 166 | } |
bd9d212b | 167 | |
3fc65ead JD |
168 | void |
169 | skel_scanner_free (void) | |
170 | { | |
171 | obstack_free (&obstack_for_string, 0); | |
3eb82471 JD |
172 | /* Reclaim Flex's buffers. */ |
173 | yylex_destroy (); | |
3fc65ead JD |
174 | } |
175 | ||
47fa5747 JD |
176 | static void |
177 | at_directive_perform (int at_directive_argc, | |
178 | char *at_directive_argv[], | |
179 | char **outnamep, int *out_linenop) | |
3fc65ead | 180 | { |
3eb82471 | 181 | if (0 == strcmp (at_directive_argv[0], "@basename")) |
3fc65ead | 182 | { |
3eb82471 JD |
183 | if (at_directive_argc > 2) |
184 | fail_for_at_directive_too_many_args (at_directive_argv[0]); | |
185 | fputs (last_component (at_directive_argv[1]), yyout); | |
3fc65ead | 186 | } |
3eb82471 JD |
187 | else if (0 == strcmp (at_directive_argv[0], "@warn") |
188 | || 0 == strcmp (at_directive_argv[0], "@complain") | |
189 | || 0 == strcmp (at_directive_argv[0], "@fatal")) | |
3fc65ead JD |
190 | { |
191 | void (*func)(char const *, ...); | |
3eb82471 | 192 | switch (at_directive_argv[0][1]) |
3fc65ead JD |
193 | { |
194 | case 'w': func = warn; break; | |
195 | case 'c': func = complain; break; | |
196 | case 'f': func = fatal; break; | |
3eb82471 | 197 | default: aver (false); break; |
3fc65ead JD |
198 | } |
199 | switch (at_directive_argc) | |
200 | { | |
87b0a375 | 201 | case 2: |
3eb82471 | 202 | func (_(at_directive_argv[1])); |
3fc65ead | 203 | break; |
87b0a375 | 204 | case 3: |
3eb82471 | 205 | func (_(at_directive_argv[1]), at_directive_argv[2]); |
3fc65ead | 206 | break; |
87b0a375 | 207 | case 4: |
3eb82471 JD |
208 | func (_(at_directive_argv[1]), at_directive_argv[2], |
209 | at_directive_argv[3]); | |
3fc65ead | 210 | break; |
87b0a375 | 211 | case 5: |
3eb82471 JD |
212 | func (_(at_directive_argv[1]), at_directive_argv[2], |
213 | at_directive_argv[3], at_directive_argv[4]); | |
3fc65ead | 214 | break; |
87b0a375 | 215 | case 6: |
3eb82471 JD |
216 | func (_(at_directive_argv[1]), at_directive_argv[2], |
217 | at_directive_argv[3], at_directive_argv[4], | |
218 | at_directive_argv[5]); | |
3fc65ead JD |
219 | break; |
220 | default: | |
3eb82471 | 221 | fail_for_at_directive_too_many_args (at_directive_argv[0]); |
3fc65ead JD |
222 | break; |
223 | } | |
224 | } | |
3eb82471 JD |
225 | else if (0 == strcmp (at_directive_argv[0], "@warn_at") |
226 | || 0 == strcmp (at_directive_argv[0], "@complain_at") | |
227 | || 0 == strcmp (at_directive_argv[0], "@fatal_at")) | |
3fc65ead JD |
228 | { |
229 | void (*func)(location, char const *, ...); | |
230 | location loc; | |
3eb82471 JD |
231 | if (at_directive_argc < 4) |
232 | fail_for_at_directive_too_few_args (at_directive_argv[0]); | |
233 | switch (at_directive_argv[0][1]) | |
3fc65ead JD |
234 | { |
235 | case 'w': func = warn_at; break; | |
236 | case 'c': func = complain_at; break; | |
237 | case 'f': func = fatal_at; break; | |
3eb82471 | 238 | default: aver (false); break; |
3fc65ead | 239 | } |
3eb82471 JD |
240 | boundary_set_from_string (&loc.start, at_directive_argv[1]); |
241 | boundary_set_from_string (&loc.end, at_directive_argv[2]); | |
3fc65ead JD |
242 | switch (at_directive_argc) |
243 | { | |
87b0a375 | 244 | case 4: |
3eb82471 | 245 | func (loc, _(at_directive_argv[3])); |
3fc65ead | 246 | break; |
87b0a375 | 247 | case 5: |
3eb82471 | 248 | func (loc, _(at_directive_argv[3]), at_directive_argv[4]); |
3fc65ead | 249 | break; |
87b0a375 | 250 | case 6: |
3eb82471 JD |
251 | func (loc, _(at_directive_argv[3]), at_directive_argv[4], |
252 | at_directive_argv[5]); | |
3fc65ead | 253 | break; |
87b0a375 | 254 | case 7: |
3eb82471 JD |
255 | func (loc, _(at_directive_argv[3]), at_directive_argv[4], |
256 | at_directive_argv[5], at_directive_argv[6]); | |
3fc65ead | 257 | break; |
87b0a375 | 258 | case 8: |
3eb82471 JD |
259 | func (loc, _(at_directive_argv[3]), at_directive_argv[4], |
260 | at_directive_argv[5], at_directive_argv[6], | |
261 | at_directive_argv[7]); | |
3fc65ead JD |
262 | break; |
263 | default: | |
3eb82471 | 264 | fail_for_at_directive_too_many_args (at_directive_argv[0]); |
3fc65ead JD |
265 | break; |
266 | } | |
267 | } | |
3eb82471 | 268 | else if (0 == strcmp (at_directive_argv[0], "@output")) |
3fc65ead | 269 | { |
3eb82471 JD |
270 | if (at_directive_argc > 2) |
271 | fail_for_at_directive_too_many_args (at_directive_argv[0]); | |
3fc65ead JD |
272 | if (*outnamep) |
273 | { | |
274 | free (*outnamep); | |
275 | xfclose (yyout); | |
276 | } | |
3eb82471 | 277 | *outnamep = xstrdup (at_directive_argv[1]); |
47fa5747 | 278 | output_file_name_check (outnamep); |
3fc65ead JD |
279 | yyout = xfopen (*outnamep, "w"); |
280 | *out_linenop = 1; | |
281 | } | |
282 | else | |
3eb82471 | 283 | fail_for_invalid_at (at_directive_argv[0]); |
3fc65ead JD |
284 | } |
285 | ||
286 | static void | |
3eb82471 | 287 | fail_for_at_directive_too_few_args (char const *at_directive_name) |
3fc65ead JD |
288 | { |
289 | fatal (_("too few arguments for %s directive in skeleton"), | |
290 | at_directive_name); | |
291 | } | |
292 | ||
08af01c2 | 293 | static void |
3eb82471 | 294 | fail_for_at_directive_too_many_args (char const *at_directive_name) |
bd9d212b | 295 | { |
08af01c2 JD |
296 | fatal (_("too many arguments for %s directive in skeleton"), |
297 | at_directive_name); | |
298 | } | |
299 | ||
300 | static void | |
301 | fail_for_invalid_at (char const *at) | |
302 | { | |
303 | fatal ("invalid @ in skeleton: %s", at); | |
304 | } |