]>
Commit | Line | Data |
---|---|---|
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_ */ |