X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/6e30ede87a1c39c53842a6a747ecd9f7484d92a5..f6df83b4e80b2a53c08b5dc654e247076a3b9b03:/src/complain.h diff --git a/src/complain.h b/src/complain.h index db151257..2222aca2 100644 --- a/src/complain.h +++ b/src/complain.h @@ -1,7 +1,7 @@ /* Declaration for error-reporting function for Bison. - Copyright (C) 2000, 2001, 2002, 2006, 2009, 2010 Free Software - Foundation, Inc. + 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 @@ -21,60 +21,72 @@ # 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. */ -/* Generate a message aligned by an indent. - When *indent == 0, assign message's indent to *indent, - When *indent > 0, align the message by *indent value. */ -void warn_at_indent (location loc, unsigned *indent, - char const *format, ...) - __attribute__ ((__format__ (__printf__, 3, 4))); + 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. */ -/** An error, but we continue and die later. */ + /**< All above warnings. */ + Wall = ~complaint & ~fatal & ~silent + } warnings; -void complain (char const *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); +/** What warnings are issued. */ +extern warnings warnings_flag; -void complain_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); +/** What warnings are made errors. */ +extern warnings errors_flag; -/* Generate a message aligned by an indent. - When *indent == 0, assign message's indent to *indent, - When *indent > 0, align the message by *indent value. */ -void complain_at_indent (location loc, unsigned *indent, - char const *format, ...) - __attribute__ ((__format__ (__printf__, 3, 4))); +/** Display a "[-Wyacc]" like message on stderr. */ +void warnings_print_categories (warnings warn_flags); -/** An incompatibility with POSIX Yacc: mapped either to warn* or - complain* depending on yacc_flag. */ +/** Make a complaint, with maybe a location. */ +void complain (location const *loc, warnings flags, char const *message, ...) + __attribute__ ((__format__ (__printf__, 3, 4))); -void yacc_at (location loc, char const *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); +/** 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))); -/** A fatal error, causing immediate exit. */ -void fatal (char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); +/** Report an obsolete syntax, suggest the updated one. */ +void deprecated_directive (location const *loc, + char const *obsolete, char const *updated); -void fatal_at (location loc, char const *format, ...) - __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); +/** 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 bool complaint_issued; - -# ifdef __cplusplus -} -# endif +extern err_status complaint_status; #endif /* !COMPLAIN_H_ */