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