]>
Commit | Line | Data |
---|---|---|
b9cecb91 | 1 | # Bison Parser Headers. -*- Autotest -*- |
6e30ede8 | 2 | |
c932d613 | 3 | # Copyright (C) 2001-2002, 2006-2007, 2009-2012 Free Software |
1462fcee | 4 | # Foundation, Inc. |
b9cecb91 | 5 | |
f16b0819 | 6 | # This program is free software: you can redistribute it and/or modify |
b9cecb91 | 7 | # it under the terms of the GNU General Public License as published by |
f16b0819 PE |
8 | # the Free Software Foundation, either version 3 of the License, or |
9 | # (at your option) any later version. | |
10 | # | |
b9cecb91 AD |
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. | |
f16b0819 | 15 | # |
b9cecb91 | 16 | # You should have received a copy of the GNU General Public License |
f16b0819 | 17 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
b9cecb91 AD |
18 | |
19 | AT_BANNER([[Parser Headers.]]) | |
20 | ||
21 | ||
b9cecb91 AD |
22 | ## --------------------- ## |
23 | ## Invalid CPP headers. ## | |
24 | ## --------------------- ## | |
25 | ||
9d67a52a AD |
26 | # AT_TEST_CPP_GUARD_H(BASE-NAME, [DIRECTIVES]) |
27 | # -------------------------------------------- | |
28 | # FIXME: Much of this can be covered by calc.at. | |
b9cecb91 | 29 | m4_define([AT_TEST_CPP_GUARD_H], |
9d67a52a | 30 | [AT_SETUP([Invalid CPP guards: $2 --defines=$1.h]) |
55f48c48 | 31 | AT_BISON_OPTION_PUSHDEFS([$2]) |
b9cecb91 AD |
32 | # Possibly create inner directories. |
33 | dirname=`AS_DIRNAME([$1])` | |
34 | AS_MKDIR_P([$dirname]) | |
35 | ||
9501dc6e | 36 | AT_DATA_GRAMMAR([$1.y], |
9d67a52a AD |
37 | [$2 |
38 | %{ | |
fe6c2fde | 39 | #include <$1.h> |
55f48c48 AD |
40 | ]AT_YYERROR_DECLARE_EXTERN[ |
41 | ]AT_YYLEX_DECLARE_EXTERN[ | |
1d39f854 PE |
42 | %} |
43 | %% | |
bfcf1f3a | 44 | dummy:; |
1d39f854 | 45 | %% |
fe6c2fde | 46 | #include <$1.h> |
b9cecb91 AD |
47 | ]) |
48 | ||
9d67a52a | 49 | AT_BISON_CHECK([--defines=$1.h --output=$1.c $1.y]) |
b9cecb91 | 50 | |
9d67a52a | 51 | AT_COMPILE([$1.o], [-I. -c $1.c]) |
b9cecb91 | 52 | |
55f48c48 | 53 | AT_BISON_OPTION_POPDEFS |
b9cecb91 AD |
54 | AT_CLEANUP |
55 | ]) | |
56 | ||
57 | AT_TEST_CPP_GUARD_H([input/input]) | |
58 | AT_TEST_CPP_GUARD_H([9foo]) | |
9d67a52a AD |
59 | AT_TEST_CPP_GUARD_H([input/input], [%glr-parser]) |
60 | AT_TEST_CPP_GUARD_H([9foo], [%glr-parser]) | |
b9cecb91 AD |
61 | |
62 | ||
63 | ||
64 | ## ---------------- ## | |
65 | ## export YYLTYPE. ## | |
66 | ## ---------------- ## | |
67 | ||
68 | ||
69 | AT_SETUP([export YYLTYPE]) | |
70 | ||
9501dc6e | 71 | AT_DATA_GRAMMAR([input.y], |
b9cecb91 | 72 | [%locations |
b5b61c61 | 73 | |
02975b9a | 74 | %name-prefix "my_" |
b9cecb91 AD |
75 | %{ |
76 | #include <stdio.h> | |
77 | #include <stdlib.h> | |
78 | ||
7172e23e | 79 | static int |
b5b61c61 | 80 | my_lex (void) |
b9cecb91 AD |
81 | { |
82 | return EOF; | |
83 | } | |
84 | ||
85 | static void | |
b5b61c61 | 86 | my_error (const char *msg) |
b9cecb91 AD |
87 | { |
88 | fprintf (stderr, "%s\n", msg); | |
89 | } | |
90 | ||
91 | %} | |
92 | %% | |
93 | exp:; | |
94 | ]) | |
95 | ||
da730230 | 96 | AT_BISON_CHECK([--defines -o input.c input.y]) |
b9cecb91 | 97 | |
b5b61c61 | 98 | # YYLTYPE should be defined, and MY_LLOC declared. |
b9cecb91 AD |
99 | AT_DATA([caller.c], |
100 | [[#include "input.h" | |
b5b61c61 | 101 | YYLTYPE *my_llocp = &my_lloc; |
b9cecb91 | 102 | |
b5b61c61 | 103 | int my_parse (void); |
b9cecb91 AD |
104 | |
105 | int | |
106 | main (void) | |
107 | { | |
b5b61c61 | 108 | return my_parse (); |
b9cecb91 AD |
109 | } |
110 | ]]) | |
111 | ||
112 | # Link and execute, just to make sure everything is fine (and in | |
b5b61c61 | 113 | # particular, that MY_LLOC is indeed defined somewhere). |
91ce0b3a AD |
114 | AT_COMPILE([caller.o]) |
115 | AT_COMPILE([input.o]) | |
2b42986e | 116 | AT_COMPILE([caller], [caller.o input.o]) |
1154cced | 117 | AT_PARSER_CHECK([./caller]) |
b9cecb91 AD |
118 | |
119 | AT_CLEANUP | |
4b3847c3 AD |
120 | |
121 | ## ----------------- ## | |
122 | ## Several parsers. ## | |
123 | ## ----------------- ## | |
124 | ||
125 | AT_SETUP([Several parsers]) | |
126 | ||
ad60e80f AD |
127 | # AT_TEST([PREFIX], [DIRECTIVES]) |
128 | # ------------------------------- | |
5a05f42e | 129 | # Generate and compile to *.o. Make sure there is no (allowed) YY* |
04a4684a AD |
130 | # nor yy* identifiers in the header. Check that headers are |
131 | # self-contained, and can be compiled by a C++ compiler. | |
ad60e80f | 132 | m4_pushdef([AT_TEST], |
4b3847c3 | 133 | [AT_BISON_OPTION_PUSHDEFS([%define api.prefix "$1_" $2]) |
d74d8cb6 | 134 | AT_DATA_GRAMMAR([$1.y], |
4b3847c3 AD |
135 | [[%define api.prefix "$1_" |
136 | $2 | |
ad60e80f | 137 | %error-verbose |
4b3847c3 AD |
138 | %union |
139 | { | |
140 | int integer; | |
141 | } | |
142 | %{ | |
143 | #include <stdio.h> | |
144 | ]AT_YYERROR_DECLARE[ | |
145 | ]AT_YYLEX_DECLARE[ | |
146 | %} | |
147 | %% | |
148 | exp: | |
149 | 'x' '1' { printf ("x1\n"); } | |
150 | | 'x' '2' { printf ("x2\n"); } | |
151 | | 'x' '3' { printf ("x3\n"); } | |
152 | | 'x' '4' { printf ("x4\n"); } | |
153 | | 'x' '5' { printf ("x5\n"); } | |
154 | | 'x' '6' { printf ("x6\n"); } | |
ad60e80f AD |
155 | | 'x' '7' { printf ("x7\n"); } |
156 | | 'x' '8' { printf ("x8\n"); } | |
4b3847c3 AD |
157 | ; |
158 | ||
159 | %% | |
160 | ]AT_YYERROR_DEFINE[ | |
161 | ]AT_YYLEX_DEFINE(["$1"])[ | |
162 | ]]) | |
163 | ||
d74d8cb6 | 164 | AT_BISON_CHECK([-d -o $1.AT_SKEL_CC_IF([cc], [c]) $1.y]) |
5a05f42e | 165 | |
5a05f42e | 166 | AT_LANG_COMPILE([$1.o]) |
ad60e80f AD |
167 | AT_CHECK([[echo "$1" >>expout]]) |
168 | ||
4b3847c3 | 169 | AT_BISON_OPTION_POPDEFS |
ad60e80f | 170 | ])# AT_TEST |
4b3847c3 AD |
171 | |
172 | AT_DATA([main.cc], | |
1168b322 | 173 | [AT_DATA_SOURCE_PROLOGUE |
0e98a81e AD |
174 | [// If we are compiling with CC=$CXX, then do not load the C headers |
175 | // inside extern "C", since they were _not_ compiled this way. | |
176 | #if ! CC_IS_CXX | |
177 | extern "C" | |
4b3847c3 | 178 | { |
0e98a81e | 179 | #endif |
4b3847c3 AD |
180 | #include "x1.h" |
181 | #include "x2.h" | |
182 | #include "x3.h" | |
183 | #include "x4.h" | |
ad60e80f AD |
184 | #include "x6.h" |
185 | #include "x7.h" | |
186 | #include "x8.h" | |
0e98a81e | 187 | #if ! CC_IS_CXX |
4b3847c3 | 188 | } |
0e98a81e | 189 | #endif |
4b3847c3 AD |
190 | #include "x5.hh" |
191 | //#include "x6.hh" | |
b142cfd1 | 192 | |
ad60e80f AD |
193 | #define RUN(S) \ |
194 | do { \ | |
195 | int res = S; \ | |
196 | if (res) \ | |
197 | std::cerr << #S": " << res << std::endl; \ | |
198 | } while (false) | |
1168b322 | 199 | |
4b3847c3 AD |
200 | int |
201 | main (void) | |
202 | { | |
ad60e80f AD |
203 | RUN(x1_parse()); |
204 | RUN(x2_parse()); | |
205 | RUN(x3_parse()); | |
206 | RUN(x4_parse()); | |
4b3847c3 | 207 | x5_::parser p5; |
ad60e80f AD |
208 | RUN(p5.parse()); |
209 | RUN(x6_parse()); | |
210 | RUN(x7_parse()); | |
211 | RUN(x8_parse()); | |
53ab797d | 212 | // x6_::parser p6; |
ad60e80f | 213 | // RUN(p6.parse()); |
b142cfd1 | 214 | return 0; |
4b3847c3 | 215 | } |
ad60e80f AD |
216 | ]])# main.cc |
217 | ||
218 | AT_TEST([x1], []) | |
219 | AT_TEST([x2], [%locations %debug]) | |
220 | AT_TEST([x3], [%glr-parser]) | |
221 | AT_TEST([x4], [%locations %debug %glr-parser]) | |
222 | AT_TEST([x5], [%locations %debug %language "c++"]) | |
223 | AT_TEST([x6], [%define api.pure]) | |
224 | AT_TEST([x7], [%define api.push-pull both]) | |
225 | AT_TEST([x8], [%define api.pure %define api.push-pull both]) | |
226 | #AT_TEST([x5], [%locations %language "c++" %glr-parser]) | |
227 | ||
3a526f5c AD |
228 | # Check there is no 'yy' left. |
229 | # C++ output relies on namespaces and still uses yy a lot. | |
230 | # | |
231 | # Check there is no 'YY' left. | |
be27db79 TR |
232 | # Ignore comments, YYChar (template parameter), YYPUSH_MORE(_DEFINED)? |
233 | # (constant definition), YY_\w+_INCLUDED (header guards). | |
3a526f5c AD |
234 | # YYDEBUG (not renamed) can be read, but not changed. |
235 | AT_CHECK([[$PERL -n -0777 -e ' | |
236 | s{/\*.*?\*/}{}gs; | |
237 | s{//.*}{}g; | |
7ae57e2a | 238 | s{\b(YYChar |
3a526f5c AD |
239 | |YYPUSH_MORE(_DEFINED)? |
240 | |YY_\w+_INCLUDED | |
241 | |YY_NULL | |
242 | |(defined|if)\ YYDEBUG | |
243 | )\b}{}gx; | |
244 | while (/^(.*YY.*)$/gm) | |
245 | { | |
7ae57e2a | 246 | print "$ARGV: invalid exported YY: $1\n"; |
3a526f5c AD |
247 | } |
248 | if ($ARGV =~ /\.h$/) | |
249 | { | |
250 | while (/^(.*yy.*)$/gm) | |
251 | { | |
7ae57e2a | 252 | print "$ARGV: invalid exported yy: $1\n"; |
3a526f5c AD |
253 | } |
254 | } | |
255 | ' -- *.hh *.h]]) | |
256 | ||
04a4684a AD |
257 | # Check that the headers are self-contained, and protected against |
258 | # multiple inclusions. While at it, check they are sane for C++. | |
259 | for h in *.h *.hh | |
260 | do | |
261 | # No shell expansion with AT_DATA. | |
262 | cat >$h.cc <<EOF | |
ec78bdab | 263 | AT_DATA_SOURCE_PROLOGUE |
04a4684a AD |
264 | #include "$h" |
265 | #include "$h" | |
266 | EOF | |
267 | AT_COMPILE_CXX([$h.o]) | |
268 | done | |
269 | ||
8aaa0c2f AD |
270 | # Do this late, so that other checks have been performed. |
271 | AT_SKIP_IF_CANNOT_LINK_C_AND_CXX | |
272 | ||
273 | AT_COMPILE_CXX([parser], [[x[1-8].o -DCC_IS_CXX=$CC_IS_CXX main.cc]]) | |
2bb8f621 | 274 | AT_PARSER_CHECK([./parser], [0], [[expout]]) |
8aaa0c2f | 275 | |
ad60e80f | 276 | m4_popdef([AT_TEST]) |
4b3847c3 AD |
277 | |
278 | AT_CLEANUP |