X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/e9955c83734d0a545d7822a1feb9c4a8038a62cb..02d12d0de29cd35a6fd2acabc551e0d89b3fa242:/src/complain.h diff --git a/src/complain.h b/src/complain.h index 79a3e122..9ae334a4 100644 --- a/src/complain.h +++ b/src/complain.h @@ -1,5 +1,5 @@ /* Declaration for error-reporting function for Bison. - Copyright 2000, 2001 Free Software Foundation, Inc. + Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the @@ -13,63 +13,50 @@ You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ #ifndef COMPLAIN_H_ -#define COMPLAIN_H_ 1 +# define COMPLAIN_H_ 1 -#ifdef __cplusplus -extern "C" { -#endif +# include "location.h" -#ifdef __STDC__ +# ifdef __cplusplus +extern "C" { +# endif -/* Informative messages, but we proceed. */ +/* Informative messages, but we proceed. */ -void warn (const char *format, ...) +void warn (char const *format, ...) __attribute__ ((__format__ (__printf__, 1, 2))); -void warn_at (int location, const char *format, ...) +void warn_at (location loc, char const *format, ...) __attribute__ ((__format__ (__printf__, 2, 3))); -/* Something bad happen, but let's continue and die later. */ +/* Something bad happened, but let's continue and die later. */ -void complain (const char *format, ...) +void complain (char const *format, ...) __attribute__ ((__format__ (__printf__, 1, 2))); -void complain_at (int location, const char *format, ...) +void complain_at (location loc, char const *format, ...) __attribute__ ((__format__ (__printf__, 2, 3))); -/* Something bad happen and we die now. */ - -void fatal (const char *format, ...) - __attribute__ ((__format__ (__printf__, 1, 2))); - -void fatal_at (int location, const char *format, ...) - __attribute__ ((__format__ (__printf__, 2, 3))); +/* Something bad happened, and let's die now. */ -#else -void warn (); -void warn_at (); -void complain (); -void complain_at (); -void fatal (); -void fatal_at (); -#endif +void fatal (char const *format, ...) + __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2))); -/* Position in the current input file. */ -extern char *infile; -extern int lineno; +void fatal_at (location loc, char const *format, ...) + __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3))); -/* This variable is incremented each time `warn' is called. */ -extern unsigned int warn_message_count; +/* This variable is set each time `warn' is called. */ +extern bool warning_issued; -/* This variable is incremented each time `complain' is called. */ -extern unsigned int complain_message_count; +/* This variable is set each time `complain' is called. */ +extern bool complaint_issued; -#ifdef __cplusplus +# ifdef __cplusplus } -#endif +# endif #endif /* !COMPLAIN_H_ */