]> git.saurik.com Git - bison.git/blame - src/complain.h
and Akim Demaille <akim@epita.fr>
[bison.git] / src / complain.h
CommitLineData
a0f6b076 1/* Declaration for error-reporting function for Bison.
ee000ba4 2 Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc.
a0f6b076
AD
3
4 This program is free software; you can redistribute it and/or modify it
5 under the terms of the GNU General Public License as published by the
6 Free Software Foundation; either version 2, or (at your option) any
7 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, write to the Free Software
16 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
17 USA. */
18
19#ifndef COMPLAIN_H_
ee000ba4 20# define COMPLAIN_H_ 1
a0f6b076 21
ee000ba4
AD
22# include "location.h"
23
24# ifdef __cplusplus
a0f6b076 25extern "C" {
ee000ba4 26# endif
a0f6b076 27
ee000ba4 28# ifdef __STDC__
a0f6b076
AD
29
30/* Informative messages, but we proceed. */
31
e9955c83
AD
32void warn (const char *format, ...)
33 __attribute__ ((__format__ (__printf__, 1, 2)));
34
ee000ba4 35void warn_at (location_t location, const char *format, ...)
e9955c83 36 __attribute__ ((__format__ (__printf__, 2, 3)));
a0f6b076
AD
37
38/* Something bad happen, but let's continue and die later. */
39
e9955c83
AD
40void complain (const char *format, ...)
41 __attribute__ ((__format__ (__printf__, 1, 2)));
42
ee000ba4 43void complain_at (location_t location, const char *format, ...)
e9955c83 44 __attribute__ ((__format__ (__printf__, 2, 3)));
a0f6b076
AD
45
46/* Something bad happen and we die now. */
47
e9955c83
AD
48void fatal (const char *format, ...)
49 __attribute__ ((__format__ (__printf__, 1, 2)));
50
ee000ba4 51void fatal_at (location_t location, const char *format, ...)
e9955c83 52 __attribute__ ((__format__ (__printf__, 2, 3)));
a0f6b076 53
ee000ba4 54# else
a0f6b076 55void warn ();
e9955c83 56void warn_at ();
a0f6b076 57void complain ();
e9955c83 58void complain_at ();
0e41b407 59void fatal ();
e9955c83 60void fatal_at ();
ee000ba4 61# endif
a0f6b076
AD
62
63/* Position in the current input file. */
64extern char *infile;
65extern int lineno;
66
67/* This variable is incremented each time `warn' is called. */
68extern unsigned int warn_message_count;
69
70/* This variable is incremented each time `complain' is called. */
71extern unsigned int complain_message_count;
72
ee000ba4 73# ifdef __cplusplus
a0f6b076 74}
ee000ba4 75# endif
a0f6b076
AD
76
77#endif /* !COMPLAIN_H_ */