]>
Commit | Line | Data |
---|---|---|
1 | # Bison Parser Headers. -*- Autotest -*- | |
2 | ||
3 | # Copyright (C) 2001-2002, 2006-2007, 2009-2012 Free Software | |
4 | # 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 3 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, see <http://www.gnu.org/licenses/>. | |
18 | ||
19 | AT_BANNER([[Parser Headers.]]) | |
20 | ||
21 | ||
22 | ## --------------------- ## | |
23 | ## Invalid CPP headers. ## | |
24 | ## --------------------- ## | |
25 | ||
26 | # AT_TEST_CPP_GUARD_H(BASE-NAME, [DIRECTIVES]) | |
27 | # -------------------------------------------- | |
28 | # FIXME: Much of this can be covered by calc.at. | |
29 | m4_define([AT_TEST_CPP_GUARD_H], | |
30 | [AT_SETUP([Invalid CPP guards: $2 --defines=$1.h]) | |
31 | AT_BISON_OPTION_PUSHDEFS([$2]) | |
32 | # Possibly create inner directories. | |
33 | dirname=`AS_DIRNAME([$1])` | |
34 | AS_MKDIR_P([$dirname]) | |
35 | ||
36 | AT_DATA_GRAMMAR([$1.y], | |
37 | [$2 | |
38 | %{ | |
39 | #include <$1.h> | |
40 | ]AT_YYERROR_DECLARE_EXTERN[ | |
41 | ]AT_YYLEX_DECLARE_EXTERN[ | |
42 | %} | |
43 | %% | |
44 | dummy:; | |
45 | %% | |
46 | #include <$1.h> | |
47 | ]) | |
48 | ||
49 | AT_BISON_CHECK([--defines=$1.h --output=$1.c $1.y]) | |
50 | ||
51 | AT_COMPILE([$1.o], [-I. -c $1.c]) | |
52 | ||
53 | AT_BISON_OPTION_POPDEFS | |
54 | AT_CLEANUP | |
55 | ]) | |
56 | ||
57 | AT_TEST_CPP_GUARD_H([input/input]) | |
58 | AT_TEST_CPP_GUARD_H([9foo]) | |
59 | AT_TEST_CPP_GUARD_H([input/input], [%glr-parser]) | |
60 | AT_TEST_CPP_GUARD_H([9foo], [%glr-parser]) | |
61 | ||
62 | ||
63 | ||
64 | ## ---------------- ## | |
65 | ## export YYLTYPE. ## | |
66 | ## ---------------- ## | |
67 | ||
68 | ||
69 | AT_SETUP([export YYLTYPE]) | |
70 | ||
71 | AT_DATA_GRAMMAR([input.y], | |
72 | [%locations | |
73 | ||
74 | %name-prefix "my_" | |
75 | %{ | |
76 | #include <stdio.h> | |
77 | #include <stdlib.h> | |
78 | ||
79 | static int | |
80 | my_lex (void) | |
81 | { | |
82 | return EOF; | |
83 | } | |
84 | ||
85 | static void | |
86 | my_error (const char *msg) | |
87 | { | |
88 | fprintf (stderr, "%s\n", msg); | |
89 | } | |
90 | ||
91 | %} | |
92 | %% | |
93 | exp:; | |
94 | ]) | |
95 | ||
96 | AT_BISON_CHECK([--defines -o input.c input.y]) | |
97 | ||
98 | # YYLTYPE should be defined, and MY_LLOC declared. | |
99 | AT_DATA([caller.c], | |
100 | [[#include "input.h" | |
101 | YYLTYPE *my_llocp = &my_lloc; | |
102 | ||
103 | int my_parse (void); | |
104 | ||
105 | int | |
106 | main (void) | |
107 | { | |
108 | return my_parse (); | |
109 | } | |
110 | ]]) | |
111 | ||
112 | # Link and execute, just to make sure everything is fine (and in | |
113 | # particular, that MY_LLOC is indeed defined somewhere). | |
114 | AT_COMPILE([caller.o]) | |
115 | AT_COMPILE([input.o]) | |
116 | AT_COMPILE([caller], [caller.o input.o]) | |
117 | AT_PARSER_CHECK([./caller]) | |
118 | ||
119 | AT_CLEANUP | |
120 | ||
121 | ## ----------------- ## | |
122 | ## Several parsers. ## | |
123 | ## ----------------- ## | |
124 | ||
125 | AT_SETUP([Several parsers]) | |
126 | ||
127 | # AT_TEST([PREFIX], [DIRECTIVES]) | |
128 | # ------------------------------- | |
129 | # Generate and compile to *.o. Make sure there is no YY* nor yy* in | |
130 | # the header (but YYDEBUG and YYPARSE_PARAM). | |
131 | m4_pushdef([AT_TEST], | |
132 | [AT_BISON_OPTION_PUSHDEFS([%define api.prefix "$1_" $2]) | |
133 | AT_DATA_GRAMMAR([$1.AT_SKEL_CC_IF([yy], [y])], | |
134 | [[%define api.prefix "$1_" | |
135 | $2 | |
136 | %error-verbose | |
137 | %union | |
138 | { | |
139 | int integer; | |
140 | } | |
141 | %{ | |
142 | #include <stdio.h> | |
143 | ]AT_YYERROR_DECLARE[ | |
144 | ]AT_YYLEX_DECLARE[ | |
145 | %} | |
146 | %% | |
147 | exp: | |
148 | 'x' '1' { printf ("x1\n"); } | |
149 | | 'x' '2' { printf ("x2\n"); } | |
150 | | 'x' '3' { printf ("x3\n"); } | |
151 | | 'x' '4' { printf ("x4\n"); } | |
152 | | 'x' '5' { printf ("x5\n"); } | |
153 | | 'x' '6' { printf ("x6\n"); } | |
154 | | 'x' '7' { printf ("x7\n"); } | |
155 | | 'x' '8' { printf ("x8\n"); } | |
156 | ; | |
157 | ||
158 | %% | |
159 | ]AT_YYERROR_DEFINE[ | |
160 | ]AT_YYLEX_DEFINE(["$1"])[ | |
161 | ]]) | |
162 | ||
163 | AT_BISON_CHECK([-d -o AT_SKEL_CC_IF([$1.cc $1.yy], [$1.c $1.y])]) | |
164 | # C++ output relies on namespaces and still uses yy a lot. | |
165 | AT_SKEL_CC_IF([], | |
166 | [AT_CHECK([$EGREP yy $1.h], [1])]) | |
167 | ||
168 | # Ignore comments. Ignore YYPARSE_PARAM (obsolete) and | |
169 | # YYPUSH_MORE(_DEFINED)? (whose definition is constant). | |
170 | # | |
171 | # YYDEBUG (not renamed) can be read, but not changed. | |
172 | AT_CHECK([[$PERL -0777 -e 's{/\*.*?\*/}{}sg;s,//.*,,;' \ | |
173 | ]$1.AT_SKEL_CC_IF([hh], [h])[ | | |
174 | grep 'YY' | | |
175 | $EGREP -wv 'YY(PARSE_PARAM|PUSH_MORE(_DEFINED)?)|(defined|if) YYDEBUG']], | |
176 | [1]) | |
177 | AT_LANG_COMPILE([$1.o]) | |
178 | ||
179 | AT_CHECK([[echo "$1" >>expout]]) | |
180 | ||
181 | AT_BISON_OPTION_POPDEFS | |
182 | ])# AT_TEST | |
183 | ||
184 | AT_DATA([main.cc], | |
185 | [AT_DATA_SOURCE_PROLOGUE | |
186 | [extern "C" | |
187 | { | |
188 | #include "x1.h" | |
189 | #include "x2.h" | |
190 | #include "x3.h" | |
191 | #include "x4.h" | |
192 | #include "x6.h" | |
193 | #include "x7.h" | |
194 | #include "x8.h" | |
195 | } | |
196 | #include "x5.hh" | |
197 | //#include "x6.hh" | |
198 | ||
199 | #define RUN(S) \ | |
200 | do { \ | |
201 | int res = S; \ | |
202 | if (res) \ | |
203 | std::cerr << #S": " << res << std::endl; \ | |
204 | } while (false) | |
205 | ||
206 | int | |
207 | main (void) | |
208 | { | |
209 | RUN(x1_parse()); | |
210 | RUN(x2_parse()); | |
211 | RUN(x3_parse()); | |
212 | RUN(x4_parse()); | |
213 | x5_::parser p5; | |
214 | RUN(p5.parse()); | |
215 | RUN(x6_parse()); | |
216 | RUN(x7_parse()); | |
217 | RUN(x8_parse()); | |
218 | // x6_::parser p6; | |
219 | // RUN(p6.parse()); | |
220 | return 0; | |
221 | } | |
222 | ]])# main.cc | |
223 | ||
224 | AT_TEST([x1], []) | |
225 | AT_TEST([x2], [%locations %debug]) | |
226 | AT_TEST([x3], [%glr-parser]) | |
227 | AT_TEST([x4], [%locations %debug %glr-parser]) | |
228 | AT_TEST([x5], [%locations %debug %language "c++"]) | |
229 | AT_TEST([x6], [%define api.pure]) | |
230 | AT_TEST([x7], [%define api.push-pull both]) | |
231 | AT_TEST([x8], [%define api.pure %define api.push-pull both]) | |
232 | #AT_TEST([x5], [%locations %language "c++" %glr-parser]) | |
233 | ||
234 | AT_COMPILE_CXX([parser], [[x[1-8].o main.cc]]) | |
235 | AT_CHECK([./parser], [0], [[expout]]) | |
236 | ||
237 | m4_popdef([AT_TEST]) | |
238 | ||
239 | AT_CLEANUP |