]>
Commit | Line | Data |
---|---|---|
08af01c2 | 1 | -*- Autoconf -*- |
fb8135fa AD |
2 | |
3 | # C M4 Macros for Bison. | |
6e30ede8 | 4 | |
c932d613 | 5 | # Copyright (C) 2002, 2004-2012 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], | |
6192d2c6 | 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 | |
90b9908d PB |
54 | # b4_comment(TEXT) |
55 | # ---------------- | |
56 | m4_define([b4_comment], [/* m4_bpatsubst([$1], [ | |
57 | ], [ | |
58 | ]) */]) | |
fb8135fa | 59 | |
2a8d363a AD |
60 | # b4_identification |
61 | # ----------------- | |
d9df47b6 JD |
62 | # Depends on individual skeletons to define b4_pure_flag, b4_push_flag, or |
63 | # b4_pull_flag if they use the values of the %define variables api.pure or | |
812775a0 | 64 | # api.push-pull. |
2a8d363a | 65 | m4_define([b4_identification], |
d9df47b6 JD |
66 | [[/* Identify Bison output. */ |
67 | #define YYBISON 1 | |
2a8d363a | 68 | |
55f64b82 | 69 | /* Bison version. */ |
d9df47b6 | 70 | #define YYBISON_VERSION "]b4_version[" |
55f64b82 | 71 | |
2a8d363a | 72 | /* Skeleton name. */ |
d9df47b6 | 73 | #define YYSKELETON_NAME ]b4_skeleton[]m4_ifdef([b4_pure_flag], [[ |
2a8d363a AD |
74 | |
75 | /* Pure parsers. */ | |
d9df47b6 JD |
76 | #define YYPURE ]b4_pure_flag])[]m4_ifdef([b4_push_flag], [[ |
77 | ||
78 | /* Push parsers. */ | |
79 | #define YYPUSH ]b4_push_flag])[]m4_ifdef([b4_pull_flag], [[ | |
80 | ||
81 | /* Pull parsers. */ | |
82 | #define YYPULL ]b4_pull_flag])[ | |
d9df47b6 | 83 | ]]) |
2a8d363a AD |
84 | |
85 | ||
7ec2d4cd AD |
86 | ## ---------------- ## |
87 | ## Default values. ## | |
88 | ## ---------------- ## | |
89 | ||
4b3847c3 AD |
90 | # b4_api_prefix, b4_api_PREFIX |
91 | # ---------------------------- | |
92 | # Corresponds to %define api.prefix | |
93 | b4_percent_define_default([[api.prefix]], [[yy]]) | |
94 | m4_define([b4_api_prefix], | |
95 | [b4_percent_define_get([[api.prefix]])]) | |
96 | m4_define([b4_api_PREFIX], | |
97 | [m4_toupper(b4_api_prefix)]) | |
98 | ||
99 | ||
100 | # b4_prefix | |
101 | # --------- | |
102 | # If the %name-prefix is not given, it is api.prefix. | |
103 | m4_define_default([b4_prefix], [b4_api_prefix]) | |
104 | ||
1b818f33 | 105 | # If the %union is not named, its name is YYSTYPE. |
4b3847c3 | 106 | m4_define_default([b4_union_name], [b4_api_PREFIX[]STYPE]) |
7ec2d4cd | 107 | |
cd48d21d | 108 | |
2a8d363a AD |
109 | ## ------------------------ ## |
110 | ## Pure/impure interfaces. ## | |
111 | ## ------------------------ ## | |
112 | ||
2a8d363a AD |
113 | # b4_user_args |
114 | # ------------ | |
115 | m4_define([b4_user_args], | |
116 | [m4_ifset([b4_parse_param], [, b4_c_args(b4_parse_param)])]) | |
117 | ||
118 | ||
119 | # b4_parse_param | |
120 | # -------------- | |
121 | # If defined, b4_parse_param arrives double quoted, but below we prefer | |
122 | # it to be single quoted. | |
2a8d363a | 123 | m4_define([b4_parse_param], |
7ecec4dd | 124 | b4_parse_param) |
2a8d363a | 125 | |
8f7e3cf9 | 126 | |
613d8952 AD |
127 | # b4_parse_param_for(DECL, FORMAL, BODY) |
128 | # --------------------------------------- | |
129 | # Iterate over the user parameters, binding the declaration to DECL, | |
130 | # the formal name to FORMAL, and evaluating the BODY. | |
131 | m4_define([b4_parse_param_for], | |
132 | [m4_foreach([$1_$2], m4_defn([b4_parse_param]), | |
6bbb2ed5 | 133 | [m4_pushdef([$1], m4_unquote(m4_car($1_$2)))dnl |
613d8952 AD |
134 | m4_pushdef([$2], m4_shift($1_$2))dnl |
135 | $3[]dnl | |
136 | m4_popdef([$2])dnl | |
137 | m4_popdef([$1])dnl | |
138 | ])]) | |
139 | ||
140 | # b4_parse_param_use | |
141 | # ------------------ | |
142 | # `YYUSE' all the parse-params. | |
613d8952 AD |
143 | m4_define([b4_parse_param_use], |
144 | [b4_parse_param_for([Decl], [Formal], [ YYUSE (Formal); | |
145 | ])dnl | |
146 | ]) | |
2a8d363a | 147 | |
8e1687ae | 148 | |
fb8135fa AD |
149 | ## ------------ ## |
150 | ## Data Types. ## | |
151 | ## ------------ ## | |
152 | ||
a762e609 AD |
153 | # b4_int_type(MIN, MAX) |
154 | # --------------------- | |
155 | # Return the smallest int type able to handle numbers ranging from | |
156 | # MIN to MAX (included). | |
157 | m4_define([b4_int_type], | |
158 | [m4_if(b4_ints_in($@, [0], [255]), [1], [unsigned char], | |
f1886bb2 | 159 | b4_ints_in($@, [-128], [127]), [1], [signed char], |
a762e609 | 160 | |
779e7ceb PE |
161 | b4_ints_in($@, [0], [65535]), [1], [unsigned short int], |
162 | b4_ints_in($@, [-32768], [32767]), [1], [short int], | |
a762e609 AD |
163 | |
164 | m4_eval([0 <= $1]), [1], [unsigned int], | |
165 | ||
4c36bc2b | 166 | [int])]) |
a762e609 | 167 | |
f1886bb2 | 168 | |
a762e609 AD |
169 | # b4_int_type_for(NAME) |
170 | # --------------------- | |
171 | # Return the smallest int type able to handle numbers ranging from | |
172 | # `NAME_min' to `NAME_max' (included). | |
173 | m4_define([b4_int_type_for], | |
174 | [b4_int_type($1_min, $1_max)]) | |
fb8135fa | 175 | |
cf98343c | 176 | |
77373efa JD |
177 | # b4_table_value_equals(TABLE, VALUE, LITERAL) |
178 | # -------------------------------------------- | |
179 | # Without inducing a comparison warning from the compiler, check if the | |
180 | # literal value LITERAL equals VALUE from table TABLE, which must have | |
d5eb0826 JD |
181 | # TABLE_min and TABLE_max defined. YYID must be defined as an identity |
182 | # function that suppresses warnings about constant conditions. | |
77373efa JD |
183 | m4_define([b4_table_value_equals], |
184 | [m4_if(m4_eval($3 < m4_indir([b4_]$1[_min]) | |
185 | || m4_indir([b4_]$1[_max]) < $3), [1], | |
186 | [[YYID (0)]], | |
19d9b607 | 187 | [(!!(($2) == ($3)))])]) |
cf98343c | 188 | |
ef51bfa7 | 189 | |
80a2826e AD |
190 | ## ----------------- ## |
191 | ## Compiler issues. ## | |
192 | ## ----------------- ## | |
193 | ||
194 | # b4_attribute_define | |
195 | # ------------------- | |
196 | # Provide portability for __attribute__. | |
197 | m4_define([b4_attribute_define], | |
198 | [#ifndef __attribute__ | |
199 | /* This feature is available in gcc versions 2.5 and later. */ | |
200 | # if (! defined __GNUC__ || __GNUC__ < 2 \ | |
201 | || (__GNUC__ == 2 && __GNUC_MINOR__ < 5)) | |
202 | # define __attribute__(Spec) /* empty */ | |
203 | # endif | |
204 | #endif | |
205 | ||
206 | /* Suppress unused-variable warnings by "using" E. */ | |
207 | #if ! defined lint || defined __GNUC__ | |
208 | # define YYUSE(E) ((void) (E)) | |
209 | #else | |
210 | # define YYUSE(E) /* empty */ | |
211 | #endif | |
212 | ]) | |
8e1687ae | 213 | |
8e1687ae | 214 | |
ef51bfa7 AD |
215 | # b4_null_define |
216 | # -------------- | |
217 | # Portability issues: define a YY_NULL appropriate for the current | |
218 | # language (C, C++98, or C++11). | |
219 | m4_define([b4_null_define], | |
220 | [# ifndef YY_NULL | |
221 | # if defined __cplusplus && 201103L <= __cplusplus | |
222 | # define YY_NULL nullptr | |
223 | # else | |
224 | # define YY_NULL 0 | |
225 | # endif | |
226 | # endif[]dnl | |
227 | ]) | |
228 | ||
229 | ||
230 | # b4_null | |
231 | # ------- | |
232 | # Return a null pointer constant. | |
233 | m4_define([b4_null], [YY_NULL]) | |
8e1687ae | 234 | |
cf98343c AD |
235 | |
236 | ||
fb8135fa AD |
237 | ## ------------------------- ## |
238 | ## Assigning token numbers. ## | |
239 | ## ------------------------- ## | |
240 | ||
241 | # b4_token_define(TOKEN-NAME, TOKEN-NUMBER) | |
242 | # ----------------------------------------- | |
243 | # Output the definition of this token as #define. | |
244 | m4_define([b4_token_define], | |
245 | [#define $1 $2 | |
246 | ]) | |
247 | ||
248 | ||
cf147260 AD |
249 | # b4_token_defines(LIST-OF-PAIRS-TOKEN-NAME-TOKEN-NUMBER) |
250 | # ------------------------------------------------------- | |
251 | # Output the definition of the tokens (if there are) as #defines. | |
252 | m4_define([b4_token_defines], | |
6bbb2ed5 | 253 | [m4_if([$#$1], [1], [], |
cf147260 AD |
254 | [/* Tokens. */ |
255 | m4_map([b4_token_define], [$@])]) | |
256 | ]) | |
257 | ||
258 | ||
fb8135fa AD |
259 | # b4_token_enum(TOKEN-NAME, TOKEN-NUMBER) |
260 | # --------------------------------------- | |
261 | # Output the definition of this token as an enum. | |
262 | m4_define([b4_token_enum], | |
263 | [$1 = $2]) | |
264 | ||
265 | ||
cf147260 AD |
266 | # b4_token_enums(LIST-OF-PAIRS-TOKEN-NAME-TOKEN-NUMBER) |
267 | # ----------------------------------------------------- | |
268 | # Output the definition of the tokens (if there are) as enums. | |
269 | m4_define([b4_token_enums], | |
6bbb2ed5 | 270 | [m4_if([$#$1], [1], [], |
4b3847c3 AD |
271 | [[/* Tokens. */ |
272 | #ifndef ]b4_api_PREFIX[TOKENTYPE | |
273 | # define ]b4_api_PREFIX[TOKENTYPE | |
fb8135fa AD |
274 | /* Put the tokens into the symbol table, so that GDB and other debuggers |
275 | know about them. */ | |
4b3847c3 AD |
276 | enum ]b4_api_prefix[tokentype { |
277 | ]m4_map_sep([ b4_token_enum], [, | |
fb8135fa | 278 | ], |
4c36bc2b | 279 | [$@])[ |
fb8135fa | 280 | }; |
095b9f05 | 281 | #endif |
4b3847c3 | 282 | ]])]) |
cf147260 AD |
283 | |
284 | ||
285 | # b4_token_enums_defines(LIST-OF-PAIRS-TOKEN-NAME-TOKEN-NUMBER) | |
286 | # ------------------------------------------------------------- | |
b931235e JD |
287 | # Output the definition of the tokens (if there are any) as enums and, if POSIX |
288 | # Yacc is enabled, as #defines. | |
cf147260 | 289 | m4_define([b4_token_enums_defines], |
b931235e | 290 | [b4_token_enums($@)b4_yacc_if([b4_token_defines($@)], []) |
fb8135fa | 291 | ]) |
4a2a22f4 AD |
292 | |
293 | ||
ae7453f2 | 294 | |
0245f82d AD |
295 | ## --------------------------------------------- ## |
296 | ## Defining C functions in both K&R and ANSI-C. ## | |
297 | ## --------------------------------------------- ## | |
4a2a22f4 AD |
298 | |
299 | ||
1b9c21fb PE |
300 | # b4_modern_c |
301 | # ----------- | |
302 | # A predicate useful in #if to determine whether C is ancient or modern. | |
303 | # | |
304 | # If __STDC__ is defined, the compiler is modern. IBM xlc 7.0 when run | |
305 | # as 'cc' doesn't define __STDC__ (or __STDC_VERSION__) for pedantic | |
306 | # reasons, but it defines __C99__FUNC__ so check that as well. | |
307 | # Microsoft C normally doesn't define these macros, but it defines _MSC_VER. | |
7a0db73e | 308 | # Consider a C++ compiler to be modern if it defines __cplusplus. |
1b9c21fb PE |
309 | # |
310 | m4_define([b4_c_modern], | |
02650b7f PE |
311 | [[(defined __STDC__ || defined __C99__FUNC__ \ |
312 | || defined __cplusplus || defined _MSC_VER)]]) | |
1b9c21fb | 313 | |
0245f82d AD |
314 | # b4_c_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
315 | # ---------------------------------------------------------- | |
4a2a22f4 | 316 | # Declare the function NAME. |
0245f82d | 317 | m4_define([b4_c_function_def], |
1b9c21fb | 318 | [#if b4_c_modern |
0245f82d | 319 | b4_c_ansi_function_def($@) |
4a2a22f4 | 320 | #else |
0245f82d | 321 | $2 |
a3764451 EB |
322 | $1 (b4_c_knr_formal_names(m4_shift2($@))) |
323 | b4_c_knr_formal_decls(m4_shift2($@)) | |
4a2a22f4 AD |
324 | #endif[]dnl |
325 | ]) | |
326 | ||
327 | ||
0245f82d AD |
328 | # b4_c_ansi_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
329 | # --------------------------------------------------------------- | |
330 | # Declare the function NAME in ANSI. | |
331 | m4_define([b4_c_ansi_function_def], | |
332 | [$2 | |
a3764451 | 333 | $1 (b4_c_ansi_formals(m4_shift2($@)))[]dnl |
0245f82d AD |
334 | ]) |
335 | ||
336 | ||
337 | # b4_c_ansi_formals([DECL1, NAME1], ...) | |
338 | # -------------------------------------- | |
4a2a22f4 | 339 | # Output the arguments ANSI-C definition. |
0245f82d | 340 | m4_define([b4_c_ansi_formals], |
6bbb2ed5 EB |
341 | [m4_if([$#], [0], [void], |
342 | [$#$1], [1], [void], | |
4c36bc2b | 343 | [m4_map_sep([b4_c_ansi_formal], [, ], [$@])])]) |
4a2a22f4 | 344 | |
0245f82d AD |
345 | m4_define([b4_c_ansi_formal], |
346 | [$1]) | |
4a2a22f4 AD |
347 | |
348 | ||
0245f82d AD |
349 | # b4_c_knr_formal_names([DECL1, NAME1], ...) |
350 | # ------------------------------------------ | |
4a2a22f4 | 351 | # Output the argument names. |
0245f82d AD |
352 | m4_define([b4_c_knr_formal_names], |
353 | [m4_map_sep([b4_c_knr_formal_name], [, ], [$@])]) | |
4a2a22f4 | 354 | |
0245f82d | 355 | m4_define([b4_c_knr_formal_name], |
4a2a22f4 AD |
356 | [$2]) |
357 | ||
358 | ||
0245f82d AD |
359 | # b4_c_knr_formal_decls([DECL1, NAME1], ...) |
360 | # ------------------------------------------ | |
4a2a22f4 | 361 | # Output the K&R argument declarations. |
0245f82d AD |
362 | m4_define([b4_c_knr_formal_decls], |
363 | [m4_map_sep([b4_c_knr_formal_decl], | |
4c36bc2b | 364 | [ |
4a2a22f4 | 365 | ], |
4c36bc2b | 366 | [$@])]) |
4a2a22f4 | 367 | |
0245f82d AD |
368 | m4_define([b4_c_knr_formal_decl], |
369 | [ $1;]) | |
21964f43 AD |
370 | |
371 | ||
372 | ||
0245f82d AD |
373 | ## ------------------------------------------------------------ ## |
374 | ## Declaring (prototyping) C functions in both K&R and ANSI-C. ## | |
375 | ## ------------------------------------------------------------ ## | |
21964f43 AD |
376 | |
377 | ||
4c36bc2b AD |
378 | # b4_c_ansi_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
379 | # ---------------------------------------------------------------- | |
380 | # Declare the function NAME ANSI C style. | |
381 | m4_define([b4_c_ansi_function_decl], | |
382 | [$2 $1 (b4_c_ansi_formals(m4_shift2($@)));[]dnl | |
383 | ]) | |
384 | ||
385 | ||
386 | ||
0245f82d AD |
387 | # b4_c_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) |
388 | # ----------------------------------------------------------- | |
4c36bc2b | 389 | # Declare the function NAME in both K&R and ANSI C. |
0245f82d | 390 | m4_define([b4_c_function_decl], |
02650b7f | 391 | [#if defined __STDC__ || defined __cplusplus |
0245f82d AD |
392 | b4_c_ansi_function_decl($@) |
393 | #else | |
394 | $2 $1 (); | |
395 | #endif[]dnl | |
396 | ]) | |
21964f43 AD |
397 | |
398 | ||
0245f82d AD |
399 | |
400 | ## --------------------- ## | |
401 | ## Calling C functions. ## | |
402 | ## --------------------- ## | |
403 | ||
404 | ||
405 | # b4_c_function_call(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
406 | # ----------------------------------------------------------- | |
407 | # Call the function NAME with arguments NAME1, NAME2 etc. | |
408 | m4_define([b4_c_function_call], | |
a3764451 | 409 | [$1 (b4_c_args(m4_shift2($@)))[]dnl |
0245f82d AD |
410 | ]) |
411 | ||
412 | ||
413 | # b4_c_args([DECL1, NAME1], ...) | |
414 | # ------------------------------ | |
415 | # Output the arguments NAME1, NAME2... | |
416 | m4_define([b4_c_args], | |
417 | [m4_map_sep([b4_c_arg], [, ], [$@])]) | |
418 | ||
419 | m4_define([b4_c_arg], | |
420 | [$2]) | |
437c2d80 AD |
421 | |
422 | ||
423 | ## ----------- ## | |
424 | ## Synclines. ## | |
425 | ## ----------- ## | |
426 | ||
90b9908d | 427 | # b4_sync_start(LINE, FILE) |
80a2826e | 428 | # ------------------------- |
90b9908d | 429 | m4_define([b4_sync_start], [[#]line $1 $2]) |
8ec0a172 | 430 | |
613d8952 AD |
431 | |
432 | ## -------------- ## | |
433 | ## User actions. ## | |
434 | ## -------------- ## | |
435 | ||
8e1687ae PE |
436 | # b4_case(LABEL, STATEMENTS) |
437 | # -------------------------- | |
438 | m4_define([b4_case], | |
439 | [ case $1: | |
440 | $2 | |
441 | break;]) | |
442 | ||
3cf3393b AD |
443 | # _b4_symbol_actions(FILENAME, LINENO, |
444 | # SYMBOL-TAG, SYMBOL-NUM, | |
445 | # SYMBOL-ACTION, SYMBOL-TYPENAME) | |
446 | # -------------------------------------------------- | |
4982f078 AD |
447 | # Issue the code for a symbol action (e.g., %printer). |
448 | # | |
449 | # Define b4_dollar_dollar([TYPE-NAME]), and b4_at_dollar, which are | |
450 | # invoked where $<TYPE-NAME>$ and @$ were specified by the user. | |
3cf3393b | 451 | m4_define([_b4_symbol_actions], |
cd735a8c | 452 | [b4_dollar_pushdef([(*yyvaluep)], [$6], [(*yylocationp)])dnl |
b0400cc6 AD |
453 | case $4: /* $3 */ |
454 | b4_syncline([$2], [$1]) | |
4c36bc2b | 455 | $5; |
b0400cc6 | 456 | b4_syncline([@oline@], [@ofile@]) |
4c36bc2b | 457 | break; |
d6a44ffd | 458 | b4_dollar_popdef[]dnl |
b0400cc6 AD |
459 | ]) |
460 | ||
3cf3393b AD |
461 | # b4_symbol_actions(KIND) |
462 | # ----------------------- | |
463 | # Emit the symbol actions for KIND ("printers" or "destructors"). | |
464 | # Dispatch on "yytype". | |
465 | m4_define([b4_symbol_actions], | |
466 | [m4_ifval(m4_defn([b4_symbol_$1]), | |
467 | [[switch (yytype) | |
468 | { | |
469 | ]m4_map([_b4_symbol_actions], m4_defn([b4_symbol_$1]))[ | |
470 | default: | |
471 | break; | |
472 | }]], | |
473 | [YYUSE (yytype);])]) | |
474 | ||
b0400cc6 | 475 | |
14740648 PE |
476 | # b4_yydestruct_generate(FUNCTION-DECLARATOR) |
477 | # ------------------------------------------- | |
b0400cc6 | 478 | # Generate the "yydestruct" function, which declaration is issued using |
14740648 | 479 | # FUNCTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C |
b0400cc6 | 480 | # or "b4_c_function_def" for K&R. |
cf147260 | 481 | m4_define_default([b4_yydestruct_generate], |
b0400cc6 AD |
482 | [[/*-----------------------------------------------. |
483 | | Release the memory associated to this symbol. | | |
484 | `-----------------------------------------------*/ | |
485 | ||
12ce2df6 | 486 | /*ARGSUSED*/ |
b0400cc6 AD |
487 | ]$1([yydestruct], |
488 | [static void], | |
a0e68930 | 489 | [[const char *yymsg], [yymsg]], |
7bd6c77e | 490 | [[int yytype], [yytype]], |
4b367315 | 491 | [[YYSTYPE *yyvaluep], [yyvaluep]][]dnl |
327afc7c | 492 | b4_locations_if( [, [[YYLTYPE *yylocationp], [yylocationp]]])[]dnl |
4b367315 | 493 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
b0400cc6 | 494 | { |
2a4647a3 | 495 | YYUSE (yyvaluep); |
327afc7c | 496 | ]b4_locations_if([ YYUSE (yylocationp); |
613d8952 AD |
497 | ])dnl |
498 | b4_parse_param_use[]dnl | |
499 | [ | |
a0e68930 AD |
500 | if (!yymsg) |
501 | yymsg = "Deleting"; | |
502 | YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); | |
503 | ||
3cf3393b | 504 | ]b4_symbol_actions([destructors])[ |
b0400cc6 AD |
505 | }]dnl |
506 | ]) | |
7bd6c77e AD |
507 | |
508 | ||
a0af42fc AD |
509 | # b4_yy_symbol_print_generate(FUNCTION-DECLARATOR) |
510 | # ------------------------------------------------ | |
511 | # Generate the "yy_symbol_print" function, which declaration is issued using | |
14740648 | 512 | # FUNCTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C |
7bd6c77e | 513 | # or "b4_c_function_def" for K&R. |
a0af42fc AD |
514 | m4_define_default([b4_yy_symbol_print_generate], |
515 | [[ | |
516 | /*--------------------------------. | |
14740648 PE |
517 | | Print this symbol on YYOUTPUT. | |
518 | `--------------------------------*/ | |
7bd6c77e | 519 | |
12ce2df6 | 520 | /*ARGSUSED*/ |
a0af42fc | 521 | ]$1([yy_symbol_value_print], |
7bd6c77e | 522 | [static void], |
4c36bc2b AD |
523 | [[FILE *yyoutput], [yyoutput]], |
524 | [[int yytype], [yytype]], | |
525 | [[YYSTYPE const * const yyvaluep], [yyvaluep]][]dnl | |
50cce58e | 526 | b4_locations_if([, [[YYLTYPE const * const yylocationp], [yylocationp]]])[]dnl |
4b367315 | 527 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
7bd6c77e | 528 | { |
68fff38a AD |
529 | FILE *yyo = yyoutput; |
530 | YYUSE (yyo); | |
05449a2c JD |
531 | if (!yyvaluep) |
532 | return; | |
327afc7c | 533 | ]b4_locations_if([ YYUSE (yylocationp); |
7bd6c77e | 534 | ])dnl |
613d8952 | 535 | b4_parse_param_use[]dnl |
a0af42fc | 536 | [# ifdef YYPRINT |
619404e3 AD |
537 | if (yytype < YYNTOKENS) |
538 | YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); | |
c66dfadd PE |
539 | # else |
540 | YYUSE (yyoutput); | |
619404e3 | 541 | # endif |
3cf3393b | 542 | ]b4_symbol_actions([printers])[ |
a0af42fc AD |
543 | } |
544 | ||
545 | ||
546 | /*--------------------------------. | |
547 | | Print this symbol on YYOUTPUT. | | |
548 | `--------------------------------*/ | |
549 | ||
550 | ]$1([yy_symbol_print], | |
551 | [static void], | |
4c36bc2b AD |
552 | [[FILE *yyoutput], [yyoutput]], |
553 | [[int yytype], [yytype]], | |
554 | [[YYSTYPE const * const yyvaluep], [yyvaluep]][]dnl | |
50cce58e | 555 | b4_locations_if([, [[YYLTYPE const * const yylocationp], [yylocationp]]])[]dnl |
a0af42fc AD |
556 | m4_ifset([b4_parse_param], [, b4_parse_param]))[ |
557 | { | |
558 | if (yytype < YYNTOKENS) | |
559 | YYFPRINTF (yyoutput, "token %s (", yytname[yytype]); | |
560 | else | |
561 | YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]); | |
562 | ||
327afc7c | 563 | ]b4_locations_if([ YY_LOCATION_PRINT (yyoutput, *yylocationp); |
a0af42fc AD |
564 | YYFPRINTF (yyoutput, ": "); |
565 | ])dnl | |
566 | [ yy_symbol_value_print (yyoutput, yytype, yyvaluep]dnl | |
327afc7c | 567 | b4_locations_if([, yylocationp])[]b4_user_args[); |
2f4f028d | 568 | YYFPRINTF (yyoutput, ")"); |
4b367315 AD |
569 | }]dnl |
570 | ]) | |
c0828abf AD |
571 | |
572 | ## -------------- ## | |
573 | ## Declarations. ## | |
574 | ## -------------- ## | |
575 | ||
576 | # b4_declare_yylstype | |
4b3847c3 | 577 | # ------------------- |
756257ee AD |
578 | # Declarations that might either go into the header (if --defines) or |
579 | # in the parser body. Declare YYSTYPE/YYLTYPE, and yylval/yylloc. | |
c0828abf | 580 | m4_define([b4_declare_yylstype], |
4b3847c3 | 581 | [[#if ! defined ]b4_api_PREFIX[STYPE && ! defined ]b4_api_PREFIX[STYPE_IS_DECLARED |
c0828abf AD |
582 | ]m4_ifdef([b4_stype], |
583 | [[typedef union ]b4_union_name[ | |
584 | { | |
585 | ]b4_user_stype[ | |
4b3847c3 AD |
586 | } ]b4_api_PREFIX[STYPE; |
587 | # define ]b4_api_PREFIX[STYPE_IS_TRIVIAL 1]], | |
c0828abf | 588 | [m4_if(b4_tag_seen_flag, 0, |
4b3847c3 AD |
589 | [[typedef int ]b4_api_PREFIX[STYPE; |
590 | # define ]b4_api_PREFIX[STYPE_IS_TRIVIAL 1]])])[ | |
591 | # define ]b4_api_prefix[stype ]b4_api_PREFIX[STYPE /* obsolescent; will be withdrawn */ | |
592 | # define ]b4_api_PREFIX[STYPE_IS_DECLARED 1 | |
c0828abf AD |
593 | #endif]b4_locations_if([[ |
594 | ||
4b3847c3 AD |
595 | #if ! defined ]b4_api_PREFIX[LTYPE && ! defined ]b4_api_PREFIX[LTYPE_IS_DECLARED |
596 | typedef struct ]b4_api_PREFIX[LTYPE | |
c0828abf AD |
597 | { |
598 | int first_line; | |
599 | int first_column; | |
600 | int last_line; | |
601 | int last_column; | |
4b3847c3 AD |
602 | } ]b4_api_PREFIX[LTYPE; |
603 | # define ]b4_api_prefix[ltype ]b4_api_PREFIX[LTYPE /* obsolescent; will be withdrawn */ | |
604 | # define ]b4_api_PREFIX[LTYPE_IS_DECLARED 1 | |
605 | # define ]b4_api_PREFIX[LTYPE_IS_TRIVIAL 1 | |
c0828abf | 606 | #endif]]) |
756257ee | 607 | |
4b3847c3 AD |
608 | b4_pure_if([], [[extern ]b4_api_PREFIX[STYPE ]b4_prefix[lval; |
609 | ]b4_locations_if([[extern ]b4_api_PREFIX[LTYPE ]b4_prefix[lloc;]])])[]dnl | |
c0828abf | 610 | ]) |
56ca3d8f | 611 | |
5f108727 | 612 | # b4_YYDEBUG_define |
56ca3d8f | 613 | # ------------------ |
5f108727 | 614 | m4_define([b4_YYDEBUG_define], |
56ca3d8f | 615 | [[/* Enabling traces. */ |
5f108727 AD |
616 | ]m4_if(b4_api_prefix, [yy], |
617 | [[#ifndef YYDEBUG | |
56ca3d8f | 618 | # define YYDEBUG ]b4_debug_flag[ |
5f108727 AD |
619 | #endif]], |
620 | [[#ifndef ]b4_api_PREFIX[DEBUG | |
621 | # if defined YYDEBUG | |
622 | # if YYDEBUG | |
623 | # define ]b4_api_PREFIX[DEBUG 1 | |
624 | # else | |
625 | # define ]b4_api_PREFIX[DEBUG 0 | |
626 | # endif | |
627 | # else /* ! defined YYDEBUG */ | |
628 | # define ]b4_api_PREFIX[DEBUG ]b4_debug_flag[ | |
851e3f84 | 629 | # endif /* ! defined YYDEBUG */ |
5f108727 AD |
630 | #endif /* ! defined ]b4_api_PREFIX[DEBUG */]])[]dnl |
631 | ]) | |
632 | ||
633 | # b4_declare_yydebug | |
634 | # ------------------ | |
635 | m4_define([b4_declare_yydebug], | |
636 | [b4_YYDEBUG_define[ | |
637 | #if ]b4_api_PREFIX[DEBUG | |
56ca3d8f AD |
638 | extern int ]b4_prefix[debug; |
639 | #endif][]dnl | |
640 | ]) | |
426903aa AD |
641 | |
642 | # b4_yylloc_default_define | |
643 | # ------------------------ | |
644 | # Define YYLLOC_DEFAULT. | |
645 | m4_define([b4_yylloc_default_define], | |
646 | [[/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. | |
647 | If N is 0, then set CURRENT to the empty location which ends | |
648 | the previous symbol: RHS[0] (always defined). */ | |
649 | ||
650 | #ifndef YYLLOC_DEFAULT | |
651 | # define YYLLOC_DEFAULT(Current, Rhs, N) \ | |
652 | do \ | |
653 | if (YYID (N)) \ | |
654 | { \ | |
655 | (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \ | |
656 | (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \ | |
657 | (Current).last_line = YYRHSLOC (Rhs, N).last_line; \ | |
658 | (Current).last_column = YYRHSLOC (Rhs, N).last_column; \ | |
659 | } \ | |
660 | else \ | |
661 | { \ | |
662 | (Current).first_line = (Current).last_line = \ | |
663 | YYRHSLOC (Rhs, 0).last_line; \ | |
664 | (Current).first_column = (Current).last_column = \ | |
665 | YYRHSLOC (Rhs, 0).last_column; \ | |
666 | } \ | |
667 | while (YYID (0)) | |
668 | #endif | |
669 | ]]) | |
a68b1f23 | 670 | |
3237f570 AD |
671 | # b4_yy_location_print_define |
672 | # --------------------------- | |
673 | # Define YY_LOCATION_PRINT. | |
674 | m4_define([b4_yy_location_print_define], | |
675 | [b4_locations_if([[ | |
676 | /* YY_LOCATION_PRINT -- Print the location on the stream. | |
677 | This macro was not mandated originally: define only if we know | |
678 | we won't break user code: when these are the locations we know. */ | |
679 | ||
680 | #ifndef YY_LOCATION_PRINT | |
681 | # if defined ]b4_api_PREFIX[LTYPE_IS_TRIVIAL && ]b4_api_PREFIX[LTYPE_IS_TRIVIAL | |
3804aa26 AD |
682 | |
683 | /* Print *YYLOCP on YYO. Private, do not rely on its existence. */ | |
684 | ||
685 | __attribute__((__unused__)) | |
686 | ]b4_c_function_def([yy_location_print_], | |
687 | [static unsigned], | |
688 | [[FILE *yyo], [yyo]], | |
689 | [[YYLTYPE const * const yylocp], [yylocp]])[ | |
690 | { | |
691 | unsigned res = 0; | |
692 | int end_col = 0 != yylocp->last_column ? yylocp->last_column - 1 : 0; | |
693 | if (0 <= yylocp->first_line) | |
694 | { | |
695 | res += fprintf (yyo, "%d", yylocp->first_line); | |
696 | if (0 <= yylocp->first_column) | |
697 | res += fprintf (yyo, ".%d", yylocp->first_column); | |
698 | } | |
699 | if (0 <= yylocp->last_line) | |
700 | { | |
701 | if (yylocp->first_line < yylocp->last_line) | |
702 | { | |
703 | res += fprintf (yyo, "-%d", yylocp->last_line); | |
704 | if (0 <= end_col) | |
705 | res += fprintf (yyo, ".%d", end_col); | |
706 | } | |
707 | else if (0 <= end_col && yylocp->first_column < end_col) | |
708 | res += fprintf (yyo, "-%d", end_col); | |
709 | } | |
710 | return res; | |
711 | } | |
712 | ||
713 | # define YY_LOCATION_PRINT(File, Loc) \ | |
714 | yy_location_print_ (File, &(Loc)) | |
715 | ||
3237f570 AD |
716 | # else |
717 | # define YY_LOCATION_PRINT(File, Loc) ((void) 0) | |
718 | # endif | |
719 | #endif]], | |
720 | [[/* This macro is provided for backward compatibility. */ | |
721 | #ifndef YY_LOCATION_PRINT | |
722 | # define YY_LOCATION_PRINT(File, Loc) ((void) 0) | |
723 | #endif]]) | |
724 | ]) | |
725 | ||
a1d1ab50 AD |
726 | # b4_yyloc_default |
727 | # ---------------- | |
728 | # Expand to a possible default value for yylloc. | |
729 | m4_define([b4_yyloc_default], | |
730 | [[ | |
a68b1f23 AD |
731 | # if defined ]b4_api_PREFIX[LTYPE_IS_TRIVIAL && ]b4_api_PREFIX[LTYPE_IS_TRIVIAL |
732 | = { ]m4_join([, ], | |
733 | m4_defn([b4_location_initial_line]), | |
734 | m4_defn([b4_location_initial_column]), | |
735 | m4_defn([b4_location_initial_line]), | |
736 | m4_defn([b4_location_initial_column]))[ } | |
737 | # endif | |
a1d1ab50 | 738 | ]]) |