summaryrefslogtreecommitdiff
path: root/src/complain.h
blob: f62817562b42916289463926d6b62c12a130e05b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
/* Declaration for error-reporting function for Bison.

   Copyright (C) 2000-2002, 2006, 2009-2011 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 Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

#ifndef COMPLAIN_H_
# define COMPLAIN_H_ 1

# include "location.h"

# ifdef	__cplusplus
extern "C" {
# endif

/** Informative messages, but we proceed.  */

void warn (char const *format, ...)
  __attribute__ ((__format__ (__printf__, 1, 2)));

void warn_at (location loc, char const *format, ...)
  __attribute__ ((__format__ (__printf__, 2, 3)));

/* Generate a message aligned by an indent.
   When *indent == 0, assign message's indent to *indent,
   When *indent > 0, align the message by *indent value. */
void warn_at_indent (location loc, unsigned *indent,
                     char const *format, ...)
  __attribute__ ((__format__ (__printf__, 3, 4)));

/** An error, but we continue and die later.  */

void complain (char const *format, ...)
  __attribute__ ((__format__ (__printf__, 1, 2)));

void complain_at (location loc, char const *format, ...)
  __attribute__ ((__format__ (__printf__, 2, 3)));

/* Generate a message aligned by an indent.
   When *indent == 0, assign message's indent to *indent,
   When *indent > 0, align the message by *indent value. */
void complain_at_indent (location loc, unsigned *indent,
                         char const *format, ...)
  __attribute__ ((__format__ (__printf__, 3, 4)));

/** An incompatibility with POSIX Yacc: mapped either to warn* or
    complain* depending on yacc_flag. */

void yacc_at (location loc, char const *format, ...)
  __attribute__ ((__format__ (__printf__, 2, 3)));


/** A fatal error, causing immediate exit.  */

void fatal (char const *format, ...)
  __attribute__ ((__noreturn__, __format__ (__printf__, 1, 2)));

void fatal_at (location loc, char const *format, ...)
  __attribute__ ((__noreturn__, __format__ (__printf__, 2, 3)));

/** Whether an error was reported.  */
extern bool complaint_issued;

# ifdef	__cplusplus
}
# endif

#endif /* !COMPLAIN_H_ */