Mercurial > hg > octave-nkf > gnulib-hg
annotate lib/error.c @ 573:8a90f3b04017
update from FSF:/home/gd/gnu/lib
author | Jim Meyering <jim@meyering.net> |
---|---|
date | Sat, 30 Mar 1996 14:26:16 +0000 |
parents | 55f487a8aeab |
children | e5d48e9f9bcc |
rev | line source |
---|---|
9 | 1 /* error.c -- error handler for noninteractive utilities |
572 | 2 Copyright (C) 1990, 91, 92, 93, 94, 95, 96 Free Software Foundation, Inc. |
9 | 3 |
573
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
4 This program is free software; you can redistribute it and/or modify |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
5 it under the terms of the GNU General Public License as published by |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
6 the Free Software Foundation; either version 2, or (at your option) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
7 any later version. |
9 | 8 |
573
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
9 This program is distributed in the hope that it will be useful, |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
10 but WITHOUT ANY WARRANTY; without even the implied warranty of |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
12 GNU General Public License for more details. |
572 | 13 |
573
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
14 You should have received a copy of the GNU General Public License |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
15 along with this program; if not, write to the Free Software |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
16 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ |
9 | 17 |
398 | 18 /* Written by David MacKenzie <djm@gnu.ai.mit.edu>. */ |
19 | |
20 #ifdef HAVE_CONFIG_H | |
21 #include <config.h> | |
22 #endif | |
9 | 23 |
24 #include <stdio.h> | |
25 | |
527 | 26 #if HAVE_VPRINTF || HAVE_DOPRNT || _LIBC |
398 | 27 # if __STDC__ |
28 # include <stdarg.h> | |
29 # define VA_START(args, lastarg) va_start(args, lastarg) | |
30 # else | |
31 # include <varargs.h> | |
32 # define VA_START(args, lastarg) va_start(args) | |
33 # endif | |
34 #else | |
35 # define va_alist a1, a2, a3, a4, a5, a6, a7, a8 | |
36 # define va_dcl char *a1, *a2, *a3, *a4, *a5, *a6, *a7, *a8; | |
37 #endif | |
9 | 38 |
527 | 39 #if STDC_HEADERS || _LIBC |
398 | 40 # include <stdlib.h> |
41 # include <string.h> | |
42 #else | |
43 void exit (); | |
44 #endif | |
9 | 45 |
572 | 46 #ifndef _ |
47 #define _(String) String | |
48 #endif | |
440 | 49 |
398 | 50 /* If NULL, error will flush stdout, then print on stderr the program |
51 name, a colon and a space. Otherwise, error will call this | |
52 function without parameters instead. */ | |
572 | 53 void (*error_print_progname) ( |
54 #if __STDC__ - 0 | |
55 void | |
56 #endif | |
57 ); | |
58 | |
59 /* This variable is incremented each time `error' is called. */ | |
60 unsigned int error_message_count; | |
9 | 61 |
527 | 62 #ifdef _LIBC |
572 | 63 /* In the GNU C library, there is a predefined variable for this. */ |
64 | |
527 | 65 #define program_name program_invocation_name |
572 | 66 #include <errno.h> |
67 | |
68 #else | |
527 | 69 |
398 | 70 /* The calling program should define program_name and set it to the |
71 name of the executing program. */ | |
72 extern char *program_name; | |
9 | 73 |
572 | 74 #if HAVE_STRERROR |
482 | 75 # ifndef strerror /* On some systems, strerror is a macro */ |
398 | 76 char *strerror (); |
77 # endif | |
78 #else | |
9 | 79 static char * |
80 private_strerror (errnum) | |
81 int errnum; | |
82 { | |
83 extern char *sys_errlist[]; | |
84 extern int sys_nerr; | |
85 | |
86 if (errnum > 0 && errnum <= sys_nerr) | |
87 return sys_errlist[errnum]; | |
572 | 88 return _("Unknown system error"); |
9 | 89 } |
90 #define strerror private_strerror | |
572 | 91 #endif /* HAVE_STRERROR */ |
92 #endif /* _LIBC */ | |
9 | 93 |
94 /* Print the program name and error message MESSAGE, which is a printf-style | |
95 format string with optional args. | |
96 If ERRNUM is nonzero, print its corresponding system error message. | |
97 Exit with status STATUS if it is nonzero. */ | |
98 /* VARARGS */ | |
398 | 99 |
9 | 100 void |
398 | 101 #if defined(VA_START) && __STDC__ |
102 error (int status, int errnum, const char *message, ...) | |
103 #else | |
9 | 104 error (status, errnum, message, va_alist) |
105 int status; | |
106 int errnum; | |
107 char *message; | |
108 va_dcl | |
398 | 109 #endif |
9 | 110 { |
398 | 111 #ifdef VA_START |
9 | 112 va_list args; |
398 | 113 #endif |
9 | 114 |
398 | 115 if (error_print_progname) |
116 (*error_print_progname) (); | |
117 else | |
118 { | |
119 fflush (stdout); | |
120 fprintf (stderr, "%s: ", program_name); | |
121 } | |
122 | |
123 #ifdef VA_START | |
9 | 124 VA_START (args, message); |
527 | 125 # if HAVE_VPRINTF || _LIBC |
9 | 126 vfprintf (stderr, message, args); |
398 | 127 # else |
128 _doprnt (message, args, stderr); | |
129 # endif | |
9 | 130 va_end (args); |
398 | 131 #else |
9 | 132 fprintf (stderr, message, a1, a2, a3, a4, a5, a6, a7, a8); |
398 | 133 #endif |
134 | |
440 | 135 ++error_message_count; |
9 | 136 if (errnum) |
137 fprintf (stderr, ": %s", strerror (errnum)); | |
138 putc ('\n', stderr); | |
139 fflush (stderr); | |
140 if (status) | |
141 exit (status); | |
142 } | |
572 | 143 |
573
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
144 /* Sometimes we want to have at most one error per line. This |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
145 variable controls whether this mode is selected or not. */ |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
146 int error_one_per_line; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
147 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
148 void |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
149 #if defined(VA_START) && __STDC__ |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
150 error_at_line (int status, int errnum, const char *file_name, |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
151 unsigned int line_number, const char *message, ...) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
152 #else |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
153 error_at_line (status, errnum, file_name, line_number, message, va_alist) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
154 int status; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
155 int errnum; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
156 const char *file_name; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
157 unsigned int line_number; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
158 char *message; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
159 va_dcl |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
160 #endif |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
161 { |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
162 #ifdef VA_START |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
163 va_list args; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
164 #endif |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
165 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
166 if (error_one_per_line) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
167 { |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
168 static const char *old_file_name; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
169 static unsigned int old_line_number; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
170 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
171 if (old_line_number == line_number && |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
172 (file_name == old_file_name || !strcmp (old_file_name, file_name))) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
173 /* Simply return and print nothing. */ |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
174 return; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
175 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
176 old_file_name = file_name; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
177 old_line_number = line_number; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
178 } |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
179 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
180 if (error_print_progname) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
181 (*error_print_progname) (); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
182 else |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
183 { |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
184 fflush (stdout); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
185 fprintf (stderr, "%s:", program_name); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
186 } |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
187 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
188 if (file_name != NULL) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
189 fprintf (stderr, "%s:%d: ", file_name, line_number); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
190 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
191 #ifdef VA_START |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
192 VA_START (args, message); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
193 # if HAVE_VPRINTF || _LIBC |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
194 vfprintf (stderr, message, args); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
195 # else |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
196 _doprnt (message, args, stderr); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
197 # endif |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
198 va_end (args); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
199 #else |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
200 fprintf (stderr, message, a1, a2, a3, a4, a5, a6, a7, a8); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
201 #endif |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
202 |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
203 ++error_message_count; |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
204 if (errnum) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
205 fprintf (stderr, ": %s", strerror (errnum)); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
206 putc ('\n', stderr); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
207 fflush (stderr); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
208 if (status) |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
209 exit (status); |
8a90f3b04017
update from FSF:/home/gd/gnu/lib
Jim Meyering <jim@meyering.net>
parents:
572
diff
changeset
|
210 } |