src/muscle-tab.c

   1 /* Muscle table manager for Bison.
   2
   3    Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
   4    Free Software 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.  */
  34 typedef 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.  */
  42 struct obstack muscle_obstack;
  43
  44 /* Initial capacity of muscles hash table.  */
  45 #define HT_INITIAL_CAPACITY 257
  46
  47 static struct hash_table *muscle_table = NULL;
  48
  49 static bool
  50 hash_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
  57 static size_t
  58 hash_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
  69 static void
  70 muscle_entry_free (void *entry)
  71 {
  72   muscle_entry *mentry = entry;
  73   free (mentry->storage);
  74   free (mentry);
  75 }
  76
  77 void
  78 muscle_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 }
  89
  90
  91 /*------------------------------------------------------------.
  92 | Free all the memory consumed by the muscle machinery only.  |
  93 `------------------------------------------------------------*/
  94
  95 void
  96 muscle_free (void)
  97 {
  98   hash_free (muscle_table);
  99   obstack_free (&muscle_obstack, NULL);
 100 }
 101
 102
 103
 104 /*------------------------------------------------------------.
 105 | Insert (KEY, VALUE).  If KEY already existed, overwrite the |
 106 | previous value.                                             |
 107 `------------------------------------------------------------*/
 108
 109 void
 110 muscle_insert (char const *key, char const *value)
 111 {
 112   muscle_entry probe;
 113   muscle_entry *entry;
 114
 115   probe.key = key;
 116   entry = hash_lookup (muscle_table, &probe);
 117
 118   if (!entry)
 119     {
 120       /* First insertion in the hash. */
 121       entry = xmalloc (sizeof *entry);
 122       entry->key = key;
 123       hash_insert (muscle_table, entry);
 124     }
 125   else
 126     free (entry->storage);
 127   entry->value = value;
 128   entry->storage = NULL;
 129 }
 130
 131
 132 /*-------------------------------------------------------------------.
 133 | Append VALUE to the current value of KEY.  If KEY did not already  |
 134 | exist, create it.  Use MUSCLE_OBSTACK.  De-allocate the previously |
 135 | associated value.  Copy VALUE and SEPARATOR.                       |
 136 `-------------------------------------------------------------------*/
 137
 138 void
 139 muscle_grow (const char *key, const char *val, const char *separator)
 140 {
 141   muscle_entry probe;
 142   muscle_entry *entry = NULL;
 143
 144   probe.key = key;
 145   entry = hash_lookup (muscle_table, &probe);
 146
 147   if (!entry)
 148     {
 149       /* First insertion in the hash. */
 150       entry = xmalloc (sizeof *entry);
 151       entry->key = key;
 152       hash_insert (muscle_table, entry);
 153       entry->value = entry->storage = xstrdup (val);
 154     }
 155   else
 156     {
 157       /* Grow the current value. */
 158       char *new_val;
 159       obstack_sgrow (&muscle_obstack, entry->value);
 160       free (entry->storage);
 161       obstack_sgrow (&muscle_obstack, separator);
 162       obstack_sgrow (&muscle_obstack, val);
 163       obstack_1grow (&muscle_obstack, 0);
 164       new_val = obstack_finish (&muscle_obstack);
 165       entry->value = entry->storage = xstrdup (new_val);
 166       obstack_free (&muscle_obstack, new_val);
 167     }
 168 }
 169
 170 /*------------------------------------------------------------------.
 171 | Using muscle_grow, append a synchronization line for the location |
 172 | LOC to the current value of KEY.                                  |
 173 `------------------------------------------------------------------*/
 174
 175 static void
 176 muscle_syncline_grow (char const *key, location loc)
 177 {
 178   char *extension = NULL;
 179   obstack_fgrow1 (&muscle_obstack, "]b4_syncline(%d, [[", loc.start.line);
 180   MUSCLE_OBSTACK_SGROW (&muscle_obstack,
 181                         quotearg_style (c_quoting_style, loc.start.file));
 182   obstack_sgrow (&muscle_obstack, "]])[");
 183   obstack_1grow (&muscle_obstack, 0);
 184   extension = obstack_finish (&muscle_obstack);
 185   muscle_grow (key, extension, "");
 186   obstack_free (&muscle_obstack, extension);
 187 }
 188
 189 /*------------------------------------------------------------------.
 190 | Append VALUE to the current value of KEY, using muscle_grow.  But |
 191 | in addition, issue a synchronization line for the location LOC    |
 192 | using muscle_syncline_grow.                                       |
 193 `------------------------------------------------------------------*/
 194
 195 void
 196 muscle_code_grow (const char *key, const char *val, location loc)
 197 {
 198   muscle_syncline_grow (key, loc);
 199   muscle_grow (key, val, "\n");
 200 }
 201
 202
 203 void muscle_pair_list_grow (const char *muscle,
 204                             const char *a1, const char *a2)
 205 {
 206   char *pair;
 207   obstack_sgrow (&muscle_obstack, "[[[");
 208   MUSCLE_OBSTACK_SGROW (&muscle_obstack, a1);
 209   obstack_sgrow (&muscle_obstack, "]], [[");
 210   MUSCLE_OBSTACK_SGROW (&muscle_obstack, a2);
 211   obstack_sgrow (&muscle_obstack, "]]]");
 212   obstack_1grow (&muscle_obstack, 0);
 213   pair = obstack_finish (&muscle_obstack);
 214   muscle_grow (muscle, pair, ",\n");
 215   obstack_free (&muscle_obstack, pair);
 216 }
 217
 218
 219 /*----------------------------------------------------------------------------.
 220 | Find the value of muscle KEY.  Unlike MUSCLE_FIND, this is always reliable  |
 221 | to determine whether KEY has a value.                                       |
 222 `----------------------------------------------------------------------------*/
 223
 224 char const *
 225 muscle_find_const (char const *key)
 226 {
 227   muscle_entry probe;
 228   muscle_entry *result = NULL;
 229
 230   probe.key = key;
 231   result = hash_lookup (muscle_table, &probe);
 232   if (result)
 233     return result->value;
 234   return NULL;
 235 }
 236
 237
 238 /*----------------------------------------------------------------------------.
 239 | Find the value of muscle KEY.  Abort if muscle_insert was invoked more      |
 240 | recently than muscle_grow for KEY since muscle_find can't return a          |
 241 | char const *.                                                               |
 242 `----------------------------------------------------------------------------*/
 243
 244 char *
 245 muscle_find (char const *key)
 246 {
 247   muscle_entry probe;
 248   muscle_entry *result = NULL;
 249
 250   probe.key = key;
 251   result = hash_lookup (muscle_table, &probe);
 252   if (result)
 253     {
 254       aver (result->value == result->storage);
 255       return result->storage;
 256     }
 257   return NULL;
 258 }
 259
 260
 261 void
 262 muscle_boundary_grow (char const *key, boundary bound)
 263 {
 264   char *extension;
 265   MUSCLE_OBSTACK_SGROW (&muscle_obstack, bound.file);
 266   obstack_1grow (&muscle_obstack, ':');
 267   obstack_fgrow1 (&muscle_obstack, "%d", bound.line);
 268   obstack_1grow (&muscle_obstack, '.');
 269   obstack_fgrow1 (&muscle_obstack, "%d", bound.column);
 270   obstack_1grow (&muscle_obstack, '\0');
 271   extension = obstack_finish (&muscle_obstack);
 272   muscle_grow (key, extension, "");
 273   obstack_free (&muscle_obstack, extension);
 274 }
 275
 276 void
 277 muscle_location_grow (char const *key, location loc)
 278 {
 279   muscle_grow (key, "[[", "");
 280   muscle_boundary_grow (key, loc.start);
 281   muscle_grow (key, "]], [[", "");
 282   muscle_boundary_grow (key, loc.end);
 283   muscle_grow (key, "]]", "");
 284 }
 285
 286 #define MUSCLE_COMMON_DECODE(Value)                                           \
 287   case '$':                                                                   \
 288     aver (*++(Value) == ']');                                                 \
 289     aver (*++(Value) == '[');                                                 \
 290     obstack_sgrow (&muscle_obstack, "$");                                     \
 291     break;                                                                    \
 292   case '@':                                                                   \
 293     switch (*++(Value))                                                       \
 294       {                                                                       \
 295         case '@': obstack_sgrow (&muscle_obstack, "@" ); break;               \
 296         case '{': obstack_sgrow (&muscle_obstack, "[" ); break;               \
 297         case '}': obstack_sgrow (&muscle_obstack, "]" ); break;               \
 298         default: aver (false); break;                                         \
 299       }                                                                       \
 300     break;                                                                    \
 301   default:                                                                    \
 302     obstack_1grow (&muscle_obstack, *(Value));                                \
 303     break;
 304
 305 /* Reverse of MUSCLE_OBSTACK_SGROW.  */
 306 static char *
 307 muscle_string_decode (char const *key)
 308 {
 309   char const *value;
 310   char *value_decoded;
 311   char *result;
 312
 313   value = muscle_find_const (key);
 314   if (!value)
 315     return NULL;
 316   do {
 317     switch (*value)
 318       {
 319         MUSCLE_COMMON_DECODE (value)
 320         case '[':
 321         case ']':
 322           aver (false);
 323           break;
 324       }
 325   } while (*value++);
 326   value_decoded = obstack_finish (&muscle_obstack);
 327   result = xstrdup (value_decoded);
 328   obstack_free (&muscle_obstack, value_decoded);
 329   return result;
 330 }
 331
 332 /* Reverse of muscle_location_grow.  */
 333 static location
 334 muscle_location_decode (char const *key)
 335 {
 336   location loc;
 337   char const *value = muscle_find_const (key);
 338   aver (value);
 339   aver (*value == '[');
 340   aver (*++value == '[');
 341   while (*++value)
 342     switch (*value)
 343       {
 344         MUSCLE_COMMON_DECODE (value)
 345         case '[':
 346           aver (false);
 347           break;
 348         case ']':
 349           {
 350             char *boundary_str;
 351             aver (*++value == ']');
 352             obstack_1grow (&muscle_obstack, '\0');
 353             boundary_str = obstack_finish (&muscle_obstack);
 354             switch (*++value)
 355               {
 356                 case ',':
 357                   boundary_set_from_string (&loc.start, boundary_str);
 358                   obstack_free (&muscle_obstack, boundary_str);
 359                   aver (*++value == ' ');
 360                   aver (*++value == '[');
 361                   aver (*++value == '[');
 362                   break;
 363                 case '\0':
 364                   boundary_set_from_string (&loc.end, boundary_str);
 365                   obstack_free (&muscle_obstack, boundary_str);
 366                   return loc;
 367                   break;
 368                 default:
 369                   aver (false);
 370                   break;
 371               }
 372           }
 373           break;
 374       }
 375   aver (false);
 376   return loc;
 377 }
 378
 379 void
 380 muscle_user_name_list_grow (char const *key, char const *user_name,
 381                             location loc)
 382 {
 383   muscle_grow (key, "[[[[", ",");
 384   muscle_grow (key, user_name, "");
 385   muscle_grow (key, "]], ", "");
 386   muscle_location_grow (key, loc);
 387   muscle_grow (key, "]]", "");
 388 }
 389
 390 #define MUSCLE_USER_NAME_CONVERT(NAME, PREFIX, USER_NAME, SUFFIX)    \
 391 do {                                                                 \
 392   char *tmp;                                                         \
 393   size_t length = strlen ((USER_NAME));                              \
 394   tmp = xmalloc (sizeof (PREFIX) - 1 + length + sizeof (SUFFIX));    \
 395   strcpy (tmp, (PREFIX));                                            \
 396   strcpy (tmp + sizeof (PREFIX) - 1, (USER_NAME));                   \
 397   strcpy (tmp + sizeof (PREFIX) - 1 + length, (SUFFIX));             \
 398   (NAME) = uniqstr_new (tmp);                                        \
 399   free (tmp);                                                        \
 400 } while (0)
 401
 402 void
 403 muscle_percent_define_insert (char const *variable, location variable_loc,
 404                               char const *value)
 405 {
 406   char *variable_tr = NULL;
 407   char const *name;
 408   char const *loc_name;
 409   char const *syncline_name;
 410
 411   /* Permit certain names with underscores for backward compatibility.  */
 412   if (0 == strcmp (variable, "api.push_pull")
 413       || 0 == strcmp (variable, "lr.keep_unreachable_states"))
 414     {
 415       variable_tr = strdup (variable);
 416       tr (variable_tr, '_', '-');
 417       variable = variable_tr;
 418     }
 419
 420   MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
 421   MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
 422   MUSCLE_USER_NAME_CONVERT (syncline_name,
 423                             "percent_define_syncline(", variable, ")");
 424
 425   if (muscle_find_const (name))
 426     {
 427       warn_at (variable_loc, _("%s `%s' redefined"),
 428                "%define variable", variable);
 429       warn_at (muscle_percent_define_get_loc (variable),
 430                _("previous definition"));
 431     }
 432   MUSCLE_INSERT_STRING (name, value);
 433
 434   muscle_insert (loc_name, "");
 435   muscle_location_grow (loc_name, variable_loc);
 436   muscle_insert (syncline_name, "");
 437   muscle_syncline_grow (syncline_name, variable_loc);
 438   muscle_user_name_list_grow ("percent_define_user_variables", variable,
 439                               variable_loc);
 440
 441   free (variable_tr);
 442 }
 443
 444 /* This is used for backward compatibility, e.g., "%define api.pure"
 445    supersedes "%pure-parser".  */
 446 void
 447 muscle_percent_define_ensure (char const *variable, location loc,
 448                               bool value)
 449 {
 450   char const *val = value ? "" : "false";
 451   char const *name;
 452   MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
 453
 454   /* %pure-parser is deprecated in favor of `%define api.pure', so use
 455      `%define api.pure' in a backward-compatible manner here.  First,
 456      don't complain if %pure-parser is specified multiple times.  */
 457   if (!muscle_find_const (name))
 458     muscle_percent_define_insert (variable, loc, val);
 459   /* In all cases, use api.pure now so that the backend doesn't complain if
 460      the skeleton ignores api.pure, but do warn now if there's a previous
 461      conflicting definition from an actual %define.  */
 462   if (muscle_percent_define_flag_if (variable) != value)
 463     muscle_percent_define_insert (variable, loc, val);
 464 }
 465
 466 char *
 467 muscle_percent_define_get (char const *variable)
 468 {
 469   char const *name;
 470   char const *usage_name;
 471   char *value;
 472
 473   MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
 474   MUSCLE_USER_NAME_CONVERT (usage_name, "percent_define_bison_variables(",
 475                             variable, ")");
 476
 477   muscle_insert (usage_name, "");
 478   value = muscle_string_decode (name);
 479   if (!value)
 480     value = xstrdup ("");
 481   return value;
 482 }
 483
 484 location
 485 muscle_percent_define_get_loc (char const *variable)
 486 {
 487   char const *loc_name;
 488   MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
 489   if (!muscle_find_const (loc_name))
 490     fatal(_("undefined %%define variable `%s' passed to muscle_percent_define_get_loc"),
 491           variable);
 492   return muscle_location_decode (loc_name);
 493 }
 494
 495 char const *
 496 muscle_percent_define_get_syncline (char const *variable)
 497 {
 498   char const *syncline_name;
 499   char const *syncline;
 500   MUSCLE_USER_NAME_CONVERT (syncline_name,
 501                             "percent_define_syncline(", variable, ")");
 502   syncline = muscle_find_const (syncline_name);
 503   if (!syncline)
 504     fatal(_("undefined %%define variable `%s' passed to muscle_percent_define_get_syncline"),
 505           variable);
 506   return syncline;
 507 }
 508
 509 bool
 510 muscle_percent_define_ifdef (char const *variable)
 511 {
 512   char const *name;
 513   char const *usage_name;
 514   char const *value;
 515
 516   MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
 517   MUSCLE_USER_NAME_CONVERT (usage_name, "percent_define_bison_variables(",
 518                             variable, ")");
 519
 520   value = muscle_find_const (name);
 521   if (value)
 522     {
 523       muscle_insert (usage_name, "");
 524       return true;
 525     }
 526
 527   return false;
 528 }
 529
 530 bool
 531 muscle_percent_define_flag_if (char const *variable)
 532 {
 533   char const *invalid_boolean_name;
 534   bool result = false;
 535
 536   MUSCLE_USER_NAME_CONVERT (invalid_boolean_name,
 537                             "percent_define_invalid_boolean(", variable, ")");
 538
 539   if (muscle_percent_define_ifdef (variable))
 540     {
 541       char *value = muscle_percent_define_get (variable);
 542       if (value[0] == '\0' || 0 == strcmp (value, "true"))
 543         result = true;
 544       else if (0 == strcmp (value, "false"))
 545         result = false;
 546       else if (!muscle_find_const (invalid_boolean_name))
 547         {
 548           muscle_insert (invalid_boolean_name, "");
 549           complain_at(muscle_percent_define_get_loc (variable),
 550                       _("invalid value for %%define Boolean variable `%s'"),
 551                       variable);
 552         }
 553       free (value);
 554     }
 555   else
 556     fatal(_("undefined %%define variable `%s' passed to muscle_percent_define_flag_if"),
 557           variable);
 558
 559   return result;
 560 }
 561
 562 void
 563 muscle_percent_define_default (char const *variable, char const *value)
 564 {
 565   char const *name;
 566   char const *loc_name;
 567   char const *syncline_name;
 568   MUSCLE_USER_NAME_CONVERT (name, "percent_define(", variable, ")");
 569   MUSCLE_USER_NAME_CONVERT (loc_name, "percent_define_loc(", variable, ")");
 570   MUSCLE_USER_NAME_CONVERT (syncline_name,
 571                             "percent_define_syncline(", variable, ")");
 572   if (!muscle_find_const (name))
 573     {
 574       location loc;
 575       MUSCLE_INSERT_STRING (name, value);
 576       loc.start.file = loc.end.file = "<default value>";
 577       loc.start.line = loc.end.line = -1;
 578       loc.start.column = loc.end.column = -1;
 579       muscle_insert (loc_name, "");
 580       muscle_location_grow (loc_name, loc);
 581       muscle_insert (syncline_name, "");
 582     }
 583 }
 584
 585 void
 586 muscle_percent_define_check_values (char const * const *values)
 587 {
 588   for (; *values; ++values)
 589     {
 590       char const * const *variablep = values;
 591       char const *name;
 592       char *value;
 593
 594       MUSCLE_USER_NAME_CONVERT (name, "percent_define(", *variablep, ")");
 595
 596       value = muscle_string_decode (name);
 597       if (value)
 598         {
 599           for (++values; *values; ++values)
 600             {
 601               if (0 == strcmp (value, *values))
 602                 break;
 603             }
 604           if (!*values)
 605             {
 606               location loc = muscle_percent_define_get_loc (*variablep);
 607               complain_at(loc,
 608                           _("invalid value for %%define variable `%s': `%s'"),
 609                           *variablep, value);
 610               for (values = variablep + 1; *values; ++values)
 611                 complain_at (loc, _("accepted value: `%s'"), *values);
 612             }
 613           else
 614             {
 615               while (*values)
 616                 ++values;
 617             }
 618           free (value);
 619         }
 620       else
 621         fatal(_("undefined %%define variable `%s' passed to"
 622                 " muscle_percent_define_check_values"),
 623               *variablep);
 624     }
 625 }
 626
 627 void
 628 muscle_percent_code_grow (char const *qualifier, location qualifier_loc,
 629                           char const *code, location code_loc)
 630 {
 631   char const *name;
 632   MUSCLE_USER_NAME_CONVERT (name, "percent_code(", qualifier, ")");
 633   muscle_code_grow (name, code, code_loc);
 634   muscle_user_name_list_grow ("percent_code_user_qualifiers", qualifier,
 635                                qualifier_loc);
 636 }
 637
 638
 639 /*------------------------------------------------.
 640 | Output the definition of ENTRY as a m4_define.  |
 641 `------------------------------------------------*/
 642
 643 static inline bool
 644 muscle_m4_output (muscle_entry *entry, FILE *out)
 645 {
 646   fprintf (out, "m4_define([b4_%s],\n", entry->key);
 647   fprintf (out, "[[%s]])\n\n\n", entry->value);
 648   return true;
 649 }
 650
 651 static bool
 652 muscle_m4_output_processor (void *entry, void *out)
 653 {
 654   return muscle_m4_output (entry, out);
 655 }
 656
 657
 658 /*----------------------------------------------------------------.
 659 | Output the definition of all the current muscles into a list of |
 660 | m4_defines.                                                     |
 661 `----------------------------------------------------------------*/
 662
 663 void
 664 muscles_m4_output (FILE *out)
 665 {
 666   hash_do_for_each (muscle_table, muscle_m4_output_processor, out);
 667 }