]> git.saurik.com Git - bison.git/blame - src/complain.h
POSIX: warn if %prec's token was not defined.
[bison.git] / src / complain.h
CommitLineData
a0f6b076 1/* Declaration for error-reporting function for Bison.
663ce7bb 2 Copyright (C) 2000, 2001, 2002, 2006, 2009 Free Software Foundation, Inc.
a0f6b076 3
f16b0819
PE
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.
a0f6b076
AD
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
f16b0819 15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
a0f6b076
AD
16
17#ifndef COMPLAIN_H_
ee000ba4 18# define COMPLAIN_H_ 1
a0f6b076 19
ee000ba4
AD
20# include "location.h"
21
22# ifdef __cplusplus
a0f6b076 23extern "C" {
ee000ba4 24# endif
a0f6b076 25
23eb2a69 26/** Informative messages, but we proceed. */
a0f6b076 27
81ebdef9 28void warn (char const *format, ...)
52489d44
AD
29 __attribute__ ((__format__ (__printf__, 1, 2)));
30
81ebdef9 31void warn_at (location loc, char const *format, ...)
e9955c83 32 __attribute__ ((__format__ (__printf__, 2, 3)));
a0f6b076 33
348f5608
AR
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. */
37void warn_at_indent (location loc, unsigned *indent,
38 char const *format, ...)
39 __attribute__ ((__format__ (__printf__, 3, 4)));
40
23eb2a69 41/** An error, but we continue and die later. */
a0f6b076 42
81ebdef9 43void complain (char const *format, ...)
52489d44
AD
44 __attribute__ ((__format__ (__printf__, 1, 2)));
45
81ebdef9 46void complain_at (location loc, char const *format, ...)
e9955c83 47 __attribute__ ((__format__ (__printf__, 2, 3)));
a0f6b076 48
348f5608
AR
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. */
52void complain_at_indent (location loc, unsigned *indent,
53 char const *format, ...)
54 __attribute__ ((__format__ (__printf__, 3, 4)));
55
663ce7bb
AD
56/** An incompatibility with POSIX Yacc: mapped either to warn* or
57 complain* depending on yacc_flag. */
58
59void yacc_at (location loc, char const *format, ...)
60 __attribute__ ((__format__ (__printf__, 2, 3)));
61
62
23eb2a69 63/** A fatal error, causing immediate exit. */
a0f6b076 64
81ebdef9 65void fatal (char const *format, ...)
ec88357a 66 __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2)));
e9955c83 67
81ebdef9 68void fatal_at (location loc, char const *format, ...)
ec88357a 69 __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3)));
a0f6b076 70
23eb2a69 71/** Whether an error was reported. */
ec88357a 72extern bool complaint_issued;
a0f6b076 73
ee000ba4 74# ifdef __cplusplus
a0f6b076 75}
ee000ba4 76# endif
a0f6b076
AD
77
78#endif /* !COMPLAIN_H_ */