Normalize conflict related messages.

* src/complain.h, src/complain.c (warn, complain): New.
* src/conflicts.c (conflicts_print): Use them.
(conflict_report_yacc): New, extracted from...
(conflicts_print): here.
* tests/conflicts.at, tests/existing.at: Adjust.

diff --git a/ChangeLog b/ChangeLog
index ccb6506081ccea0e0d2f9884a5d04bbad664ca52..d1772b89d96468295957ee53f2b1fc16b9c05a6b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2002-07-30  Akim Demaille  <akim@epita.fr>
+
+       Normalize conflict related messages.
+
+       * src/complain.h, src/complain.c (warn, complain): New.
+       * src/conflicts.c (conflicts_print): Use them.
+       (conflict_report_yacc): New, extracted from...
+       (conflicts_print): here.
+       * tests/conflicts.at, tests/existing.at: Adjust.
+

 2002-07-30  Akim Demaille  <akim@epita.fr>
 
        Report rules which are never reduced by the parser: those hidden
 2002-07-30  Akim Demaille  <akim@epita.fr>
 
        Report rules which are never reduced by the parser: those hidden

diff --git a/src/complain.c b/src/complain.c
index 409bca5d7d5c8c4435cc82fa1b3b1a253c2ea804..14ef2388c9aea33eeeff7f789c9a5bdf1e9b5dd5 100644 (file)
--- a/src/complain.c
+++ b/src/complain.c
@@ -1,5 +1,5 @@
 /* Declaration for error-reporting function for Bison.
 /* Declaration for error-reporting function for Bison.

-   Copyright 2000, 2001 Free Software Foundation, Inc.
+   Copyright (C) 2000, 2001, 2002  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 the
 
    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 the


@@ -130,6 +130,35 @@ warn_at (location, message, va_alist)
   fputs (": ", stderr);
   fputs (_("warning: "), stderr);
 
   fputs (": ", stderr);
   fputs (_("warning: "), stderr);
 

+#ifdef VA_START
+  VA_START (args, message);
+  vfprintf (stderr, message, args);
+  va_end (args);
+#else
+  fprintf (stderr, message, a1, a2, a3, a4, a5, a6, a7, a8);
+#endif
+
+  ++warn_message_count;
+  putc ('\n', stderr);
+  fflush (stderr);
+}
+
+void
+#if defined VA_START && defined __STDC__
+warn (const char *message, ...)
+#else
+warn (message, va_alist)
+  char *message;
+  va_dcl
+#endif
+{
+#ifdef VA_START
+  va_list args;
+#endif
+
+  fflush (stdout);
+  fprintf (stderr, "%s: %s", infile ? infile : program_name, _("warning: "));
+

 #ifdef VA_START
   VA_START (args, message);
   vfprintf (stderr, message, args);
 #ifdef VA_START
   VA_START (args, message);
   vfprintf (stderr, message, args);


@@ -165,6 +194,35 @@ complain_at (location, message, va_alist)
   LOCATION_PRINT (stderr, location);
   fputs (": ", stderr);
 
   LOCATION_PRINT (stderr, location);
   fputs (": ", stderr);
 

+#ifdef VA_START
+  VA_START (args, message);
+  vfprintf (stderr, message, args);
+  va_end (args);
+#else
+  fprintf (stderr, message, a1, a2, a3, a4, a5, a6, a7, a8);
+#endif
+
+  ++complain_message_count;
+  putc ('\n', stderr);
+  fflush (stderr);
+}
+
+void
+#if defined VA_START && defined __STDC__
+complain (const char *message, ...)
+#else
+complain (message, va_alist)
+     char *message;
+     va_dcl
+#endif
+{
+#ifdef VA_START
+  va_list args;
+#endif
+
+  fflush (stdout);
+  fprintf (stderr, "%s: ", infile ? infile : program_name);
+

 #ifdef VA_START
   VA_START (args, message);
   vfprintf (stderr, message, args);
 #ifdef VA_START
   VA_START (args, message);
   vfprintf (stderr, message, args);


@@ -186,7 +244,7 @@ void
 #if defined VA_START && defined __STDC__
 fatal_at (location_t location, const char *message, ...)
 #else
 #if defined VA_START && defined __STDC__
 fatal_at (location_t location, const char *message, ...)
 #else

-fatal (location, message, va_alist)
+fatal_at (location, message, va_alist)

   location_t location;
   char *message;
   va_dcl
   location_t location;
   char *message;
   va_dcl

diff --git a/src/complain.h b/src/complain.h
index c2ae09dd43c37dace21de8eee13d7cda2d53f8f5..0541e2994ef332c9d50dce9fd757bb9f3ffa87f1 100644 (file)
--- a/src/complain.h
+++ b/src/complain.h
@@ -29,11 +29,17 @@ extern "C" {
 
 /* Informative messages, but we proceed. */
 
 
 /* Informative messages, but we proceed. */
 

+void warn (const char *format, ...)
+  __attribute__ ((__format__ (__printf__, 1, 2)));
+

 void warn_at (location_t location, const char *format, ...)
   __attribute__ ((__format__ (__printf__, 2, 3)));
 
 /* Something bad happen, but let's continue and die later. */
 
 void warn_at (location_t location, const char *format, ...)
   __attribute__ ((__format__ (__printf__, 2, 3)));
 
 /* Something bad happen, but let's continue and die later. */
 

+void complain (const char *format, ...)
+  __attribute__ ((__format__ (__printf__, 1, 2)));
+

 void complain_at (location_t location, const char *format, ...)
   __attribute__ ((__format__ (__printf__, 2, 3)));
 
 void complain_at (location_t location, const char *format, ...)
   __attribute__ ((__format__ (__printf__, 2, 3)));
 


@@ -46,7 +52,9 @@ void fatal_at (location_t location, const char *format, ...)
   __attribute__ ((__format__ (__printf__, 2, 3)));
 
 # else
   __attribute__ ((__format__ (__printf__, 2, 3)));
 
 # else

+void warn ();

 void warn_at ();
 void warn_at ();

+void complain ();

 void complain_at ();
 void fatal ();
 void fatal_at ();
 void complain_at ();
 void fatal ();
 void fatal_at ();

diff --git a/src/conflicts.c b/src/conflicts.c
index 9dabd70bb9bdfaf9d1d830741b0c5047d8001e9f..cbf385ac3049d18786c377baded8a93aa5fff83b 100644 (file)
--- a/src/conflicts.c
+++ b/src/conflicts.c
@@ -385,6 +385,7 @@ count_rr_conflicts (state_t *state, int one_per_token)
   return rrc_count;
 }
 
   return rrc_count;
 }
 

+

 /*--------------------------------------------------------------.
 | Return a human readable string which reports shift/reduce and |
 | reduce/reduce conflict numbers (SRC_NUM, RRC_NUM).            |
 /*--------------------------------------------------------------.
 | Return a human readable string which reports shift/reduce and |
 | reduce/reduce conflict numbers (SRC_NUM, RRC_NUM).            |


@@ -416,14 +417,32 @@ conflict_report (int src_num, int rrc_num)
       cp += strlen (cp);
     }
 
       cp += strlen (cp);
     }
 

-  *cp++ = '.';
-  *cp++ = '\n';

   *cp++ = '\0';
 
   return res;
 }
 
 
   *cp++ = '\0';
 
   return res;
 }
 
 

+/*----------------------------------------------------------------.
+| Same as above, but report the number of conflicts a` la POSIX.  |
+`----------------------------------------------------------------*/
+
+static void
+conflict_report_yacc (int src_num, int rrc_num)
+{
+  /* If invoked with `--yacc', use the output format specified by
+     POSIX.  */
+  fprintf (stderr, _("conflicts: "));
+  if (src_num > 0)
+    fprintf (stderr, _(" %d shift/reduce"), src_num);
+  if (src_num > 0 && rrc_num > 0)
+    fprintf (stderr, ",");
+  if (rrc_num > 0)
+    fprintf (stderr, _(" %d reduce/reduce"), rrc_num);
+  putc ('\n', stderr);
+}
+
+

 /*-----------------------------------------------------------.
 | Output the detailed description of states with conflicts.  |
 `-----------------------------------------------------------*/
 /*-----------------------------------------------------------.
 | Output the detailed description of states with conflicts.  |
 `-----------------------------------------------------------*/


@@ -443,8 +462,9 @@ conflicts_output (FILE *out)
       if (conflicts[i])
        {
          fprintf (out, _("State %d contains "), i);
       if (conflicts[i])
        {
          fprintf (out, _("State %d contains "), i);

-         fputs (conflict_report (count_sr_conflicts (s),
-                                 count_rr_conflicts (s, TRUE)), out);
+         fprintf (out, "%s.\n",
+                  conflict_report (count_sr_conflicts (s),
+                                   count_rr_conflicts (s, TRUE)));

          printed_sth = TRUE;
        }
     }
          printed_sth = TRUE;
        }
     }


@@ -530,32 +550,15 @@ conflicts_print (void)
 
   /* Report the total number of conflicts on STDERR.  */
   if (yacc_flag)
 
   /* Report the total number of conflicts on STDERR.  */
   if (yacc_flag)

-    {
-      /* If invoked with `--yacc', use the output format specified by
-        POSIX.  */
-      fprintf (stderr, _("conflicts: "));
-      if (src_total > 0)
-       fprintf (stderr, _(" %d shift/reduce"), src_total);
-      if (src_total > 0 && rrc_total > 0)
-       fprintf (stderr, ",");
-      if (rrc_total > 0)
-       fprintf (stderr, _(" %d reduce/reduce"), rrc_total);
-      putc ('\n', stderr);
-    }
+    conflict_report_yacc (src_total, rrc_total);

   else
   else

-    {
-      fprintf (stderr, _("%s contains "), infile);
-      fputs (conflict_report (src_total, rrc_total), stderr);
-    }
+    warn ("%s", conflict_report (src_total, rrc_total));

 
   if (expected_conflicts != -1 && !src_ok)
 
   if (expected_conflicts != -1 && !src_ok)

-    {
-      complain_message_count++;
-      fprintf (stderr, ngettext ("expected %d shift/reduce conflict\n",
-                                "expected %d shift/reduce conflicts\n",
-                                expected_conflicts),
-              expected_conflicts);
-    }
+    complain (ngettext ("expected %d shift/reduce conflict",
+                       "expected %d shift/reduce conflicts",
+                       expected_conflicts),
+             expected_conflicts);

 }
 
 
 }
 
 

diff --git a/tests/conflicts.at b/tests/conflicts.at
index d0da937bfb1718cd7e0c7ad8363f7e7e702e067a..6a9ef9bd454ff8f5d727d66194bfc2095b5cbfb9 100644 (file)
--- a/tests/conflicts.at
+++ b/tests/conflicts.at
@@ -142,7 +142,7 @@ exp: exp OP exp | NUM;
 ]])
 
 AT_CHECK([bison input.y -o input.c --report=all], 0, [],
 ]])
 
 AT_CHECK([bison input.y -o input.c --report=all], 0, [],

-[input.y contains 1 shift/reduce conflict.
+[input.y: warning: 1 shift/reduce conflict

 ])
 
 # Check the contents of the report.
 ])
 
 # Check the contents of the report.


@@ -371,7 +371,7 @@ id : '0';
 ]])
 
 AT_CHECK([bison input.y -o input.c --report=all], 0, [],
 ]])
 
 AT_CHECK([bison input.y -o input.c --report=all], 0, [],

-[[input.y contains 1 reduce/reduce conflict.
+[[input.y: warning: 1 reduce/reduce conflict

 input.y:4.4-8: warning: rule never reduced because of conflicts: id: '0'
 ]])
 
 input.y:4.4-8: warning: rule never reduced because of conflicts: id: '0'
 ]])
 


@@ -483,8 +483,8 @@ exp: exp OP exp | NUM;
 ]])
 
 AT_CHECK([bison input.y -o input.c], 1, [],
 ]])
 
 AT_CHECK([bison input.y -o input.c], 1, [],

-[input.y contains 1 shift/reduce conflict.
-expected 0 shift/reduce conflicts
+[input.y: warning: 1 shift/reduce conflict
+input.y: expected 0 shift/reduce conflicts

 ])
 AT_CLEANUP
 
 ])
 AT_CLEANUP
 


@@ -520,7 +520,7 @@ exp: exp OP exp | NUM;
 ]])
 
 AT_CHECK([bison input.y -o input.c], 1, [],
 ]])
 
 AT_CHECK([bison input.y -o input.c], 1, [],

-[input.y contains 1 shift/reduce conflict.
-expected 2 shift/reduce conflicts
+[input.y: warning: 1 shift/reduce conflict
+input.y: expected 2 shift/reduce conflicts

 ])
 AT_CLEANUP
 ])
 AT_CLEANUP

diff --git a/tests/existing.at b/tests/existing.at
index 6a1f7f39236af022ca5c80e446ea780542df5852..bad9858e2c5d73d951bdfa058b4580352123fbf1 100644 (file)
--- a/tests/existing.at
+++ b/tests/existing.at
@@ -1191,7 +1191,7 @@ ARGUMENT_LIST   :       EXPRESSION              { mout(MENDSEP);
 # don't actually check the output.  But SEGV is watching us, and
 # so might do dmalloc.
 AT_CHECK([[bison --verbose --defines input.y]], 0, [],
 # don't actually check the output.  But SEGV is watching us, and
 # so might do dmalloc.
 AT_CHECK([[bison --verbose --defines input.y]], 0, [],

-[[input.y contains 78 shift/reduce conflicts and 10 reduce/reduce conflicts.
+[[input.y: warning: 78 shift/reduce conflicts and 10 reduce/reduce conflicts

 ]])
 
 AT_CHECK([[grep '^State.*contains' input.output]], 0,
 ]])
 
 AT_CHECK([[grep '^State.*contains' input.output]], 0,