maint: more syntax-checks

[bison.git] / src / complain.h

diff --git a/src/complain.h b/src/complain.h
index fe23eb9f8ac7e736cbaa0f8a0393023e904483be..b0a1a29368854532d15243d2b9baa6c954469421 100644 (file)
--- a/src/complain.h
+++ b/src/complain.h
@@ -1,10 +1,12 @@
 /* Declaration for error-reporting function for Bison.
 /* Declaration for error-reporting function for Bison.

-   Copyright (C) 2000, 2001, 2002, 2006 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
-   Free Software Foundation; either version 2, or (at your option) any
-   later version.
+   Copyright (C) 2000-2002, 2006, 2009-2012 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 Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.

 
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
 
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of


@@ -12,48 +14,75 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
    GNU General Public License for more details.
 
    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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
-   USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

 
 #ifndef COMPLAIN_H_
 # define COMPLAIN_H_ 1
 
 # include "location.h"
 
 
 #ifndef COMPLAIN_H_
 # define COMPLAIN_H_ 1
 
 # include "location.h"
 

-# ifdef        __cplusplus
-extern "C" {
-# endif
+/* Sub-messages indent. */
+# define SUB_INDENT (4)

 
 

-/** Informative messages, but we proceed.  */
+/*-------------.
+| --warnings.  |
+`-------------*/

 
 

-void warn (char const *format, ...)
-  __attribute__ ((__format__ (__printf__, 1, 2)));
+typedef enum
+  {
+    Wnone             = 0,       /**< Issue no warnings.  */
+    Wmidrule_values   = 1 << 0,  /**< Unset or unused midrule values.  */
+    Wyacc             = 1 << 1,  /**< POSIXME.  */
+    Wconflicts_sr     = 1 << 2,  /**< S/R conflicts.  */
+    Wconflicts_rr     = 1 << 3,  /**< R/R conflicts.  */
+    Wdeprecated       = 1 << 4,  /**< Obsolete constructs.  */
+    Wother            = 1 << 5,  /**< All other warnings.  */

 
 

-void warn_at (location loc, char const *format, ...)
-  __attribute__ ((__format__ (__printf__, 2, 3)));
+    Werror            = 1 << 10, /** This bit is no longer used. */

 
 

-/** An error, but we continue and die later.  */
+    complaint         = 1 << 11, /**< All complaints.  */
+    fatal             = 1 << 12, /**< All fatal errors.  */
+    silent            = 1 << 13, /**< Do not display the warning type.  */
+    no_caret          = 1 << 14, /**< Do not display caret location.  */

 
 

-void complain (char const *format, ...)
-  __attribute__ ((__format__ (__printf__, 1, 2)));
+    /**< All above warnings.  */
+    Wall              = ~complaint & ~fatal & ~silent
+  } warnings;

 
 

-void complain_at (location loc, char const *format, ...)
-  __attribute__ ((__format__ (__printf__, 2, 3)));
+/** What warnings are issued.  */
+extern warnings warnings_flag;

 
 

-/** A fatal error, causing immediate exit.  */
+/** What warnings are made errors.  */
+extern warnings errors_flag;

 
 

-void fatal (char const *format, ...)
-  __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2)));
+/** Display a "[-Wyacc]" like message on stderr.  */
+void warnings_print_categories (warnings warn_flags);

 
 

-void fatal_at (location loc, char const *format, ...)
-  __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3)));
+/** Make a complaint, with maybe a location.  */
+void complain (location const *loc, warnings flags, char const *message, ...)
+  __attribute__ ((__format__ (__printf__, 3, 4)));

 
 

-/** Whether an error was reported.  */
-extern bool complaint_issued;
+/** Likewise, but with an \a argc/argv interface.  */
+void complain_args (location const *loc, warnings w, unsigned *indent,
+                    int argc, char *arg[]);
+
+/** Make a complaint with location and some indentation.  */
+void complain_indent (location const *loc, warnings flags, unsigned *indent,
+                      char const *message, ...)
+  __attribute__ ((__format__ (__printf__, 4, 5)));

 
 

-# ifdef        __cplusplus
-}
-# endif
+
+/** Warnings treated as errors shouldn't stop the execution as regular errors
+    should (because due to their nature, it is safe to go on). Thus, there are
+    three possible execution statuses.  */
+typedef enum
+  {
+    status_none,
+    status_warning_as_error,
+    status_complaint
+  } err_status;
+
+/** Whether an error was reported.  */
+extern err_status complaint_status;

 
 #endif /* !COMPLAIN_H_ */
 
 #endif /* !COMPLAIN_H_ */