Commit | Line | Data |
---|---|---|
82c035a8 | 1 | # Executing Actions. -*- Autotest -*- |
7a86d7eb | 2 | # Copyright (C) 2001, 2002 Free Software Foundation, Inc. |
82c035a8 AD |
3 | |
4 | # This program is free software; you can redistribute it and/or modify | |
5 | # it under the terms of the GNU General Public License as published by | |
6 | # the Free Software Foundation; either version 2, or (at your option) | |
7 | # any later version. | |
8 | ||
9 | # This program is distributed in the hope that it will be useful, | |
10 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | # GNU General Public License for more details. | |
13 | ||
14 | # You should have received a copy of the GNU General Public License | |
15 | # along with this program; if not, write to the Free Software | |
16 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA | |
17 | # 02111-1307, USA. | |
18 | ||
19 | AT_BANNER([[User Actions.]]) | |
20 | ||
21 | ## ------------------ ## | |
22 | ## Mid-rule actions. ## | |
23 | ## ------------------ ## | |
24 | ||
25 | AT_SETUP([Mid-rule actions]) | |
26 | ||
27 | # Bison once forgot the mid-rule actions. It was because the action | |
28 | # was attached to the host rule (the one with the mid-rule action), | |
29 | # instead of being attached to the empty rule dedicated to this | |
30 | # action. | |
31 | ||
9501dc6e | 32 | AT_DATA_GRAMMAR([[input.y]], |
82c035a8 | 33 | [[%{ |
d99361e6 AD |
34 | # include <stdio.h> |
35 | # include <stdlib.h> | |
36 | static void yyerror (const char *msg); | |
37 | static int yylex (void); | |
38 | # define YYDEBUG 1 | |
39 | # define YYERROR_VERBOSE 1 | |
82c035a8 AD |
40 | %} |
41 | %% | |
931394cb AD |
42 | exp: { putchar ('0'); } |
43 | '1' { putchar ('1'); } | |
44 | '2' { putchar ('2'); } | |
45 | '3' { putchar ('3'); } | |
46 | '4' { putchar ('4'); } | |
47 | '5' { putchar ('5'); } | |
48 | '6' { putchar ('6'); } | |
49 | '7' { putchar ('7'); } | |
50 | '8' { putchar ('8'); } | |
51 | '9' { putchar ('9'); } | |
52 | { putchar ('\n'); } | |
82c035a8 AD |
53 | ; |
54 | %% | |
55 | static int | |
56 | yylex (void) | |
57 | { | |
58 | static const char *input = "123456789"; | |
59 | return *input++; | |
60 | } | |
61 | ||
62 | static void | |
63 | yyerror (const char *msg) | |
64 | { | |
65 | fprintf (stderr, "%s\n", msg); | |
66 | } | |
67 | ||
68 | int | |
69 | main (void) | |
70 | { | |
71 | return yyparse (); | |
72 | } | |
73 | ]]) | |
74 | ||
b56471a6 | 75 | AT_CHECK([bison -d -v -o input.c input.y]) |
1154cced AD |
76 | AT_COMPILE([input]) |
77 | AT_PARSER_CHECK([./input], 0, | |
931394cb | 78 | [[0123456789 |
82c035a8 AD |
79 | ]]) |
80 | ||
81 | AT_CLEANUP | |
75d1fe16 AD |
82 | |
83 | ||
84 | ||
5dac0025 PE |
85 | ## ---------------------- ## |
86 | ## Actions after errors. ## | |
87 | ## ---------------------- ## | |
88 | ||
89 | AT_SETUP([Actions after errors]) | |
90 | ||
91 | ||
92 | ||
93 | AT_DATA_GRAMMAR([[input.y]], | |
94 | [[%{ | |
95 | #include <stdio.h> | |
96 | #include <stdlib.h> | |
97 | ||
98 | static int yylex (void); | |
99 | static void yyerror (char const *); | |
100 | ||
101 | #define YYDEBUG 1 | |
102 | %} | |
103 | %union { int ival; } | |
104 | %type <ival> 'x' ';' thing line input | |
105 | ||
106 | %% | |
107 | input: | |
108 | /* Nothing. */ | |
109 | { | |
110 | $$ = 0; | |
16f37b35 | 111 | printf ("input (%d): /* Nothing */\n", $$); |
5dac0025 PE |
112 | } |
113 | | line input /* Right recursive to load the stack so that popping at | |
114 | EOF can be exercised. */ | |
115 | { | |
116 | $$ = 2; | |
16f37b35 | 117 | printf ("input (%d): line (%d) input (%d)\n", $$, $1, $2); |
5dac0025 PE |
118 | } |
119 | ; | |
120 | ||
121 | line: | |
122 | thing thing thing ';' | |
123 | { | |
124 | $$ = $1; | |
16f37b35 | 125 | printf ("line (%d): thing (%d) thing (%d) thing (%d) ';' (%d)\n", |
5dac0025 PE |
126 | $$, $1, $2, $3, $4); |
127 | } | |
128 | | thing thing ';' | |
129 | { | |
130 | $$ = $1; | |
16f37b35 | 131 | printf ("line (%d): thing (%d) thing (%d) ';' (%d)\n", $$, $1, $2, $3); |
5dac0025 PE |
132 | } |
133 | | thing ';' | |
134 | { | |
135 | $$ = $1; | |
16f37b35 | 136 | printf ("line (%d): thing (%d) ';' (%d)\n", $$, $1, $2); |
5dac0025 PE |
137 | } |
138 | | error ';' | |
139 | { | |
140 | $$ = -1; | |
16f37b35 | 141 | printf ("line (%d): error ';' (%d)\n", $$, $2); |
5dac0025 PE |
142 | } |
143 | ; | |
144 | ||
145 | thing: | |
146 | 'x' | |
147 | { | |
148 | $$ = $1; | |
16f37b35 | 149 | printf ("thing (%d): 'x' (%d)\n", $$, $1); |
5dac0025 PE |
150 | } |
151 | ; | |
152 | %% | |
153 | static size_t counter; | |
154 | ||
155 | static int | |
156 | yylex (void) | |
157 | { | |
158 | static char const input[] = | |
159 | { | |
160 | /* Exericise the discarding of stack top and input until `error' | |
161 | can be reduced. */ | |
162 | 'x', 'x', 'x', 'x', 'x', 'x', ';', | |
163 | ||
164 | /* Load the stack and provoke an error that cannot be caught by | |
165 | the grammar, to check that the stack is cleared. */ | |
166 | 'x', 'x', ';', | |
167 | 'x', ';', | |
168 | 'y' | |
169 | }; | |
170 | ||
171 | if (counter < sizeof input) | |
172 | { | |
173 | yylval.ival = counter; | |
16f37b35 | 174 | printf ("sending: '%c' (%d)\n", input[counter], yylval.ival); |
5dac0025 PE |
175 | return input[counter++]; |
176 | } | |
177 | else | |
178 | { | |
179 | printf ("sending: EOF\n"); | |
180 | return EOF; | |
181 | } | |
182 | } | |
183 | ||
184 | static void | |
185 | yyerror (char const *msg) | |
186 | { | |
187 | printf ("%lu: %s\n", (unsigned long int) counter, msg); | |
188 | } | |
189 | ||
190 | int | |
191 | main (void) | |
192 | { | |
193 | yydebug = !!getenv ("YYDEBUG"); | |
194 | return yyparse (); | |
195 | } | |
196 | ]]) | |
197 | ||
198 | AT_CHECK([bison -o input.c input.y]) | |
199 | AT_COMPILE([input]) | |
200 | AT_PARSER_CHECK([./input], 1, | |
16f37b35 PE |
201 | [[sending: 'x' (0) |
202 | thing (0): 'x' (0) | |
203 | sending: 'x' (1) | |
204 | thing (1): 'x' (1) | |
205 | sending: 'x' (2) | |
206 | thing (2): 'x' (2) | |
207 | sending: 'x' (3) | |
5dac0025 | 208 | 4: syntax error |
16f37b35 PE |
209 | sending: 'x' (4) |
210 | sending: 'x' (5) | |
211 | sending: ';' (6) | |
212 | line (-1): error ';' (6) | |
213 | sending: 'x' (7) | |
214 | thing (7): 'x' (7) | |
215 | sending: 'x' (8) | |
216 | thing (8): 'x' (8) | |
217 | sending: ';' (9) | |
218 | line (7): thing (7) thing (8) ';' (9) | |
219 | sending: 'x' (10) | |
220 | thing (10): 'x' (10) | |
221 | sending: ';' (11) | |
222 | line (10): thing (10) ';' (11) | |
223 | sending: 'y' (12) | |
5dac0025 PE |
224 | 13: syntax error |
225 | sending: EOF | |
226 | ]]) | |
227 | ||
228 | AT_CLEANUP | |
229 | ||
230 | ||
231 | ||
75d1fe16 AD |
232 | ## ---------------- ## |
233 | ## Exotic Dollars. ## | |
234 | ## ---------------- ## | |
235 | ||
236 | AT_SETUP([Exotic Dollars]) | |
237 | ||
9501dc6e | 238 | AT_DATA_GRAMMAR([[input.y]], |
75d1fe16 AD |
239 | [[%{ |
240 | # include <stdio.h> | |
241 | # include <stdlib.h> | |
242 | static void yyerror (const char *msg); | |
243 | static int yylex (void); | |
244 | # define YYDEBUG 1 | |
245 | # define YYERROR_VERBOSE 1 | |
246 | %} | |
247 | ||
248 | %union | |
249 | { | |
250 | int val; | |
251 | }; | |
252 | ||
0ff67d71 | 253 | %type <val> a_1 a_2 a_5 |
75d1fe16 AD |
254 | sum_of_the_five_previous_values |
255 | ||
256 | %% | |
0ff67d71 PE |
257 | exp: a_1 a_2 { $<val>$ = 3; } { $<val>$ = $<val>3 + 1; } a_5 |
258 | sum_of_the_five_previous_values | |
75d1fe16 AD |
259 | { |
260 | printf ("%d\n", $6); | |
261 | } | |
262 | ; | |
263 | a_1: { $$ = 1; }; | |
264 | a_2: { $$ = 2; }; | |
75d1fe16 AD |
265 | a_5: { $$ = 5; }; |
266 | ||
267 | sum_of_the_five_previous_values: | |
268 | { | |
269 | $$ = $<val>0 + $<val>-1 + $<val>-2 + $<val>-3 + $<val>-4; | |
270 | } | |
271 | ; | |
272 | ||
273 | %% | |
274 | static int | |
275 | yylex (void) | |
276 | { | |
277 | return EOF; | |
278 | } | |
279 | ||
280 | static void | |
281 | yyerror (const char *msg) | |
282 | { | |
283 | fprintf (stderr, "%s\n", msg); | |
284 | } | |
285 | ||
286 | int | |
287 | main (void) | |
288 | { | |
289 | return yyparse (); | |
290 | } | |
291 | ]]) | |
292 | ||
b56471a6 | 293 | AT_CHECK([bison -d -v -o input.c input.y]) |
1154cced AD |
294 | AT_COMPILE([input]) |
295 | AT_PARSER_CHECK([./input], 0, | |
75d1fe16 AD |
296 | [[15 |
297 | ]]) | |
298 | ||
299 | AT_CLEANUP | |
9280d3ef AD |
300 | |
301 | ||
302 | ||
e776192e AD |
303 | ## -------------------------- ## |
304 | ## Printers and Destructors. ## | |
305 | ## -------------------------- ## | |
9280d3ef | 306 | |
16f37b35 PE |
307 | # _AT_CHECK_PRINTER_AND_DESTRUCTOR($1, $2, $3, $4, BISON-DIRECTIVE) |
308 | # ----------------------------------------------------------------- | |
3df37415 AD |
309 | m4_define([_AT_CHECK_PRINTER_AND_DESTRUCTOR], |
310 | [m4_if([$1$2$3], $[1]$[2]$[3], [], | |
311 | [m4_fatal([$0: Invalid arguments: $@])])dnl | |
312 | ||
16f37b35 | 313 | AT_SETUP([Printers and Destructors: $5]) |
9280d3ef AD |
314 | |
315 | # Make sure complex $n work. | |
316 | ||
9501dc6e | 317 | AT_DATA_GRAMMAR([[input.y]], |
16f37b35 | 318 | [[$5 |
3df37415 | 319 | %{ |
9280d3ef AD |
320 | #include <stdio.h> |
321 | #include <stdlib.h> | |
4c6cc1db | 322 | #define RANGE(Location) (Location).first_line, (Location).last_line |
7bd6c77e AD |
323 | static int yylex (void); |
324 | static void yyerror (const char *msg); | |
9280d3ef | 325 | %} |
7bd6c77e AD |
326 | %error-verbose |
327 | %debug | |
5719c109 | 328 | %verbose |
7bd6c77e | 329 | %locations |
9280d3ef AD |
330 | %union |
331 | { | |
332 | int ival; | |
333 | } | |
16f37b35 | 334 | %type <ival> 'x' ';' thing line input |
e3170060 | 335 | |
136d6530 | 336 | %printer { fprintf (yyoutput, "%d@%d-%d", $$, RANGE (@$)); } |
e3170060 AD |
337 | input line thing 'x' |
338 | ||
339 | %destructor | |
4c6cc1db | 340 | { printf ("Freeing nterm input (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e | 341 | input |
5719c109 | 342 | |
7bd6c77e | 343 | %destructor |
4c6cc1db | 344 | { printf ("Freeing nterm line (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e AD |
345 | line |
346 | ||
347 | %destructor | |
4c6cc1db | 348 | { printf ("Freeing nterm thing (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e AD |
349 | thing |
350 | ||
351 | %destructor | |
4c6cc1db | 352 | { printf ("Freeing token 'x' (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e | 353 | 'x' |
5719c109 | 354 | |
9280d3ef AD |
355 | %% |
356 | input: | |
357 | /* Nothing. */ | |
5719c109 AD |
358 | { |
359 | $$ = 0; | |
16f37b35 | 360 | printf ("input (%d@%d-%d): /* Nothing */\n", $$, RANGE (@$)); |
5719c109 AD |
361 | } |
362 | | line input /* Right recursive to load the stack so that popping at | |
363 | EOF can be exercised. */ | |
364 | { | |
365 | $$ = 2; | |
16f37b35 | 366 | printf ("input (%d@%d-%d): line (%d@%d-%d) input (%d@%d-%d)\n", |
4c6cc1db | 367 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2)); |
5719c109 | 368 | } |
9280d3ef AD |
369 | ; |
370 | ||
371 | line: | |
372 | thing thing thing ';' | |
5719c109 AD |
373 | { |
374 | $$ = $1; | |
16f37b35 | 375 | printf ("line (%d@%d-%d): thing (%d@%d-%d) thing (%d@%d-%d) thing (%d@%d-%d) ';' (%d@%d-%d)\n", |
4c6cc1db | 376 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), |
16f37b35 | 377 | $3, RANGE (@3), $4, RANGE (@4)); |
5719c109 | 378 | } |
9280d3ef | 379 | | thing thing ';' |
5719c109 AD |
380 | { |
381 | $$ = $1; | |
16f37b35 PE |
382 | printf ("line (%d@%d-%d): thing (%d@%d-%d) thing (%d@%d-%d) ';' (%d@%d-%d)\n", |
383 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), $3, RANGE (@3)); | |
5719c109 | 384 | } |
9280d3ef | 385 | | thing ';' |
5719c109 AD |
386 | { |
387 | $$ = $1; | |
16f37b35 PE |
388 | printf ("line (%d@%d-%d): thing (%d@%d-%d) ';' (%d@%d-%d)\n", |
389 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2)); | |
5719c109 | 390 | } |
9280d3ef | 391 | | error ';' |
5719c109 AD |
392 | { |
393 | $$ = -1; | |
16f37b35 PE |
394 | printf ("line (%d@%d-%d): error (@%d-%d) ';' (%d@%d-%d)\n", |
395 | $$, RANGE (@$), RANGE (@1), $2, RANGE (@2)); | |
5719c109 | 396 | } |
9280d3ef AD |
397 | ; |
398 | ||
399 | thing: | |
5719c109 AD |
400 | 'x' |
401 | { | |
402 | $$ = $1; | |
4c6cc1db AD |
403 | printf ("thing (%d@%d-%d): 'x' (%d@%d-%d)\n", |
404 | $$, RANGE (@$), $1, RANGE (@1)); | |
5719c109 | 405 | } |
9280d3ef AD |
406 | ; |
407 | %% | |
408 | static int | |
409 | yylex (void) | |
410 | { | |
5719c109 | 411 | static const unsigned int input[] = |
9280d3ef | 412 | { |
4c6cc1db | 413 | /* Exercise the discarding of stack top and input until `error' |
5719c109 | 414 | can be reduced. */ |
9280d3ef | 415 | 'x', 'x', 'x', 'x', 'x', 'x', ';', |
5719c109 | 416 | |
5a08f1ce AD |
417 | /* Load the stack and provoke an error that cannot be caught by |
418 | the grammar, to check that the stack is cleared. */ | |
9280d3ef AD |
419 | 'x', 'x', ';', |
420 | 'x', ';', | |
5719c109 | 421 | 'y' |
9280d3ef | 422 | }; |
5a08f1ce | 423 | static unsigned int counter = 0; |
9280d3ef AD |
424 | |
425 | if (counter < (sizeof(input) / sizeof (input[0]))) | |
426 | { | |
427 | yylval.ival = counter; | |
93b68a0e | 428 | /* As in BASIC, line numbers go from 10 to 10. */ |
4c6cc1db AD |
429 | yylloc.first_line = yylloc.first_column = 10 * counter; |
430 | yylloc.last_line = yylloc.last_column = yylloc.first_line + 9; | |
431 | printf ("sending: '%c' (%d@%d-%d)\n", | |
432 | input[counter], yylval.ival, RANGE (yylloc)); | |
5a08f1ce | 433 | return (int) input[counter++]; |
9280d3ef AD |
434 | } |
435 | else | |
5719c109 AD |
436 | { |
437 | printf ("sending: EOF\n"); | |
438 | return EOF; | |
439 | } | |
9280d3ef AD |
440 | } |
441 | ||
442 | static void | |
443 | yyerror (const char *msg) | |
444 | { | |
4c6cc1db | 445 | printf ("%d-%d: %s\n", RANGE (yylloc), msg); |
9280d3ef AD |
446 | } |
447 | ||
9280d3ef AD |
448 | int |
449 | main (void) | |
450 | { | |
451 | yydebug = !!getenv ("YYDEBUG"); | |
452 | if (yyparse ()) | |
453 | { | |
4c6cc1db | 454 | printf ("Parsing FAILED.\n"); |
9280d3ef AD |
455 | exit (1); |
456 | } | |
4c6cc1db | 457 | printf ("Successful parse.\n"); |
9280d3ef AD |
458 | return 0; |
459 | } | |
460 | ]]) | |
461 | ||
7bd6c77e | 462 | AT_CHECK([bison -o input.c input.y]) |
1154cced AD |
463 | AT_COMPILE([input]) |
464 | AT_PARSER_CHECK([./input], 1, | |
4c6cc1db AD |
465 | [[sending: 'x' (0@0-9) |
466 | thing (0@0-9): 'x' (0@0-9) | |
467 | sending: 'x' (1@10-19) | |
468 | thing (1@10-19): 'x' (1@10-19) | |
469 | sending: 'x' (2@20-29) | |
470 | thing (2@20-29): 'x' (2@20-29) | |
471 | sending: 'x' (3@30-39) | |
472 | 30-39: syntax error, unexpected 'x', expecting ';' | |
473 | Freeing nterm thing (2@20-29) | |
474 | Freeing nterm thing (1@10-19) | |
475 | Freeing nterm thing (0@0-9) | |
476 | Freeing token 'x' (3@30-39) | |
477 | sending: 'x' (4@40-49) | |
478 | Freeing token 'x' (4@40-49) | |
479 | sending: 'x' (5@50-59) | |
480 | Freeing token 'x' (5@50-59) | |
481 | sending: ';' (6@60-69) | |
16f37b35 | 482 | line (-1@50-69): error (@50-59) ';' (6@60-69) |
4c6cc1db AD |
483 | sending: 'x' (7@70-79) |
484 | thing (7@70-79): 'x' (7@70-79) | |
485 | sending: 'x' (8@80-89) | |
486 | thing (8@80-89): 'x' (8@80-89) | |
487 | sending: ';' (9@90-99) | |
16f37b35 | 488 | line (7@70-99): thing (7@70-79) thing (8@80-89) ';' (9@90-99) |
4c6cc1db AD |
489 | sending: 'x' (10@100-109) |
490 | thing (10@100-109): 'x' (10@100-109) | |
491 | sending: ';' (11@110-119) | |
16f37b35 | 492 | line (10@100-119): thing (10@100-109) ';' (11@110-119) |
4c6cc1db AD |
493 | sending: 'y' (12@120-129) |
494 | 120-129: syntax error, unexpected $undefined, expecting $end or 'x' | |
5719c109 | 495 | sending: EOF |
4c6cc1db AD |
496 | Freeing nterm line (10@100-119) |
497 | Freeing nterm line (7@70-99) | |
498 | Freeing nterm line (-1@50-69) | |
5719c109 | 499 | Parsing FAILED. |
9280d3ef AD |
500 | ]]) |
501 | ||
502 | AT_CLEANUP | |
3df37415 AD |
503 | ]) |
504 | ||
505 | ||
506 | # AT_CHECK_PRINTER_AND_DESTRUCTOR([BISON-OPTIONS]) | |
507 | # ------------------------------------------------ | |
508 | # Produce `calc.y'. | |
509 | m4_define([AT_CHECK_PRINTER_AND_DESTRUCTOR], | |
16f37b35 | 510 | [_AT_CHECK_PRINTER_AND_DESTRUCTOR($[1], $[2], $[3], $[4], [$1]) |
3df37415 AD |
511 | ]) |
512 | ||
513 | ||
514 | AT_CHECK_PRINTER_AND_DESTRUCTOR() | |
16f37b35 PE |
515 | |
516 | # This test fails, but the test case is questionable. | |
517 | #AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser]) |