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