]> git.saurik.com Git - bison.git/blame - src/files.c
tests: style changes.
[bison.git] / src / files.c
CommitLineData
82129ef5
PE
1/* Open and close files for Bison.
2
ea0a7676
JD
3 Copyright (C) 1984, 1986, 1989, 1992, 2000-2011 Free Software
4 Foundation, Inc.
54bd0db4 5
ceed8467 6 This file is part of Bison, the GNU Compiler Compiler.
54bd0db4 7
f16b0819
PE
8 This program is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
54bd0db4 12
f16b0819
PE
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
54bd0db4 17
ceed8467 18 You should have received a copy of the GNU General Public License
f16b0819 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
54bd0db4 20
2cec9080 21#include <config.h>
9eceb6c6 22#include "system.h"
6d441fc3
PE
23
24#include <error.h>
cb48f191 25#include <dirname.h>
6d441fc3 26#include <get-errno.h>
053658d5 27#include <quote.h>
cb48f191 28#include <stdio-safer.h>
1f65350a 29#include <xstrndup.h>
6d441fc3
PE
30
31#include "complain.h"
54bd0db4 32#include "files.h"
6d441fc3 33#include "getargs.h"
54bd0db4
RS
34#include "gram.h"
35
b5b61c61
AD
36/* Initializing some values below (such SPEC_NAME_PREFIX to `yy') is
37 tempting, but don't do that: for the time being our handling of the
38 %directive vs --option leaves precedence to the options by deciding
39 that if a %directive sets a variable which is really set (i.e., not
40 NULL), then the %directive is ignored. As a result, %name-prefix,
41 for instance, will not be honored. */
42
2b81e969
AD
43char const *spec_outfile = NULL; /* for -o. */
44char const *spec_file_prefix = NULL; /* for -b. */
45char const *spec_name_prefix = NULL; /* for -p. */
eb095650
PE
46char *spec_verbose_file = NULL; /* for --verbose. */
47char *spec_graph_file = NULL; /* for -g. */
41d7a5f2 48char *spec_xml_file = NULL; /* for -x. */
eb095650
PE
49char *spec_defines_file = NULL; /* for --defines. */
50char *parser_file_name;
54bd0db4 51
3f7ca628
JD
52/* All computed output file names. */
53static char **file_names = NULL;
54static int file_names_count = 0;
55
6d441fc3
PE
56uniqstr grammar_file = NULL;
57uniqstr current_file = NULL;
4a120d45 58
2b81e969
AD
59/* If --output=dir/foo.c was specified,
60 DIR_PREFIX is `dir/' and ALL_BUT_EXT and ALL_BUT_TAB_EXT are `dir/foo'.
61
62 If --output=dir/foo.tab.c was specified, DIR_PREFIX is `dir/',
63 ALL_BUT_EXT is `dir/foo.tab', and ALL_BUT_TAB_EXT is `dir/foo'.
64
65 If --output was not specified but --file-prefix=dir/foo was specified,
66 ALL_BUT_EXT = `foo.tab' and ALL_BUT_TAB_EXT = `foo'.
67
68 If neither --output nor --file was specified but the input grammar
69 is name dir/foo.y, ALL_BUT_EXT and ALL_BUT_TAB_EXT are `foo'.
70
71 If neither --output nor --file was specified, DIR_PREFIX is the
72 empty string (meaning the current directory); otherwise it is
73 `dir/'. */
b85810ae 74
bd9d212b 75char *all_but_ext;
eb095650
PE
76static char *all_but_tab_ext;
77char *dir_prefix;
27110317 78
f0130d39 79/* C source file extension (the parser source). */
eb095650 80static char *src_extension = NULL;
f0130d39 81/* Header file extension (if option ``-d'' is specified). */
eb095650 82static char *header_extension = NULL;
54bd0db4 83\f
358c15b7
AD
84/*-----------------------------------------------------------------.
85| Return a newly allocated string composed of the concatenation of |
6d441fc3 86| STR1, and STR2. |
358c15b7 87`-----------------------------------------------------------------*/
54bd0db4 88
6d441fc3
PE
89static char *
90concat2 (char const *str1, char const *str2)
54bd0db4 91{
6d441fc3 92 size_t len = strlen (str1) + strlen (str2);
82129ef5 93 char *res = xmalloc (len + 1);
358c15b7 94 char *cp;
6d441fc3
PE
95 cp = stpcpy (res, str1);
96 cp = stpcpy (cp, str2);
358c15b7 97 return res;
54bd0db4
RS
98}
99
cfe5fbc0
AD
100/*-----------------------------------------------------------------.
101| Try to open file NAME with mode MODE, and print an error message |
102| if fails. |
103`-----------------------------------------------------------------*/
54bd0db4 104
ff61dabd 105FILE *
8963a27b 106xfopen (const char *name, const char *mode)
cfe5fbc0 107{
8963a27b 108 FILE *ptr;
cfe5fbc0 109
3ea5f0ec 110 ptr = fopen_safer (name, mode);
cfe5fbc0 111 if (!ptr)
6d441fc3 112 error (EXIT_FAILURE, get_errno (), _("cannot open file `%s'"), name);
cfe5fbc0
AD
113
114 return ptr;
115}
116
117/*-------------------------------------------------------------.
118| Try to close file PTR, and print an error message if fails. |
119`-------------------------------------------------------------*/
120
e63ee1f1 121void
8963a27b 122xfclose (FILE *ptr)
cfe5fbc0 123{
cfe5fbc0 124 if (ptr == NULL)
e63ee1f1 125 return;
cfe5fbc0 126
e63ee1f1
PE
127 if (ferror (ptr))
128 error (EXIT_FAILURE, 0, _("I/O error"));
cfe5fbc0 129
e63ee1f1 130 if (fclose (ptr) != 0)
6d441fc3 131 error (EXIT_FAILURE, get_errno (), _("cannot close file"));
cfe5fbc0
AD
132}
133\f
f0130d39 134
2b81e969
AD
135/*------------------------------------------------------------------.
136| Compute ALL_BUT_EXT, ALL_BUT_TAB_EXT and output files extensions. |
137`------------------------------------------------------------------*/
234a3be3 138
d891bc49 139/* Compute extensions from the grammar file extension. */
234a3be3 140static void
f0130d39 141compute_exts_from_gf (const char *ext)
234a3be3 142{
0e021770
PE
143 if (strcmp (ext, ".y") == 0)
144 {
145 src_extension = xstrdup (language->src_extension);
146 header_extension = xstrdup (language->header_extension);
147 }
148 else
149 {
150 src_extension = xstrdup (ext);
151 header_extension = xstrdup (ext);
152 tr (src_extension, 'y', 'c');
153 tr (src_extension, 'Y', 'C');
154 tr (header_extension, 'y', 'h');
155 tr (header_extension, 'Y', 'H');
156 }
234a3be3
AD
157}
158
d891bc49 159/* Compute extensions from the given c source file extension. */
234a3be3 160static void
f0130d39 161compute_exts_from_src (const char *ext)
234a3be3 162{
4ecbf796
MA
163 /* We use this function when the user specifies `-o' or `--output',
164 so the extenions must be computed unconditionally from the file name
165 given by this option. */
f0130d39 166 src_extension = xstrdup (ext);
eb095650
PE
167 header_extension = xstrdup (ext);
168 tr (header_extension, 'c', 'h');
169 tr (header_extension, 'C', 'H');
234a3be3 170}
d8880f69 171
ae404801 172
48b16bbc
PE
173/* Decompose FILE_NAME in four parts: *BASE, *TAB, and *EXT, the fourth
174 part, (the directory) is ranging from FILE_NAME to the char before
ae404801
AD
175 *BASE, so we don't need an additional parameter.
176
177 *EXT points to the last period in the basename, or NULL if none.
178
179 If there is no *EXT, *TAB is NULL. Otherwise, *TAB points to
180 `.tab' or `_tab' if present right before *EXT, or is NULL. *TAB
181 cannot be equal to *BASE.
182
48b16bbc 183 None are allocated, they are simply pointers to parts of FILE_NAME.
ae404801
AD
184 Examples:
185
186 '/tmp/foo.tab.c' -> *BASE = 'foo.tab.c', *TAB = '.tab.c', *EXT =
187 '.c'
188
189 'foo.c' -> *BASE = 'foo.c', *TAB = NULL, *EXT = '.c'
190
191 'tab.c' -> *BASE = 'tab.c', *TAB = NULL, *EXT = '.c'
192
193 '.tab.c' -> *BASE = '.tab.c', *TAB = NULL, *EXT = '.c'
194
195 'foo.tab' -> *BASE = 'foo.tab', *TAB = NULL, *EXT = '.tab'
196
197 'foo_tab' -> *BASE = 'foo_tab', *TAB = NULL, *EXT = NULL
198
199 'foo' -> *BASE = 'foo', *TAB = NULL, *EXT = NULL. */
200
201static void
48b16bbc
PE
202file_name_split (const char *file_name,
203 const char **base, const char **tab, const char **ext)
ae404801 204{
cb48f191 205 *base = last_component (file_name);
ae404801
AD
206
207 /* Look for the extension, i.e., look for the last dot. */
208 *ext = strrchr (*base, '.');
209 *tab = NULL;
210
82129ef5 211 /* If there is an extension, check if there is a `.tab' part right
ae404801 212 before. */
82129ef5
PE
213 if (*ext)
214 {
215 size_t baselen = *ext - *base;
216 size_t dottablen = 4;
217 if (dottablen < baselen
218 && (strncmp (*ext - dottablen, ".tab", dottablen) == 0
219 || strncmp (*ext - dottablen, "_tab", dottablen) == 0))
220 *tab = *ext - dottablen;
221 }
ae404801
AD
222}
223
224
19c50364 225static void
2b81e969 226compute_file_name_parts (void)
54bd0db4 227{
ae404801 228 const char *base, *tab, *ext;
b0ce6046 229
2b81e969
AD
230 /* Compute ALL_BUT_EXT and ALL_BUT_TAB_EXT from SPEC_OUTFILE
231 or GRAMMAR_FILE.
19c50364
AD
232
233 The precise -o name will be used for FTABLE. For other output
234 files, remove the ".c" or ".tab.c" suffix. */
54bd0db4
RS
235 if (spec_outfile)
236 {
48b16bbc 237 file_name_split (spec_outfile, &base, &tab, &ext);
2b81e969 238 dir_prefix = xstrndup (spec_outfile, base - spec_outfile);
ae404801 239
2b81e969
AD
240 /* ALL_BUT_EXT goes up the EXT, excluding it. */
241 all_but_ext =
ae404801
AD
242 xstrndup (spec_outfile,
243 (strlen (spec_outfile) - (ext ? strlen (ext) : 0)));
b85810ae 244
2b81e969
AD
245 /* ALL_BUT_TAB_EXT goes up to TAB, excluding it. */
246 all_but_tab_ext =
ae404801
AD
247 xstrndup (spec_outfile,
248 (strlen (spec_outfile)
249 - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
250
ae404801
AD
251 if (ext)
252 compute_exts_from_src (ext);
54bd0db4 253 }
ae404801 254 else
54bd0db4 255 {
2b81e969
AD
256 file_name_split (grammar_file, &base, &tab, &ext);
257
ae404801
AD
258 if (spec_file_prefix)
259 {
02d7cce6 260 /* If --file-prefix=foo was specified, ALL_BUT_TAB_EXT = `foo'. */
cae5057f
JD
261 dir_prefix =
262 xstrndup (spec_file_prefix,
263 last_component (spec_file_prefix) - spec_file_prefix);
02d7cce6 264 all_but_tab_ext = xstrdup (spec_file_prefix);
ae404801
AD
265 }
266 else if (yacc_flag)
267 {
02d7cce6 268 /* If --yacc, then the output is `y.tab.c'. */
eb095650
PE
269 dir_prefix = xstrdup ("");
270 all_but_tab_ext = xstrdup ("y");
ae404801
AD
271 }
272 else
273 {
02d7cce6 274 /* Otherwise, ALL_BUT_TAB_EXT is computed from the input
8c165d89 275 grammar: `foo/bar.yy' => `bar'. */
eb095650 276 dir_prefix = xstrdup ("");
02d7cce6
PE
277 all_but_tab_ext =
278 xstrndup (base, (strlen (base) - (ext ? strlen (ext) : 0)));
ae404801 279 }
9b3add5b 280
0e021770
PE
281 if (language->add_tab)
282 all_but_ext = concat2 (all_but_tab_ext, TAB_EXT);
283 else
284 all_but_ext = xstrdup (all_but_tab_ext);
ae404801 285
d891bc49 286 /* Compute the extensions from the grammar file name. */
5e5d5415 287 if (ext && !yacc_flag)
ae404801 288 compute_exts_from_gf (ext);
54bd0db4 289 }
19c50364
AD
290}
291
053658d5
PE
292
293/* Compute the output file names. Warn if we detect conflicting
294 outputs to the same file. */
342b8b6e
AD
295
296void
297compute_output_file_names (void)
298{
2b81e969 299 compute_file_name_parts ();
342b8b6e
AD
300
301 /* If not yet done. */
302 if (!src_extension)
eb095650 303 src_extension = xstrdup (".c");
342b8b6e 304 if (!header_extension)
eb095650 305 header_extension = xstrdup (".h");
fdbcd8e2 306
3f7ca628 307 parser_file_name =
eb095650
PE
308 (spec_outfile
309 ? xstrdup (spec_outfile)
310 : concat2 (all_but_ext, src_extension));
fdbcd8e2 311
053658d5
PE
312 if (defines_flag)
313 {
314 if (! spec_defines_file)
02d7cce6 315 spec_defines_file = concat2 (all_but_ext, header_extension);
053658d5 316 }
342b8b6e 317
053658d5
PE
318 if (graph_flag)
319 {
320 if (! spec_graph_file)
35fe0834 321 spec_graph_file = concat2 (all_but_tab_ext, ".dot");
47fa5747 322 output_file_name_check (&spec_graph_file);
053658d5
PE
323 }
324
41d7a5f2
PE
325 if (xml_flag)
326 {
327 if (! spec_xml_file)
328 spec_xml_file = concat2 (all_but_tab_ext, ".xml");
47fa5747 329 output_file_name_check (&spec_xml_file);
41d7a5f2
PE
330 }
331
053658d5
PE
332 if (report_flag)
333 {
1bb2bd75
JD
334 if (!spec_verbose_file)
335 spec_verbose_file = concat2 (all_but_tab_ext, OUTPUT_EXT);
47fa5747 336 output_file_name_check (&spec_verbose_file);
053658d5 337 }
342b8b6e 338
eb095650
PE
339 free (all_but_tab_ext);
340 free (src_extension);
341 free (header_extension);
342}
343
3f7ca628 344void
47fa5747 345output_file_name_check (char **file_name)
3f7ca628 346{
47fa5747
JD
347 bool conflict = false;
348 if (0 == strcmp (*file_name, grammar_file))
349 {
350 complain (_("refusing to overwrite the input file %s"),
351 quote (*file_name));
352 conflict = true;
353 }
354 else
355 {
356 int i;
357 for (i = 0; i < file_names_count; i++)
358 if (0 == strcmp (file_names[i], *file_name))
359 {
360 warn (_("conflicting outputs to file %s"),
361 quote (*file_name));
362 conflict = true;
363 }
364 }
365 if (conflict)
366 {
367 free (*file_name);
368 *file_name = strdup ("/dev/null");
369 }
370 else
371 {
372 file_names = xnrealloc (file_names, ++file_names_count,
373 sizeof *file_names);
374 file_names[file_names_count-1] = xstrdup (*file_name);
375 }
3f7ca628
JD
376}
377
eb095650
PE
378void
379output_file_names_free (void)
380{
bd9d212b 381 free (all_but_ext);
eb095650
PE
382 free (spec_verbose_file);
383 free (spec_graph_file);
41d7a5f2 384 free (spec_xml_file);
eb095650
PE
385 free (spec_defines_file);
386 free (parser_file_name);
387 free (dir_prefix);
3f7ca628
JD
388 {
389 int i;
390 for (i = 0; i < file_names_count; i++)
391 free (file_names[i]);
392 }
393 free (file_names);
342b8b6e 394}