* tests/atgeneral.m4: Update from Autoconf.

[bison.git] / tests / calc.m4

diff --git a/tests/calc.m4 b/tests/calc.m4
index 9f0942d72c5bfa3bbc3b75f40fd1fca70b98b1b7..c365924ff921ff1c1eff9f506bfa971d2f499de8 100644 (file)
--- a/tests/calc.m4
+++ b/tests/calc.m4
@@ -6,14 +6,25 @@ Simple Calculator.
 
 EOF
 
 
 EOF
 

+

 ## ---------------------------------------------------- ##
 ## Compile the grammar described in the documentation.  ##
 ## ---------------------------------------------------- ##
 
 ## ---------------------------------------------------- ##
 ## Compile the grammar described in the documentation.  ##
 ## ---------------------------------------------------- ##
 

-# We use integers to avoid dependencies upon the precision of doubles.
-AT_SETUP(Compiling a grammar)

 
 

-AT_DATA([calc.y],
+# ------------------------- #
+# Helping Autotest macros.  #
+# ------------------------- #
+
+
+# _AT_DATA_CALC_Y($1, $2, $3)
+# ---------------------------
+# Produce `calc.y'.  Don't call this macro directly, because it contains
+# some occurrences of `$1' etc. which will be interpreted by m4.  So
+# you should call it with $1, $2, and $3 as arguments, which is what
+# AT_DATA_CALC_Y does.
+AT_DEFINE([_AT_DATA_CALC_Y],
+[AT_DATA([calc.y],

 [[/* Infix notation calculator--calc */
 
 %{
 [[/* Infix notation calculator--calc */
 
 %{


@@ -24,6 +35,7 @@ AT_DATA([calc.y],
 
 static int power (int base, int exponent);
 static int read_signed_integer (FILE *stream);
 
 static int power (int base, int exponent);
 static int read_signed_integer (FILE *stream);

+static void yyerror (const char *s);

 extern void perror (const char *s);
 %}
 
 extern void perror (const char *s);
 %}
 


@@ -54,23 +66,10 @@ exp:      NUM                { $$ = $1;             }
         | '(' exp ')'        { $$ = $2;             }
 ;
 %%
         | '(' exp ')'        { $$ = $2;             }
 ;
 %%

-FILE *yyin = stdin;
-
-int
-main (int argn, const char **argv)
-{
-  if (argn == 2)
-    yyin = fopen (argv[1], "r");
-  if (!stdin)
-    {
-      perror (argv[1]);
-      exit (1);
-    }
-  yyparse ();
-  return 0;
-}
+/* The input. */
+FILE *yyin;

 
 

-int
+static void

 yyerror (const char *s)
 {
   fprintf (stderr, "%s\n", s);
 yyerror (const char *s)
 {
   fprintf (stderr, "%s\n", s);


@@ -138,31 +137,93 @@ power (int base, int exponent)
     res *= base;
   return res;
 }
     res *= base;
   return res;
 }

+
+int
+main (int argn, const char **argv)
+{
+  if (argn == 2)
+    yyin = fopen (argv[1], "r");
+  else
+     yyin = stdin;
+
+  if (!stdin)
+    {
+      perror (argv[1]);
+      exit (1);
+    }
+
+#if YYDEBUG
+  yydebug = 1;
+#endif
+  yyparse ();
+  return 0;
+}

 ]])
 ]])

+])# _AT_DATA_CALC_Y

 
 

-# Specify the output files to avoid problems on different file systems.
-AT_CHECK([bison calc.y -o calc.c], 0, [], [])
-AT_CHECK([$CC $CFLAGS calc.c -o calc], 0, [], [])

 
 

-# AT_CHECK_CALC(INPUT, OUTPUT)
-# ----------------------------
-# Run `calc' on INPUT, and expect OUTPUT.
+# AT_DATA_CALC_Y
+# --------------
+# Produce `calc.y'.
+AT_DEFINE([AT_DATA_CALC_Y],
+[_AT_DATA_CALC_Y($[1], $[2], $[3])])
+
+
+# _AT_CHECK_CALC(INPUT, OUTPUT, [STDERR])
+# ---------------------------------------
+# Run `calc' on INPUT, and expect OUTPUT and STDERR.
+AT_DEFINE([_AT_CHECK_CALC],
+[AT_CHECK([echo "$1" | calc], 0, [$2], [$3])])
+
+
+# AT_CHECK_CALC(TITLE, [BISON-OPTIONS], [PARSER-EXPECTED-STDERR])
+# ---------------------------------------------------------------
+# Start a testing chunk named TITLE which compiles `calc' grammar with
+# BISON-OPTIONS, and performs several tests over the parser.

 AT_DEFINE([AT_CHECK_CALC],
 AT_DEFINE([AT_CHECK_CALC],

-[AT_CHECK([echo "$1" | calc], 0, [$2], [])])
+[# We use integers to avoid dependencies upon the precision of doubles.
+AT_SETUP([$1])
+
+AT_DATA_CALC_Y
+
+# Specify the output files to avoid problems on different file systems.
+AT_CHECK([bison calc.y -o calc.c $2], 0, [], [])
+AT_CHECK([$CC $CFLAGS calc.c -o calc], 0, [], [])

 
 # Test the priorities.
 
 # Test the priorities.

-AT_CHECK_CALC([1 + 2 * 3],   [7])
-AT_CHECK_CALC([1 + 2 * -3], [-5])
+_AT_CHECK_CALC([1 + 2 * 3],   [7], [$3])
+_AT_CHECK_CALC([1 + 2 * -3], [-5], [$3])

 
 

-AT_CHECK_CALC([-1^2],  [-1])
-AT_CHECK_CALC([(-1)^2], [1])
+_AT_CHECK_CALC([-1^2],  [-1], [$3])
+_AT_CHECK_CALC([(-1)^2], [1], [$3])

 
 

-AT_CHECK_CALC([---1], [-1])
+_AT_CHECK_CALC([---1], [-1], [$3])

 
 

-AT_CHECK_CALC([1 - 2 - 3],  [-4])
-AT_CHECK_CALC([1 - (2 - 3)], [2])
+_AT_CHECK_CALC([1 - 2 - 3],  [-4], [$3])
+_AT_CHECK_CALC([1 - (2 - 3)], [2], [$3])

 
 

-AT_CHECK_CALC([2^2^3],  [256])
-AT_CHECK_CALC([(2^2)^3], [64])
+_AT_CHECK_CALC([2^2^3],  [256], [$3])
+_AT_CHECK_CALC([(2^2)^3], [64], [$3])

 
 AT_CLEANUP(calc calc.c)
 
 AT_CLEANUP(calc calc.c)

+])# AT_CHECK_CALC
+
+
+# -------------- #
+# Actual tests.  #
+# -------------- #
+
+
+AT_CHECK_CALC([Simple calculator])
+
+AT_CHECK_CALC([Simple Yacc compatible calculator],
+              [--yacc])
+
+AT_CHECK_CALC([Simple calculator whose tokens are numbered from 3],
+              [--raw])
+
+AT_CHECK_CALC([Simple debugging calculator],
+              [--debug], ignore)
+
+AT_CHECK_CALC([Simple Yacc compatible debugging calculator],
+              [--debug --yacc], ignore)