1 /* Bison Action Scanner -*- C -*-
3 Copyright (C) 2006 Free Software Foundation, Inc.
5 This file is part of Bison, the GNU Compiler Compiler.
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 2 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
23 %option debug nodefault nounput noyywrap never-interactive
24 %option prefix="code_" outfile="lex.yy.c"
30 /* Work around a bug in flex 2.5.31. See Debian bug 333231
31 <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=333231>. */
35 #define FLEX_PREFIX(Id) code_ ## Id
37 #include "flex-scanner.h"
41 #include <get-errno.h>
44 #include "scan-code.h"
46 /* The current calling start condition: SC_RULE_ACTION or
48 # define YY_DECL const char *code_lex (int sc_context, symbol_list *rule)
51 #define YY_USER_ACTION location_compute (loc, &loc->end, yytext, yyleng);
53 static void handle_action_dollar (symbol_list *rule, char *cp,
55 static void handle_action_at (symbol_list *rule, char *cp, location at_loc);
56 static location the_location;
57 static location *loc = &the_location;
59 /* True if an untyped $$ or $n was seen. */
60 static bool untyped_var_seen;
62 /* C and C++ comments in code. */
63 %x SC_COMMENT SC_LINE_COMMENT
64 /* Strings and characters in code. */
65 %x SC_STRING SC_CHARACTER
66 /* Whether in a rule or symbol action. Specifies the translation
68 %x SC_RULE_ACTION SC_SYMBOL_ACTION
71 /* POSIX says that a tag must be both an id and a C union member, but
72 historically almost any character is allowed in a tag. We disallow
73 NUL and newline, as this simplifies our implementation. */
76 /* Zero or more instances of backslash-newline. Following GCC, allow
77 white space between the backslash and the newline. */
78 splice (\\[ \f\t\v]*\n)*
83 /* Nesting level of the current code in braces. */
84 int braces_level IF_LINT (= 0);
86 /* This scanner is special: it is invoked only once, henceforth
87 is expected to return only once. This initialization is
88 therefore done once per action to translate. */
89 assert (sc_context == SC_SYMBOL_ACTION
90 || sc_context == SC_RULE_ACTION
91 || sc_context == INITIAL);
95 /*------------------------------------------------------------.
96 | Scanning a C comment. The initial `/ *' is already eaten. |
97 `------------------------------------------------------------*/
101 "*"{splice}"/" STRING_GROW; BEGIN sc_context;
105 /*--------------------------------------------------------------.
106 | Scanning a line comment. The initial `//' is already eaten. |
107 `--------------------------------------------------------------*/
111 "\n" STRING_GROW; BEGIN sc_context;
112 {splice} STRING_GROW;
116 /*--------------------------------------------.
117 | Scanning user-code characters and strings. |
118 `--------------------------------------------*/
120 <SC_CHARACTER,SC_STRING>
122 {splice}|\\{splice}. STRING_GROW;
127 "'" STRING_GROW; BEGIN sc_context;
132 "\"" STRING_GROW; BEGIN sc_context;
136 <SC_RULE_ACTION,SC_SYMBOL_ACTION>{
151 BEGIN SC_LINE_COMMENT;
157 "$"("<"{tag}">")?(-?[0-9]+|"$") handle_action_dollar (rule, yytext, *loc);
158 "@"(-?[0-9]+|"$") handle_action_at (rule, yytext, *loc);
161 warn_at (*loc, _("stray `$'"));
162 obstack_sgrow (&obstack_for_string, "$][");
165 warn_at (*loc, _("stray `@'"));
166 obstack_sgrow (&obstack_for_string, "@@");
169 "{" STRING_GROW; ++braces_level;
171 bool outer_brace = --braces_level < 0;
173 /* As an undocumented Bison extension, append `;' before the last
174 brace in braced code, so that the user code can omit trailing
175 `;'. But do not append `;' if emulating Yacc, since Yacc does
178 FIXME: Bison should warn if a semicolon seems to be necessary
179 here, and should omit the semicolon if it seems unnecessary
180 (e.g., after ';', '{', or '}', each followed by comments or
181 white space). Such a warning shouldn't depend on --yacc; it
182 should depend on a new --pedantic option, which would cause
183 Bison to warn if it detects an extension to POSIX. --pedantic
184 should also diagnose other Bison extensions like %yacc.
185 Perhaps there should also be a GCC-style --pedantic-errors
186 option, so that such warnings are diagnosed as errors. */
187 if (outer_brace && ! yacc_flag)
188 obstack_1grow (&obstack_for_string, ';');
196 "$$" obstack_sgrow (&obstack_for_string, "]b4_dollar_dollar[");
197 "@$" obstack_sgrow (&obstack_for_string, "]b4_at_dollar[");
201 /*-----------------------------------------.
202 | Escape M4 quoting characters in C code. |
203 `-----------------------------------------*/
207 \$ obstack_sgrow (&obstack_for_string, "$][");
208 \@ obstack_sgrow (&obstack_for_string, "@@");
209 \[ obstack_sgrow (&obstack_for_string, "@{");
210 \] obstack_sgrow (&obstack_for_string, "@}");
213 /*-----------------------------------------------------.
214 | By default, grow the string obstack with the input. |
215 `-----------------------------------------------------*/
219 /* End of processing. */
221 obstack_1grow (&obstack_for_string, '\0');
222 return obstack_finish (&obstack_for_string);
227 /* Keeps track of the maximum number of semantic values to the left of
228 a handle (those referenced by $0, $-1, etc.) are required by the
229 semantic actions of this grammar. */
230 int max_left_semantic_context = 0;
233 /*------------------------------------------------------------------.
234 | TEXT is pointing to a wannabee semantic value (i.e., a `$'). |
236 | Possible inputs: $[<TYPENAME>]($|integer) |
238 | Output to OBSTACK_FOR_STRING a reference to this semantic value. |
239 `------------------------------------------------------------------*/
242 handle_action_dollar (symbol_list *rule, char *text, location dollar_loc)
244 const char *type_name = NULL;
246 symbol_list *effective_rule;
247 int effective_rule_length;
249 if (rule->midrule_parent_rule)
251 effective_rule = rule->midrule_parent_rule;
252 effective_rule_length = rule->midrule_parent_rhs_index - 1;
256 effective_rule = rule;
257 effective_rule_length = symbol_list_length (rule->next);
260 /* Get the type name if explicit. */
268 if (untyped_var_seen)
269 complain_at (dollar_loc, _("explicit type given in untyped grammar"));
276 type_name = symbol_list_n_type_name_get (rule, dollar_loc, 0);
280 if (union_seen | tag_seen)
282 if (rule->midrule_parent_rule)
283 complain_at (dollar_loc,
284 _("$$ for the midrule at $%d of `%s'"
285 " has no declared type"),
286 rule->midrule_parent_rhs_index,
287 effective_rule->sym->tag);
289 complain_at (dollar_loc, _("$$ of `%s' has no declared type"),
293 untyped_var_seen = true;
297 obstack_fgrow1 (&obstack_for_string,
298 "]b4_lhs_value([%s])[", type_name);
303 long int num = strtol (cp, NULL, 10);
305 if (1 - INT_MAX + effective_rule_length <= num
306 && num <= effective_rule_length)
309 if (max_left_semantic_context < 1 - n)
310 max_left_semantic_context = 1 - n;
311 if (!type_name && 0 < n)
313 symbol_list_n_type_name_get (effective_rule, dollar_loc, n);
316 if (union_seen | tag_seen)
317 complain_at (dollar_loc, _("$%d of `%s' has no declared type"),
318 n, effective_rule->sym->tag);
320 untyped_var_seen = true;
324 obstack_fgrow3 (&obstack_for_string,
325 "]b4_rhs_value(%d, %d, [%s])[",
326 effective_rule_length, n, type_name);
327 symbol_list_n_used_set (effective_rule, n, true);
330 complain_at (dollar_loc, _("integer out of range: %s"), quote (text));
335 /*------------------------------------------------------.
336 | TEXT is a location token (i.e., a `@...'). Output to |
337 | OBSTACK_FOR_STRING a reference to this location. |
338 `------------------------------------------------------*/
341 handle_action_at (symbol_list *rule, char *text, location at_loc)
344 locations_flag = true;
345 int effective_rule_length;
347 if (rule->midrule_parent_rule)
348 effective_rule_length = rule->midrule_parent_rhs_index - 1;
350 effective_rule_length = symbol_list_length (rule->next);
353 obstack_sgrow (&obstack_for_string, "]b4_lhs_location[");
356 long int num = strtol (cp, NULL, 10);
358 if (1 - INT_MAX + effective_rule_length <= num
359 && num <= effective_rule_length)
362 obstack_fgrow2 (&obstack_for_string, "]b4_rhs_location(%d, %d)[",
363 effective_rule_length, n);
366 complain_at (at_loc, _("integer out of range: %s"), quote (text));
371 /*-------------------------.
372 | Initialize the scanner. |
373 `-------------------------*/
375 /* Translate the dollars and ats in \a a, whose location is \a l. The
376 translation is for \a rule, in the context \a sc_context
377 (SC_RULE_ACTION, SC_SYMBOL_ACTION, INITIAL). */
380 translate_action (int sc_context, symbol_list *rule, const char *a, location l)
383 static bool initialized = false;
386 obstack_init (&obstack_for_string);
387 /* The initial buffer, never used. */
388 yy_delete_buffer (YY_CURRENT_BUFFER);
393 loc->start = loc->end = l.start;
394 yy_switch_to_buffer (yy_scan_string (a));
395 res = code_lex (sc_context, rule);
396 yy_delete_buffer (YY_CURRENT_BUFFER);
402 translate_rule_action (symbol_list *rule)
404 return translate_action (SC_RULE_ACTION, rule, rule->action,
405 rule->action_location);
409 translate_symbol_action (const char *a, location l)
411 return translate_action (SC_SYMBOL_ACTION, NULL, a, l);
415 translate_code (const char *a, location l)
417 return translate_action (INITIAL, NULL, a, l);
420 /*-----------------------------------------------.
421 | Free all the memory allocated to the scanner. |
422 `-----------------------------------------------*/
425 code_scanner_free (void)
427 obstack_free (&obstack_for_string, 0);
428 /* Reclaim Flex's buffers. */
429 yy_delete_buffer (YY_CURRENT_BUFFER);