X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/21964f4394e980974e3e4641b570703fac370b44..efc6bf1b94135c0b858896ef966aa7eaca4ff3cf:/data/c.m4 diff --git a/data/c.m4 b/data/c.m4 index 370d8e48..dcc0f177 100644 --- a/data/c.m4 +++ b/data/c.m4 @@ -19,14 +19,14 @@ m4_divert(-1) -*- Autoconf -*- # 02111-1307 USA -## ----------- ## -## Copyright. ## -## ----------- ## +## ---------------- ## +## Identification. ## +## ---------------- ## # b4_copyright(TITLE, YEARS) # -------------------------- m4_define([b4_copyright], -[/* A Bison parser, made from b4_filename, by GNU bison b4_version. */ +[/* A Bison parser, made by GNU Bison b4_version. */ /* $1, Copyright (C) $2 Free Software Foundation, Inc. @@ -47,6 +47,53 @@ m4_define([b4_copyright], Boston, MA 02111-1307, USA. */]) +# b4_identification +# ----------------- +m4_define([b4_identification], +[/* Identify Bison output. */ +[#]define YYBISON 1 + +/* Skeleton name. */ +[#]define YYSKELETON_NAME b4_skeleton + +/* Pure parsers. */ +[#]define YYPURE b4_pure + +/* Using locations. */ +[#]define YYLSP_NEEDED b4_locations_flag +]) + + + +## ---------------- ## +## Default values. ## +## ---------------- ## + +m4_define_default([b4_epilogue], []) + + + +## ------------------------ ## +## Pure/impure interfaces. ## +## ------------------------ ## + + +# b4_user_args +# ------------ +m4_define([b4_user_args], +[m4_ifset([b4_parse_param], [, b4_c_args(b4_parse_param)])]) + + +# b4_parse_param +# -------------- +# If defined, b4_parse_param arrives double quoted, but below we prefer +# it to be single quoted. +m4_define_default([b4_parse_param]) +m4_define([b4_parse_param], +b4_parse_param)) + + + ## ------------ ## ## Data Types. ## ## ------------ ## @@ -65,7 +112,7 @@ m4_define([b4_ints_in], # MIN to MAX (included). m4_define([b4_int_type], [m4_if(b4_ints_in($@, [0], [255]), [1], [unsigned char], - b4_ints_in($@, [-128], [127]), [1], [yysigned_char], + b4_ints_in($@, [-128], [127]), [1], [signed char], b4_ints_in($@, [0], [65535]), [1], [unsigned short], b4_ints_in($@, [-32768], [32767]), [1], [short], @@ -74,6 +121,7 @@ m4_define([b4_int_type], [int])]) + # b4_int_type_for(NAME) # --------------------- # Return the smallest int type able to handle numbers ranging from @@ -82,6 +130,30 @@ m4_define([b4_int_type_for], [b4_int_type($1_min, $1_max)]) +## ------------------ ## +## Decoding options. ## +## ------------------ ## + + +# b4_location_if(IF-TRUE, IF-FALSE) +# --------------------------------- +# Expand IF-TRUE, if locations are used, IF-FALSE otherwise. +m4_define([b4_location_if], +[m4_if(b4_locations_flag, [1], + [$1], + [$2])]) + + +# b4_pure_if(IF-TRUE, IF-FALSE) +# ----------------------------- +# Expand IF-TRUE, if %pure-parser, IF-FALSE otherwise. +m4_define([b4_pure_if], +[m4_if(b4_pure, [1], + [$1], + [$2])]) + + + ## ------------------------- ## ## Assigning token numbers. ## ## ------------------------- ## @@ -122,100 +194,219 @@ m4_map([b4_token_define], [$@]) ]) -## --------------------- ## -## Calling C functions. ## -## --------------------- ## +## --------------------------------------------- ## +## Defining C functions in both K&R and ANSI-C. ## +## --------------------------------------------- ## -# b4_c_function_call(NAME, RETURN-VALUE, [TYPE1, NAME1], ...) -# ----------------------------------------------------------- -# Call the function NAME with arguments NAME1, NAME2 etc. -m4_define([b4_c_function_call], -[$1 (b4_c_args(m4_shiftn(2, $@)))[]dnl + +# b4_c_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) +# ---------------------------------------------------------- +# Declare the function NAME. +m4_define([b4_c_function_def], +[#if defined (__STDC__) || defined (__cplusplus) +b4_c_ansi_function_def($@) +#else +$2 +$1 (b4_c_knr_formal_names(m4_shiftn(2, $@))) +b4_c_knr_formal_decls(m4_shiftn(2, $@)) +#endif[]dnl ]) -# b4_c_args([TYPE1, NAME1], ...) -# ------------------------------ -# Output the arguments NAME1, NAME2... -m4_define([b4_c_args], -[m4_map_sep([b4_c_arg], [, ], [$@])]) +# b4_c_ansi_function_def(NAME, RETURN-VALUE, [DECL1, NAME1], ...) +# --------------------------------------------------------------- +# Declare the function NAME in ANSI. +m4_define([b4_c_ansi_function_def], +[$2 +$1 (b4_c_ansi_formals(m4_shiftn(2, $@)))[]dnl +]) -m4_define([b4_c_arg], + +# b4_c_ansi_formals([DECL1, NAME1], ...) +# -------------------------------------- +# Output the arguments ANSI-C definition. +m4_define([b4_c_ansi_formals], +[m4_case([$@], + [], [void], + [[]], [void], + [m4_map_sep([b4_c_ansi_formal], [, ], [$@])])]) + +m4_define([b4_c_ansi_formal], +[$1]) + + +# b4_c_knr_formal_names([DECL1, NAME1], ...) +# ------------------------------------------ +# Output the argument names. +m4_define([b4_c_knr_formal_names], +[m4_map_sep([b4_c_knr_formal_name], [, ], [$@])]) + +m4_define([b4_c_knr_formal_name], [$2]) -## ---------------------------------------------- ## -## Declaring C functions in both K&R and ANSI-C. ## -## ---------------------------------------------- ## +# b4_c_knr_formal_decls([DECL1, NAME1], ...) +# ------------------------------------------ +# Output the K&R argument declarations. +m4_define([b4_c_knr_formal_decls], +[m4_map_sep([b4_c_knr_formal_decl], + [ +], + [$@])]) + +m4_define([b4_c_knr_formal_decl], +[ $1;]) + -# b4_c_function(NAME, RETURN-VALUE, [TYPE1, NAME1], ...) -# ------------------------------------------------------ +## ------------------------------------------------------------ ## +## Declaring (prototyping) C functions in both K&R and ANSI-C. ## +## ------------------------------------------------------------ ## + + +# b4_c_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) +# ----------------------------------------------------------- # Declare the function NAME. -m4_define([b4_c_function], -[$2 -#if defined (__STDC__) || defined (__cplusplus) -$1 (b4_c_ansi_args(m4_shiftn(2, $@))) +m4_define([b4_c_function_decl], +[#if defined (__STDC__) || defined (__cplusplus) +b4_c_ansi_function_decl($@) #else -$1 (b4_c_knr_arg_names(m4_shiftn(2, $@))) -b4_c_knr_arg_decls(m4_shiftn(2, $@)) +$2 $1 (); #endif[]dnl ]) -# b4_c_ansi_args([TYPE1, NAME1], ...) -# ----------------------------------- -# Output the arguments ANSI-C definition. -m4_define([b4_c_ansi_args], -[m4_map_sep([b4_c_ansi_arg], [, ], [$@])]) +# b4_c_ansi_function_decl(NAME, RETURN-VALUE, [DECL1, NAME1], ...) +# ---------------------------------------------------------------- +# Declare the function NAME. +m4_define([b4_c_ansi_function_decl], +[$2 $1 (b4_c_ansi_formals(m4_shiftn(2, $@)));[]dnl +]) -m4_define([b4_c_ansi_arg], -[$1 $2]) -# b4_c_knr_args([TYPE1, NAME1], ...) -# ---------------------------------- -# Output the argument names. -m4_define([b4_c_knr_arg_names], -[m4_map_sep([b4_c_knr_arg_name], [, ], [$@])]) -m4_define([b4_c_knr_arg_name], -[$2]) +## --------------------- ## +## Calling C functions. ## +## --------------------- ## -# b4_c_knr_args([TYPE1, NAME1], ...) -# ---------------------------------- -# Output the K&R argument declarations. -m4_define([b4_c_knr_arg_decls], -[m4_map_sep([b4_c_knr_arg_decl], - [ -], - [$@])]) +# b4_c_function_call(NAME, RETURN-VALUE, [DECL1, NAME1], ...) +# ----------------------------------------------------------- +# Call the function NAME with arguments NAME1, NAME2 etc. +m4_define([b4_c_function_call], +[$1 (b4_c_args(m4_shiftn(2, $@)))[]dnl +]) -m4_define([b4_c_knr_arg_decl], -[ $1 $2;]) +# b4_c_args([DECL1, NAME1], ...) +# ------------------------------ +# Output the arguments NAME1, NAME2... +m4_define([b4_c_args], +[m4_map_sep([b4_c_arg], [, ], [$@])]) +m4_define([b4_c_arg], +[$2]) -## ------------------ ## -## Decoding options. ## -## ------------------ ## +## ----------- ## +## Synclines. ## +## ----------- ## -# b4_location_if(IF-TRUE, IF-FALSE) -# --------------------------------- -# Expand IF-TRUE, if locations are used, IF-FALSE otherwise. -m4_define([b4_location_if], -[m4_if(b4_locations_flag, [1], - [$1], - [$2])]) +# b4_syncline(LINE, FILE) +# ----------------------- +m4_define([b4_syncline], +[m4_if(b4_synclines_flag, 1, + [[#]line $1 $2])]) + + +# b4_symbol_actions(FILENAME, LINENO, +# SYMBOL-TAG, SYMBOL-NUM, +# SYMBOL-ACTION, SYMBOL-TYPENAME) +# ------------------------------------------------- +m4_define([b4_symbol_actions], +[m4_pushdef([b4_dollar_dollar], [yyvaluep->$6])dnl +m4_pushdef([b4_at_dollar], [(*yylocationp)])dnl + case $4: /* $3 */ +b4_syncline([$2], [$1]) + $5; +b4_syncline([@oline@], [@ofile@]) + break; +m4_popdef([b4_at_dollar])dnl +m4_popdef([b4_dollar_dollar])dnl +]) -# b4_pure_if(IF-TRUE, IF-FALSE) -# ----------------------------- -# Expand IF-TRUE, if %pure-parser, IF-FALSE otherwise. -m4_define([b4_pure_if], -[m4_if(b4_pure, [1], - [$1], - [$2])]) + +# b4_yydestruct_generate(FUNTION-DECLARATOR) +# ------------------------------------------ +# Generate the "yydestruct" function, which declaration is issued using +# FUNTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C +# or "b4_c_function_def" for K&R. +m4_define([b4_yydestruct_generate], +[[/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +]$1([yydestruct], + [static void], + [[int yytype], [yytype]], + [[YYSTYPE *yyvaluep], [yyvaluep]]b4_location_if([, + [[YYLTYPE *yylocationp], [yylocationp]]]))[ +{ + /* Pacify ``unused variable'' warnings. */ + (void) yyvaluep; +]b4_location_if([ (void) yylocationp; +])[ + switch (yytype) + { +]m4_map([b4_symbol_actions], m4_defn([b4_symbol_destructors]))[ + default: + break; + } +}]dnl +]) + + +# b4_yysymprint_generate(FUNTION-DECLARATOR) +# ------------------------------------------ +# Generate the "yysymprint" function, which declaration is issued using +# FUNTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C +# or "b4_c_function_def" for K&R. +m4_define([b4_yysymprint_generate], +[[/*-----------------------------. +| Print this symbol on YYOUT. | +`-----------------------------*/ + +]$1([yysymprint], + [static void], + [[FILE *yyout], [yyout]], + [[int yytype], [yytype]], + [[YYSTYPE *yyvaluep], [yyvaluep]]b4_location_if([, + [[YYLTYPE *yylocationp], [yylocationp]]])) +{ + /* Pacify ``unused variable'' warnings. */ + (void) yyvaluep; +b4_location_if([ (void) yylocationp; +])dnl + + if (yytype < YYNTOKENS) + { + YYFPRINTF (yyout, "token %s (", yytname[[yytype]]); +# ifdef YYPRINT + YYPRINT (yyout, yytoknum[[yytype]], *yyvaluep); +# endif + } + else + YYFPRINTF (yyout, "nterm %s (", yytname[[yytype]]); + + switch (yytype) + { +m4_map([b4_symbol_actions], m4_defn([b4_symbol_printers]))dnl + default: + break; + } + YYFPRINTF (yyout, ")"); +} +])