src/muscle-tab.h

   1 /* Muscle table manager for Bison,
   2
   3    Copyright (C) 2001-2003, 2006-2007, 2009-2012 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 #ifndef MUSCLE_TAB_H_
  22 # define MUSCLE_TAB_H_
  23
  24 # include "location.h"
  25
  26 void muscle_init (void);
  27 void muscle_insert (char const *key, char const *value);
  28 char const *muscle_find_const (char const *key);
  29 char *muscle_find (char const *key);
  30 void muscle_free (void);
  31
  32
  33 /* An obstack dedicated to receive muscle keys and values.  */
  34 extern struct obstack muscle_obstack;
  35
  36 #define MUSCLE_INSERT_BOOL(Key, Value)                          \
  37 do {                                                            \
  38   int v = Value;                                                \
  39   MUSCLE_INSERT_INT (Key, v);                                   \
  40 } while(0)
  41
  42 #define MUSCLE_INSERT_INT(Key, Value)                           \
  43 do {                                                            \
  44   obstack_fgrow1 (&muscle_obstack, "%d", Value);                \
  45   obstack_1grow (&muscle_obstack, 0);                           \
  46   muscle_insert (Key, obstack_finish (&muscle_obstack));        \
  47 } while(0)
  48
  49 #define MUSCLE_INSERT_LONG_INT(Key, Value)                      \
  50 do {                                                            \
  51   obstack_fgrow1 (&muscle_obstack, "%ld", Value);               \
  52   obstack_1grow (&muscle_obstack, 0);                           \
  53   muscle_insert (Key, obstack_finish (&muscle_obstack));        \
  54 } while(0)
  55
  56 #define MUSCLE_INSERT_STRING_RAW(Key, Value)                    \
  57 do {                                                            \
  58   obstack_sgrow (&muscle_obstack, Value);                       \
  59   obstack_1grow (&muscle_obstack, 0);                           \
  60   muscle_insert (Key, obstack_finish (&muscle_obstack));        \
  61 } while(0)
  62
  63 #define MUSCLE_INSERT_STRING(Key, Value)                        \
  64 do {                                                            \
  65   MUSCLE_OBSTACK_SGROW (&muscle_obstack, Value);                \
  66   obstack_1grow (&muscle_obstack, 0);                           \
  67   muscle_insert (Key, obstack_finish (&muscle_obstack));        \
  68 } while(0)
  69
  70 #define MUSCLE_OBSTACK_SGROW(Obstack, Value)                    \
  71 do {                                                            \
  72   char const *p;                                                \
  73   for (p = Value; *p; p++)                                      \
  74     switch (*p)                                                 \
  75       {                                                         \
  76       case '$': obstack_sgrow (Obstack, "$]["); break;          \
  77       case '@': obstack_sgrow (Obstack, "@@" ); break;          \
  78       case '[': obstack_sgrow (Obstack, "@{" ); break;          \
  79       case ']': obstack_sgrow (Obstack, "@}" ); break;          \
  80       default: obstack_1grow (Obstack, *p); break;              \
  81       }                                                         \
  82 } while(0)
  83
  84 #define MUSCLE_INSERT_C_STRING(Key, Value)                      \
  85 do {                                                            \
  86   MUSCLE_OBSTACK_SGROW (&muscle_obstack,                        \
  87                         quotearg_style (c_quoting_style,        \
  88                                         Value));                \
  89   obstack_1grow (&muscle_obstack, 0);                           \
  90   muscle_insert (Key, obstack_finish (&muscle_obstack));        \
  91 } while(0)
  92
  93 /* Append VALUE to the current value of KEY.  If KEY did not already
  94    exist, create it.  Use MUSCLE_OBSTACK.  De-allocate the previously
  95    associated value.  Copy VALUE and SEPARATOR.  */
  96
  97 void muscle_grow (const char *key, const char *value, const char *separator);
  98
  99
 100 /* Append VALUE to the current value of KEY, using muscle_grow.  But
 101    in addition, issue a synchronization line for the location LOC.  */
 102
 103 void muscle_code_grow (const char *key, const char *value, location loc);
 104
 105
 106 /* MUSCLE is an M4 list of pairs.  Create or extend it with the pair
 107    (A1, A2) after escaping both values with digraphs.  Note that because the
 108    muscle values are output *double* quoted, one needs to strip the first level
 109    of quotes to reach the list itself.  */
 110 void muscle_pair_list_grow (const char *muscle,
 111                             const char *a1, const char *a2);
 112
 113 /* In the format `[[file_name:line.column]], [[file_name:line.column]]', append
 114    LOC to MUSCLE.  Use digraphs for special characters in each file name.  */
 115 void muscle_location_grow (char const *key, location loc);
 116
 117 /* In the format `file_name:line.column', append BOUND to MUSCLE.  Use digraphs
 118    for special characters in the file name.  */
 119 void muscle_boundary_grow (char const *key, boundary bound);
 120
 121 /* Grow KEY for the occurrence of the name USER_NAME at LOC appropriately for
 122    use with b4_check_user_names in ../data/bison.m4.  USER_NAME is not escaped
 123    with digraphs, so it must not contain `[' or `]'.  */
 124 void muscle_user_name_list_grow (char const *key, char const *user_name,
 125                                  location loc);
 126
 127 /* Indicates whether a variable's value was specified with -D/--define, with
 128    -F/--force-define, or in the grammar file.  */
 129 typedef enum {
 130   MUSCLE_PERCENT_DEFINE_D = 0, MUSCLE_PERCENT_DEFINE_F,
 131   MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE
 132 } muscle_percent_define_how;
 133
 134 /* Define the muscles for %define variable VARIABLE with VALUE specified
 135    at VARIABLE_LOC in the manner HOW unless it was specified in the
 136    grammar file while the previous definition for VARIABLE was specified
 137    with -F/--force-define.  Complain if a previous definition is being
 138    overridden and the new definition is specified in the grammar file.
 139    (These rules support the documented behavior as long as command-line
 140    definitions are processed before grammar file definitions.)  Record
 141    this as a user occurrence of VARIABLE by invoking
 142    muscle_user_name_list_grow.  */
 143 void muscle_percent_define_insert (char const *variable, location variable_loc,
 144                                    char const *value,
 145                                    muscle_percent_define_how how);
 146
 147 /* Mimic b4_percent_define_get in ../data/bison.m4 exactly.  That is, if the
 148    %define variable VARIABLE is defined, return its value.  Otherwise, return
 149    the empty string.  Also, record Bison's usage of VARIABLE by defining
 150    b4_percent_define_bison_variables(VARIABLE).  The caller is responsible for
 151    freeing the memory of the returned string.  */
 152 char *muscle_percent_define_get (char const *variable);
 153
 154 /* Mimic muscle_percent_define_get_loc in ../data/bison.m4 exactly.  That is,
 155    if the %define variable VARIABLE is undefined, complain fatally since that's
 156    a Bison error.  Otherwise, return its definition location in a form
 157    approriate for the first argument of warn_at, complain_at, or fatal_at.
 158    Don't record this as a Bison usage of VARIABLE as there's no reason to
 159    suspect that the user-supplied value has yet influenced the output.  */
 160 location muscle_percent_define_get_loc (char const *variable);
 161
 162 /* Mimic muscle_percent_define_get_syncline in ../data/bison.m4 exactly.  That
 163    is, if the %define variable VARIABLE is undefined, complain fatally since
 164    that's a Bison error.  Otherwise, return its definition location as a
 165    b4_syncline invocation.  Don't record this as a Bison usage of VARIABLE as
 166    there's no reason to suspect that the user-supplied value has yet influenced
 167    the output.  */
 168 char const *muscle_percent_define_get_syncline (char const *variable);
 169
 170 /* Mimic b4_percent_define_ifdef in ../data/bison.m4 exactly.  That is, if the
 171    %define variable VARIABLE is defined, return true.  Otherwise, return false.
 172    Also, record Bison's usage of VARIABLE by defining
 173    b4_percent_define_bison_variables(VARIABLE).  */
 174 bool muscle_percent_define_ifdef (char const *variable);
 175
 176 /* Mimic b4_percent_define_flag_if in ../data/bison.m4 exactly.  That is, if
 177    the %define variable VARIABLE is defined to "" or "true", return true.  If
 178    it is defined to "false", return false.  Complain if it is undefined (a
 179    Bison error since the default value should have been set already) or defined
 180    to any other value (possibly a user error).  Also, record Bison's usage of
 181    VARIABLE by defining b4_percent_define_bison_variables(VARIABLE).  */
 182 bool muscle_percent_define_flag_if (char const *variable);
 183
 184 /* Mimic b4_percent_define_default in ../data/bison.m4 exactly.  That is, if
 185    the %define variable VARIABLE is undefined, set its value to VALUE.
 186    Don't record this as a Bison usage of VARIABLE as there's no reason to
 187    suspect that the value has yet influenced the output.  */
 188 void muscle_percent_define_default (char const *variable, char const *value);
 189
 190 /* Mimic b4_percent_define_check_values in ../data/bison.m4 exactly except that
 191    the VALUES structure is more appropriate for C.  That is, VALUES points to a
 192    list of strings that is partitioned into sublists by NULL's, one terminating
 193    each sublist.  The last sublist is followed by a second NULL.  For each
 194    sublist, the first string is the name of a %define variable, and all
 195    remaining strings in that sublist are the valid values for that variable.
 196    Complain if such a variable is undefined (a Bison error since the default
 197    value should have been set already) or defined to any other value (possibly
 198    a user error).  Don't record this as a Bison usage of the variable as
 199    there's no reason to suspect that the value has yet influenced the
 200    output.  */
 201 void muscle_percent_define_check_values (char const * const *values);
 202
 203 /* Grow the muscle for the %code qualifier QUALIFIER appearing at
 204    QUALIFIER_LOC with code CODE appearing at CODE_LOC.  Record this as a
 205    user occurrence of QUALIFIER by invoking
 206    muscle_user_name_list_grow.  */
 207 void muscle_percent_code_grow (char const *qualifier, location qualifier_loc,
 208                                char const *code, location code_loc);
 209
 210 void muscles_m4_output (FILE *out);
 211
 212 #endif /* not MUSCLE_TAB_H_ */