]> git.saurik.com Git - bison.git/blame_incremental - src/complain.h
global: remove unnecessary horizontal tabs.
[bison.git] / src / complain.h
... / ...
CommitLineData
1/* Declaration for error-reporting function for Bison.
2
3 Copyright (C) 2000-2002, 2006, 2009-2011 Free Software Foundation,
4 Inc.
5
6 This program is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18
19#ifndef COMPLAIN_H_
20# define COMPLAIN_H_ 1
21
22# include "location.h"
23
24# ifdef __cplusplus
25extern "C" {
26# endif
27
28/** Record that a warning is about to be issued, and treat it as an
29 error if <tt>warnings_flag & warnings_error</tt>. This is exported
30 only for the sake of Yacc-compatible conflict reports in conflicts.c.
31 All other warnings should be implemented in complain.c and should use
32 the normal warning format. */
33void set_warning_issued (void);
34
35/** Informative messages, but we proceed. Report iff
36 <tt>warnings_flag & warnings_other</tt>. */
37
38void warn (char const *format, ...)
39 __attribute__ ((__format__ (__printf__, 1, 2)));
40
41void warn_at (location loc, char const *format, ...)
42 __attribute__ ((__format__ (__printf__, 2, 3)));
43
44/* Generate a message aligned by an indent.
45 When *indent == 0, assign message's indent to *indent,
46 When *indent > 0, align the message by *indent value. */
47void warn_at_indent (location loc, unsigned *indent,
48 char const *format, ...)
49 __attribute__ ((__format__ (__printf__, 3, 4)));
50
51/** An error, but we continue and die later. */
52
53void complain (char const *format, ...)
54 __attribute__ ((__format__ (__printf__, 1, 2)));
55
56void complain_at (location loc, char const *format, ...)
57 __attribute__ ((__format__ (__printf__, 2, 3)));
58
59/* Generate a message aligned by an indent.
60 When *indent == 0, assign message's indent to *indent,
61 When *indent > 0, align the message by *indent value. */
62void complain_at_indent (location loc, unsigned *indent,
63 char const *format, ...)
64 __attribute__ ((__format__ (__printf__, 3, 4)));
65
66/** An incompatibility with POSIX Yacc: mapped either to warn* or
67 complain* depending on yacc_flag. */
68
69void yacc_at (location loc, char const *format, ...)
70 __attribute__ ((__format__ (__printf__, 2, 3)));
71
72/** A midrule-value warning. Report iff
73 <tt>warnings_flag & warnings_midrule_values</tt>. */
74
75void midrule_value_at (location loc, char const *format, ...)
76 __attribute__ ((__format__ (__printf__, 2, 3)));
77
78/** A fatal error, causing immediate exit. */
79
80void fatal (char const *format, ...)
81 __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2)));
82
83void fatal_at (location loc, char const *format, ...)
84 __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3)));
85
86/** Whether an error was reported. */
87extern bool complaint_issued;
88
89# ifdef __cplusplus
90}
91# endif
92
93#endif /* !COMPLAIN_H_ */