]> git.saurik.com Git - bison.git/blame_incremental - src/muscle_tab.c
Fix some error-reporting macro bugs.
[bison.git] / src / muscle_tab.c
... / ...
CommitLineData
1/* Muscle table manager for Bison.
2
3 Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software
4 Foundation, Inc.
5
6 This file is part of Bison, the GNU Compiler Compiler.
7
8 This program is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20
21#include <config.h>
22#include "system.h"
23
24#include <hash.h>
25#include <quotearg.h>
26
27#include "complain.h"
28#include "files.h"
29#include "muscle_tab.h"
30#include "getargs.h"
31
32/* A key-value pair, along with storage that can be reclaimed when
33 this pair is no longer needed. */
34typedef struct
35{
36 char const *key;
37 char const *value;
38 char *storage;
39} muscle_entry;
40
41/* An obstack used to create some entries. */
42struct obstack muscle_obstack;
43
44/* Initial capacity of muscles hash table. */
45#define HT_INITIAL_CAPACITY 257
46
47static struct hash_table *muscle_table = NULL;
48
49static bool
50hash_compare_muscles (void const *x, void const *y)
51{
52 muscle_entry const *m1 = x;
53 muscle_entry const *m2 = y;
54 return strcmp (m1->key, m2->key) == 0;
55}
56
57static size_t
58hash_muscle (const void *x, size_t tablesize)
59{
60 muscle_entry const *m = x;
61 return hash_string (m->key, tablesize);
62}
63
64/*-----------------------------------------------------------------.
65| Create the MUSCLE_TABLE, and initialize it with default values. |
66| Also set up the MUSCLE_OBSTACK. |
67`-----------------------------------------------------------------*/
68
69static void
70muscle_entry_free (void *entry)
71{
72 muscle_entry *mentry = entry;
73 free (mentry->storage);
74 free (mentry);
75}
76
77void
78muscle_init (void)
79{
80 /* Initialize the muscle obstack. */
81 obstack_init (&muscle_obstack);
82
83 muscle_table = hash_initialize (HT_INITIAL_CAPACITY, NULL, hash_muscle,
84 hash_compare_muscles, muscle_entry_free);
85
86 /* Version and input file. */
87 MUSCLE_INSERT_STRING ("version", VERSION);
88 MUSCLE_INSERT_C_STRING ("file_name", grammar_file);
89}
90
91
92/*------------------------------------------------------------.
93| Free all the memory consumed by the muscle machinery only. |
94`------------------------------------------------------------*/
95
96void
97muscle_free (void)
98{
99 hash_free (muscle_table);
100 obstack_free (&muscle_obstack, NULL);
101}
102
103
104
105/*------------------------------------------------------------.
106| Insert (KEY, VALUE). If KEY already existed, overwrite the |
107| previous value. |
108`------------------------------------------------------------*/
109
110void
111muscle_insert (char const *key, char const *value)
112{
113 muscle_entry probe;
114 muscle_entry *entry;
115
116 probe.key = key;
117 entry = hash_lookup (muscle_table, &probe);
118
119 if (!entry)
120 {
121 /* First insertion in the hash. */
122 entry = xmalloc (sizeof *entry);
123 entry->key = key;
124 hash_insert (muscle_table, entry);
125 }
126 else
127 free (entry->storage);
128 entry->value = value;
129 entry->storage = NULL;
130}
131
132
133/*-------------------------------------------------------------------.
134| Append VALUE to the current value of KEY. If KEY did not already |
135| exist, create it. Use MUSCLE_OBSTACK. De-allocate the previously |
136| associated value. Copy VALUE and SEPARATOR. |
137`-------------------------------------------------------------------*/
138
139void
140muscle_grow (const char *key, const char *val, const char *separator)
141{
142 muscle_entry probe;
143 muscle_entry *entry = NULL;
144
145 probe.key = key;
146 entry = hash_lookup (muscle_table, &probe);
147
148 if (!entry)
149 {
150 /* First insertion in the hash. */
151 entry = xmalloc (sizeof *entry);
152 entry->key = key;
153 hash_insert (muscle_table, entry);
154 entry->value = entry->storage = xstrdup (val);
155 }
156 else
157 {
158 /* Grow the current value. */
159 char *new_val;
160 obstack_sgrow (&muscle_obstack, entry->value);
161 free (entry->storage);
162 obstack_sgrow (&muscle_obstack, separator);
163 obstack_sgrow (&muscle_obstack, val);
164 obstack_1grow (&muscle_obstack, 0);
165 new_val = obstack_finish (&muscle_obstack);
166 entry->value = entry->storage = xstrdup (new_val);
167 obstack_free (&muscle_obstack, new_val);
168 }
169}
170
171
172/*------------------------------------------------------------------.
173| Append VALUE to the current value of KEY, using muscle_grow. But |
174| in addition, issue a synchronization line for the location LOC. |
175`------------------------------------------------------------------*/
176
177void
178muscle_code_grow (const char *key, const char *val, location loc)
179{
180 char *extension = NULL;
181 obstack_fgrow1 (&muscle_obstack, "]b4_syncline(%d, [[", loc.start.line);
182 MUSCLE_OBSTACK_SGROW (&muscle_obstack,
183 quotearg_style (c_quoting_style, loc.start.file));
184 obstack_sgrow (&muscle_obstack, "]])[\n");
185 obstack_sgrow (&muscle_obstack, val);
186 obstack_1grow (&muscle_obstack, 0);
187 extension = obstack_finish (&muscle_obstack);
188 muscle_grow (key, extension, "");
189 obstack_free (&muscle_obstack, extension);
190}
191
192
193void muscle_pair_list_grow (const char *muscle,
194 const char *a1, const char *a2)
195{
196 char *pair;
197 obstack_sgrow (&muscle_obstack, "[[[");
198 MUSCLE_OBSTACK_SGROW (&muscle_obstack, a1);
199 obstack_sgrow (&muscle_obstack, "]], [[");
200 MUSCLE_OBSTACK_SGROW (&muscle_obstack, a2);
201 obstack_sgrow (&muscle_obstack, "]]]");
202 obstack_1grow (&muscle_obstack, 0);
203 pair = obstack_finish (&muscle_obstack);
204 muscle_grow (muscle, pair, ",\n");
205 obstack_free (&muscle_obstack, pair);
206}
207
208
209/*----------------------------------------------------------------------------.
210| Find the value of muscle KEY. Unlike MUSCLE_FIND, this is always reliable |
211| to determine whether KEY has a value. |
212`----------------------------------------------------------------------------*/
213
214char const *
215muscle_find_const (char const *key)
216{
217 muscle_entry probe;
218 muscle_entry *result = NULL;
219
220 probe.key = key;
221 result = hash_lookup (muscle_table, &probe);
222 if (result)
223 return result->value;
224 return NULL;
225}
226
227
228/*----------------------------------------------------------------------------.
229| Find the value of muscle KEY. Abort if muscle_insert was invoked more |
230| recently than muscle_grow for KEY since muscle_find can't return a |
231| char const *. |
232`----------------------------------------------------------------------------*/
233
234char *
235muscle_find (char const *key)
236{
237 muscle_entry probe;
238 muscle_entry *result = NULL;
239
240 probe.key = key;
241 result = hash_lookup (muscle_table, &probe);
242 if (result)
243 {
244 aver (result->value == result->storage);
245 return result->storage;
246 }
247 return NULL;
248}
249
250
251void
252muscle_boundary_grow (char const *key, boundary bound)
253{
254 char *extension;
255 MUSCLE_OBSTACK_SGROW (&muscle_obstack, bound.file);
256 obstack_1grow (&muscle_obstack, ':');
257 obstack_fgrow1 (&muscle_obstack, "%d", bound.line);
258 obstack_1grow (&muscle_obstack, '.');
259 obstack_fgrow1 (&muscle_obstack, "%d", bound.column);
260 obstack_1grow (&muscle_obstack, '\0');
261 extension = obstack_finish (&muscle_obstack);
262 muscle_grow (key, extension, "");
263 obstack_free (&muscle_obstack, extension);
264}
265
266void
267muscle_location_grow (char const *key, location loc)
268{
269 muscle_grow (key, "[[", "");
270 muscle_boundary_grow (key, loc.start);
271 muscle_grow (key, "]], [[", "");
272 muscle_boundary_grow (key, loc.end);
273 muscle_grow (key, "]]", "");
274}
275
276#define MUSCLE_COMMON_DECODE(Value) \
277 case '$': \
278 aver (*++(Value) == ']'); \
279 aver (*++(Value) == '['); \
280 obstack_sgrow (&muscle_obstack, "$"); \
281 break; \
282 case '@': \
283 switch (*++(Value)) \
284 { \
285 case '@': obstack_sgrow (&muscle_obstack, "@" ); break; \
286 case '{': obstack_sgrow (&muscle_obstack, "[" ); break; \
287 case '}': obstack_sgrow (&muscle_obstack, "]" ); break; \
288 default: aver (false); break; \
289 } \
290 break; \
291 default: \
292 obstack_1grow (&muscle_obstack, *(Value)); \
293 break;
294
295/* Reverse of MUSCLE_OBSTACK_SGROW. */
296static char *
297muscle_string_decode (char const *key)
298{
299 char const *value;
300 char *value_decoded;
301 char *result;
302
303 value = muscle_find_const (key);
304 if (!value)
305 return NULL;
306 do {
307 switch (*value)
308 {
309 MUSCLE_COMMON_DECODE (value)
310 case '[':
311 case ']':
312 aver (false);
313 break;
314 }
315 } while (*value++);
316 value_decoded = obstack_finish (&muscle_obstack);
317 result = xstrdup (value_decoded);
318 obstack_free (&muscle_obstack, value_decoded);
319 return result;
320}
321
322/* Reverse of muscle_location_grow. */
323static location
324muscle_location_decode (char const *key)
325{
326 location loc;
327 char const *value = muscle_find_const (key);
328 aver (value);
329 aver (*value == '[');
330 aver (*++value == '[');
331 while (*++value)
332 switch (*value)
333 {
334 MUSCLE_COMMON_DECODE (value)
335 case '[':
336 aver (false);
337 break;
338 case ']':
339 {
340 char *boundary_str;
341 aver (*++value == ']');
342 obstack_1grow (&muscle_obstack, '\0');
343 boundary_str = obstack_finish (&muscle_obstack);
344 switch (*++value)
345 {
346 case ',':
347 boundary_set_from_string (&loc.start, boundary_str);
348 obstack_free (&muscle_obstack, boundary_str);
349 aver (*++value == ' ');
350 aver (*++value == '[');
351 aver (*++value == '[');
352 break;
353 case '\0':
354 boundary_set_from_string (&loc.end, boundary_str);
355 obstack_free (&muscle_obstack, boundary_str);
356 return loc;
357 break;
358 default:
359 aver (false);
360 break;
361 }
362 }
363 break;
364 }
365 aver (false);
366 return loc;
367}
368
369void
370muscle_user_name_list_grow (char const *key, char const *user_name,
371 location loc)
372{
373 muscle_grow (key, "[[[[", ",");
374 muscle_grow (key, user_name, "");
375 muscle_grow (key, "]], ", "");
376 muscle_location_grow (key, loc);
377 muscle_grow (key, "]]", "");
378}
379
380#define MUSCLE_USER_NAME_CONVERT(NAME, PREFIX, USER_NAME, SUFFIX) \
381do { \
382 char *tmp; \
383 size_t length = strlen ((USER_NAME)); \
384 tmp = xmalloc (sizeof (PREFIX) - 1 + length + sizeof (SUFFIX)); \
385 strcpy (tmp, (PREFIX)); \
386 strcpy (tmp + sizeof (PREFIX) - 1, (USER_NAME)); \
387 strcpy (tmp + sizeof (PREFIX) - 1 + length, (SUFFIX)); \
388 (NAME) = uniqstr_new (tmp); \
389 free (tmp); \
390} while (0)
391
392void
393muscle_percent_define_insert (char const *variable, location variable_loc,
394 char const *value)
395{
396 char const *name;
397 char const *loc_name;
398
399 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
400 MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
401
402 if (muscle_find_const (name))
403 {
404 warn_at (variable_loc, _("%s `%s' redefined"),
405 "%define variable", variable);
406 warn_at (muscle_location_decode (loc_name), _("previous definition"));
407 }
408 MUSCLE_INSERT_STRING (name, value);
409
410 muscle_insert (loc_name, "");
411 muscle_location_grow (loc_name, variable_loc);
412 muscle_user_name_list_grow ("percent_define_user_variables", variable,
413 variable_loc);
414}
415
416char *
417muscle_percent_define_get (char const *variable)
418{
419 char const *name;
420 char const *usage_name;
421 char *value;
422
423 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
424 MUSCLE_USER_NAME_CONVERT (usage_name, "percent_define_bison_variables(",
425 variable, ")");
426
427 muscle_insert (usage_name, "");
428 value = muscle_string_decode (name);
429 if (!value)
430 value = xstrdup ("");
431 return value;
432}
433
434bool
435muscle_percent_define_ifdef (char const *variable)
436{
437 char const *name;
438 char const *usage_name;
439 char const *value;
440
441 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
442 MUSCLE_USER_NAME_CONVERT (usage_name, "percent_define_bison_variables(",
443 variable, ")");
444
445 value = muscle_find_const (name);
446 if (value)
447 {
448 muscle_insert (usage_name, "");
449 return true;
450 }
451
452 return false;
453}
454
455bool
456muscle_percent_define_flag_if (char const *variable)
457{
458 char const *name;
459 char const *loc_name;
460 char const *usage_name;
461 char const *invalid_boolean_name;
462 bool result = false;
463
464 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
465 MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
466 MUSCLE_USER_NAME_CONVERT (usage_name, "percent_define_bison_variables(",
467 variable, ")");
468 MUSCLE_USER_NAME_CONVERT (invalid_boolean_name,
469 "percent_define_invalid_boolean(", variable, ")");
470
471 if (muscle_percent_define_ifdef (variable))
472 {
473 char *value = muscle_percent_define_get (variable);
474 if (value[0] == '\0' || 0 == strcmp (value, "true"))
475 result = true;
476 else if (0 == strcmp (value, "false"))
477 result = false;
478 else if (!muscle_find_const (invalid_boolean_name))
479 {
480 muscle_insert (invalid_boolean_name, "");
481 complain_at(muscle_location_decode (loc_name),
482 _("invalid value for %%define Boolean variable `%s'"),
483 variable);
484 }
485 free (value);
486 }
487 else
488 fatal(_("undefined %%define variable `%s' passed to muscle_percent_define_flag_if"),
489 variable);
490
491 return result;
492}
493
494void
495muscle_percent_define_default (char const *variable, char const *value)
496{
497 char const *name;
498 char const *loc_name;
499 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
500 MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
501 if (!muscle_find_const (name))
502 {
503 location loc;
504 MUSCLE_INSERT_STRING (name, value);
505 loc.start.file = loc.end.file = "[Bison:muscle_percent_define_default]";
506 loc.start.line = loc.start.column = 0;
507 loc.end.line = loc.end.column = 0;
508 muscle_insert (loc_name, "");
509 muscle_location_grow (loc_name, loc);
510 }
511}
512
513void
514muscle_percent_define_check_values (char const * const *values)
515{
516 for (; *values; ++values)
517 {
518 char const *variable = *values;
519 char const *name;
520 char const *loc_name;
521 char *value;
522
523 MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
524 MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
525
526 value = muscle_string_decode (name);
527 if (value)
528 {
529 bool valid = false;
530 for (++values; *values; ++values)
531 {
532 if (0 == strcmp (value, *values))
533 {
534 valid = true;
535 while (*values)
536 ++values;
537 break;
538 }
539 }
540 if (!valid)
541 complain_at(muscle_location_decode (loc_name),
542 _("invalid value for %%define variable `%s': `%s'"),
543 variable, value);
544 free (value);
545 }
546 else
547 fatal(_("undefined %%define variable `%s' passed to muscle_percent_define_check_values"),
548 variable);
549 }
550}
551
552void
553muscle_percent_code_grow (char const *qualifier, location qualifier_loc,
554 char const *code, location code_loc)
555{
556 char const *name;
557 MUSCLE_USER_NAME_CONVERT (name, "percent_code(", qualifier, ")");
558 muscle_code_grow (name, code, code_loc);
559 muscle_user_name_list_grow ("percent_code_user_qualifiers", qualifier,
560 qualifier_loc);
561}
562
563
564/*------------------------------------------------.
565| Output the definition of ENTRY as a m4_define. |
566`------------------------------------------------*/
567
568static inline bool
569muscle_m4_output (muscle_entry *entry, FILE *out)
570{
571 fprintf (out, "m4_define([b4_%s],\n", entry->key);
572 fprintf (out, "[[%s]])\n\n\n", entry->value);
573 return true;
574}
575
576static bool
577muscle_m4_output_processor (void *entry, void *out)
578{
579 return muscle_m4_output (entry, out);
580}
581
582
583/*----------------------------------------------------------------.
584| Output the definition of all the current muscles into a list of |
585| m4_defines. |
586`----------------------------------------------------------------*/
587
588void
589muscles_m4_output (FILE *out)
590{
591 hash_do_for_each (muscle_table, muscle_m4_output_processor, out);
592}