]> git.saurik.com Git - bison.git/blame - src/files.c
Enable declaration of default %printer/%destructor. Make the parser
[bison.git] / src / files.c
CommitLineData
82129ef5
PE
1/* Open and close files for Bison.
2
cb48f191
PE
3 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006 Free Software Foundation, Inc.
54bd0db4 5
ceed8467 6 This file is part of Bison, the GNU Compiler Compiler.
54bd0db4 7
ceed8467
AD
8 Bison is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
11 any later version.
54bd0db4 12
ceed8467
AD
13 Bison is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
54bd0db4 17
ceed8467
AD
18 You should have received a copy of the GNU General Public License
19 along with Bison; see the file COPYING. If not, write to the Free
0fb669f9
PE
20 Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
21 02110-1301, USA. */
54bd0db4 22
2cec9080 23#include <config.h>
9eceb6c6 24#include "system.h"
6d441fc3
PE
25
26#include <error.h>
cb48f191 27#include <dirname.h>
6d441fc3 28#include <get-errno.h>
053658d5 29#include <quote.h>
cb48f191 30#include <stdio-safer.h>
1f65350a 31#include <xstrndup.h>
6d441fc3
PE
32
33#include "complain.h"
54bd0db4 34#include "files.h"
6d441fc3 35#include "getargs.h"
54bd0db4
RS
36#include "gram.h"
37
0dd1580a
RA
38struct obstack pre_prologue_obstack;
39struct obstack post_prologue_obstack;
8c7ebe49 40
b5b61c61
AD
41/* Initializing some values below (such SPEC_NAME_PREFIX to `yy') is
42 tempting, but don't do that: for the time being our handling of the
43 %directive vs --option leaves precedence to the options by deciding
44 that if a %directive sets a variable which is really set (i.e., not
45 NULL), then the %directive is ignored. As a result, %name-prefix,
46 for instance, will not be honored. */
47
2b81e969
AD
48char const *spec_outfile = NULL; /* for -o. */
49char const *spec_file_prefix = NULL; /* for -b. */
50char const *spec_name_prefix = NULL; /* for -p. */
51char const *spec_verbose_file = NULL; /* for --verbose. */
52char const *spec_graph_file = NULL; /* for -g. */
53char const *spec_defines_file = NULL; /* for --defines. */
54char const *parser_file_name;
54bd0db4 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
2b81e969
AD
75static char const *all_but_ext;
76static char const *all_but_tab_ext;
77char const *dir_prefix;
27110317 78
f0130d39 79/* C source file extension (the parser source). */
04098407 80static char const *src_extension = NULL;
f0130d39 81/* Header file extension (if option ``-d'' is specified). */
04098407 82static char const *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
b0ce6046 139/* Replace all characters FROM by TO in the string IN.
f0130d39 140 and returns a new allocated string. */
234a3be3 141static char *
f0130d39 142tr (const char *in, char from, char to)
234a3be3
AD
143{
144 char *temp;
82129ef5 145 char *out = xmalloc (strlen (in) + 1);
234a3be3
AD
146
147 for (temp = out; *in; in++, out++)
148 if (*in == from)
149 *out = to;
150 else
151 *out = *in;
152 *out = 0;
153 return (temp);
154}
155
d891bc49 156/* Compute extensions from the grammar file extension. */
234a3be3 157static void
f0130d39 158compute_exts_from_gf (const char *ext)
234a3be3 159{
342b8b6e
AD
160 src_extension = tr (ext, 'y', 'c');
161 src_extension = tr (src_extension, 'Y', 'C');
162 header_extension = tr (ext, 'y', 'h');
163 header_extension = tr (header_extension, 'Y', 'H');
234a3be3
AD
164}
165
d891bc49 166/* Compute extensions from the given c source file extension. */
234a3be3 167static void
f0130d39 168compute_exts_from_src (const char *ext)
234a3be3 169{
4ecbf796
MA
170 /* We use this function when the user specifies `-o' or `--output',
171 so the extenions must be computed unconditionally from the file name
172 given by this option. */
f0130d39
AD
173 src_extension = xstrdup (ext);
174 header_extension = tr (ext, 'c', 'h');
175 header_extension = tr (header_extension, 'C', 'H');
234a3be3 176}
d8880f69 177
ae404801 178
48b16bbc
PE
179/* Decompose FILE_NAME in four parts: *BASE, *TAB, and *EXT, the fourth
180 part, (the directory) is ranging from FILE_NAME to the char before
ae404801
AD
181 *BASE, so we don't need an additional parameter.
182
183 *EXT points to the last period in the basename, or NULL if none.
184
185 If there is no *EXT, *TAB is NULL. Otherwise, *TAB points to
186 `.tab' or `_tab' if present right before *EXT, or is NULL. *TAB
187 cannot be equal to *BASE.
188
48b16bbc 189 None are allocated, they are simply pointers to parts of FILE_NAME.
ae404801
AD
190 Examples:
191
192 '/tmp/foo.tab.c' -> *BASE = 'foo.tab.c', *TAB = '.tab.c', *EXT =
193 '.c'
194
195 'foo.c' -> *BASE = 'foo.c', *TAB = NULL, *EXT = '.c'
196
197 'tab.c' -> *BASE = 'tab.c', *TAB = NULL, *EXT = '.c'
198
199 '.tab.c' -> *BASE = '.tab.c', *TAB = NULL, *EXT = '.c'
200
201 'foo.tab' -> *BASE = 'foo.tab', *TAB = NULL, *EXT = '.tab'
202
203 'foo_tab' -> *BASE = 'foo_tab', *TAB = NULL, *EXT = NULL
204
205 'foo' -> *BASE = 'foo', *TAB = NULL, *EXT = NULL. */
206
207static void
48b16bbc
PE
208file_name_split (const char *file_name,
209 const char **base, const char **tab, const char **ext)
ae404801 210{
cb48f191 211 *base = last_component (file_name);
ae404801
AD
212
213 /* Look for the extension, i.e., look for the last dot. */
214 *ext = strrchr (*base, '.');
215 *tab = NULL;
216
82129ef5 217 /* If there is an extension, check if there is a `.tab' part right
ae404801 218 before. */
82129ef5
PE
219 if (*ext)
220 {
221 size_t baselen = *ext - *base;
222 size_t dottablen = 4;
223 if (dottablen < baselen
224 && (strncmp (*ext - dottablen, ".tab", dottablen) == 0
225 || strncmp (*ext - dottablen, "_tab", dottablen) == 0))
226 *tab = *ext - dottablen;
227 }
ae404801
AD
228}
229
230
19c50364 231static void
2b81e969 232compute_file_name_parts (void)
54bd0db4 233{
ae404801 234 const char *base, *tab, *ext;
b0ce6046 235
2b81e969
AD
236 /* Compute ALL_BUT_EXT and ALL_BUT_TAB_EXT from SPEC_OUTFILE
237 or GRAMMAR_FILE.
19c50364
AD
238
239 The precise -o name will be used for FTABLE. For other output
240 files, remove the ".c" or ".tab.c" suffix. */
54bd0db4
RS
241 if (spec_outfile)
242 {
48b16bbc 243 file_name_split (spec_outfile, &base, &tab, &ext);
2b81e969 244 dir_prefix = xstrndup (spec_outfile, base - spec_outfile);
ae404801 245
2b81e969
AD
246 /* ALL_BUT_EXT goes up the EXT, excluding it. */
247 all_but_ext =
ae404801
AD
248 xstrndup (spec_outfile,
249 (strlen (spec_outfile) - (ext ? strlen (ext) : 0)));
b85810ae 250
2b81e969
AD
251 /* ALL_BUT_TAB_EXT goes up to TAB, excluding it. */
252 all_but_tab_ext =
ae404801
AD
253 xstrndup (spec_outfile,
254 (strlen (spec_outfile)
255 - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
256
ae404801
AD
257 if (ext)
258 compute_exts_from_src (ext);
54bd0db4 259 }
ae404801 260 else
54bd0db4 261 {
2b81e969
AD
262 file_name_split (grammar_file, &base, &tab, &ext);
263
ae404801
AD
264 if (spec_file_prefix)
265 {
02d7cce6
PE
266 /* If --file-prefix=foo was specified, ALL_BUT_TAB_EXT = `foo'. */
267 dir_prefix = xstrndup (grammar_file, base - grammar_file);
268 all_but_tab_ext = xstrdup (spec_file_prefix);
ae404801
AD
269 }
270 else if (yacc_flag)
271 {
02d7cce6
PE
272 /* If --yacc, then the output is `y.tab.c'. */
273 dir_prefix = "";
274 all_but_tab_ext = "y";
ae404801
AD
275 }
276 else
277 {
02d7cce6 278 /* Otherwise, ALL_BUT_TAB_EXT is computed from the input
8c165d89 279 grammar: `foo/bar.yy' => `bar'. */
02d7cce6
PE
280 dir_prefix = "";
281 all_but_tab_ext =
282 xstrndup (base, (strlen (base) - (ext ? strlen (ext) : 0)));
ae404801 283 }
9b3add5b 284
2b81e969 285 all_but_ext = concat2 (all_but_tab_ext, TAB_EXT);
ae404801 286
d891bc49 287 /* Compute the extensions from the grammar file name. */
5e5d5415 288 if (ext && !yacc_flag)
ae404801 289 compute_exts_from_gf (ext);
54bd0db4 290 }
19c50364
AD
291}
292
053658d5
PE
293
294/* Compute the output file names. Warn if we detect conflicting
295 outputs to the same file. */
342b8b6e
AD
296
297void
298compute_output_file_names (void)
299{
053658d5
PE
300 char const *name[4];
301 int i;
302 int j;
303 int names = 0;
304
2b81e969 305 compute_file_name_parts ();
342b8b6e
AD
306
307 /* If not yet done. */
308 if (!src_extension)
309 src_extension = ".c";
310 if (!header_extension)
311 header_extension = ".h";
fdbcd8e2 312
053658d5 313 name[names++] = parser_file_name =
2b81e969 314 spec_outfile ? spec_outfile : concat2 (all_but_ext, src_extension);
fdbcd8e2 315
053658d5
PE
316 if (defines_flag)
317 {
318 if (! spec_defines_file)
02d7cce6 319 spec_defines_file = concat2 (all_but_ext, header_extension);
053658d5
PE
320 name[names++] = spec_defines_file;
321 }
342b8b6e 322
053658d5
PE
323 if (graph_flag)
324 {
325 if (! spec_graph_file)
02d7cce6 326 spec_graph_file = concat2 (all_but_tab_ext, ".vcg");
053658d5
PE
327 name[names++] = spec_graph_file;
328 }
329
330 if (report_flag)
331 {
2b81e969 332 spec_verbose_file = concat2 (all_but_tab_ext, OUTPUT_EXT);
053658d5
PE
333 name[names++] = spec_verbose_file;
334 }
342b8b6e 335
053658d5
PE
336 for (j = 0; j < names; j++)
337 for (i = 0; i < j; i++)
338 if (strcmp (name[i], name[j]) == 0)
339 warn (_("conflicting outputs to file %s"), quote (name[i]));
342b8b6e 340}