]>
Commit | Line | Data |
---|---|---|
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 | 25 | extern "C" { |
ee000ba4 | 26 | # endif |
a0f6b076 | 27 | |
ee000ba4 | 28 | # ifdef __STDC__ |
a0f6b076 AD |
29 | |
30 | /* Informative messages, but we proceed. */ | |
31 | ||
e9955c83 AD |
32 | void warn (const char *format, ...) |
33 | __attribute__ ((__format__ (__printf__, 1, 2))); | |
34 | ||
ee000ba4 | 35 | void 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 |
40 | void complain (const char *format, ...) |
41 | __attribute__ ((__format__ (__printf__, 1, 2))); | |
42 | ||
ee000ba4 | 43 | void 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 |
48 | void fatal (const char *format, ...) |
49 | __attribute__ ((__format__ (__printf__, 1, 2))); | |
50 | ||
ee000ba4 | 51 | void fatal_at (location_t location, const char *format, ...) |
e9955c83 | 52 | __attribute__ ((__format__ (__printf__, 2, 3))); |
a0f6b076 | 53 | |
ee000ba4 | 54 | # else |
a0f6b076 | 55 | void warn (); |
e9955c83 | 56 | void warn_at (); |
a0f6b076 | 57 | void complain (); |
e9955c83 | 58 | void complain_at (); |
0e41b407 | 59 | void fatal (); |
e9955c83 | 60 | void fatal_at (); |
ee000ba4 | 61 | # endif |
a0f6b076 AD |
62 | |
63 | /* Position in the current input file. */ | |
64 | extern char *infile; | |
65 | extern int lineno; | |
66 | ||
67 | /* This variable is incremented each time `warn' is called. */ | |
68 | extern unsigned int warn_message_count; | |
69 | ||
70 | /* This variable is incremented each time `complain' is called. */ | |
71 | extern unsigned int complain_message_count; | |
72 | ||
ee000ba4 | 73 | # ifdef __cplusplus |
a0f6b076 | 74 | } |
ee000ba4 | 75 | # endif |
a0f6b076 AD |
76 | |
77 | #endif /* !COMPLAIN_H_ */ |