]> git.saurik.com Git - bison.git/blame_incremental - src/files.c
Regen.
[bison.git] / src / files.c
... / ...
CommitLineData
1/* Open and close files for bison,
2 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002
3 Free Software Foundation, Inc.
4
5 This file is part of Bison, the GNU Compiler Compiler.
6
7 Bison is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 Bison is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with Bison; see the file COPYING. If not, write to the Free
19 Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
21
22
23#include "system.h"
24#include "getargs.h"
25#include "files.h"
26#include "gram.h"
27#include "error.h"
28#include "complain.h"
29
30/* From basename.c. Almost a lie, as it returns a char *. */
31const char *base_name (char const *name);
32
33FILE *finput = NULL;
34
35struct obstack pre_prologue_obstack;
36struct obstack post_prologue_obstack;
37
38/* Initializing some values below (such SPEC_NAME_PREFIX to `yy') is
39 tempting, but don't do that: for the time being our handling of the
40 %directive vs --option leaves precedence to the options by deciding
41 that if a %directive sets a variable which is really set (i.e., not
42 NULL), then the %directive is ignored. As a result, %name-prefix,
43 for instance, will not be honored. */
44
45char *spec_outfile = NULL; /* for -o. */
46char *spec_file_prefix = NULL; /* for -b. */
47const char *spec_name_prefix = NULL; /* for -p. */
48char *spec_verbose_file = NULL; /* for --verbose. */
49char *spec_graph_file = NULL; /* for -g. */
50char *spec_defines_file = NULL; /* for --defines. */
51char *parser_file_name = NULL;
52
53char *infile = NULL;
54
55static char *full_base_name = NULL;
56
57/* Prefix used to generate output file names. */
58char *short_base_name = NULL;
59
60/* Infix used to generate output file names (i.e., `.tab', or `_tab',
61 or `'). */
62char *output_infix = NULL;
63
64/* C source file extension (the parser source). */
65const char *src_extension = NULL;
66/* Header file extension (if option ``-d'' is specified). */
67const char *header_extension = NULL;
68\f
69
70/*--------------------------.
71| Is SUFFIX ending STRING? |
72`--------------------------*/
73
74int
75strsuffix (const char *string, const char *suffix)
76{
77 size_t string_len = strlen (string);
78 size_t suffix_len = strlen (suffix);
79 if (suffix_len <= string_len)
80 return !strcmp (string + string_len - suffix_len, suffix);
81 else
82 return 0;
83}
84
85
86/*-----------------------------------------------------------------.
87| Return a newly allocated string composed of the concatenation of |
88| STRING1, and STRING2. |
89`-----------------------------------------------------------------*/
90
91char*
92stringappend (const char *string1, const char *string2)
93{
94 size_t len = strlen (string1) + strlen (string2);
95 char *res = XMALLOC (char, len + 1);
96 char *cp;
97 cp = stpcpy (res, string1);
98 cp = stpcpy (cp, string2);
99 return res;
100}
101
102/*-----------------------------------------------------------------.
103| Try to open file NAME with mode MODE, and print an error message |
104| if fails. |
105`-----------------------------------------------------------------*/
106
107FILE *
108xfopen (const char *name, const char *mode)
109{
110 FILE *ptr;
111
112 ptr = fopen (name, mode);
113 if (!ptr)
114 error (EXIT_FAILURE, errno, _("cannot open file `%s'"), name);
115
116 return ptr;
117}
118
119/*-------------------------------------------------------------.
120| Try to close file PTR, and print an error message if fails. |
121`-------------------------------------------------------------*/
122
123void
124xfclose (FILE *ptr)
125{
126 if (ptr == NULL)
127 return;
128
129 if (ferror (ptr))
130 error (EXIT_FAILURE, 0, _("I/O error"));
131
132 if (fclose (ptr) != 0)
133 error (EXIT_FAILURE, errno, _("cannot close file"));
134}
135\f
136
137/*----------------------------------------------------------------.
138| Compute BASE_NAME, SHORT_BASE_NAME and output files extensions. |
139`----------------------------------------------------------------*/
140
141/* Replace all characters FROM by TO in the string IN.
142 and returns a new allocated string. */
143static char *
144tr (const char *in, char from, char to)
145{
146 char *temp;
147 char *out;
148
149 out = XMALLOC (char, strlen (in) + 1);
150
151 for (temp = out; *in; in++, out++)
152 if (*in == from)
153 *out = to;
154 else
155 *out = *in;
156 *out = 0;
157 return (temp);
158}
159
160/* Computes extensions from the grammar file extension. */
161static void
162compute_exts_from_gf (const char *ext)
163{
164 src_extension = tr (ext, 'y', 'c');
165 src_extension = tr (src_extension, 'Y', 'C');
166 header_extension = tr (ext, 'y', 'h');
167 header_extension = tr (header_extension, 'Y', 'H');
168}
169
170/* Computes extensions from the given c source file extension. */
171static void
172compute_exts_from_src (const char *ext)
173{
174 /* We use this function when the user specifies `-o' or `--output',
175 so the extenions must be computed unconditionally from the file name
176 given by this option. */
177 src_extension = xstrdup (ext);
178 header_extension = tr (ext, 'c', 'h');
179 header_extension = tr (header_extension, 'C', 'H');
180}
181
182
183/* Decompose FILENAME in four parts: *BASE, *TAB, and *EXT, the fourth
184 part, (the directory) is ranging from FILENAME to the char before
185 *BASE, so we don't need an additional parameter.
186
187 *EXT points to the last period in the basename, or NULL if none.
188
189 If there is no *EXT, *TAB is NULL. Otherwise, *TAB points to
190 `.tab' or `_tab' if present right before *EXT, or is NULL. *TAB
191 cannot be equal to *BASE.
192
193 None are allocated, they are simply pointers to parts of FILENAME.
194 Examples:
195
196 '/tmp/foo.tab.c' -> *BASE = 'foo.tab.c', *TAB = '.tab.c', *EXT =
197 '.c'
198
199 'foo.c' -> *BASE = 'foo.c', *TAB = NULL, *EXT = '.c'
200
201 'tab.c' -> *BASE = 'tab.c', *TAB = NULL, *EXT = '.c'
202
203 '.tab.c' -> *BASE = '.tab.c', *TAB = NULL, *EXT = '.c'
204
205 'foo.tab' -> *BASE = 'foo.tab', *TAB = NULL, *EXT = '.tab'
206
207 'foo_tab' -> *BASE = 'foo_tab', *TAB = NULL, *EXT = NULL
208
209 'foo' -> *BASE = 'foo', *TAB = NULL, *EXT = NULL. */
210
211static void
212filename_split (const char *filename,
213 const char **base, const char **tab, const char **ext)
214{
215 *base = base_name (filename);
216
217 /* Look for the extension, i.e., look for the last dot. */
218 *ext = strrchr (*base, '.');
219 *tab = NULL;
220
221 /* If there is an exentension, check if there is a `.tab' part right
222 before. */
223 if (*ext
224 && (*ext - *base) > (int) strlen (".tab")
225 && (!strncmp (*ext - strlen (".tab"), ".tab", strlen (".tab"))
226 || !strncmp (*ext - strlen ("_tab"), "_tab", strlen ("_tab"))))
227 *tab = *ext - strlen (".tab");
228}
229
230
231/* FIXME: Should use xstrndup. */
232
233static void
234compute_base_names (void)
235{
236 const char *base, *tab, *ext;
237
238 /* If --output=foo.c was specified (SPEC_OUTFILE == foo.c),
239 BASE_NAME and SHORT_BASE_NAME are `foo'.
240
241 If --output=foo.tab.c was specified, BASE_NAME is `foo.tab' and
242 SHORT_BASE_NAME is `foo'.
243
244 The precise -o name will be used for FTABLE. For other output
245 files, remove the ".c" or ".tab.c" suffix. */
246 if (spec_outfile)
247 {
248 filename_split (spec_outfile, &base, &tab, &ext);
249
250 /* The full base name goes up the EXT, excluding it. */
251 full_base_name =
252 xstrndup (spec_outfile,
253 (strlen (spec_outfile) - (ext ? strlen (ext) : 0)));
254
255 /* The short base name goes up to TAB, excluding it. */
256 short_base_name =
257 xstrndup (spec_outfile,
258 (strlen (spec_outfile)
259 - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
260
261 if (tab)
262 output_infix = xstrndup (tab,
263 (strlen (tab) - (ext ? strlen (ext) : 0)));
264
265 if (ext)
266 compute_exts_from_src (ext);
267 }
268
269 /* If --file-prefix=foo was specified, FULL_BASE_NAME = `foo.tab'
270 and SHORT_BASE_NAME = `foo'.
271
272 Construct names from it. */
273 else
274 {
275 if (spec_file_prefix)
276 {
277 /* If --file-prefix=foo was specified, SHORT_BASE_NAME =
278 `foo'. */
279 short_base_name = xstrdup (spec_file_prefix);
280 }
281 else if (yacc_flag)
282 {
283 /* If --yacc, then the output is `y.tab.c'. */
284 short_base_name = xstrdup ("y");
285 }
286 else
287 {
288 /* Otherwise, the short base name is computed from the input
289 grammar: `foo/bar.yy' => `bar'. */
290 filename_split (infile, &base, &tab, &ext);
291 short_base_name =
292 xstrndup (base,
293 (strlen (base) - (ext ? strlen (ext) : 0)));
294 }
295
296 /* In these cases, always append `.tab'. */
297 output_infix = xstrdup (EXT_TAB);
298
299 full_base_name = XMALLOC (char,
300 strlen (short_base_name)
301 + strlen (EXT_TAB) + 1);
302 stpcpy (stpcpy (full_base_name, short_base_name), EXT_TAB);
303
304 /* Computes the extensions from the grammar file name. */
305 filename_split (infile, &base, &tab, &ext);
306 if (ext && !yacc_flag)
307 compute_exts_from_gf (ext);
308 }
309}
310
311/*-------------------------------------------------------.
312| Close the open files, compute the output files names. |
313`-------------------------------------------------------*/
314
315void
316compute_output_file_names (void)
317{
318 compute_base_names ();
319
320 /* If not yet done. */
321 if (!src_extension)
322 src_extension = ".c";
323 if (!header_extension)
324 header_extension = ".h";
325
326 parser_file_name =
327 spec_outfile ? spec_outfile : stringappend (full_base_name, src_extension);
328
329 /* It the defines filename if not given, we create it. */
330 if (!spec_defines_file)
331 spec_defines_file = stringappend (full_base_name, header_extension);
332
333 /* It the graph filename if not given, we create it. */
334 if (!spec_graph_file)
335 spec_graph_file = stringappend (short_base_name, ".vcg");
336
337 spec_verbose_file = stringappend (short_base_name, EXT_OUTPUT);
338}