# Executing Actions. -*- Autotest -*-
-# Copyright (C) 2001, 2002 Free Software Foundation, Inc.
+# Copyright (C) 2001, 2002, 2003, 2004 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
{
static char const input[] =
{
- /* Exericise the discarding of stack top and input until `error'
+ /* Exercise the discarding of stack top and input until `error'
can be reduced. */
'x', 'x', 'x', 'x', 'x', 'x', ';',
## Printers and Destructors. ##
## -------------------------- ##
-# _AT_CHECK_PRINTER_AND_DESTRUCTOR($1, $2, $3, $4, BISON-DIRECTIVE)
-# -----------------------------------------------------------------
+# _AT_CHECK_PRINTER_AND_DESTRUCTOR($1, $2, $3, $4, BISON-DIRECTIVE, UNION-FLAG)
+# -----------------------------------------------------------------------------
m4_define([_AT_CHECK_PRINTER_AND_DESTRUCTOR],
[m4_if([$1$2$3], $[1]$[2]$[3], [],
[m4_fatal([$0: Invalid arguments: $@])])dnl
-AT_SETUP([Printers and Destructors: $5])
+AT_SETUP([Printers and Destructors $6: $5])
# Make sure complex $n work.
+AT_BISON_OPTION_PUSHDEFS([$5])
AT_DATA_GRAMMAR([[input.y]],
[[$5
%{
#include <stdio.h>
#include <stdlib.h>
-#define RANGE(Location) (Location).first_line, (Location).last_line
-static int yylex (void);
-static void yyerror (const char *msg);
-%}
+]AT_LALR1_CC_IF(
+ [#define RANGE(Location) (Location).begin.line, (Location).end.line],
+ [#define RANGE(Location) (Location).first_line, (Location).last_line])
+[%}
%error-verbose
%debug
%verbose
%locations
-%union
+]m4_ifval([$6], [%union
{
int ival;
-}
-%type <ival> 'x' ';' thing line input
+}])
+[
+%{
+]AT_LALR1_CC_IF([typedef yy::Location YYLTYPE;
+m4_ifval([$6], , [#define YYSTYPE int])])
+[static int yylex (]AT_LEX_FORMALS[);
+]AT_LALR1_CC_IF([], [static void yyerror (const char *msg);])
+[%}
-%printer { fprintf (yyoutput, "%d@%d-%d", $$, RANGE (@$)); }
- input line thing 'x'
+]m4_ifval([$6], [%type <ival> 'x' ';' thing line input])[
+
+%printer
+ {
+ ]AT_LALR1_CC_IF([cdebug_ << @$ << ": " << $$;],
+ [fprintf (yyoutput, "%d@%d-%d", $$, RANGE (@$))])[;
+ }
+ input line thing 'x'
%destructor
{ printf ("Freeing nterm input (%d@%d-%d)\n", $$, RANGE (@$)); }
;
%%
static int
-yylex (void)
+yylex (]AT_LEX_FORMALS[)
{
- static const unsigned int input[] =
+ static const char input[] =
{
/* Exercise the discarding of stack top and input until `error'
can be reduced. */
if (counter < (sizeof(input) / sizeof (input[0])))
{
- yylval.ival = counter;
+]AT_LALR1_CC_IF(
+[ int c = m4_ifval([$6], [yylval->ival], [*yylval]) = counter++;
/* As in BASIC, line numbers go from 10 to 10. */
- yylloc.first_line = yylloc.first_column = 10 * counter;
+ yylloc->begin.line = yylloc->begin.column = 10 * c;
+ yylloc->end.line = yylloc->end.column = yylloc->begin.line + 9;
+ printf ("sending: '%c' (%d@%d-%d)\n",
+ input[[c]], c, RANGE (*yylloc));
+ return input[[c]];
+],
+[ int c = m4_ifval([$6], [yylval.ival], [yylval]) = counter++;
+ /* As in BASIC, line numbers go from 10 to 10. */
+ yylloc.first_line = yylloc.first_column = 10 * c;
yylloc.last_line = yylloc.last_column = yylloc.first_line + 9;
printf ("sending: '%c' (%d@%d-%d)\n",
- input[counter], yylval.ival, RANGE (yylloc));
- return (int) input[counter++];
+ input[[c]], c, RANGE (yylloc));
+ return input[[c]];
+])[
}
else
{
}
}
-static void
+]AT_LALR1_CC_IF(
+[/* Currently, print_ is required in C++. */
+void
+yy::Parser::print_ ()
+{
+ std::cerr << location;
+}
+
+/* A C++ error reporting function. */
+void
+yy::Parser::error_ ()
+{
+ printf ("%d-%d: %s\n", RANGE (location), message.c_str());
+}
+
+static bool yydebug;
+int
+yyparse ()
+{
+ yy::Parser parser (yydebug, yy::Location ());
+ return parser.parse ();
+}
+],
+[static void
yyerror (const char *msg)
{
printf ("%d-%d: %s\n", RANGE (yylloc), msg);
-}
+}])[
int
main (void)
}
]])
-AT_CHECK([bison -o input.c input.y])
-AT_COMPILE([input])
+AT_LALR1_CC_IF(
+ [AT_CHECK([bison -o input.cc input.y])
+ AT_COMPILE_CXX([input])],
+ [AT_CHECK([bison -o input.c input.y])
+ AT_COMPILE([input])])
AT_PARSER_CHECK([./input], 1,
[[sending: 'x' (0@0-9)
thing (0@0-9): 'x' (0@0-9)
sending: 'x' (5@50-59)
Freeing token 'x' (5@50-59)
sending: ';' (6@60-69)
-line (-1@50-69): error (@50-59) ';' (6@60-69)
+line (-1@0-69): error (@0-59) ';' (6@60-69)
sending: 'x' (7@70-79)
thing (7@70-79): 'x' (7@70-79)
sending: 'x' (8@80-89)
sending: EOF
Freeing nterm line (10@100-119)
Freeing nterm line (7@70-99)
-Freeing nterm line (-1@50-69)
+Freeing nterm line (-1@0-69)
Parsing FAILED.
]])
])
-# AT_CHECK_PRINTER_AND_DESTRUCTOR([BISON-OPTIONS])
-# ------------------------------------------------
+# AT_CHECK_PRINTER_AND_DESTRUCTOR([BISON-OPTIONS], [UNION-FLAG])
+# --------------------------------------------------------------
# Produce `calc.y'.
m4_define([AT_CHECK_PRINTER_AND_DESTRUCTOR],
-[_AT_CHECK_PRINTER_AND_DESTRUCTOR($[1], $[2], $[3], $[4], [$1])
+[_AT_CHECK_PRINTER_AND_DESTRUCTOR($[1], $[2], $[3], $[4], [$1], [$2])
])
-AT_CHECK_PRINTER_AND_DESTRUCTOR()
+AT_CHECK_PRINTER_AND_DESTRUCTOR([])
+AT_CHECK_PRINTER_AND_DESTRUCTOR([], [with union])
+AT_CHECK_PRINTER_AND_DESTRUCTOR([%locations %defines %skeleton "lalr1.cc"])
+AT_CHECK_PRINTER_AND_DESTRUCTOR([%locations %defines %skeleton "lalr1.cc"],
+ [with union])
-# This test fails, but the test case is questionable.
+# FIXME. These test cases fail.
#AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser])
+#AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser], [with union])
projects / bison.git / blobdiff