]>
Commit | Line | Data |
---|---|---|
1 | m4_divert(-1) -*- Autoconf -*- | |
2 | ||
3 | # C M4 Macros for Bison. | |
4 | # Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc. | |
5 | ||
6 | # This program is free software; you can redistribute it and/or modify | |
7 | # it under the terms of the GNU General Public License as published by | |
8 | # the Free Software Foundation; either version 2 of the License, or | |
9 | # (at your option) any later version. | |
10 | ||
11 | # This program is distributed in the hope that it will be useful, | |
12 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | # GNU General Public License for more details. | |
15 | ||
16 | # You should have received a copy of the GNU General Public License | |
17 | # along with this program; if not, write to the Free Software | |
18 | # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA | |
19 | # 02110-1301 USA | |
20 | ||
21 | ||
22 | ## ---------------- ## | |
23 | ## Identification. ## | |
24 | ## ---------------- ## | |
25 | ||
26 | # b4_copyright(TITLE, YEARS) | |
27 | # -------------------------- | |
28 | m4_define([b4_copyright], | |
29 | [/* A Bison parser, made by GNU Bison b4_version. */ | |
30 | ||
31 | /* $1, | |
32 | Copyright (C) $2 Free Software Foundation, Inc. | |
33 | ||
34 | This program is free software; you can redistribute it and/or modify | |
35 | it under the terms of the GNU General Public License as published by | |
36 | the Free Software Foundation; either version 2, or (at your option) | |
37 | any later version. | |
38 | ||
39 | This program is distributed in the hope that it will be useful, | |
40 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
41 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
42 | GNU General Public License for more details. | |
43 | ||
44 | You should have received a copy of the GNU General Public License | |
45 | along with this program; if not, write to the Free Software | |
46 | Foundation, Inc., 51 Franklin Street, Fifth Floor, | |
47 | Boston, MA 02110-1301, USA. */]) | |
48 | ||
49 | ||
50 | # b4_identification | |
51 | # ----------------- | |
52 | m4_define([b4_identification], | |
53 | [/* Identify Bison output. */ | |
54 | [#]define YYBISON 1 | |
55 | ||
56 | /* Bison version. */ | |
57 | [#]define YYBISON_VERSION "b4_version" | |
58 | ||
59 | /* Skeleton name. */ | |
60 | [#]define YYSKELETON_NAME b4_skeleton | |
61 | ||
62 | /* Pure parsers. */ | |
63 | [#]define YYPURE b4_pure | |
64 | ||
65 | /* Using locations. */ | |
66 | [#]define YYLSP_NEEDED b4_locations_flag | |
67 | ]) | |
68 | ||
69 | ||
70 | ||
71 | ## ---------------- ## | |
72 | ## Default values. ## | |
73 | ## ---------------- ## | |
74 | ||
75 | m4_define_default([b4_epilogue], []) | |
76 | ||
77 | ||
78 | ||
79 | ## ------------------------ ## | |
80 | ## Pure/impure interfaces. ## | |
81 | ## ------------------------ ## | |
82 | ||
83 | ||
84 | # b4_user_args | |
85 | # ------------ | |
86 | m4_define([b4_user_args], | |
87 | [m4_ifset([b4_parse_param], [, b4_c_args(b4_parse_param)])]) | |
88 | ||
89 | ||
90 | # b4_parse_param | |
91 | # -------------- | |
92 | # If defined, b4_parse_param arrives double quoted, but below we prefer | |
93 | # it to be single quoted. | |
94 | m4_define_default([b4_parse_param]) | |
95 | m4_define([b4_parse_param], | |
96 | b4_parse_param)) | |
97 | ||
98 | ||
99 | ||
100 | ## ------------ ## | |
101 | ## Data Types. ## | |
102 | ## ------------ ## | |
103 | ||
104 | ||
105 | # b4_ints_in(INT1, INT2, LOW, HIGH) | |
106 | # --------------------------------- | |
107 | # Return 1 iff both INT1 and INT2 are in [LOW, HIGH], 0 otherwise. | |
108 | m4_define([b4_ints_in], | |
109 | [m4_eval([$3 <= $1 && $1 <= $4 && $3 <= $2 && $2 <= $4])]) | |
110 | ||
111 | ||
112 | # b4_int_type(MIN, MAX) | |
113 | # --------------------- | |
114 | # Return the smallest int type able to handle numbers ranging from | |
115 | # MIN to MAX (included). | |
116 | m4_define([b4_int_type], | |
117 | [m4_if(b4_ints_in($@, [0], [255]), [1], [unsigned char], | |
118 | b4_ints_in($@, [-128], [127]), [1], [signed char], | |
119 | ||
120 | b4_ints_in($@, [0], [65535]), [1], [unsigned short int], | |
121 | b4_ints_in($@, [-32768], [32767]), [1], [short int], | |
122 | ||
123 | m4_eval([0 <= $1]), [1], [unsigned int], | |
124 | ||
125 | [int])]) | |
126 | ||
127 | ||
128 | # b4_int_type_for(NAME) | |
129 | # --------------------- | |
130 | # Return the smallest int type able to handle numbers ranging from | |
131 | # `NAME_min' to `NAME_max' (included). | |
132 | m4_define([b4_int_type_for], | |
133 | [b4_int_type($1_min, $1_max)]) | |
134 | ||
135 | ||
136 | ## ------------------ ## | |
137 | ## Decoding options. ## | |
138 | ## ------------------ ## | |
139 | ||
140 | ||
141 | # b4_location_if(IF-TRUE, IF-FALSE) | |
142 | # --------------------------------- | |
143 | # Expand IF-TRUE, if locations are used, IF-FALSE otherwise. | |
144 | m4_define([b4_location_if], | |
145 | [m4_if(b4_locations_flag, [1], | |
146 | [$1], | |
147 | [$2])]) | |
148 | ||
149 | ||
150 | # b4_pure_if(IF-TRUE, IF-FALSE) | |
151 | # ----------------------------- | |
152 | # Expand IF-TRUE, if %pure-parser, IF-FALSE otherwise. | |
153 | m4_define([b4_pure_if], | |
154 | [m4_if(b4_pure, [1], | |
155 | [$1], | |
156 | [$2])]) | |
157 | ||
158 | ||
159 | ||
160 | ## ------------------------- ## | |
161 | ## Assigning token numbers. ## | |
162 | ## ------------------------- ## | |
163 | ||
164 | # b4_token_define(TOKEN-NAME, TOKEN-NUMBER) | |
165 | # ----------------------------------------- | |
166 | # Output the definition of this token as #define. | |
167 | m4_define([b4_token_define], | |
168 | [#define $1 $2 | |
169 | ]) | |
170 | ||
171 | ||
172 | # b4_token_enum(TOKEN-NAME, TOKEN-NUMBER) | |
173 | # --------------------------------------- | |
174 | # Output the definition of this token as an enum. | |
175 | m4_define([b4_token_enum], | |
176 | [$1 = $2]) | |
177 | ||
178 | ||
179 | # b4_token_defines(LIST-OF-PAIRS-TOKEN-NAME-TOKEN-NUMBER) | |
180 | # ------------------------------------------------------- | |
181 | # Output the definition of the tokens (if there are) as enums and #define. | |
182 | m4_define([b4_token_defines], | |
183 | [m4_if([$@], [[]], [], | |
184 | [/* Tokens. */ | |
185 | #ifndef YYTOKENTYPE | |
186 | # define YYTOKENTYPE | |
187 | /* Put the tokens into the symbol table, so that GDB and other debuggers | |
188 | know about them. */ | |
189 | enum yytokentype { | |
190 | m4_map_sep([ b4_token_enum], [, | |
191 | ], | |
192 | [$@]) | |
193 | }; | |
194 | #endif | |
195 | m4_map([b4_token_define], [$@]) | |
196 | ]) | |
197 | ]) | |
198 | ||
199 | ||
200 | ||
201 | ## --------------------------------------------- ## | |
202 | ## Defining C functions in both K&R and ANSI-C. ## | |
203 | ## --------------------------------------------- ## | |
204 | ||
205 | ||
206 | # b4_c_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
207 | # ---------------------------------------------------------- | |
208 | # Declare the function NAME. | |
209 | m4_define([b4_c_function_def], | |
210 | [#if defined (__STDC__) || defined (__cplusplus) | |
211 | b4_c_ansi_function_def($@) | |
212 | #else | |
213 | $2 | |
214 | $1 (b4_c_knr_formal_names(m4_shiftn(2, $@))) | |
215 | b4_c_knr_formal_decls(m4_shiftn(2, $@)) | |
216 | #endif[]dnl | |
217 | ]) | |
218 | ||
219 | ||
220 | # b4_c_ansi_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
221 | # --------------------------------------------------------------- | |
222 | # Declare the function NAME in ANSI. | |
223 | m4_define([b4_c_ansi_function_def], | |
224 | [$2 | |
225 | $1 (b4_c_ansi_formals(m4_shiftn(2, $@)))[]dnl | |
226 | ]) | |
227 | ||
228 | ||
229 | # b4_c_ansi_formals([DECL1, NAME1], ...) | |
230 | # -------------------------------------- | |
231 | # Output the arguments ANSI-C definition. | |
232 | m4_define([b4_c_ansi_formals], | |
233 | [m4_case([$@], | |
234 | [], [void], | |
235 | [[]], [void], | |
236 | [m4_map_sep([b4_c_ansi_formal], [, ], [$@])])]) | |
237 | ||
238 | m4_define([b4_c_ansi_formal], | |
239 | [$1]) | |
240 | ||
241 | ||
242 | # b4_c_knr_formal_names([DECL1, NAME1], ...) | |
243 | # ------------------------------------------ | |
244 | # Output the argument names. | |
245 | m4_define([b4_c_knr_formal_names], | |
246 | [m4_map_sep([b4_c_knr_formal_name], [, ], [$@])]) | |
247 | ||
248 | m4_define([b4_c_knr_formal_name], | |
249 | [$2]) | |
250 | ||
251 | ||
252 | # b4_c_knr_formal_decls([DECL1, NAME1], ...) | |
253 | # ------------------------------------------ | |
254 | # Output the K&R argument declarations. | |
255 | m4_define([b4_c_knr_formal_decls], | |
256 | [m4_map_sep([b4_c_knr_formal_decl], | |
257 | [ | |
258 | ], | |
259 | [$@])]) | |
260 | ||
261 | m4_define([b4_c_knr_formal_decl], | |
262 | [ $1;]) | |
263 | ||
264 | ||
265 | ||
266 | ## ------------------------------------------------------------ ## | |
267 | ## Declaring (prototyping) C functions in both K&R and ANSI-C. ## | |
268 | ## ------------------------------------------------------------ ## | |
269 | ||
270 | ||
271 | # b4_c_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
272 | # ----------------------------------------------------------- | |
273 | # Declare the function NAME. | |
274 | m4_define([b4_c_function_decl], | |
275 | [#if defined (__STDC__) || defined (__cplusplus) | |
276 | b4_c_ansi_function_decl($@) | |
277 | #else | |
278 | $2 $1 (); | |
279 | #endif[]dnl | |
280 | ]) | |
281 | ||
282 | ||
283 | # b4_c_ansi_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
284 | # ---------------------------------------------------------------- | |
285 | # Declare the function NAME. | |
286 | m4_define([b4_c_ansi_function_decl], | |
287 | [$2 $1 (b4_c_ansi_formals(m4_shiftn(2, $@)));[]dnl | |
288 | ]) | |
289 | ||
290 | ||
291 | ||
292 | ||
293 | ## --------------------- ## | |
294 | ## Calling C functions. ## | |
295 | ## --------------------- ## | |
296 | ||
297 | ||
298 | # b4_c_function_call(NAME, RETURN-VALUE, [DECL1, NAME1], ...) | |
299 | # ----------------------------------------------------------- | |
300 | # Call the function NAME with arguments NAME1, NAME2 etc. | |
301 | m4_define([b4_c_function_call], | |
302 | [$1 (b4_c_args(m4_shiftn(2, $@)))[]dnl | |
303 | ]) | |
304 | ||
305 | ||
306 | # b4_c_args([DECL1, NAME1], ...) | |
307 | # ------------------------------ | |
308 | # Output the arguments NAME1, NAME2... | |
309 | m4_define([b4_c_args], | |
310 | [m4_map_sep([b4_c_arg], [, ], [$@])]) | |
311 | ||
312 | m4_define([b4_c_arg], | |
313 | [$2]) | |
314 | ||
315 | ||
316 | ## ----------- ## | |
317 | ## Synclines. ## | |
318 | ## ----------- ## | |
319 | ||
320 | ||
321 | # b4_syncline(LINE, FILE) | |
322 | # ----------------------- | |
323 | m4_define([b4_syncline], | |
324 | [m4_if(b4_synclines_flag, 1, | |
325 | [[#]line $1 $2])]) | |
326 | ||
327 | ||
328 | # b4_symbol_actions(FILENAME, LINENO, | |
329 | # SYMBOL-TAG, SYMBOL-NUM, | |
330 | # SYMBOL-ACTION, SYMBOL-TYPENAME) | |
331 | # ------------------------------------------------- | |
332 | m4_define([b4_symbol_actions], | |
333 | [m4_pushdef([b4_dollar_dollar], | |
334 | [m4_ifval([$6], [(yyvaluep->$6)], [(*yyvaluep)])])dnl | |
335 | m4_pushdef([b4_at_dollar], [(*yylocationp)])dnl | |
336 | case $4: /* $3 */ | |
337 | b4_syncline([$2], [$1]) | |
338 | $5; | |
339 | b4_syncline([@oline@], [@ofile@]) | |
340 | break; | |
341 | m4_popdef([b4_at_dollar])dnl | |
342 | m4_popdef([b4_dollar_dollar])dnl | |
343 | ]) | |
344 | ||
345 | ||
346 | # b4_yydestruct_generate(FUNCTION-DECLARATOR) | |
347 | # ------------------------------------------- | |
348 | # Generate the "yydestruct" function, which declaration is issued using | |
349 | # FUNCTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C | |
350 | # or "b4_c_function_def" for K&R. | |
351 | m4_define([b4_yydestruct_generate], | |
352 | [[/*-----------------------------------------------. | |
353 | | Release the memory associated to this symbol. | | |
354 | `-----------------------------------------------*/ | |
355 | ||
356 | ]$1([yydestruct], | |
357 | [static void], | |
358 | [[const char *yymsg], [yymsg]], | |
359 | [[int yytype], [yytype]], | |
360 | [[YYSTYPE *yyvaluep], [yyvaluep]]b4_location_if([, | |
361 | [[YYLTYPE *yylocationp], [yylocationp]]]))[ | |
362 | { | |
363 | /* Pacify ``unused variable'' warnings. */ | |
364 | (void) yyvaluep; | |
365 | ]b4_location_if([ (void) yylocationp; | |
366 | ])[ | |
367 | if (!yymsg) | |
368 | yymsg = "Deleting"; | |
369 | YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); | |
370 | ||
371 | switch (yytype) | |
372 | { | |
373 | ]m4_map([b4_symbol_actions], m4_defn([b4_symbol_destructors]))[ | |
374 | default: | |
375 | break; | |
376 | } | |
377 | }]dnl | |
378 | ]) | |
379 | ||
380 | ||
381 | # b4_yysymprint_generate(FUNCTION-DECLARATOR) | |
382 | # ------------------------------------------- | |
383 | # Generate the "yysymprint" function, which declaration is issued using | |
384 | # FUNCTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C | |
385 | # or "b4_c_function_def" for K&R. | |
386 | m4_define([b4_yysymprint_generate], | |
387 | [[/*--------------------------------. | |
388 | | Print this symbol on YYOUTPUT. | | |
389 | `--------------------------------*/ | |
390 | ||
391 | ]$1([yysymprint], | |
392 | [static void], | |
393 | [[FILE *yyoutput], [yyoutput]], | |
394 | [[int yytype], [yytype]], | |
395 | [[YYSTYPE *yyvaluep], [yyvaluep]]b4_location_if([, | |
396 | [[YYLTYPE *yylocationp], [yylocationp]]])) | |
397 | { | |
398 | /* Pacify ``unused variable'' warnings. */ | |
399 | (void) yyvaluep; | |
400 | b4_location_if([ (void) yylocationp; | |
401 | ])dnl | |
402 | [ | |
403 | if (yytype < YYNTOKENS) | |
404 | YYFPRINTF (yyoutput, "token %s (", yytname[yytype]); | |
405 | else | |
406 | YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]); | |
407 | ||
408 | ]b4_location_if([ YY_LOCATION_PRINT (yyoutput, *yylocationp); | |
409 | YYFPRINTF (yyoutput, ": "); | |
410 | ])dnl | |
411 | [ | |
412 | # ifdef YYPRINT | |
413 | if (yytype < YYNTOKENS) | |
414 | YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); | |
415 | # endif | |
416 | switch (yytype) | |
417 | { | |
418 | ]m4_map([b4_symbol_actions], m4_defn([b4_symbol_printers]))dnl | |
419 | [ default: | |
420 | break; | |
421 | } | |
422 | YYFPRINTF (yyoutput, ")"); | |
423 | } | |
424 | ]]) |