]>
Commit | Line | Data |
---|---|---|
08af01c2 | 1 | -*- Autoconf -*- |
fb8135fa AD |
2 | |
3 | # C M4 Macros for Bison. | |
7d424de1 | 4 | |
7d6bad19 | 5 | # Copyright (C) 2002, 2004-2013 Free Software Foundation, Inc. |
fb8135fa | 6 | |
f16b0819 | 7 | # This program is free software: you can redistribute it and/or modify |
fb8135fa | 8 | # it under the terms of the GNU General Public License as published by |
f16b0819 | 9 | # the Free Software Foundation, either version 3 of the License, or |
fb8135fa | 10 | # (at your option) any later version. |
f16b0819 | 11 | # |
fb8135fa AD |
12 | # This program is distributed in the hope that it will be useful, |
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. | |
f16b0819 | 16 | # |
fb8135fa | 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/>. |
fb8135fa | 19 | |
cd735a8c | 20 | m4_include(b4_pkgdatadir/[c-like.m4]) |
22172d47 AD |
21 | |
22 | # b4_tocpp(STRING) | |
23 | # ---------------- | |
24 | # Convert STRING into a valid C macro name. | |
25 | m4_define([b4_tocpp], | |
26 | [m4_toupper(m4_bpatsubst(m4_quote($1), [[^a-zA-Z0-9]+], [_]))]) | |
27 | ||
28 | ||
29 | # b4_cpp_guard(FILE) | |
30 | # ------------------ | |
31 | # A valid C macro name to use as a CPP header guard for FILE. | |
32 | m4_define([b4_cpp_guard], | |
c9d5bcc9 | 33 | [[YY_]b4_tocpp(m4_defn([b4_prefix])/[$1])[_INCLUDED]]) |
22172d47 AD |
34 | |
35 | ||
36 | # b4_cpp_guard_open(FILE) | |
37 | # b4_cpp_guard_close(FILE) | |
38 | # ------------------------ | |
6b4cb804 | 39 | # If FILE does not expand to nothing, open/close CPP inclusion guards for FILE. |
22172d47 | 40 | m4_define([b4_cpp_guard_open], |
6b4cb804 | 41 | [m4_ifval(m4_quote($1), |
22172d47 | 42 | [#ifndef b4_cpp_guard([$1]) |
6b4cb804 | 43 | # define b4_cpp_guard([$1])])]) |
22172d47 AD |
44 | |
45 | m4_define([b4_cpp_guard_close], | |
6b4cb804 AD |
46 | [m4_ifval(m4_quote($1), |
47 | [#endif b4_comment([!b4_cpp_guard([$1])])])]) | |
22172d47 AD |
48 | |
49 | ||
2a8d363a AD |
50 | ## ---------------- ## |
51 | ## Identification. ## | |
52 | ## ---------------- ## | |
fb8135fa | 53 | |
2a8d363a AD |
54 | # b4_identification |
55 | # ----------------- | |
d9df47b6 JD |
56 | # Depends on individual skeletons to define b4_pure_flag, b4_push_flag, or |
57 | # b4_pull_flag if they use the values of the %define variables api.pure or | |
67212941 | 58 | # api.push-pull. |
2a8d363a | 59 | m4_define([b4_identification], |
d9df47b6 JD |
60 | [[/* Identify Bison output. */ |
61 | #define YYBISON 1 | |
2a8d363a | 62 | |
55f64b82 | 63 | /* Bison version. */ |
d9df47b6 | 64 | #define YYBISON_VERSION "]b4_version[" |
55f64b82 | 65 | |
2a8d363a | 66 | /* Skeleton name. */ |
d9df47b6 | 67 | #define YYSKELETON_NAME ]b4_skeleton[]m4_ifdef([b4_pure_flag], [[ |
2a8d363a AD |
68 | |
69 | /* Pure parsers. */ | |
d9df47b6 JD |
70 | #define YYPURE ]b4_pure_flag])[]m4_ifdef([b4_push_flag], [[ |
71 | ||
72 | /* Push parsers. */ | |
73 | #define YYPUSH ]b4_push_flag])[]m4_ifdef([b4_pull_flag], [[ | |
74 | ||
75 | /* Pull parsers. */ | |
76 | #define YYPULL ]b4_pull_flag])[ | |
d9df47b6 | 77 | ]]) |
2a8d363a AD |
78 | |
79 | ||
7ec2d4cd AD |
80 | ## ---------------- ## |
81 | ## Default values. ## | |
82 | ## ---------------- ## | |
83 | ||
4b3847c3 AD |
84 | # b4_api_prefix, b4_api_PREFIX |
85 | # ---------------------------- | |
86 | # Corresponds to %define api.prefix | |
87 | b4_percent_define_default([[api.prefix]], [[yy]]) | |
88 | m4_define([b4_api_prefix], | |
89 | [b4_percent_define_get([[api.prefix]])]) | |
90 | m4_define([b4_api_PREFIX], | |
91 | [m4_toupper(b4_api_prefix)]) | |
92 | ||
93 | ||
94 | # b4_prefix | |
95 | # --------- | |
96 | # If the %name-prefix is not given, it is api.prefix. | |
97 | m4_define_default([b4_prefix], [b4_api_prefix]) | |
98 | ||
1b818f33 | 99 | # If the %union is not named, its name is YYSTYPE. |
4b3847c3 | 100 | m4_define_default([b4_union_name], [b4_api_PREFIX[]STYPE]) |
7ec2d4cd | 101 | |
cd48d21d | 102 | |
2a8d363a AD |
103 | ## ------------------------ ## |
104 | ## Pure/impure interfaces. ## | |
105 | ## ------------------------ ## | |
106 | ||
64b3612a AD |
107 | # b4_lex_formals |
108 | # -------------- | |
109 | # All the yylex formal arguments. | |
110 | # b4_lex_param arrives quoted twice, but we want to keep only one level. | |
111 | m4_define([b4_lex_formals], | |
112 | [b4_pure_if([[[[YYSTYPE *yylvalp]], [[&yylval]]][]dnl | |
113 | b4_locations_if([, [[YYLTYPE *yyllocp], [&yylloc]]])])dnl | |
114 | m4_ifdef([b4_lex_param], [, ]b4_lex_param)]) | |
115 | ||
116 | ||
117 | # b4_lex | |
118 | # ------ | |
119 | # Call yylex. | |
120 | m4_define([b4_lex], | |
121 | [b4_function_call([yylex], [int], b4_lex_formals)]) | |
122 | ||
123 | ||
2a8d363a AD |
124 | # b4_user_args |
125 | # ------------ | |
126 | m4_define([b4_user_args], | |
15f66669 | 127 | [m4_ifset([b4_parse_param], [, b4_args(b4_parse_param)])]) |
2a8d363a AD |
128 | |
129 | ||
130 | # b4_parse_param | |
131 | # -------------- | |
132 | # If defined, b4_parse_param arrives double quoted, but below we prefer | |
133 | # it to be single quoted. | |
2a8d363a | 134 | m4_define([b4_parse_param], |
7ecec4dd | 135 | b4_parse_param) |
2a8d363a | 136 | |
8f7e3cf9 | 137 | |
613d8952 AD |
138 | # b4_parse_param_for(DECL, FORMAL, BODY) |
139 | # --------------------------------------- | |
140 | # Iterate over the user parameters, binding the declaration to DECL, | |
141 | # the formal name to FORMAL, and evaluating the BODY. | |
142 | m4_define([b4_parse_param_for], | |
143 | [m4_foreach([$1_$2], m4_defn([b4_parse_param]), | |
6bbb2ed5 | 144 | [m4_pushdef([$1], m4_unquote(m4_car($1_$2)))dnl |
613d8952 AD |
145 | m4_pushdef([$2], m4_shift($1_$2))dnl |
146 | $3[]dnl | |
147 | m4_popdef([$2])dnl | |
148 | m4_popdef([$1])dnl | |
149 | ])]) | |
150 | ||
beadb220 AD |
151 | # b4_parse_param_use([VAL], [LOC]) |
152 | # -------------------------------- | |
45eebca4 | 153 | # 'YYUSE' VAL, LOC if locations are enabled, and all the parse-params. |
613d8952 | 154 | m4_define([b4_parse_param_use], |
1092d69c | 155 | [m4_ifvaln([$1], [ YYUSE ([$1]);])dnl |
1e5d6540 | 156 | b4_locations_if([m4_ifvaln([$2], [ YYUSE ([$2]);])])dnl |
beadb220 | 157 | b4_parse_param_for([Decl], [Formal], [ YYUSE (Formal); |
613d8952 AD |
158 | ])dnl |
159 | ]) | |
2a8d363a | 160 | |
8e1687ae | 161 | |
fb8135fa AD |
162 | ## ------------ ## |
163 | ## Data Types. ## | |
164 | ## ------------ ## | |
165 | ||
a762e609 AD |
166 | # b4_int_type(MIN, MAX) |
167 | # --------------------- | |
168 | # Return the smallest int type able to handle numbers ranging from | |
169 | # MIN to MAX (included). | |
170 | m4_define([b4_int_type], | |
171 | [m4_if(b4_ints_in($@, [0], [255]), [1], [unsigned char], | |
f1886bb2 | 172 | b4_ints_in($@, [-128], [127]), [1], [signed char], |
a762e609 | 173 | |
779e7ceb PE |
174 | b4_ints_in($@, [0], [65535]), [1], [unsigned short int], |
175 | b4_ints_in($@, [-32768], [32767]), [1], [short int], | |
a762e609 AD |
176 | |
177 | m4_eval([0 <= $1]), [1], [unsigned int], | |
178 | ||
e9690142 | 179 | [int])]) |
a762e609 | 180 | |
f1886bb2 | 181 | |
a762e609 AD |
182 | # b4_int_type_for(NAME) |
183 | # --------------------- | |
184 | # Return the smallest int type able to handle numbers ranging from | |
45eebca4 | 185 | # 'NAME_min' to 'NAME_max' (included). |
a762e609 AD |
186 | m4_define([b4_int_type_for], |
187 | [b4_int_type($1_min, $1_max)]) | |
fb8135fa | 188 | |
cf98343c | 189 | |
87412882 JD |
190 | # b4_table_value_equals(TABLE, VALUE, LITERAL) |
191 | # -------------------------------------------- | |
192 | # Without inducing a comparison warning from the compiler, check if the | |
193 | # literal value LITERAL equals VALUE from table TABLE, which must have | |
56f8d560 | 194 | # TABLE_min and TABLE_max defined. |
87412882 JD |
195 | m4_define([b4_table_value_equals], |
196 | [m4_if(m4_eval($3 < m4_indir([b4_]$1[_min]) | |
197 | || m4_indir([b4_]$1[_max]) < $3), [1], | |
56f8d560 | 198 | [[0]], |
34076080 | 199 | [(!!(($2) == ($3)))])]) |
cf98343c | 200 | |
ef51bfa7 | 201 | |
8e1687ae PE |
202 | ## ---------## |
203 | ## Values. ## | |
204 | ## ---------## | |
205 | ||
8e1687ae | 206 | |
ef51bfa7 AD |
207 | # b4_null_define |
208 | # -------------- | |
209 | # Portability issues: define a YY_NULL appropriate for the current | |
210 | # language (C, C++98, or C++11). | |
211 | m4_define([b4_null_define], | |
212 | [# ifndef YY_NULL | |
213 | # if defined __cplusplus && 201103L <= __cplusplus | |
214 | # define YY_NULL nullptr | |
215 | # else | |
216 | # define YY_NULL 0 | |
217 | # endif | |
218 | # endif[]dnl | |
219 | ]) | |
220 | ||
221 | ||
222 | # b4_null | |
223 | # ------- | |
224 | # Return a null pointer constant. | |
225 | m4_define([b4_null], [YY_NULL]) | |
8e1687ae | 226 | |
ba206cf4 AD |
227 | # b4_integral_parser_table_define(TABLE-NAME, CONTENT, COMMENT) |
228 | # ------------------------------------------------------------- | |
e672a4ba | 229 | # Define "yy<TABLE-NAME>" whose contents is CONTENT. |
ba206cf4 | 230 | m4_define([b4_integral_parser_table_define], |
15f66669 | 231 | [m4_ifvaln([$3], [b4_comment([$3], [ ])])dnl |
0991e29b AD |
232 | static const b4_int_type_for([$2]) yy$1[[]] = |
233 | { | |
234 | $2 | |
235 | };dnl | |
236 | ]) | |
cf98343c AD |
237 | |
238 | ||
fb8135fa AD |
239 | ## ------------------------- ## |
240 | ## Assigning token numbers. ## | |
241 | ## ------------------------- ## | |
242 | ||
e3990e3c AD |
243 | # b4_token_define(TOKEN-NUM) |
244 | # -------------------------- | |
fb8135fa AD |
245 | # Output the definition of this token as #define. |
246 | m4_define([b4_token_define], | |
e3990e3c | 247 | [b4_token_format([#define %s %s], [$1])]) |
fb8135fa | 248 | |
e3990e3c AD |
249 | # b4_token_defines |
250 | # ---------------- | |
251 | # Output the definition of the tokens. | |
cf147260 | 252 | m4_define([b4_token_defines], |
e3990e3c AD |
253 | [b4_any_token_visible_if([/* Tokens. */ |
254 | m4_join([ | |
255 | ], b4_symbol_map([b4_token_define])) | |
256 | ])]) | |
cf147260 AD |
257 | |
258 | ||
e3990e3c AD |
259 | # b4_token_enum(TOKEN-NUM) |
260 | # ------------------------ | |
fb8135fa AD |
261 | # Output the definition of this token as an enum. |
262 | m4_define([b4_token_enum], | |
e3990e3c | 263 | [b4_token_format([%s = %s], [$1])]) |
fb8135fa AD |
264 | |
265 | ||
e3990e3c AD |
266 | # b4_token_enums |
267 | # -------------- | |
cf147260 AD |
268 | # Output the definition of the tokens (if there are) as enums. |
269 | m4_define([b4_token_enums], | |
4d9bdbe3 | 270 | [b4_any_token_visible_if([[/* Token type. */ |
4b3847c3 AD |
271 | #ifndef ]b4_api_PREFIX[TOKENTYPE |
272 | # define ]b4_api_PREFIX[TOKENTYPE | |
e3990e3c AD |
273 | enum ]b4_api_prefix[tokentype |
274 | { | |
275 | ]m4_join([, | |
276 | ], | |
277 | b4_symbol_map([b4_token_enum]))[ | |
278 | }; | |
095b9f05 | 279 | #endif |
4b3847c3 | 280 | ]])]) |
cf147260 AD |
281 | |
282 | ||
e3990e3c AD |
283 | # b4_token_enums_defines |
284 | # ---------------------- | |
285 | # Output the definition of the tokens (if there are any) as enums and, | |
286 | # if POSIX Yacc is enabled, as #defines. | |
cf147260 | 287 | m4_define([b4_token_enums_defines], |
e3990e3c | 288 | [b4_token_enums[]b4_yacc_if([b4_token_defines])]) |
4a2a22f4 AD |
289 | |
290 | ||
1fa5d8bb AD |
291 | ## ----------------- ## |
292 | ## Semantic Values. ## | |
293 | ## ----------------- ## | |
294 | ||
295 | ||
296 | # b4_symbol_value(VAL, [TYPE]) | |
297 | # ---------------------------- | |
298 | # Given a semantic value VAL ($$, $1 etc.), extract its value of type | |
299 | # TYPE if TYPE is given, otherwise just return VAL. The result can be | |
300 | # used safetly, it is put in parens to avoid nasty precedence issues. | |
301 | # TYPE is *not* put in braces, provide some if needed. | |
302 | m4_define([b4_symbol_value], | |
303 | [($1[]m4_ifval([$2], [.$2]))]) | |
304 | ||
305 | ||
ae7453f2 | 306 | |
71b56f46 AD |
307 | ## ---------------------- ## |
308 | ## Defining C functions. ## | |
309 | ## ---------------------- ## | |
4a2a22f4 AD |
310 | |
311 | ||
15f66669 AD |
312 | # b4_function_define(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
313 | # ----------------------------------------------------------- | |
71b56f46 | 314 | # Declare the function NAME in C. |
15f66669 | 315 | m4_define([b4_function_define], |
0245f82d | 316 | [$2 |
15f66669 | 317 | $1 (b4_formals(m4_shift2($@)))[]dnl |
0245f82d AD |
318 | ]) |
319 | ||
320 | ||
15f66669 AD |
321 | # b4_formals([DECL1, NAME1], ...) |
322 | # ------------------------------- | |
71b56f46 | 323 | # The formal arguments of a C function definition. |
15f66669 | 324 | m4_define([b4_formals], |
6bbb2ed5 EB |
325 | [m4_if([$#], [0], [void], |
326 | [$#$1], [1], [void], | |
15f66669 | 327 | [m4_map_sep([b4_formal], [, ], [$@])])]) |
4a2a22f4 | 328 | |
15f66669 | 329 | m4_define([b4_formal], |
0245f82d | 330 | [$1]) |
4a2a22f4 AD |
331 | |
332 | ||
4a2a22f4 | 333 | |
71b56f46 AD |
334 | ## ----------------------- ## |
335 | ## Declaring C functions. ## | |
336 | ## ----------------------- ## | |
21964f43 AD |
337 | |
338 | ||
15f66669 AD |
339 | # b4_function_declare(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
340 | # ------------------------------------------------------------ | |
0245f82d | 341 | # Declare the function NAME. |
15f66669 AD |
342 | m4_define([b4_function_declare], |
343 | [$2 $1 (b4_formals(m4_shift2($@)));[]dnl | |
0245f82d AD |
344 | ]) |
345 | ||
346 | ||
347 | ||
348 | ||
349 | ## --------------------- ## | |
350 | ## Calling C functions. ## | |
351 | ## --------------------- ## | |
352 | ||
353 | ||
15f66669 | 354 | # b4_function_call(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
0245f82d AD |
355 | # ----------------------------------------------------------- |
356 | # Call the function NAME with arguments NAME1, NAME2 etc. | |
15f66669 AD |
357 | m4_define([b4_function_call], |
358 | [$1 (b4_args(m4_shift2($@)))[]dnl | |
0245f82d AD |
359 | ]) |
360 | ||
361 | ||
15f66669 AD |
362 | # b4_args([DECL1, NAME1], ...) |
363 | # ---------------------------- | |
0245f82d | 364 | # Output the arguments NAME1, NAME2... |
15f66669 AD |
365 | m4_define([b4_args], |
366 | [m4_map_sep([b4_arg], [, ], [$@])]) | |
0245f82d | 367 | |
15f66669 | 368 | m4_define([b4_arg], |
0245f82d | 369 | [$2]) |
437c2d80 AD |
370 | |
371 | ||
372 | ## ----------- ## | |
373 | ## Synclines. ## | |
374 | ## ----------- ## | |
375 | ||
90b9908d | 376 | # b4_sync_start(LINE, FILE) |
15f66669 | 377 | # ------------------------- |
90b9908d | 378 | m4_define([b4_sync_start], [[#]line $1 $2]) |
8ec0a172 | 379 | |
613d8952 AD |
380 | |
381 | ## -------------- ## | |
382 | ## User actions. ## | |
383 | ## -------------- ## | |
384 | ||
8e1687ae PE |
385 | # b4_case(LABEL, STATEMENTS) |
386 | # -------------------------- | |
387 | m4_define([b4_case], | |
388 | [ case $1: | |
389 | $2 | |
2141aded | 390 | b4_syncline([@oline@], [@ofile@]) |
8e1687ae PE |
391 | break;]) |
392 | ||
b0400cc6 | 393 | |
ca2a6d15 PH |
394 | # b4_predicate_case(LABEL, CONDITIONS) |
395 | # ------------------------------------ | |
396 | m4_define([b4_predicate_case], | |
397 | [ case $1: | |
398 | if (! ($2)) YYERROR; | |
399 | b4_syncline([@oline@], [@ofile@]) | |
400 | break;]) | |
401 | ||
402 | ||
e3f12e08 AD |
403 | # b4_yydestruct_define |
404 | # -------------------- | |
d00ff612 | 405 | # Define the "yydestruct" function. |
e3f12e08 | 406 | m4_define_default([b4_yydestruct_define], |
b0400cc6 AD |
407 | [[/*-----------------------------------------------. |
408 | | Release the memory associated to this symbol. | | |
409 | `-----------------------------------------------*/ | |
410 | ||
d00ff612 | 411 | ]b4_function_define([yydestruct], |
b0400cc6 | 412 | [static void], |
a0e68930 | 413 | [[const char *yymsg], [yymsg]], |
7bd6c77e | 414 | [[int yytype], [yytype]], |
4b367315 | 415 | [[YYSTYPE *yyvaluep], [yyvaluep]][]dnl |
327afc7c | 416 | b4_locations_if( [, [[YYLTYPE *yylocationp], [yylocationp]]])[]dnl |
4b367315 | 417 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
b0400cc6 | 418 | { |
1e5d6540 AD |
419 | ]b4_parse_param_use([yyvaluep], [yylocationp])dnl |
420 | [ if (!yymsg) | |
a0e68930 AD |
421 | yymsg = "Deleting"; |
422 | YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); | |
423 | ||
b0400cc6 AD |
424 | switch (yytype) |
425 | { | |
3bb21113 AD |
426 | ]b4_symbol_foreach([b4_symbol_destructor])dnl |
427 | [ default: | |
e9690142 | 428 | break; |
b0400cc6 AD |
429 | } |
430 | }]dnl | |
431 | ]) | |
7bd6c77e AD |
432 | |
433 | ||
e3f12e08 AD |
434 | # b4_yy_symbol_print_define |
435 | # ------------------------- | |
d00ff612 | 436 | # Define the "yy_symbol_print" function. |
e3f12e08 | 437 | m4_define_default([b4_yy_symbol_print_define], |
a0af42fc AD |
438 | [[ |
439 | /*--------------------------------. | |
14740648 PE |
440 | | Print this symbol on YYOUTPUT. | |
441 | `--------------------------------*/ | |
7bd6c77e | 442 | |
d00ff612 | 443 | ]b4_function_define([yy_symbol_value_print], |
7bd6c77e | 444 | [static void], |
e9690142 JD |
445 | [[FILE *yyoutput], [yyoutput]], |
446 | [[int yytype], [yytype]], | |
447 | [[YYSTYPE const * const yyvaluep], [yyvaluep]][]dnl | |
50cce58e | 448 | b4_locations_if([, [[YYLTYPE const * const yylocationp], [yylocationp]]])[]dnl |
4b367315 | 449 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
7bd6c77e | 450 | { |
c5026327 AD |
451 | FILE *yyo = yyoutput; |
452 | ]b4_parse_param_use([yyo], [yylocationp])dnl | |
1e5d6540 | 453 | [ if (!yyvaluep) |
fc257703 AD |
454 | return;] |
455 | dnl glr.c does not feature yytoknum. | |
456 | m4_if(b4_skeleton, ["yacc.c"], | |
457 | [[# ifdef YYPRINT | |
619404e3 AD |
458 | if (yytype < YYNTOKENS) |
459 | YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); | |
460 | # endif | |
fc257703 AD |
461 | ]])dnl |
462 | [ switch (yytype) | |
7bd6c77e | 463 | { |
3bb21113 | 464 | ]b4_symbol_foreach([b4_symbol_printer])dnl |
3fc16193 | 465 | [ default: |
e9690142 | 466 | break; |
7bd6c77e | 467 | } |
a0af42fc AD |
468 | } |
469 | ||
470 | ||
471 | /*--------------------------------. | |
472 | | Print this symbol on YYOUTPUT. | | |
473 | `--------------------------------*/ | |
474 | ||
d00ff612 | 475 | ]b4_function_define([yy_symbol_print], |
a0af42fc | 476 | [static void], |
e9690142 JD |
477 | [[FILE *yyoutput], [yyoutput]], |
478 | [[int yytype], [yytype]], | |
479 | [[YYSTYPE const * const yyvaluep], [yyvaluep]][]dnl | |
50cce58e | 480 | b4_locations_if([, [[YYLTYPE const * const yylocationp], [yylocationp]]])[]dnl |
a0af42fc AD |
481 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
482 | { | |
d9fa1b7c AD |
483 | YYFPRINTF (yyoutput, "%s %s (", |
484 | yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); | |
a0af42fc | 485 | |
327afc7c | 486 | ]b4_locations_if([ YY_LOCATION_PRINT (yyoutput, *yylocationp); |
a0af42fc AD |
487 | YYFPRINTF (yyoutput, ": "); |
488 | ])dnl | |
489 | [ yy_symbol_value_print (yyoutput, yytype, yyvaluep]dnl | |
327afc7c | 490 | b4_locations_if([, yylocationp])[]b4_user_args[); |
2f4f028d | 491 | YYFPRINTF (yyoutput, ")"); |
4b367315 AD |
492 | }]dnl |
493 | ]) | |
c0828abf | 494 | |
6574576c AD |
495 | |
496 | ## ---------------- ## | |
497 | ## api.value.type. ## | |
498 | ## ---------------- ## | |
499 | ||
500 | ||
501 | # ---------------------- # | |
502 | # api.value.type=union. # | |
503 | # ---------------------- # | |
504 | ||
505 | # b4_symbol_type_register(SYMBOL-NUM) | |
506 | # ----------------------------------- | |
507 | # Symbol SYMBOL-NUM has a type (for variant) instead of a type-tag. | |
508 | # Extend the definition of %union's body with a field of that type, | |
509 | # and extend the symbol's "type" field to point to the field name, | |
510 | # instead of the type name. | |
511 | m4_define([b4_symbol_type_register], | |
512 | [m4_define([b4_symbol($1, type_tag)], | |
513 | [b4_symbol_if([$1], [has_id], | |
514 | [b4_symbol([$1], [id])], | |
515 | [yytype_[]b4_symbol([$1], [number])])])dnl | |
516 | m4_append([b4_user_union_members], | |
517 | m4_expand([ | |
518 | b4_symbol_tag_comment([$1])dnl | |
519 | b4_symbol([$1], [type]) b4_symbol([$1], [type_tag]);])) | |
520 | ]) | |
521 | ||
522 | ||
523 | # b4_type_define_tag(SYMBOL1-NUM, ...) | |
524 | # ------------------------------------ | |
525 | # For the batch of symbols SYMBOL1-NUM... (which all have the same | |
526 | # type), enhance the %union definition for each of them, and set | |
527 | # there "type" field to the field tag name, instead of the type name. | |
528 | m4_define([b4_type_define_tag], | |
529 | [b4_symbol_if([$1], [has_type], | |
530 | [m4_map([b4_symbol_type_register], [$@])]) | |
531 | ]) | |
532 | ||
533 | ||
534 | # b4_symbol_value_union(VAL, [TYPE]) | |
535 | # ---------------------------------- | |
536 | # Same of b4_symbol_value, but when api.value.type=union. | |
537 | m4_define([b4_symbol_value_union], | |
538 | [m4_ifval([$2], | |
539 | [(*($2*)(&$1))], | |
540 | [$1])]) | |
541 | ]) | |
542 | ||
543 | ||
544 | # b4_value_type_setup_union | |
545 | # ------------------------- | |
546 | # Setup support for api.value.type=union. Symbols are defined with a | |
547 | # type instead of a union member name: build the corresponding union, | |
548 | # and give the symbols their tag. | |
549 | m4_define([b4_value_type_setup_union], | |
550 | [m4_define([b4_union_members]) | |
551 | b4_type_foreach([b4_type_define_tag]) | |
552 | m4_copy_force([b4_symbol_value_union], [b4_symbol_value]) | |
553 | ]) | |
554 | ||
555 | ||
556 | # ---------------- # | |
557 | # api.value.type. # | |
558 | # ---------------- # | |
559 | ||
560 | ||
561 | # b4_value_type_setup_variant | |
562 | # --------------------------- | |
563 | # Setup support for api.value.type=variant. By default, fail, specialized | |
564 | # by other skeletons. | |
565 | m4_define([b4_value_type_setup_variant], | |
566 | [b4_complain_at(b4_percent_define_get_loc([api.value.type]), | |
567 | [['%s' does not support '%s']], | |
568 | [b4_skeleton], | |
569 | [%define api.value.type variant])]) | |
570 | ||
571 | ||
572 | # b4_value_type_setup | |
573 | # ------------------- | |
574 | # Check if api.value.type is properly defined, and possibly prepare | |
575 | # its use. | |
576 | m4_define([b4_value_type_setup], | |
577 | [b4_percent_define_default([[api.value.type]], | |
578 | [m4_ifdef([b4_union_members], [%union], | |
579 | [m4_if(b4_tag_seen_flag, 0, [int], | |
580 | [])])])dnl | |
581 | m4_case(b4_percent_define_get([api.value.type]), | |
582 | [union], [b4_value_type_setup_union], | |
583 | [variant], [b4_value_type_setup_variant])]) | |
584 | ||
585 | ||
586 | ||
c0828abf AD |
587 | ## -------------- ## |
588 | ## Declarations. ## | |
589 | ## -------------- ## | |
590 | ||
6574576c | 591 | |
4d9bdbe3 AD |
592 | # b4_value_type_define |
593 | # -------------------- | |
594 | m4_define([b4_value_type_define], | |
6574576c AD |
595 | [b4_value_type_setup[]dnl |
596 | /* Value type. */ | |
597 | m4_bmatch(b4_percent_define_get([api.value.type]), | |
598 | [^%?union$], | |
599 | [[#if ! defined ]b4_api_PREFIX[STYPE && ! defined ]b4_api_PREFIX[STYPE_IS_DECLARED | |
600 | typedef union ]b4_union_name[ ]b4_api_PREFIX[STYPE; | |
4d9bdbe3 | 601 | union ]b4_union_name[ |
c0828abf | 602 | { |
c5dbd909 | 603 | ]b4_user_union_members[ |
4d9bdbe3 | 604 | }; |
6574576c | 605 | # define ]b4_api_PREFIX[STYPE_IS_TRIVIAL 1 |
4b3847c3 | 606 | # define ]b4_api_PREFIX[STYPE_IS_DECLARED 1 |
4d9bdbe3 | 607 | #endif |
6574576c AD |
608 | ]], |
609 | [^$], [], | |
610 | [[#if ! defined ]b4_api_PREFIX[STYPE && ! defined ]b4_api_PREFIX[STYPE_IS_DECLARED | |
611 | typedef ]b4_percent_define_get([api.value.type])[ ]b4_api_PREFIX[STYPE; | |
612 | # define ]b4_api_PREFIX[STYPE_IS_TRIVIAL 1 | |
613 | # define ]b4_api_PREFIX[STYPE_IS_DECLARED 1 | |
614 | #endif | |
615 | ]])]) | |
c0828abf | 616 | |
4d9bdbe3 AD |
617 | |
618 | # b4_location_type_define | |
619 | # ----------------------- | |
620 | m4_define([b4_location_type_define], | |
621 | [[/* Location type. */ | |
4b3847c3 | 622 | #if ! defined ]b4_api_PREFIX[LTYPE && ! defined ]b4_api_PREFIX[LTYPE_IS_DECLARED |
4d9bdbe3 AD |
623 | typedef struct ]b4_api_PREFIX[LTYPE ]b4_api_PREFIX[LTYPE; |
624 | struct ]b4_api_PREFIX[LTYPE | |
c0828abf AD |
625 | { |
626 | int first_line; | |
627 | int first_column; | |
628 | int last_line; | |
629 | int last_column; | |
4d9bdbe3 | 630 | }; |
4b3847c3 AD |
631 | # define ]b4_api_PREFIX[LTYPE_IS_DECLARED 1 |
632 | # define ]b4_api_PREFIX[LTYPE_IS_TRIVIAL 1 | |
4d9bdbe3 AD |
633 | #endif |
634 | ]]) | |
635 | ||
636 | ||
637 | # b4_declare_yylstype | |
638 | # ------------------- | |
639 | # Declarations that might either go into the header (if --defines) or | |
640 | # in the parser body. Declare YYSTYPE/YYLTYPE, and yylval/yylloc. | |
641 | m4_define([b4_declare_yylstype], | |
642 | [b4_value_type_define[]b4_locations_if([ | |
643 | b4_location_type_define]) | |
756257ee | 644 | |
4b3847c3 AD |
645 | b4_pure_if([], [[extern ]b4_api_PREFIX[STYPE ]b4_prefix[lval; |
646 | ]b4_locations_if([[extern ]b4_api_PREFIX[LTYPE ]b4_prefix[lloc;]])])[]dnl | |
c0828abf | 647 | ]) |
56ca3d8f | 648 | |
4d9bdbe3 | 649 | |
5f108727 | 650 | # b4_YYDEBUG_define |
dde95ca4 | 651 | # ----------------- |
5f108727 | 652 | m4_define([b4_YYDEBUG_define], |
4d9bdbe3 | 653 | [[/* Debug traces. */ |
5f108727 AD |
654 | ]m4_if(b4_api_prefix, [yy], |
655 | [[#ifndef YYDEBUG | |
e436fa67 | 656 | # define YYDEBUG ]b4_parse_trace_if([1], [0])[ |
5f108727 AD |
657 | #endif]], |
658 | [[#ifndef ]b4_api_PREFIX[DEBUG | |
659 | # if defined YYDEBUG | |
56ca3d8f | 660 | #if YYDEBUG |
5f108727 AD |
661 | # define ]b4_api_PREFIX[DEBUG 1 |
662 | # else | |
663 | # define ]b4_api_PREFIX[DEBUG 0 | |
664 | # endif | |
665 | # else /* ! defined YYDEBUG */ | |
ccdc1577 | 666 | # define ]b4_api_PREFIX[DEBUG ]b4_parse_trace_if([1], [0])[ |
851e3f84 | 667 | # endif /* ! defined YYDEBUG */ |
5f108727 AD |
668 | #endif /* ! defined ]b4_api_PREFIX[DEBUG */]])[]dnl |
669 | ]) | |
670 | ||
671 | # b4_declare_yydebug | |
672 | # ------------------ | |
673 | m4_define([b4_declare_yydebug], | |
674 | [b4_YYDEBUG_define[ | |
675 | #if ]b4_api_PREFIX[DEBUG | |
56ca3d8f AD |
676 | extern int ]b4_prefix[debug; |
677 | #endif][]dnl | |
678 | ]) | |
426903aa AD |
679 | |
680 | # b4_yylloc_default_define | |
681 | # ------------------------ | |
682 | # Define YYLLOC_DEFAULT. | |
683 | m4_define([b4_yylloc_default_define], | |
684 | [[/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. | |
685 | If N is 0, then set CURRENT to the empty location which ends | |
686 | the previous symbol: RHS[0] (always defined). */ | |
687 | ||
688 | #ifndef YYLLOC_DEFAULT | |
689 | # define YYLLOC_DEFAULT(Current, Rhs, N) \ | |
690 | do \ | |
56f8d560 | 691 | if (N) \ |
426903aa AD |
692 | { \ |
693 | (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \ | |
694 | (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \ | |
695 | (Current).last_line = YYRHSLOC (Rhs, N).last_line; \ | |
696 | (Current).last_column = YYRHSLOC (Rhs, N).last_column; \ | |
697 | } \ | |
698 | else \ | |
699 | { \ | |
700 | (Current).first_line = (Current).last_line = \ | |
701 | YYRHSLOC (Rhs, 0).last_line; \ | |
702 | (Current).first_column = (Current).last_column = \ | |
703 | YYRHSLOC (Rhs, 0).last_column; \ | |
704 | } \ | |
56f8d560 | 705 | while (0) |
426903aa AD |
706 | #endif |
707 | ]]) | |
a68b1f23 | 708 | |
3237f570 AD |
709 | # b4_yy_location_print_define |
710 | # --------------------------- | |
711 | # Define YY_LOCATION_PRINT. | |
712 | m4_define([b4_yy_location_print_define], | |
713 | [b4_locations_if([[ | |
714 | /* YY_LOCATION_PRINT -- Print the location on the stream. | |
715 | This macro was not mandated originally: define only if we know | |
716 | we won't break user code: when these are the locations we know. */ | |
717 | ||
718 | #ifndef YY_LOCATION_PRINT | |
719 | # if defined ]b4_api_PREFIX[LTYPE_IS_TRIVIAL && ]b4_api_PREFIX[LTYPE_IS_TRIVIAL | |
3804aa26 AD |
720 | |
721 | /* Print *YYLOCP on YYO. Private, do not rely on its existence. */ | |
722 | ||
723 | __attribute__((__unused__)) | |
064e42b0 | 724 | ]b4_function_define([yy_location_print_], |
3804aa26 AD |
725 | [static unsigned], |
726 | [[FILE *yyo], [yyo]], | |
727 | [[YYLTYPE const * const yylocp], [yylocp]])[ | |
728 | { | |
729 | unsigned res = 0; | |
730 | int end_col = 0 != yylocp->last_column ? yylocp->last_column - 1 : 0; | |
731 | if (0 <= yylocp->first_line) | |
732 | { | |
f0f95a50 | 733 | res += YYFPRINTF (yyo, "%d", yylocp->first_line); |
3804aa26 | 734 | if (0 <= yylocp->first_column) |
f0f95a50 | 735 | res += YYFPRINTF (yyo, ".%d", yylocp->first_column); |
3804aa26 AD |
736 | } |
737 | if (0 <= yylocp->last_line) | |
738 | { | |
739 | if (yylocp->first_line < yylocp->last_line) | |
740 | { | |
f0f95a50 | 741 | res += YYFPRINTF (yyo, "-%d", yylocp->last_line); |
3804aa26 | 742 | if (0 <= end_col) |
f0f95a50 | 743 | res += YYFPRINTF (yyo, ".%d", end_col); |
3804aa26 AD |
744 | } |
745 | else if (0 <= end_col && yylocp->first_column < end_col) | |
f0f95a50 | 746 | res += YYFPRINTF (yyo, "-%d", end_col); |
3804aa26 AD |
747 | } |
748 | return res; | |
749 | } | |
750 | ||
f0f95a50 | 751 | # define YY_LOCATION_PRINT(File, Loc) \ |
3804aa26 AD |
752 | yy_location_print_ (File, &(Loc)) |
753 | ||
3237f570 AD |
754 | # else |
755 | # define YY_LOCATION_PRINT(File, Loc) ((void) 0) | |
756 | # endif | |
757 | #endif]], | |
758 | [[/* This macro is provided for backward compatibility. */ | |
759 | #ifndef YY_LOCATION_PRINT | |
760 | # define YY_LOCATION_PRINT(File, Loc) ((void) 0) | |
761 | #endif]]) | |
762 | ]) | |
763 | ||
a1d1ab50 AD |
764 | # b4_yyloc_default |
765 | # ---------------- | |
766 | # Expand to a possible default value for yylloc. | |
767 | m4_define([b4_yyloc_default], | |
768 | [[ | |
a68b1f23 AD |
769 | # if defined ]b4_api_PREFIX[LTYPE_IS_TRIVIAL && ]b4_api_PREFIX[LTYPE_IS_TRIVIAL |
770 | = { ]m4_join([, ], | |
771 | m4_defn([b4_location_initial_line]), | |
772 | m4_defn([b4_location_initial_column]), | |
773 | m4_defn([b4_location_initial_line]), | |
774 | m4_defn([b4_location_initial_column]))[ } | |
775 | # endif | |
a1d1ab50 | 776 | ]]) |