| 1 | /* Declaration for error-reporting function for Bison. |
| 2 | Copyright (C) 2000, 2001, 2002, 2006, 2009 Free Software Foundation, Inc. |
| 3 | |
| 4 | This program is free software: you can redistribute it and/or modify |
| 5 | it under the terms of the GNU General Public License as published by |
| 6 | the Free Software Foundation, either version 3 of the License, or |
| 7 | (at your option) any later version. |
| 8 | |
| 9 | This program is distributed in the hope that it will be useful, |
| 10 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | GNU General Public License for more details. |
| 13 | |
| 14 | You should have received a copy of the GNU General Public License |
| 15 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
| 16 | |
| 17 | #ifndef COMPLAIN_H_ |
| 18 | # define COMPLAIN_H_ 1 |
| 19 | |
| 20 | # include "location.h" |
| 21 | |
| 22 | # ifdef __cplusplus |
| 23 | extern "C" { |
| 24 | # endif |
| 25 | |
| 26 | /** Informative messages, but we proceed. */ |
| 27 | |
| 28 | void warn (char const *format, ...) |
| 29 | __attribute__ ((__format__ (__printf__, 1, 2))); |
| 30 | |
| 31 | void warn_at (location loc, char const *format, ...) |
| 32 | __attribute__ ((__format__ (__printf__, 2, 3))); |
| 33 | |
| 34 | /* Generate a message aligned by an indent. |
| 35 | When *indent == 0, assign message's indent to *indent, |
| 36 | When *indent > 0, align the message by *indent value. */ |
| 37 | void warn_at_indent (location loc, unsigned *indent, |
| 38 | char const *format, ...) |
| 39 | __attribute__ ((__format__ (__printf__, 3, 4))); |
| 40 | |
| 41 | /** An error, but we continue and die later. */ |
| 42 | |
| 43 | void complain (char const *format, ...) |
| 44 | __attribute__ ((__format__ (__printf__, 1, 2))); |
| 45 | |
| 46 | void complain_at (location loc, char const *format, ...) |
| 47 | __attribute__ ((__format__ (__printf__, 2, 3))); |
| 48 | |
| 49 | /* Generate a message aligned by an indent. |
| 50 | When *indent == 0, assign message's indent to *indent, |
| 51 | When *indent > 0, align the message by *indent value. */ |
| 52 | void complain_at_indent (location loc, unsigned *indent, |
| 53 | char const *format, ...) |
| 54 | __attribute__ ((__format__ (__printf__, 3, 4))); |
| 55 | |
| 56 | /** An incompatibility with POSIX Yacc: mapped either to warn* or |
| 57 | complain* depending on yacc_flag. */ |
| 58 | |
| 59 | void yacc_at (location loc, char const *format, ...) |
| 60 | __attribute__ ((__format__ (__printf__, 2, 3))); |
| 61 | |
| 62 | |
| 63 | /** A fatal error, causing immediate exit. */ |
| 64 | |
| 65 | void fatal (char const *format, ...) |
| 66 | __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); |
| 67 | |
| 68 | void fatal_at (location loc, char const *format, ...) |
| 69 | __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); |
| 70 | |
| 71 | /** Whether an error was reported. */ |
| 72 | extern bool complaint_issued; |
| 73 | |
| 74 | # ifdef __cplusplus |
| 75 | } |
| 76 | # endif |
| 77 | |
| 78 | #endif /* !COMPLAIN_H_ */ |