tests/calc.at

   1 # Simple calculator.                         -*- Autotest -*-
   2
   3 # Copyright (C) 2000-2012 Free Software Foundation, Inc.
   4
   5 # This program is free software: you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation, either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 ## ---------------------------------------------------- ##
  19 ## Compile the grammar described in the documentation.  ##
  20 ## ---------------------------------------------------- ##
  21
  22
  23 # ------------------------- #
  24 # Helping Autotest macros.  #
  25 # ------------------------- #
  26
  27
  28 # _AT_DATA_CALC_Y($1, $2, $3, [BISON-DIRECTIVES])
  29 # -----------------------------------------------
  30 # Produce `calc.y' and, if %defines was specified, `calc-lex.c' or
  31 # `calc-lex.cc'.
  32 #
  33 # Don't call this macro directly, because it contains some occurrences
  34 # of `$1' etc. which will be interpreted by m4.  So you should call it
  35 # with $1, $2, and $3 as arguments, which is what AT_DATA_CALC_Y does.
  36 #
  37 # When %defines is not passed, generate a single self-contained file.
  38 # Otherwise, generate three: calc.y with the parser, calc-lex.c with
  39 # the scanner, and calc-main.c with "main()".  This is in order to
  40 # stress the use of the generated parser header.  To avoid code
  41 # duplication, AT_CALC_LEX and AT_CALC_MAIN contain the body of these
  42 # two later files.
  43 m4_define([_AT_DATA_CALC_Y],
  44 [m4_if([$1$2$3], $[1]$[2]$[3], [],
  45        [m4_fatal([$0: Invalid arguments: $@])])dnl
  46
  47 m4_pushdef([AT_CALC_MAIN],
  48 [#include <stdlib.h> /* abort */
  49 #if HAVE_UNISTD_H
  50 # include <unistd.h>
  51 #else
  52 # undef alarm
  53 # define alarm(seconds) /* empty */
  54 #endif
  55
  56 AT_SKEL_CC_IF([[
  57 /* A C++ ]AT_NAME_PREFIX[parse that simulates the C signature.  */
  58 int
  59 ]AT_NAME_PREFIX[parse (]AT_PARAM_IF([semantic_value *result, int *count]))[
  60 {
  61   ]AT_NAME_PREFIX[::parser parser]AT_PARAM_IF([ (result, count)])[;
  62 #if YYDEBUG
  63   parser.set_debug_level (1);
  64 #endif
  65   return parser.parse ();
  66 }
  67 ]])[
  68
  69 semantic_value global_result = 0;
  70 int global_count = 0;
  71
  72 /* A C main function.  */
  73 int
  74 main (int argc, const char **argv)
  75 {
  76   semantic_value result = 0;
  77   int count = 0;
  78   int status;
  79
  80   /* This used to be alarm (10), but that isn't enough time for
  81      a July 1995 vintage DEC Alphastation 200 4/100 system,
  82      according to Nelson H. F. Beebe.  100 seconds is enough.  */
  83   alarm (100);
  84
  85   if (argc == 2)
  86     input = fopen (argv[1], "r");
  87   else
  88     input = stdin;
  89
  90   if (!input)
  91     {
  92       perror (argv[1]);
  93       return 3;
  94     }
  95
  96 ]AT_SKEL_CC_IF([], [m4_bmatch([$4], [%debug],
  97 [  ]AT_NAME_PREFIX[debug = 1;])])[
  98   status = ]AT_NAME_PREFIX[parse (]AT_PARAM_IF([[&result, &count]])[);
  99   if (fclose (input))
 100     perror ("fclose");
 101   if (global_result != result)
 102     abort ();
 103   if (global_count != count)
 104     abort ();
 105   return status;
 106 }
 107 ]])
 108
 109
 110 m4_pushdef([AT_CALC_LEX],
 111 [[#include <ctype.h>
 112
 113 int ]AT_NAME_PREFIX[lex (]AT_LEX_FORMALS[);
 114 static int get_char (]AT_LEX_FORMALS[);
 115 static void unget_char (]AT_LEX_PRE_FORMALS[ int c);
 116
 117 ]AT_LOCATION_IF([
 118 static YYLTYPE last_yylloc;
 119 ])[
 120 static int
 121 get_char (]AT_LEX_FORMALS[)
 122 {
 123   int res = getc (input);
 124   ]AT_USE_LEX_ARGS[;
 125 ]AT_LOCATION_IF([
 126   last_yylloc = AT_LOC;
 127   if (res == '\n')
 128     {
 129       AT_LOC_LAST_LINE++;
 130       AT_LOC_LAST_COLUMN = 1;
 131     }
 132   else
 133     AT_LOC_LAST_COLUMN++;
 134 ])[
 135   return res;
 136 }
 137
 138 static void
 139 unget_char (]AT_LEX_PRE_FORMALS[ int c)
 140 {
 141   ]AT_USE_LEX_ARGS[;
 142 ]AT_LOCATION_IF([
 143   /* Wrong when C == `\n'. */
 144   AT_LOC = last_yylloc;
 145 ])[
 146   ungetc (c, input);
 147 }
 148
 149 static int
 150 read_signed_integer (]AT_LEX_FORMALS[)
 151 {
 152   int c = get_char (]AT_LEX_ARGS[);
 153   int sign = 1;
 154   int n = 0;
 155
 156   ]AT_USE_LEX_ARGS[;
 157   if (c == '-')
 158     {
 159       c = get_char (]AT_LEX_ARGS[);
 160       sign = -1;
 161     }
 162
 163   while (isdigit (c))
 164     {
 165       n = 10 * n + (c - '0');
 166       c = get_char (]AT_LEX_ARGS[);
 167     }
 168
 169   unget_char (]AT_LEX_PRE_ARGS[ c);
 170
 171   return sign * n;
 172 }
 173
 174
 175 /*---------------------------------------------------------------.
 176 | Lexical analyzer returns an integer on the stack and the token |
 177 | NUM, or the ASCII character read if not a number.  Skips all   |
 178 | blanks and tabs, returns 0 for EOF.                            |
 179 `---------------------------------------------------------------*/
 180
 181 int
 182 ]AT_NAME_PREFIX[lex (]AT_LEX_FORMALS[)
 183 {
 184   static int init = 1;
 185   int c;
 186
 187   if (init)
 188     {
 189       init = 0;
 190 ]AT_LOCATION_IF([
 191       AT_LOC_LAST_COLUMN = 1;
 192       AT_LOC_LAST_LINE = 1;
 193 ])[
 194     }
 195
 196   /* Skip current token, then white spaces.  */
 197   do
 198     {
 199 ]AT_LOCATION_IF(
 200 [     AT_LOC_FIRST_COLUMN = AT_LOC_LAST_COLUMN;
 201       AT_LOC_FIRST_LINE   = AT_LOC_LAST_LINE;
 202 ])[
 203     }
 204   while ((c = get_char (]AT_LEX_ARGS[)) == ' ' || c == '\t');
 205
 206   /* process numbers   */
 207   if (c == '.' || isdigit (c))
 208     {
 209       unget_char (]AT_LEX_PRE_ARGS[ c);
 210       ]AT_VAL[.ival = read_signed_integer (]AT_LEX_ARGS[);
 211       return ]AT_TOKEN_PREFIX[NUM;
 212     }
 213
 214   /* Return end-of-file.  */
 215   if (c == EOF)
 216     return ]AT_TOKEN_PREFIX[CALC_EOF;
 217
 218   /* Return single chars. */
 219   return c;
 220 }
 221 ]])
 222
 223 AT_DATA_GRAMMAR([calc.y],
 224 [[/* Infix notation calculator--calc */
 225 ]$4
 226 AT_SKEL_CC_IF(
 227 [%define global_tokens_and_yystype])[
 228 %code requires
 229 {
 230 ]AT_LOCATION_TYPE_IF([[
 231 # include <iostream>
 232   struct Point
 233   {
 234     int l;
 235     int c;
 236   };
 237
 238   struct Span
 239   {
 240     Point first;
 241     Point last;
 242   };
 243
 244 # define YYLLOC_DEFAULT(Current, Rhs, N)                                \
 245   do                                                                    \
 246     if (N)                                                              \
 247       {                                                                 \
 248         (Current).first = YYRHSLOC (Rhs, 1).first;                      \
 249         (Current).last  = YYRHSLOC (Rhs, N).last;                       \
 250       }                                                                 \
 251     else                                                                \
 252       {                                                                 \
 253         (Current).first = (Current).last = YYRHSLOC (Rhs, 0).last;      \
 254       }                                                                 \
 255   while (false)
 256
 257 ]])[
 258   /* Exercise pre-prologue dependency to %union.  */
 259   typedef int semantic_value;
 260 }
 261
 262 /* Exercise %union. */
 263 %union
 264 {
 265   semantic_value ival;
 266 };
 267
 268 %code provides
 269 {
 270 #include <stdio.h>
 271 /* The input.  */
 272 extern FILE *input;
 273 extern semantic_value global_result;
 274 extern int global_count;]AT_SKEL_CC_IF([[
 275 #ifndef YYLTYPE
 276 # define YYLTYPE ]AT_NAME_PREFIX[::parser::location_type
 277 #endif
 278 ]])[
 279 }
 280
 281 %code
 282 {
 283 #include <assert.h>
 284 #include <string.h>
 285 #define USE(Var)
 286
 287 FILE *input;
 288 static int power (int base, int exponent);
 289
 290 ]AT_SKEL_CC_IF(,
 291 [/* yyerror receives the location if:
 292    - %location & %pure & %glr
 293    - %location & %pure & %yacc & %parse-param. */
 294 static void yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *llocp, ])
 295                      AT_PARAM_IF([semantic_value *result, int *count, ])
 296                      const char *s
 297                      );])[
 298 int yylex (]AT_LEX_FORMALS[);
 299 }
 300
 301 ]AT_SKEL_CC_IF([AT_LOCATION_IF([AT_LOCATION_TYPE_IF([], [
 302 /* The lalr1.cc skeleton, for backward compatibility, defines
 303    a constructor for position that initializes the filename.  The
 304    glr.cc skeleton does not (and in fact cannot: location/position
 305    are stored in a union, from which objects with constructors are
 306    excluded in C++). */
 307 %initial-action {
 308   @$.initialize ();
 309 }
 310 ])])])[
 311
 312 /* Bison Declarations */
 313 %token CALC_EOF 0 "end of input"
 314 %token <ival> NUM "number"
 315 %type  <ival> exp
 316
 317 %nonassoc '='   /* comparison          */
 318 %left '-' '+'
 319 %left '*' '/'
 320 %precedence NEG /* negation--unary minus */
 321 %right '^'      /* exponentiation        */
 322
 323 /* Grammar follows */
 324 %%
 325 input:
 326   line
 327 | input line         { ]AT_PARAM_IF([++*count; ++global_count;])[ }
 328 ;
 329
 330 line:
 331   '\n'
 332 | exp '\n'           { ]AT_PARAM_IF([*result = global_result = $1], [USE ($1)])[; }
 333 ;
 334
 335 exp:
 336   NUM                { $$ = $1;             }
 337 | exp '=' exp
 338   {
 339     if ($1 != $3)
 340       fprintf (stderr, "calc: error: %d != %d\n", $1, $3);
 341     $$ = $1;
 342   }
 343 | exp '+' exp        { $$ = $1 + $3;        }
 344 | exp '-' exp        { $$ = $1 - $3;        }
 345 | exp '*' exp        { $$ = $1 * $3;        }
 346 | exp '/' exp        { $$ = $1 / $3;        }
 347 | '-' exp  %prec NEG { $$ = -$2;            }
 348 | exp '^' exp        { $$ = power ($1, $3); }
 349 | '(' exp ')'        { $$ = $2;             }
 350 | '(' error ')'      { $$ = 1111; yyerrok;  }
 351 | '!'                { $$ = 0; YYERROR;     }
 352 | '-' error          { $$ = 0; YYERROR;     }
 353 ;
 354 %%
 355
 356 static int
 357 power (int base, int exponent)
 358 {
 359   int res = 1;
 360   assert (0 <= exponent);
 361   for (/* Niente */; exponent; --exponent)
 362     res *= base;
 363   return res;
 364 }
 365
 366 ]AT_SKEL_CC_IF(
 367 [AT_LOCATION_TYPE_IF([[
 368   std::ostream&
 369   operator<< (std::ostream& o, const Span& s)
 370   {
 371     o << s.first.l << '.' << s.first.c;
 372     if (s.first.l != s.last.l)
 373       o << '-' << s.last.l << '.' << s.last.c - 1;
 374     else if (s.first.c != s.last.c - 1)
 375       o << '-' << s.last.c - 1;
 376     return o;
 377   }
 378 ]])
 379
 380 /* A C++ error reporting function.  */
 381 void
 382 AT_NAME_PREFIX::parser::error (AT_LOCATION_IF([const location_type& l, ])const std::string& m)
 383 {
 384   std::cerr << AT_LOCATION_IF([l << ": " << ])m << std::endl;
 385 }
 386 ],
 387 [/* A C error reporting function.  */
 388 static void
 389 yyerror (AT_YYERROR_ARG_LOC_IF([YYLTYPE *llocp, ])
 390          AT_PARAM_IF([semantic_value *result, int *count, ])
 391          const char *s)
 392 {
 393 AT_PARAM_IF([(void) result; (void) count;])
 394 AT_YYERROR_SEES_LOC_IF([
 395   fprintf (stderr, "%d.%d",
 396            AT_LOC_FIRST_LINE, AT_LOC_FIRST_COLUMN);
 397   if (AT_LOC_FIRST_LINE != AT_LOC_LAST_LINE)
 398     fprintf (stderr, "-%d.%d",
 399              AT_LOC_LAST_LINE,  AT_LOC_LAST_COLUMN - 1);
 400   else if (AT_LOC_FIRST_COLUMN != AT_LOC_LAST_COLUMN - 1)
 401     fprintf (stderr, "-%d",
 402              AT_LOC_LAST_COLUMN - 1);
 403   fprintf (stderr, ": ");])
 404   fprintf (stderr, "%s\n", s);
 405 }])[
 406
 407 ]AT_DEFINES_IF([],
 408 [AT_CALC_LEX
 409 AT_CALC_MAIN])[
 410 ]])
 411
 412 AT_DEFINES_IF([AT_DATA_SOURCE([[calc-lex.c]AT_SKEL_CC_IF([[c]])],
 413 [[#include "calc.h]AT_SKEL_CC_IF([[h]])["
 414
 415 ]AT_CALC_LEX])
 416 AT_DATA_SOURCE([[calc-main.c]AT_SKEL_CC_IF([[c]])],
 417 [[#include "calc.h]AT_SKEL_CC_IF([[h]])["
 418
 419 ]AT_CALC_MAIN])
 420 ])
 421 m4_popdef([AT_CALC_MAIN])
 422 m4_popdef([AT_CALC_LEX])
 423 ])# _AT_DATA_CALC_Y
 424
 425
 426 # AT_DATA_CALC_Y([BISON-OPTIONS])
 427 # -------------------------------
 428 # Produce `calc.y' and, if %defines was specified, `calc-lex.c' or
 429 # `calc-lex.cc'.
 430 m4_define([AT_DATA_CALC_Y],
 431 [_AT_DATA_CALC_Y($[1], $[2], $[3], [$1])
 432 ])
 433
 434
 435
 436 # _AT_CHECK_CALC(BISON-OPTIONS, INPUT, [NUM-STDERR-LINES])
 437 # --------------------------------------------------------
 438 # Run `calc' on INPUT and expect no STDOUT nor STDERR.
 439 #
 440 # If BISON-OPTIONS contains `%debug' but not `%glr-parser', then
 441 #
 442 # NUM-STDERR-LINES is the number of expected lines on stderr.
 443 # Currently this is ignored, though, since the output format is fluctuating.
 444 #
 445 # We don't count GLR's traces yet, since its traces are somewhat
 446 # different from LALR's.
 447 m4_define([_AT_CHECK_CALC],
 448 [AT_DATA([[input]],
 449 [[$2
 450 ]])
 451 AT_PARSER_CHECK([./calc input], 0, [], [stderr])
 452 ])
 453
 454
 455 # _AT_CHECK_CALC_ERROR(BISON-OPTIONS, EXIT-STATUS, INPUT,
 456 #                      [NUM-STDERR-LINES],
 457 #                      [VERBOSE-AND-LOCATED-ERROR-MESSAGE])
 458 # ---------------------------------------------------------
 459 # Run `calc' on INPUT, and expect a `syntax error' message.
 460 #
 461 # If INPUT starts with a slash, it is used as absolute input file name,
 462 # otherwise as contents.
 463 #
 464 # NUM-STDERR-LINES is the number of expected lines on stderr.
 465 # Currently this is ignored, though, since the output format is fluctuating.
 466 #
 467 # If BISON-OPTIONS contains `%location', then make sure the ERROR-LOCATION
 468 # is correctly output on stderr.
 469 #
 470 # If BISON-OPTIONS contains `%define parse.error verbose', then make sure the
 471 # IF-YYERROR-VERBOSE message is properly output after `syntax error, '
 472 # on STDERR.
 473 #
 474 # If BISON-OPTIONS contains `%debug' but not `%glr', then NUM-STDERR-LINES
 475 # is the number of expected lines on stderr.
 476 m4_define([_AT_CHECK_CALC_ERROR],
 477 [m4_bmatch([$3], [^/],
 478            [AT_PARSER_CHECK([./calc $3], $2, [], [stderr])],
 479            [AT_DATA([[input]],
 480 [[$3
 481 ]])
 482 AT_PARSER_CHECK([./calc input], $2, [], [stderr])])
 483
 484 # Normalize the observed and expected error messages, depending upon the
 485 # options.
 486 # 1. Remove the traces from observed.
 487 sed '/^Starting/d
 488 /^Entering/d
 489 /^Stack/d
 490 /^Reading/d
 491 /^Reducing/d
 492 /^Return/d
 493 /^Shifting/d
 494 /^state/d
 495 /^Cleanup:/d
 496 /^Error:/d
 497 /^Next/d
 498 /^Now/d
 499 /^Discarding/d
 500 / \$[[0-9$]]* = /d
 501 /^yydestructor:/d' stderr >at-stderr
 502 mv at-stderr stderr
 503 # 2. Create the reference error message.
 504 AT_DATA([[expout]],
 505 [$5
 506 ])
 507 # 3. If locations are not used, remove them.
 508 AT_YYERROR_SEES_LOC_IF([],
 509 [[sed 's/^[-0-9.]*: //' expout >at-expout
 510 mv at-expout expout]])
 511 # 4. If error-verbose is not used, strip the`, unexpected....' part.
 512 m4_bmatch([$1], [%define parse.error verbose], [],
 513 [[sed 's/syntax error, .*$/syntax error/' expout >at-expout
 514 mv at-expout expout]])
 515 # 5. Check
 516 AT_CHECK([cat stderr], 0, [expout])
 517 ])
 518
 519
 520 # AT_CHECK_CALC([BISON-OPTIONS, [EXPECTED-TO-FAIL]])
 521 # --------------------------------------------------
 522 # Start a testing chunk which compiles `calc' grammar with
 523 # BISON-OPTIONS, and performs several tests over the parser.
 524 # However, if EXPECTED-TO-FAIL is nonempty, this test is expected to fail.
 525 m4_define([AT_CHECK_CALC],
 526 [# We use integers to avoid dependencies upon the precision of doubles.
 527 AT_SETUP([Calculator $1])
 528
 529 m4_ifval([$2], [AT_CHECK([exit 77])])
 530
 531 AT_BISON_OPTION_PUSHDEFS([$1])
 532
 533 AT_DATA_CALC_Y([$1])
 534 AT_FULL_COMPILE([calc], AT_DEFINES_IF([[lex], [main]]))
 535
 536 # Test the priorities.
 537 _AT_CHECK_CALC([$1],
 538 [1 + 2 * 3 = 7
 539 1 + 2 * -3 = -5
 540
 541 -1^2 = -1
 542 (-1)^2 = 1
 543
 544 ---1 = -1
 545
 546 1 - 2 - 3 = -4
 547 1 - (2 - 3) = 2
 548
 549 2^2^3 = 256
 550 (2^2)^3 = 64],
 551                [842])
 552
 553 # Some syntax errors.
 554 _AT_CHECK_CALC_ERROR([$1], [1], [0 0], [15],
 555                      [1.3: syntax error, unexpected number])
 556 _AT_CHECK_CALC_ERROR([$1], [1], [1//2], [20],
 557                      [1.3: syntax error, unexpected '/', expecting number or '-' or '(' or '!'])
 558 _AT_CHECK_CALC_ERROR([$1], [1], [error], [5],
 559                      [1.1: syntax error, unexpected $undefined])
 560 _AT_CHECK_CALC_ERROR([$1], [1], [1 = 2 = 3], [30],
 561                      [1.7: syntax error, unexpected '='])
 562 _AT_CHECK_CALC_ERROR([$1], [1],
 563                      [
 564 +1],
 565                      [20],
 566                      [2.1: syntax error, unexpected '+'])
 567 # Exercise error messages with EOF: work on an empty file.
 568 _AT_CHECK_CALC_ERROR([$1], [1], [/dev/null], [4],
 569                      [1.1: syntax error, unexpected end of input])
 570
 571 # Exercise the error token: without it, we die at the first error,
 572 # hence be sure to
 573 #
 574 # - have several errors which exercise different shift/discardings
 575 #   - (): nothing to pop, nothing to discard
 576 #   - (1 + 1 + 1 +): a lot to pop, nothing to discard
 577 #   - (* * *): nothing to pop, a lot to discard
 578 #   - (1 + 2 * *): some to pop and discard
 579 #
 580 # - test the action associated to `error'
 581 #
 582 # - check the lookahead that triggers an error is not discarded
 583 #   when we enter error recovery.  Below, the lookahead causing the
 584 #   first error is ")", which is needed to recover from the error and
 585 #   produce the "0" that triggers the "0 != 1" error.
 586 #
 587 _AT_CHECK_CALC_ERROR([$1], [0],
 588                      [() + (1 + 1 + 1 +) + (* * *) + (1 * 2 * *) = 1],
 589                      [250],
 590 [1.2: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
 591 1.18: syntax error, unexpected ')', expecting number or '-' or '(' or '!'
 592 1.23: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
 593 1.41: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
 594 calc: error: 4444 != 1])
 595
 596 # The same, but this time exercising explicitly triggered syntax errors.
 597 # POSIX says the lookahead causing the error should not be discarded.
 598 _AT_CHECK_CALC_ERROR([$1], [0], [(!) + (0 0) = 1], [102],
 599 [1.10: syntax error, unexpected number
 600 calc: error: 2222 != 1])
 601 _AT_CHECK_CALC_ERROR([$1], [0], [(- *) + (0 0) = 1], [113],
 602 [1.4: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
 603 1.12: syntax error, unexpected number
 604 calc: error: 2222 != 1])
 605
 606 # Check that yyerrok works properly: second error is not reported,
 607 # third and fourth are.  Parse status is succesfull.
 608 _AT_CHECK_CALC_ERROR([$1], [0], [(* *) + (*) + (*)], [113],
 609 [1.2: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
 610 1.10: syntax error, unexpected '*', expecting number or '-' or '(' or '!'
 611 1.16: syntax error, unexpected '*', expecting number or '-' or '(' or '!'])
 612
 613 AT_BISON_OPTION_POPDEFS
 614
 615 AT_CLEANUP
 616 ])# AT_CHECK_CALC
 617
 618
 619
 620
 621 # ------------------------ #
 622 # Simple LALR Calculator.  #
 623 # ------------------------ #
 624
 625 AT_BANNER([[Simple LALR(1) Calculator.]])
 626
 627 # AT_CHECK_CALC_LALR([BISON-OPTIONS])
 628 # -----------------------------------
 629 # Start a testing chunk which compiles `calc' grammar with
 630 # BISON-OPTIONS, and performs several tests over the parser.
 631 m4_define([AT_CHECK_CALC_LALR],
 632 [AT_CHECK_CALC($@)])
 633
 634 AT_CHECK_CALC_LALR()
 635
 636 AT_CHECK_CALC_LALR([%defines])
 637 AT_CHECK_CALC_LALR([%locations])
 638
 639 AT_CHECK_CALC_LALR([%name-prefix="calc"]) dnl test deprecated `='
 640 AT_CHECK_CALC_LALR([%verbose])
 641 AT_CHECK_CALC_LALR([%yacc])
 642 AT_CHECK_CALC_LALR([%define parse.error verbose])
 643
 644 AT_CHECK_CALC_LALR([%define api.pure %locations])
 645 AT_CHECK_CALC_LALR([%define api.push-pull both %define api.pure %locations])
 646 AT_CHECK_CALC_LALR([%define parse.error verbose %locations])
 647
 648 AT_CHECK_CALC_LALR([%define parse.error verbose %locations %defines %name-prefix "calc" %verbose %yacc])
 649 AT_CHECK_CALC_LALR([%define parse.error verbose %locations %defines %name-prefix "calc" %define api.tokens.prefix "TOK_" %verbose %yacc])
 650
 651 AT_CHECK_CALC_LALR([%debug])
 652 AT_CHECK_CALC_LALR([%define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc])
 653
 654 AT_CHECK_CALC_LALR([%define api.pure %define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc])
 655 AT_CHECK_CALC_LALR([%define api.push-pull both %define api.pure %define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc])
 656
 657 AT_CHECK_CALC_LALR([%define api.pure %define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc %parse-param {semantic_value *result} %parse-param {int *count}])
 658
 659
 660 # ----------------------- #
 661 # Simple GLR Calculator.  #
 662 # ----------------------- #
 663
 664 AT_BANNER([[Simple GLR Calculator.]])
 665
 666 # AT_CHECK_CALC_GLR([BISON-OPTIONS])
 667 # ----------------------------------
 668 # Start a testing chunk which compiles `calc' grammar with
 669 # BISON-OPTIONS and %glr-parser, and performs several tests over the parser.
 670 m4_define([AT_CHECK_CALC_GLR],
 671 [AT_CHECK_CALC([%glr-parser] $@)])
 672
 673
 674 AT_CHECK_CALC_GLR()
 675
 676 AT_CHECK_CALC_GLR([%defines])
 677 AT_CHECK_CALC_GLR([%locations])
 678 AT_CHECK_CALC_GLR([%name-prefix "calc"])
 679 AT_CHECK_CALC_GLR([%verbose])
 680 AT_CHECK_CALC_GLR([%yacc])
 681 AT_CHECK_CALC_GLR([%define parse.error verbose])
 682
 683 AT_CHECK_CALC_GLR([%define api.pure %locations])
 684 AT_CHECK_CALC_GLR([%define parse.error verbose %locations])
 685
 686 AT_CHECK_CALC_GLR([%define parse.error verbose %locations %defines %name-prefix "calc" %verbose %yacc])
 687
 688 AT_CHECK_CALC_GLR([%debug])
 689 AT_CHECK_CALC_GLR([%define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc])
 690 AT_CHECK_CALC_GLR([%define parse.error verbose %debug %locations %defines %name-prefix "calc" %define api.tokens.prefix "TOK_" %verbose %yacc])
 691
 692 AT_CHECK_CALC_GLR([%define api.pure %define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc])
 693
 694 AT_CHECK_CALC_GLR([%define api.pure %define parse.error verbose %debug %locations %defines %name-prefix "calc" %verbose %yacc %parse-param {semantic_value *result} %parse-param {int *count}])
 695
 696
 697 # ----------------------------- #
 698 # Simple LALR1 C++ Calculator.  #
 699 # ----------------------------- #
 700
 701 AT_BANNER([[Simple LALR(1) C++ Calculator.]])
 702
 703 # First let's try using %skeleton
 704 AT_CHECK_CALC([%skeleton "lalr1.cc" %defines %locations])
 705
 706 # AT_CHECK_CALC_LALR1_CC([BISON-OPTIONS])
 707 # ---------------------------------------
 708 # Start a testing chunk which compiles `calc' grammar with
 709 # the C++ skeleton, and performs several tests over the parser.
 710 m4_define([AT_CHECK_CALC_LALR1_CC],
 711 [AT_CHECK_CALC([%language "C++" %defines] $@)])
 712
 713 AT_CHECK_CALC_LALR1_CC([])
 714 AT_CHECK_CALC_LALR1_CC([%locations])
 715 AT_CHECK_CALC_LALR1_CC([%locations %define location_type Span])
 716 AT_CHECK_CALC_LALR1_CC([%locations %define parse.error verbose %name-prefix "calc" %verbose %yacc])
 717
 718 AT_CHECK_CALC_LALR1_CC([%locations %define parse.error verbose %debug %name-prefix "calc" %verbose %yacc])
 719
 720 AT_CHECK_CALC_LALR1_CC([%locations %pure-parser %define parse.error verbose %debug %name-prefix "calc" %verbose %yacc])
 721 AT_CHECK_CALC_LALR1_CC([%locations %pure-parser %define parse.error verbose %debug %name-prefix "calc" %define api.tokens.prefix "TOK_" %verbose %yacc])
 722
 723 AT_CHECK_CALC_LALR1_CC([%locations %pure-parser %define parse.error verbose %debug %name-prefix "calc" %verbose %yacc %parse-param {semantic_value *result} %parse-param {int *count}])
 724
 725
 726
 727 # --------------------------- #
 728 # Simple GLR C++ Calculator.  #
 729 # --------------------------- #
 730
 731 AT_BANNER([[Simple GLR C++ Calculator.]])
 732
 733 # Again, we try also using %skeleton.
 734 AT_CHECK_CALC([%skeleton "glr.cc" %defines %locations])
 735
 736 # AT_CHECK_CALC_GLR_CC([BISON-OPTIONS])
 737 # -------------------------------------
 738 # Start a testing chunk which compiles `calc' grammar with
 739 # the GLR C++ skeleton, and performs several tests over the parser.
 740 m4_define([AT_CHECK_CALC_GLR_CC],
 741 [AT_CHECK_CALC([%language "C++" %glr-parser %defines %locations] $@)])
 742
 743 AT_CHECK_CALC_GLR_CC([])
 744 AT_CHECK_CALC_GLR_CC([%define location_type Span])
 745 AT_CHECK_CALC_GLR_CC([%define parse.error verbose %name-prefix "calc" %verbose %yacc])
 746
 747 AT_CHECK_CALC_GLR_CC([%debug])
 748 AT_CHECK_CALC_GLR_CC([%define parse.error verbose %debug %name-prefix "calc" %verbose %yacc])
 749
 750 AT_CHECK_CALC_GLR_CC([%pure-parser %define parse.error verbose %debug %name-prefix "calc" %verbose %yacc])
 751 AT_CHECK_CALC_GLR_CC([%pure-parser %define parse.error verbose %debug %name-prefix "calc" %define api.tokens.prefix "TOK_" %verbose %yacc])
 752
 753 AT_CHECK_CALC_GLR_CC([%pure-parser %define parse.error verbose %debug %name-prefix "calc" %verbose %yacc %parse-param {semantic_value *result} %parse-param {int *count}])