]> git.saurik.com Git - bison.git/blame - tests/local.at
Rename <!> to <>. Discussed starting at
[bison.git] / tests / local.at
CommitLineData
67a25fed
AD
1# Process this -*- Autotest -*- file with autom4te.
2
3# Macros for the GNU Bison Test suite.
8f7e3cf9 4# Copyright (C) 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
67a25fed
AD
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, or (at your option)
9# 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
0fb669f9
PE
18# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19# 02110-1301, USA.
67a25fed 20
1f7a61ff 21# We want a recent Autotest.
ce05140d 22m4_version_prereq([2.58])
1f7a61ff 23
67a25fed
AD
24
25## ------------------------------- ##
26## Macros decoding Bison options. ##
27## ------------------------------- ##
28
29
30# AT_BISON_OPTION_PUSHDEFS([BISON-OPTIONS])
31# -----------------------------------------
32m4_define([AT_BISON_OPTION_PUSHDEFS],
33[_AT_BISON_OPTION_PUSHDEFS($[1], $[2], [$1])])
34
35
36# _AT_BISON_OPTION_PUSHDEFS($1, $2, [BISON-OPTIONS])
37# --------------------------------------------------
38# This macro works around the impossibility to define macros
39# inside macros, because issuing `[$1]' is not possible in M4 :(.
40# This sucks hard, GNU M4 should really provide M5 like $$1.
41m4_define([_AT_BISON_OPTION_PUSHDEFS],
42[m4_if([$1$2], $[1]$[2], [],
43 [m4_fatal([$0: Invalid arguments: $@])])dnl
44m4_pushdef([AT_LALR1_CC_IF],
45[m4_bmatch([$3], ["lalr1.cc"], [$1], [$2])])
8f7e3cf9
AD
46m4_pushdef([AT_GLR_CC_IF],
47[m4_bmatch([$3], ["glr.cc"], [$1], [$2])])
48m4_pushdef([AT_SKEL_CC_IF],
49[m4_bmatch([$3], ["\(glr\|lalr1\).cc"], [$1], [$2])])
67a25fed
AD
50m4_pushdef([AT_GLR_IF],
51[m4_bmatch([$3], [%glr-parser], [$1], [$2])])
52# Using yacc.c?
53m4_pushdef([AT_YACC_IF],
54[m4_bmatch([$3], [%glr-parser\|%skeleton], [$2], [$1])])
55m4_pushdef([AT_PARAM_IF],
56[m4_bmatch([$3], [%parse-param], [$1], [$2])])
57m4_pushdef([AT_LOCATION_IF],
58[m4_bmatch([$3], [%locations], [$1], [$2])])
59m4_pushdef([AT_PURE_IF],
60[m4_bmatch([$3], [%pure-parser], [$1], [$2])])
61m4_pushdef([AT_PURE_AND_LOC_IF],
62[m4_bmatch([$3], [%locations.*%pure-parser\|%pure-parser.*%locations],
02650b7f 63 [$1], [$2])])
67a25fed
AD
64m4_pushdef([AT_GLR_OR_PARAM_IF],
65[m4_bmatch([$3], [%glr-parser\|%parse-param], [$1], [$2])])
aa08666d 66m4_pushdef([AT_NAME_PREFIX],
231ed89a 67[m4_bmatch([$3], [%name-prefix=".*"],
5cf61e93
AD
68 [m4_bregexp([$3], [name-prefix="\([^"]*\)"], [\1])],
69 [yy])])
67a25fed
AD
70# yyerror receives the location if %location & %pure & (%glr or %parse-param).
71m4_pushdef([AT_YYERROR_ARG_LOC_IF],
72[AT_GLR_OR_PARAM_IF([AT_PURE_AND_LOC_IF([$1], [$2])],
02650b7f 73 [$2])])
67a25fed
AD
74# yyerror always sees the locations (when activated), except if
75# yacc & pure & !param.
76m4_pushdef([AT_YYERROR_SEES_LOC_IF],
77[AT_LOCATION_IF([AT_YACC_IF([AT_PURE_IF([AT_PARAM_IF([$1], [$2])],
02650b7f
PE
78 [$1])],
79 [$1])],
80 [$2])])
67a25fed
AD
81
82# The interface is pure: either because %pure-parser, or because we
83# are using the C++ parsers.
84m4_pushdef([AT_PURE_LEX_IF],
85[AT_PURE_IF([$1],
aa08666d 86 [AT_SKEL_CC_IF([$1], [$2])])])
67a25fed
AD
87
88AT_PURE_LEX_IF(
ebc3737e
PE
89[m4_pushdef([AT_LOC], [(*llocp)])
90 m4_pushdef([AT_VAL], [(*lvalp)])
67a25fed 91 m4_pushdef([AT_LEX_FORMALS],
02650b7f 92 [YYSTYPE *lvalp[]AT_LOCATION_IF([, YYLTYPE *llocp])])
67a25fed 93 m4_pushdef([AT_LEX_ARGS],
02650b7f 94 [lvalp[]AT_LOCATION_IF([, llocp])])
67a25fed 95 m4_pushdef([AT_USE_LEX_ARGS],
02650b7f 96 [(void) lvalp;AT_LOCATION_IF([(void) llocp])])
67a25fed 97 m4_pushdef([AT_LEX_PRE_FORMALS],
02650b7f 98 [AT_LEX_FORMALS, ])
67a25fed 99 m4_pushdef([AT_LEX_PRE_ARGS],
02650b7f 100 [AT_LEX_ARGS, ])
67a25fed
AD
101],
102[m4_pushdef([AT_LOC], [(yylloc)])
103 m4_pushdef([AT_VAL], [(yylval)])
104 m4_pushdef([AT_LEX_FORMALS], [void])
105 m4_pushdef([AT_LEX_ARGS], [])
106 m4_pushdef([AT_USE_LEX_ARGS], [])
107 m4_pushdef([AT_LEX_PRE_FORMALS], [])
108 m4_pushdef([AT_LEX_PRE_ARGS], [])
109])
110])# _AT_BISON_OPTION_PUSHDEFS
111
112
113# AT_BISON_OPTION_POPDEFS
114# -----------------------
115m4_define([AT_BISON_OPTION_POPDEFS],
116[m4_popdef([AT_LEX_PRE_ARGS])
117m4_popdef([AT_LEX_PRE_FORMALS])
118m4_popdef([AT_USE_LEX_ARGS])
119m4_popdef([AT_LEX_ARGS])
120m4_popdef([AT_LEX_FORMALS])
121m4_popdef([AT_VAL])
122m4_popdef([AT_LOC])
123m4_popdef([AT_PURE_LEX_IF])
124m4_popdef([AT_YYERROR_SEES_LOC_IF])
125m4_popdef([AT_YYERROR_ARG_LOC_IF])
aa08666d 126m4_popdef([AT_NAME_PREFIX])
67a25fed
AD
127m4_popdef([AT_GLR_OR_PARAM_IF])
128m4_popdef([AT_PURE_AND_LOC_IF])
129m4_popdef([AT_LOCATION_IF])
130m4_popdef([AT_PARAM_IF])
131m4_popdef([AT_YACC_IF])
132m4_popdef([AT_GLR_IF])
8f7e3cf9
AD
133m4_popdef([AT_SKEL_CC_IF])
134m4_popdef([AT_GLR_CC_IF])
67a25fed
AD
135m4_popdef([AT_LALR1_CC_IF])
136])# AT_BISON_OPTION_POPDEFS
137
138
139
140## -------------------------- ##
141## Generating Grammar Files. ##
142## -------------------------- ##
143
144
145# AT_DATA_GRAMMAR_PROLOGUE
146# ------------------------
147# The prologue that should be included in any grammar which parser is
148# meant to be compiled.
149m4_define([AT_DATA_GRAMMAR_PROLOGUE],
150[[%{
231ed89a
PE
151#include <config.h>
152/* We don't need perfect functions for these tests. */
153#undef malloc
154#undef memcmp
155#undef realloc
67a25fed
AD
156%}]
157])
158
159
160# AT_DATA_GRAMMAR(NAME, CONTENT)
161# ------------------------------
162# Generate the file NAME, which CONTENT is preceded by
163# AT_DATA_GRAMMAR_PROLOGUE.
164m4_define([AT_DATA_GRAMMAR],
165[AT_DATA([$1],
166[AT_DATA_GRAMMAR_PROLOGUE
167$2])
168])
169
170
171## ------------------------ ##
172## Compiling C, C++ Files. ##
173## ------------------------ ##
174
175
176# AT_COMPILE(OUTPUT, [SOURCES = OUTPUT.c])
177# ----------------------------------------
178# Compile SOURCES into OUTPUT. If OUTPUT does not contain '.',
179# assume that we are linking too; this is a hack.
180m4_define([AT_COMPILE],
72d848c2 181[AT_CHECK([$CC $CFLAGS $CPPFLAGS m4_bmatch([$1], [[.]], [], [$LDFLAGS ])-o $1 m4_default([$2], [$1.c])[]m4_bmatch([$1], [[.]], [], [ $LIBS])],
006d217d 182 0, [ignore], [ignore])])
67a25fed 183
07971983 184# AT_COMPILE_CXX(OUTPUT, [SOURCES = OUTPUT.cc])
67a25fed 185# --------------------------------------------
51f4735e
PE
186# Compile SOURCES into OUTPUT. If OUTPUT does not contain '.',
187# assume that we are linking too; this is a hack.
209ea708 188# If the C++ compiler does not work, ignore the test.
67a25fed
AD
189m4_define([AT_COMPILE_CXX],
190[AT_KEYWORDS(c++)
209ea708 191AT_CHECK([$BISON_CXX_WORKS], 0, ignore, ignore)
e6efa9da 192AT_CHECK([$CXX $CXXFLAGS $CPPFLAGS m4_bmatch([$1], [[.]], [], [$LDFLAGS ])-o $1 m4_default([$2], [$1.cc])[]m4_bmatch([$1], [[.]], [], [ $LIBS])],
02650b7f 193 0, [ignore], [ignore])])
67a25fed
AD
194
195
196
197## ---------------------------- ##
198## Running a generated parser. ##
199## ---------------------------- ##
200
201# AT_PARSER_CHECK(COMMAND, EXIT-STATUS, EXPOUT, EXPERR)
202# -----------------------------------------------------
203# So that we can run `./testsuite PREPARSER='valgrind -q' for instance.
204m4_define([AT_PARSER_CHECK],
205[AT_CHECK([$PREPARSER $1], [$2], [$3], [$4])])
1f7a61ff
AD
206
207
208
209
210## ----------------------- ##
211## Launch the test suite. ##
212## ----------------------- ##
213
214AT_INIT
215
216AT_TESTED([bison])