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