src/complain.h

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