# Simple calculator. -*- Autotest -*-
-# Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
+
+# Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005 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
# 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.
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+# 02110-1301, USA.
## ---------------------------------------------------- ##
## Compile the grammar described in the documentation. ##
[m4_fatal([$0: Invalid arguments: $@])])dnl
AT_DATA_GRAMMAR([calc.y],
[[/* Infix notation calculator--calc */
-]$4[
+]$4
+AT_LALR1_CC_IF(
+[%define "global_tokens_and_yystype"])[
%{
#include <stdio.h>
%{
static int power (int base, int exponent);
-]AT_LALR1_CC_IF([typedef yy::Location YYLTYPE;],
+]AT_LALR1_CC_IF(
+[typedef yy::location YYLTYPE;
+#define first_line begin.line
+#define first_column begin.column
+#define last_line end.line
+#define last_column end.column
+],
[/* yyerror receives the location if:
- %location & %pure & %glr
- %location & %pure & %yacc & %parse-param. */
-static void yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *yylloc, ])
+static void yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *llocp, ])
AT_PARAM_IF([semantic_value *result, int *count, ])
const char *s
);])[
static int yylex (]AT_LEX_FORMALS[);
-static int yygetc (]AT_LEX_FORMALS[);
-static void yyungetc (]AT_LEX_PRE_FORMALS[ int c);
+static int get_char (]AT_LEX_FORMALS[);
+static void unget_char (]AT_LEX_PRE_FORMALS[ int c);
%}
/* Bison Declarations */
;
%%
/* The input. */
-static FILE *yyin;
+static FILE *input;
]AT_LALR1_CC_IF(
-[/* Currently, print_ is required in C++. */
+[/* A C++ error reporting function. */
void
-yy::Parser::print_ ()
+yy::parser::error (const location& l, const std::string& m)
{
-AT_LOCATION_IF([
- std::cerr << location;])
-}
-
-/* A C++ error reporting function. */
-void
-yy::Parser::error_ ()
-{
- std::cerr << AT_LOCATION_IF([location << ": " << ])message << std::endl;
+ (void) l;
+ std::cerr << AT_LOCATION_IF([l << ": " << ])m << std::endl;
}
int
yyparse (AT_PARAM_IF([semantic_value *result, int *count]))
{
- yy::Parser parser (!!YYDEBUG[]AT_LOCATION_IF([, yy::Location ()])AT_PARAM_IF([, result, count]));
+ yy::parser parser[]AT_PARAM_IF([ (result, count)]);
+ parser.set_debug_level (!!YYDEBUG);
return parser.parse ();
}
],
[static void
-yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *yylloc, ])
+yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *llocp, ])
AT_PARAM_IF([semantic_value *result, int *count, ])
const char *s)
{
static YYLTYPE last_yylloc;
])[
static int
-yygetc (]AT_LEX_FORMALS[)
+get_char (]AT_LEX_FORMALS[)
{
- int res = getc (yyin);
+ int res = getc (input);
]AT_USE_LEX_ARGS[;
]AT_LOCATION_IF([
last_yylloc = AT_LOC;
if (res == '\n')
{
-AT_LALR1_CC_IF(
-[ AT_LOC.end.line++;
- AT_LOC.end.column = 0;],
-[ AT_LOC.last_line++;
- AT_LOC.last_column = 0;])
+ AT_LOC.last_line++;
+ AT_LOC.last_column = 0;
}
else
-AT_LALR1_CC_IF(
-[ AT_LOC.end.column++;],
-[ AT_LOC.last_column++;])
+ AT_LOC.last_column++;
])[
return res;
}
static void
-yyungetc (]AT_LEX_PRE_FORMALS[ int c)
+unget_char (]AT_LEX_PRE_FORMALS[ int c)
{
]AT_USE_LEX_ARGS[;
]AT_LOCATION_IF([
/* Wrong when C == `\n'. */
AT_LOC = last_yylloc;
])[
- ungetc (c, yyin);
+ ungetc (c, input);
}
static int
read_signed_integer (]AT_LEX_FORMALS[)
{
- int c = yygetc (]AT_LEX_ARGS[);
+ int c = get_char (]AT_LEX_ARGS[);
int sign = 1;
int n = 0;
]AT_USE_LEX_ARGS[;
if (c == '-')
{
- c = yygetc (]AT_LEX_ARGS[);
+ c = get_char (]AT_LEX_ARGS[);
sign = -1;
}
while (isdigit (c))
{
n = 10 * n + (c - '0');
- c = yygetc (]AT_LEX_ARGS[);
+ c = get_char (]AT_LEX_ARGS[);
}
- yyungetc (]AT_LEX_PRE_ARGS[ c);
+ unget_char (]AT_LEX_PRE_ARGS[ c);
return sign * n;
}
if (init)
{
init = 0;
-]AT_LALR1_CC_IF([],
-[AT_LOCATION_IF([
+]AT_LOCATION_IF([
AT_LOC.last_column = 0;
AT_LOC.last_line = 1;
-])])[
+])[
}
-]AT_LOCATION_IF([AT_LALR1_CC_IF(
-[ AT_LOC.begin = AT_LOC.end;],
-[ AT_LOC.first_column = AT_LOC.last_column;
+]AT_LOCATION_IF([
+ AT_LOC.first_column = AT_LOC.last_column;
AT_LOC.first_line = AT_LOC.last_line;
-])])[
+])[
/* Skip white space. */
- while ((c = yygetc (]AT_LEX_ARGS[)) == ' ' || c == '\t')
+ while ((c = get_char (]AT_LEX_ARGS[)) == ' ' || c == '\t')
{
-]AT_LOCATION_IF([AT_LALR1_CC_IF(
-[ AT_LOC.begin = AT_LOC.end;],
+]AT_LOCATION_IF(
[ AT_LOC.first_column = AT_LOC.last_column;
AT_LOC.first_line = AT_LOC.last_line;
-])])[
+])[
}
/* process numbers */
if (c == '.' || isdigit (c))
{
- yyungetc (]AT_LEX_PRE_ARGS[ c);
+ unget_char (]AT_LEX_PRE_ARGS[ c);
]AT_VAL[.ival = read_signed_integer (]AT_LEX_ARGS[);
return NUM;
}
{
int res = 1;
if (exponent < 0)
- exit (1);
+ exit (3);
for (/* Niente */; exponent; --exponent)
res *= base;
return res;
int count = 0;
int status;
- alarm (10);
+ /* This used to be alarm (10), but that isn't enough time for
+ a July 1995 vintage DEC Alphastation 200 4/100 system,
+ according to Nelson H. F. Beebe. 100 seconds is enough. */
+ alarm (100);
+
if (argc == 2)
- yyin = fopen (argv[1], "r");
+ input = fopen (argv[1], "r");
else
- yyin = stdin;
+ input = stdin;
- if (!yyin)
+ if (!input)
{
perror (argv[1]);
- exit (1);
+ return 3;
}
]AT_LALR1_CC_IF([], [m4_bmatch([$4], [%debug],
/^Reducing/d
/^Shifting/d
/^state/d
+/^Cleanup:/d
/^Error:/d
/^Next/d
/^Discarding/d
])
-# AT_CHECK_CALC([BISON-OPTIONS [, EXPECTED-TO-FAIL]])
-# ------------------------------
+# AT_CHECK_CALC([BISON-OPTIONS, [EXPECTED-TO-FAIL]])
+# --------------------------------------------------
# Start a testing chunk which compiles `calc' grammar with
# BISON-OPTIONS, and performs several tests over the parser.
# However, if EXPECTED-TO-FAIL is nonempty, this test is expected to fail.
2^2^3 = 256
(2^2)^3 = 64],
- [486])
+ [571])
# Some syntax errors.
-_AT_CHECK_CALC_ERROR([$1], [1], [0 0], [12],
- [1.2: syntax error, unexpected "number"])
-_AT_CHECK_CALC_ERROR([$1], [1], [1//2], [16],
- [1.2: syntax error, unexpected '/', expecting "number" or '-' or '(' or '!'])
+_AT_CHECK_CALC_ERROR([$1], [1], [0 0], [13],
+ [1.2: syntax error, unexpected number])
+_AT_CHECK_CALC_ERROR([$1], [1], [1//2], [18],
+ [1.2: syntax error, unexpected '/', expecting number or '-' or '(' or '!'])
_AT_CHECK_CALC_ERROR([$1], [1], [error], [5],
[1.0: syntax error, unexpected $undefined])
-_AT_CHECK_CALC_ERROR([$1], [1], [1 = 2 = 3], [23],
+_AT_CHECK_CALC_ERROR([$1], [1], [1 = 2 = 3], [26],
[1.6: syntax error, unexpected '='])
_AT_CHECK_CALC_ERROR([$1], [1],
[
+1],
- [15],
+ [16],
[2.0: syntax error, unexpected '+'])
# Exercise error messages with EOF: work on an empty file.
-_AT_CHECK_CALC_ERROR([$1], [1], [/dev/null], [5],
- [1.0: syntax error, unexpected "end of input"])
+_AT_CHECK_CALC_ERROR([$1], [1], [/dev/null], [4],
+ [1.0: syntax error, unexpected end of input])
# Exercise the error token: without it, we die at the first error,
# hence be sure to
#
_AT_CHECK_CALC_ERROR([$1], [0],
[() + (1 + 1 + 1 +) + (* * *) + (1 * 2 * *) = 1],
- [156],
-[1.1: syntax error, unexpected ')', expecting "number" or '-' or '(' or '!'
-1.17: syntax error, unexpected ')', expecting "number" or '-' or '(' or '!'
-1.22: syntax error, unexpected '*', expecting "number" or '-' or '(' or '!'
-1.40: syntax error, unexpected '*', expecting "number" or '-' or '(' or '!'
+ [189],
+[1.1: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
+1.17: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
+1.22: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
+1.40: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
calc: error: 4444 != 1])
# The same, but this time exercising explicitly triggered syntax errors.
# POSIX says the look-ahead causing the error should not be discarded.
-_AT_CHECK_CALC_ERROR([$1], [0], [(!) + (0 0) = 1], [62],
-[1.9: syntax error, unexpected "number"
+_AT_CHECK_CALC_ERROR([$1], [0], [(!) + (0 0) = 1], [76],
+[1.9: syntax error, unexpected number
calc: error: 2222 != 1])
-_AT_CHECK_CALC_ERROR([$1], [0], [(- *) + (0 0) = 1], [70],
-[1.3: syntax error, unexpected '*', expecting "number" or '-' or '(' or '!'
-1.11: syntax error, unexpected "number"
+_AT_CHECK_CALC_ERROR([$1], [0], [(- *) + (0 0) = 1], [86],
+[1.3: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
+1.11: syntax error, unexpected number
calc: error: 2222 != 1])
AT_BISON_OPTION_POPDEFS
projects / bison.git / blobdiff