tests/calc.at

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