]>
Commit | Line | Data |
---|---|---|
ae7453f2 | 1 | /* Muscle table manager for Bison, |
4920ae8b | 2 | |
34136e65 | 3 | Copyright (C) 2001-2003, 2006-2012 Free Software Foundation, Inc. |
f753cd62 MA |
4 | |
5 | This file is part of Bison, the GNU Compiler Compiler. | |
6 | ||
f16b0819 | 7 | This program is free software: you can redistribute it and/or modify |
f753cd62 | 8 | it under the terms of the GNU General Public License as published by |
f16b0819 PE |
9 | the Free Software Foundation, either version 3 of the License, or |
10 | (at your option) any later version. | |
f753cd62 | 11 | |
f16b0819 | 12 | This program is distributed in the hope that it will be useful, |
f753cd62 MA |
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. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
f16b0819 | 18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
f753cd62 MA |
19 | |
20 | #ifndef MUSCLE_TAB_H_ | |
f7737e2e | 21 | # define MUSCLE_TAB_H_ |
f753cd62 | 22 | |
4a9cd8f2 AD |
23 | # include <quotearg.h> |
24 | ||
cd3684cf AD |
25 | # include "location.h" |
26 | ||
d33cb3ae | 27 | void muscle_init (void); |
eb095650 | 28 | void muscle_insert (char const *key, char const *value); |
7eb8a0bc | 29 | char const *muscle_find_const (char const *key); |
9611cfa2 | 30 | char *muscle_find (char const *key); |
d33cb3ae | 31 | void muscle_free (void); |
592e8d4d AD |
32 | |
33 | ||
34 | /* An obstack dedicated to receive muscle keys and values. */ | |
35 | extern struct obstack muscle_obstack; | |
f753cd62 | 36 | |
e9690142 | 37 | #define MUSCLE_INSERT_BOOL(Key, Value) \ |
9b858541 | 38 | do { \ |
4323e0da AD |
39 | int v__ = Value; \ |
40 | MUSCLE_INSERT_INT (Key, v__); \ | |
9b858541 | 41 | } while (0) |
d0829076 | 42 | |
6fbe73b6 | 43 | #define MUSCLE_INSERTF(Key, Format, Value) \ |
9b858541 | 44 | do { \ |
6fbe73b6 AD |
45 | obstack_printf (&muscle_obstack, Format, Value); \ |
46 | muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \ | |
9b858541 | 47 | } while (0) |
9b3add5b | 48 | |
6fbe73b6 AD |
49 | #define MUSCLE_INSERT_INT(Key, Value) \ |
50 | MUSCLE_INSERTF(Key, "%d", Value) | |
51 | ||
e9690142 | 52 | #define MUSCLE_INSERT_LONG_INT(Key, Value) \ |
6fbe73b6 | 53 | MUSCLE_INSERTF(Key, "%ld", Value) |
680e8701 | 54 | |
1de69d6a | 55 | /* Key -> Value, but don't apply escaping to Value. */ |
e9690142 | 56 | #define MUSCLE_INSERT_STRING_RAW(Key, Value) \ |
6fbe73b6 | 57 | MUSCLE_INSERTF(Key, "%s", Value) |
9b3add5b | 58 | |
1de69d6a | 59 | /* Key -> Value, applying M4 escaping to Value. */ |
e9690142 | 60 | #define MUSCLE_INSERT_STRING(Key, Value) \ |
9b858541 | 61 | do { \ |
13b712d7 | 62 | obstack_escape (&muscle_obstack, Value); \ |
6fbe73b6 | 63 | muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \ |
9b858541 | 64 | } while (0) |
a027c30d | 65 | |
e9690142 | 66 | #define MUSCLE_INSERT_C_STRING(Key, Value) \ |
9b858541 | 67 | do { \ |
13b712d7 AD |
68 | obstack_escape (&muscle_obstack, \ |
69 | quotearg_style (c_quoting_style, Value)); \ | |
6fbe73b6 | 70 | muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \ |
9b858541 | 71 | } while (0) |
9b3add5b | 72 | |
50a33993 JD |
73 | /* Append VALUE to the current value of KEY. If KEY did not already |
74 | exist, create it. Use MUSCLE_OBSTACK. De-allocate the previously | |
75 | associated value. Copy VALUE and SEPARATOR. */ | |
ae7453f2 | 76 | |
d33cb3ae | 77 | void muscle_grow (const char *key, const char *value, const char *separator); |
ae7453f2 | 78 | |
cd3684cf AD |
79 | |
80 | /* Append VALUE to the current value of KEY, using muscle_grow. But | |
81 | in addition, issue a synchronization line for the location LOC. */ | |
82 | ||
83 | void muscle_code_grow (const char *key, const char *value, location loc); | |
84 | ||
85 | ||
ae7453f2 | 86 | /* MUSCLE is an M4 list of pairs. Create or extend it with the pair |
7ecec4dd JD |
87 | (A1, A2) after escaping both values with digraphs. Note that because the |
88 | muscle values are output *double* quoted, one needs to strip the first level | |
89 | of quotes to reach the list itself. */ | |
d33cb3ae | 90 | void muscle_pair_list_grow (const char *muscle, |
e9690142 | 91 | const char *a1, const char *a2); |
be2a1a68 | 92 | |
6afc30cc JD |
93 | /* Grow KEY for the occurrence of the name USER_NAME at LOC appropriately for |
94 | use with b4_check_user_names in ../data/bison.m4. USER_NAME is not escaped | |
95 | with digraphs, so it must not contain `[' or `]'. */ | |
9611cfa2 | 96 | void muscle_user_name_list_grow (char const *key, char const *user_name, |
7eb8a0bc JD |
97 | location loc); |
98 | ||
de5ab940 JD |
99 | /* Indicates whether a variable's value was specified with -D/--define, with |
100 | -F/--force-define, or in the grammar file. */ | |
101 | typedef enum { | |
102 | MUSCLE_PERCENT_DEFINE_D = 0, MUSCLE_PERCENT_DEFINE_F, | |
103 | MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE | |
104 | } muscle_percent_define_how; | |
105 | ||
106 | /* Define the muscles for %define variable VARIABLE with VALUE specified | |
107 | at VARIABLE_LOC in the manner HOW unless it was specified in the | |
108 | grammar file while the previous definition for VARIABLE was specified | |
0b6d43c5 | 109 | with -F/--force-define. Complain if a previous definition is being |
de5ab940 JD |
110 | overridden and the new definition is specified in the grammar file. |
111 | (These rules support the documented behavior as long as command-line | |
112 | definitions are processed before grammar file definitions.) Record | |
113 | this as a user occurrence of VARIABLE by invoking | |
f8e7258f | 114 | muscle_user_name_list_grow. */ |
9611cfa2 | 115 | void muscle_percent_define_insert (char const *variable, location variable_loc, |
de5ab940 JD |
116 | char const *value, |
117 | muscle_percent_define_how how); | |
9611cfa2 | 118 | |
4920ae8b AD |
119 | /* Make sure that VARIABLE is set to the boolean VALUE. Warn on mismatches |
120 | only, but accept repeated declaration. Used for backward compatibility | |
121 | between old directives such as %pure-parser, and the recommended use of | |
122 | variables (%define api.pure). */ | |
123 | void muscle_percent_define_ensure (char const *variable, location variable_loc, | |
124 | bool value); | |
125 | ||
f124d423 JD |
126 | /* Mimic b4_percent_define_get in ../data/bison.m4 exactly. That is, if the |
127 | %define variable VARIABLE is defined, return its value. Otherwise, return | |
128 | the empty string. Also, record Bison's usage of VARIABLE by defining | |
129 | b4_percent_define_bison_variables(VARIABLE). The caller is responsible for | |
130 | freeing the memory of the returned string. */ | |
131 | char *muscle_percent_define_get (char const *variable); | |
132 | ||
35b8730d JD |
133 | /* Mimic muscle_percent_define_get_loc in ../data/bison.m4 exactly. That is, |
134 | if the %define variable VARIABLE is undefined, complain fatally since that's | |
135 | a Bison error. Otherwise, return its definition location in a form | |
136 | approriate for the first argument of warn_at, complain_at, or fatal_at. | |
137 | Don't record this as a Bison usage of VARIABLE as there's no reason to | |
138 | suspect that the user-supplied value has yet influenced the output. */ | |
139 | location muscle_percent_define_get_loc (char const *variable); | |
140 | ||
141 | /* Mimic muscle_percent_define_get_syncline in ../data/bison.m4 exactly. That | |
142 | is, if the %define variable VARIABLE is undefined, complain fatally since | |
143 | that's a Bison error. Otherwise, return its definition location as a | |
144 | b4_syncline invocation. Don't record this as a Bison usage of VARIABLE as | |
145 | there's no reason to suspect that the user-supplied value has yet influenced | |
146 | the output. */ | |
147 | char const *muscle_percent_define_get_syncline (char const *variable); | |
148 | ||
f124d423 JD |
149 | /* Mimic b4_percent_define_ifdef in ../data/bison.m4 exactly. That is, if the |
150 | %define variable VARIABLE is defined, return true. Otherwise, return false. | |
151 | Also, record Bison's usage of VARIABLE by defining | |
152 | b4_percent_define_bison_variables(VARIABLE). */ | |
153 | bool muscle_percent_define_ifdef (char const *variable); | |
154 | ||
9611cfa2 JD |
155 | /* Mimic b4_percent_define_flag_if in ../data/bison.m4 exactly. That is, if |
156 | the %define variable VARIABLE is defined to "" or "true", return true. If | |
157 | it is defined to "false", return false. Complain if it is undefined (a | |
158 | Bison error since the default value should have been set already) or defined | |
159 | to any other value (possibly a user error). Also, record Bison's usage of | |
160 | VARIABLE by defining b4_percent_define_bison_variables(VARIABLE). */ | |
161 | bool muscle_percent_define_flag_if (char const *variable); | |
162 | ||
163 | /* Mimic b4_percent_define_default in ../data/bison.m4 exactly. That is, if | |
164 | the %define variable VARIABLE is undefined, set its value to VALUE. | |
165 | Don't record this as a Bison usage of VARIABLE as there's no reason to | |
166 | suspect that the value has yet influenced the output. */ | |
167 | void muscle_percent_define_default (char const *variable, char const *value); | |
168 | ||
d782395d JD |
169 | /* Mimic b4_percent_define_check_values in ../data/bison.m4 exactly except that |
170 | the VALUES structure is more appropriate for C. That is, VALUES points to a | |
171 | list of strings that is partitioned into sublists by NULL's, one terminating | |
172 | each sublist. The last sublist is followed by a second NULL. For each | |
173 | sublist, the first string is the name of a %define variable, and all | |
174 | remaining strings in that sublist are the valid values for that variable. | |
175 | Complain if such a variable is undefined (a Bison error since the default | |
176 | value should have been set already) or defined to any other value (possibly | |
177 | a user error). Don't record this as a Bison usage of the variable as | |
178 | there's no reason to suspect that the value has yet influenced the | |
179 | output. */ | |
b1a81613 | 180 | void muscle_percent_define_check_values (char const * const *values); |
f124d423 | 181 | |
f8e7258f JD |
182 | /* Grow the muscle for the %code qualifier QUALIFIER appearing at |
183 | QUALIFIER_LOC with code CODE appearing at CODE_LOC. Record this as a | |
184 | user occurrence of QUALIFIER by invoking | |
185 | muscle_user_name_list_grow. */ | |
9611cfa2 JD |
186 | void muscle_percent_code_grow (char const *qualifier, location qualifier_loc, |
187 | char const *code, location code_loc); | |
188 | ||
189 | void muscles_m4_output (FILE *out); | |
190 | ||
f753cd62 | 191 | #endif /* not MUSCLE_TAB_H_ */ |