-## ---------------------- ##
-## Actions after errors. ##
-## ---------------------- ##
-
-AT_SETUP([Actions after errors])
-
-
-
-AT_DATA_GRAMMAR([[input.y]],
-[[%{
-#include <stdio.h>
-#include <stdlib.h>
-
-static int yylex (void);
-static void yyerror (char const *);
-
-#define YYDEBUG 1
-%}
-%union { int ival; }
-%type <ival> 'x' ';' thing line input
-
-%%
-input:
- /* Nothing. */
- {
- $$ = 0;
- printf ("input (%d): /* Nothing */\n", $$);
- }
-| line input /* Right recursive to load the stack so that popping at
- EOF can be exercised. */
- {
- $$ = 2;
- printf ("input (%d): line (%d) input (%d)\n", $$, $1, $2);
- }
-;
-
-line:
- thing thing thing ';'
- {
- $$ = $1;
- printf ("line (%d): thing (%d) thing (%d) thing (%d) ';' (%d)\n",
- $$, $1, $2, $3, $4);
- }
-| thing thing ';'
- {
- $$ = $1;
- printf ("line (%d): thing (%d) thing (%d) ';' (%d)\n", $$, $1, $2, $3);
- }
-| thing ';'
- {
- $$ = $1;
- printf ("line (%d): thing (%d) ';' (%d)\n", $$, $1, $2);
- }
-| error ';'
- {
- $$ = -1;
- printf ("line (%d): error ';' (%d)\n", $$, $2);
- }
-;
-
-thing:
- 'x'
- {
- $$ = $1;
- printf ("thing (%d): 'x' (%d)\n", $$, $1);
- }
-;
-%%
-static size_t counter;
-
-static int
-yylex (void)
-{
- static char const input[] =
- {
- /* Exercise the discarding of stack top and input until `error'
- can be reduced. */
- 'x', 'x', 'x', 'x', 'x', 'x', ';',
-
- /* Load the stack and provoke an error that cannot be caught by
- the grammar, to check that the stack is cleared. */
- 'x', 'x', ';',
- 'x', ';',
- 'y'
- };
-
- if (counter < sizeof input)
- {
- yylval.ival = counter;
- printf ("sending: '%c' (%d)\n", input[counter], yylval.ival);
- return input[counter++];
- }
- else
- {
- printf ("sending: EOF\n");
- return EOF;
- }
-}
-
-static void
-yyerror (char const *msg)
-{
- printf ("%lu: %s\n", (unsigned long int) counter, msg);
-}
-
-int
-main (void)
-{
- yydebug = !!getenv ("YYDEBUG");
- return yyparse ();
-}
-]])
-
-AT_CHECK([bison -o input.c input.y])
-AT_COMPILE([input])
-AT_PARSER_CHECK([./input], 1,
-[[sending: 'x' (0)
-thing (0): 'x' (0)
-sending: 'x' (1)
-thing (1): 'x' (1)
-sending: 'x' (2)
-thing (2): 'x' (2)
-sending: 'x' (3)
-4: syntax error
-sending: 'x' (4)
-sending: 'x' (5)
-sending: ';' (6)
-line (-1): error ';' (6)
-sending: 'x' (7)
-thing (7): 'x' (7)
-sending: 'x' (8)
-thing (8): 'x' (8)
-sending: ';' (9)
-line (7): thing (7) thing (8) ';' (9)
-sending: 'x' (10)
-thing (10): 'x' (10)
-sending: ';' (11)
-line (10): thing (10) ';' (11)
-sending: 'y' (12)
-13: syntax error
-sending: EOF
-]])
-
-AT_CLEANUP
-
projects / bison.git / blobdiff