+++ /dev/null
-# Checking GLR Parsing: Regression Test -*- Autotest -*-
-# Copyright (C) 2002 Free Software Foundation, Inc.
-
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
-
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-# 02111-1307, USA.
-
-AT_BANNER([[GLR Regression Test #1.]])
-
-AT_SETUP([Badly Collapsed GLR States])
-
-AT_DATA_GRAMMAR([glr-regr1.y],
-[[/* Regression Test: Improper state compression */
-/* Reported by Scott McPeak */
-
-%{
-#include <stdio.h>
-
-#define YYSTYPE int
-static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1);
-int yylex (void);
-int yyerror (char const *msg);
-%}
-
-
-%glr-parser
-
-
-/* -------- productions ------ */
-%%
-
-StartSymbol: E { $$=0; } %merge <exprMerge>
- ;
-
-E: E 'P' E { $$=1; printf("E -> E 'P' E\n"); } %merge <exprMerge>
- | 'B' { $$=2; printf("E -> 'B'\n"); } %merge <exprMerge>
- ;
-
-
-
-/* ---------- C code ----------- */
-%%
-
-static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1)
-{
- (void) x0;
- (void) x1;
- printf ("<OR>\n");
- return 0;
-}
-
-int
-main (void)
-{
- return yyparse ();
-}
-
-int
-yyerror (char const *msg)
-{
- fprintf (stderr, "%s\n", msg);
- exit (4);
-}
-
-
-int
-yylex (void)
-{
- for (;;)
- {
- int ch = getchar ();
- if (ch == EOF)
- return 0;
- else if (ch == 'B' || ch == 'P')
- return ch;
- }
-}
-]])
-
-AT_CHECK([[bison -o glr-regr1.c glr-regr1.y]], 0, [],
-[glr-regr1.y: conflicts: 1 shift/reduce
-])
-AT_COMPILE([glr-regr1])
-AT_CHECK([[echo BPBPB | ./glr-regr1]], 0,
-[[E -> 'B'
-E -> 'B'
-E -> E 'P' E
-E -> 'B'
-E -> E 'P' E
-E -> 'B'
-E -> E 'P' E
-E -> E 'P' E
-<OR>
-]], [])
-
-AT_CLEANUP
--- /dev/null
+# Checking GLR Parsing: Regression Tests -*- Autotest -*-
+# Copyright (C) 2002, 2003 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2, or (at your option)
+# any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+# 02111-1307, USA.
+
+AT_BANNER([[GLR Regression Tests]])
+
+## --------------------------- ##
+## Badly Collapsed GLR States. ##
+## --------------------------- ##
+
+AT_SETUP([Badly Collapsed GLR States])
+
+AT_DATA_GRAMMAR([glr-regr1.y],
+[[/* Regression Test: Improper state compression */
+/* Reported by Scott McPeak */
+
+%{
+#include <stdio.h>
+
+#define YYSTYPE int
+static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1);
+int yylex (void);
+int yyerror (char const *msg);
+%}
+
+
+%glr-parser
+
+
+/* -------- productions ------ */
+%%
+
+StartSymbol: E { $$=0; } %merge <exprMerge>
+ ;
+
+E: E 'P' E { $$=1; printf("E -> E 'P' E\n"); } %merge <exprMerge>
+ | 'B' { $$=2; printf("E -> 'B'\n"); } %merge <exprMerge>
+ ;
+
+
+
+/* ---------- C code ----------- */
+%%
+
+static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1)
+{
+ (void) x0;
+ (void) x1;
+ printf ("<OR>\n");
+ return 0;
+}
+
+int
+main (void)
+{
+ return yyparse ();
+}
+
+int
+yyerror (char const *msg)
+{
+ fprintf (stderr, "%s\n", msg);
+ exit (4);
+}
+
+
+int
+yylex (void)
+{
+ for (;;)
+ {
+ int ch = getchar ();
+ if (ch == EOF)
+ return 0;
+ else if (ch == 'B' || ch == 'P')
+ return ch;
+ }
+}
+]])
+
+AT_CHECK([[bison -o glr-regr1.c glr-regr1.y]], 0, [],
+[glr-regr1.y: conflicts: 1 shift/reduce
+])
+AT_COMPILE([glr-regr1])
+AT_CHECK([[echo BPBPB | ./glr-regr1]], 0,
+[[E -> 'B'
+E -> 'B'
+E -> E 'P' E
+E -> 'B'
+E -> E 'P' E
+E -> 'B'
+E -> E 'P' E
+E -> E 'P' E
+<OR>
+]], [])
+
+AT_CLEANUP
+
+## ------------------------------------------------------------ ##
+## Improper handling of embedded actions and $-N in GLR parsers ##
+## ------------------------------------------------------------ ##
+
+AT_SETUP([Improper handling of embedded actions and $-N in GLR parsers])
+
+AT_DATA_GRAMMAR([glr-regr2a.y],
+[[/* Regression Test: Improper handling of embedded actions and $-N */
+/* Reported by S. Eken */
+
+%{
+ #define YYSTYPE char const *
+ #define yyfalse 0
+ #define yytrue 1
+
+ #include <ctype.h>
+ #include <stdio.h>
+ #include <string.h>
+ int yylex (void);
+ void yyerror (char const *);
+%}
+
+%glr-parser
+
+%%
+
+command:
+ 's' var 't'
+ { printf ("Variable: '%s'\n", $2); }
+ 'v' 'x' 'q'
+ | 's' var_list 't' 'e'
+ { printf ("Varlist: '%s'\n", $2); }
+ | 's' var 't' var_printer 'x'
+ ;
+
+var:
+ 'V'
+ { $$ = $1; }
+ ;
+
+var_list:
+ var
+ { $$ = $1; }
+ | var ',' var_list
+ {
+ char buffer[50];
+ strcpy (buffer, $1);
+ strcat (buffer, ",");
+ strcat (buffer, $3);
+ $$ = strdup (buffer);
+ }
+ ;
+
+var_printer: 'v'
+ { printf ("Variable: '%s'\n", $-1); }
+
+%%
+
+FILE *yyin = NULL;
+
+int
+yylex (void)
+{
+ int c;
+ char buf[50];
+ switch (fscanf (yyin, " %1[a-z,]", buf)) {
+ case 1:
+ return buf[0];
+ case EOF:
+ return 0;
+ default:
+ break;
+ }
+ fscanf (yyin, "%s", buf);
+ yylval = strdup (buf);
+ return 'V';
+}
+
+void
+yyerror (char const *s)
+{ printf ("%s\n", s);
+}
+
+int
+main (int argc, char **argv)
+{
+ yyin = stdin;
+ if (argc == 2 && !(yyin = fopen (argv[1], "r"))) return 1;
+ return yyparse ();
+}
+]])
+
+AT_CHECK([[bison -o glr-regr2a.c glr-regr2a.y]], 0, [],
+[glr-regr2a.y: conflicts: 2 shift/reduce
+])
+AT_COMPILE([glr-regr2a])
+
+AT_CHECK([[echo s VARIABLE_1 t v x q | ./glr-regr2a]], 0,
+[[Variable: 'VARIABLE_1'
+]], [])
+AT_CHECK([[echo s VARIABLE_1 , ANOTHER_VARIABLE_2 t e | ./glr-regr2a]], 0,
+[[Varlist: 'VARIABLE_1,ANOTHER_VARIABLE_2'
+]])
+AT_CHECK([[echo s VARIABLE_3 t v x | ./glr-regr2a]], 0,
+[[Variable: 'VARIABLE_3'
+]], [])
+
+
+AT_CLEANUP
projects / bison.git / commitdiff
