]> git.saurik.com Git - bison.git/blame_incremental - src/files.c
* src/reader.c (parse_include_decl): New, Not yet implemented.
[bison.git] / src / files.c
... / ...
CommitLineData
1/* Open and close files for bison,
2 Copyright 1984, 1986, 1989, 1992, 2000, 2001 Free Software Foundation, Inc.
3
4 This file is part of Bison, the GNU Compiler Compiler.
5
6 Bison is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
10
11 Bison is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with Bison; see the file COPYING. If not, write to the Free
18 Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
19 02111-1307, USA. */
20
21
22#include "system.h"
23#include "getargs.h"
24#include "files.h"
25#include "gram.h"
26#include "complain.h"
27
28FILE *finput = NULL;
29
30struct obstack action_obstack;
31struct obstack attrs_obstack;
32struct obstack table_obstack;
33struct obstack defines_obstack;
34struct obstack guard_obstack;
35struct obstack output_obstack;
36
37char *spec_outfile = NULL; /* for -o. */
38char *spec_file_prefix = NULL; /* for -b. */
39char *spec_name_prefix = NULL; /* for -p. */
40char *spec_verbose_file = NULL; /* for --verbose. */
41char *spec_graph_file = NULL; /* for -g. */
42char *spec_defines_file = NULL; /* for --defines. */
43
44char *infile = NULL;
45char *attrsfile = NULL;
46
47static char *base_name = NULL;
48static char *short_base_name = NULL;
49
50/* C source file extension (the parser source). */
51const char *src_extension = NULL;
52/* Header file extension (if option ``-d'' is specified). */
53const char *header_extension = NULL;
54\f
55
56/*--------------------------.
57| Is SUFFIX ending STRING? |
58`--------------------------*/
59
60static int
61strsuffix (const char *string, const char *suffix)
62{
63 size_t string_len = strlen (string);
64 size_t suffix_len = strlen (suffix);
65 if (suffix_len <= string_len)
66 return !strcmp (string + string_len - suffix_len, suffix);
67 else
68 return 0;
69}
70
71
72/*-----------------------------------------------------------------.
73| Return a newly allocated string composed of the concatenation of |
74| STRING1, and STRING2. |
75`-----------------------------------------------------------------*/
76
77static char *
78stringappend (const char *string1, const char *string2)
79{
80 size_t len = strlen (string1) + strlen (string2);
81 char *res = XMALLOC (char, len + 1);
82 char *cp;
83 cp = stpcpy (res, string1);
84 cp = stpcpy (cp, string2);
85 return res;
86}
87
88
89/*-----------------------------------------------------------------.
90| Computes the macro name used to avoid double inclusion in the |
91| header of the parser and store it in header_macro_name. Be sure |
92| to produce valid CPP names (don't start with digit, remain |
93| alphanumerical + underscore). |
94`-----------------------------------------------------------------*/
95
96static char *
97compute_header_macro (void)
98{
99 const char *prefix = "BISON_";
100 char *macro_name, *cp;
101
102 if (spec_defines_file)
103 {
104 macro_name = XMALLOC (char,
105 strlen (prefix) +
106 strlen (spec_defines_file) + 1);
107 cp = stpcpy (macro_name, prefix);
108 cp = stpcpy (cp, spec_defines_file);
109 }
110 else
111 {
112 macro_name = XMALLOC (char,
113 strlen (prefix) +
114 strlen (base_name) +
115 strlen (header_extension) + 1);
116 cp = stpcpy (macro_name, prefix);
117 cp = stpcpy (cp, base_name);
118 cp = stpcpy (cp, header_extension);
119 }
120
121 for (cp = macro_name; *cp; ++cp)
122 if (islower (*cp))
123 *cp = toupper (*cp);
124 else if (!isalnum (*cp))
125 *cp = '_';
126
127 return macro_name;
128}
129
130
131/*-----------------------------------------------------------------.
132| Try to open file NAME with mode MODE, and print an error message |
133| if fails. |
134`-----------------------------------------------------------------*/
135
136FILE *
137xfopen (const char *name, const char *mode)
138{
139 FILE *ptr;
140
141 ptr = fopen (name, mode);
142 if (!ptr)
143 error (2, errno, _("cannot open file `%s'"), name);
144
145 return ptr;
146}
147
148/*-------------------------------------------------------------.
149| Try to close file PTR, and print an error message if fails. |
150`-------------------------------------------------------------*/
151
152int
153xfclose (FILE *ptr)
154{
155 int result;
156
157 if (ptr == NULL)
158 return 0;
159
160 result = fclose (ptr);
161 if (result == EOF)
162 error (2, errno, _("cannot close file"));
163
164 return result;
165}
166
167/*--------------------------------------------------.
168| Save the content of the obstack OBS in FILENAME. |
169`--------------------------------------------------*/
170
171static void
172obstack_save (struct obstack *obs, const char *filename)
173{
174 FILE *out = xfopen (filename, "w");
175 size_t size = obstack_object_size (obs);
176 fwrite (obstack_finish (obs), 1, size, out);
177 xfclose (out);
178}
179
180/*---------------------------------------------------------------------.
181| Output double inclusion protection macros and saves defines_obstack |
182`---------------------------------------------------------------------*/
183
184static void
185defines_obstack_save (const char *filename)
186{
187 FILE *out = xfopen (filename, "w");
188 size_t size = obstack_object_size (&defines_obstack);
189 char *macro_name = compute_header_macro ();
190
191 fprintf (out, "#ifndef %s\n", macro_name);
192 fprintf (out, "# define %s\n\n", macro_name);
193 fwrite (obstack_finish (&defines_obstack), 1, size, out);
194 fprintf (out, "\n#endif /* not %s */\n", macro_name);
195
196 free (macro_name);
197 xfclose (out);
198}
199
200/*------------------------------------------------------------------.
201| Return the path to the skeleton which locaction might be given in |
202| ENVVAR, otherwise return SKELETON_NAME. |
203`------------------------------------------------------------------*/
204
205const char *
206skeleton_find (const char *envvar, const char *skeleton_name)
207{
208 const char *res = getenv (envvar);
209
210#if defined (MSDOS) || defined (_WIN32)
211 if (!res)
212 {
213 /* Skeleton file name without path */
214 const char *skel_name = strrchr (skeleton_name, '/');
215 if (!skel_name)
216 skel_name = strrchr (skeleton_name, '\\');
217 if (!skel_name)
218 skel_name = skeleton_name;
219 else
220 ++skel_name;
221
222 /* File doesn't exist in current directory; try in INIT directory. */
223 const char *cp = getenv ("INIT");
224 if (cp)
225 {
226 res = XMALLOC (char, strlen (cp) + strlen (skel_name) + 2);
227 sprintf (res, "%s%c%s", cp, '\\', skel_name);
228 }
229 else if (access (skel_name, 4) == 0) /* Look in current dir. */
230 res = skel_name;
231 else
232 {
233 /* Look in program locations dir. */
234 extern char *program_name;
235 cp = strrchr(program_name, '\\');
236 if (!cp)
237 return skeleton_name;
238 else
239 ++cp;
240 res = XMALLOC (char, cp - program_name + strlen (skel_name) + 1);
241 strncpy (res, program_name, cp - program_name);
242 strcpy (res + (cp - program_name), skel_name);
243 }
244 }
245#endif /* defined (MSDOS) || defined (_WIN32) */
246 if (!res)
247 res = skeleton_name;
248
249 return res;
250}
251\f
252
253/*----------------------------------------------------------------.
254| Compute BASE_NAME, SHORT_BASE_NAME and output files extensions. |
255`----------------------------------------------------------------*/
256
257/* Replace all characters FROM by TO in the string IN.
258 and returns a new allocated string. */
259static char *
260tr (const char *in, char from, char to)
261{
262 char *temp;
263 char *out;
264
265 out = XMALLOC (char, strlen (in) + 1);
266
267 for (temp = out; *in; in++, out++)
268 if (*in == from)
269 *out = to;
270 else
271 *out = *in;
272 *out = 0;
273 return (temp);
274}
275
276/* Gets the extension index in FILENAME. Returns 0 if fails to
277 find an extension. */
278static int
279get_extension_index (const char *filename)
280{
281 int len;
282
283 len = strlen (filename);
284
285 if (filename[len-- - 1] == '.')
286 return (0);
287
288 while ((len > 0) && (filename[len - 1] != '.'))
289 if (filename[len - 1] == '/')
290 return (0);
291 else
292 len--;
293
294 return (len - 1);
295}
296
297/* Computes extensions from the grammar file extension. */
298static void
299compute_exts_from_gf (const char *ext)
300{
301 src_extension = tr (ext, 'y', 'c');
302 src_extension = tr (src_extension, 'Y', 'C');
303 header_extension = tr (ext, 'y', 'h');
304 header_extension = tr (header_extension, 'Y', 'H');
305}
306
307/* Computes extensions from the given c source file extension. */
308static void
309compute_exts_from_src (const char *ext)
310{
311 /* We use this function when the user specifies `-o' or `--output',
312 so the extenions must be computed unconditionally from the file name
313 given by this option. */
314 src_extension = xstrdup (ext);
315 header_extension = tr (ext, 'c', 'h');
316 header_extension = tr (header_extension, 'C', 'H');
317}
318
319/* FIXME: Should use xstrndup. */
320
321static void
322compute_base_names (void)
323{
324 size_t base_length;
325 size_t short_base_length;
326 size_t ext_index;
327
328 /* If --output=foo.c was specified (SPEC_OUTFILE == foo.c),
329 BASE_NAME and SHORT_BASE_NAME are `foo'.
330
331 If --output=foo.tab.c was specified, BASE_NAME is `foo.tab' and
332 SHORT_BASE_NAME is `foo'.
333
334 The precise -o name will be used for FTABLE. For other output
335 files, remove the ".c" or ".tab.c" suffix. */
336 if (spec_outfile)
337 {
338#ifdef MSDOS
339 strlwr (spec_outfile);
340#endif /* MSDOS */
341 /* BASE_LENGTH includes ".tab" but not ".c". */
342 base_length = strlen (spec_outfile);
343
344 ext_index = get_extension_index (spec_outfile);
345 /* If the initial segment of extension contains 'c' or a 'C', I assume
346 that it is a C or C++ source file. */
347 if (ext_index)
348 ext_index =
349 (strspn (spec_outfile + ext_index + 1, "cC")) ? ext_index : 0;
350 if (ext_index)
351 {
352 base_length -= strlen (spec_outfile + ext_index);
353 compute_exts_from_src (spec_outfile + ext_index);
354 }
355
356 base_name = strndup (spec_outfile, base_length);
357 /* SHORT_BASE_LENGTH includes neither ".tab" nor ".c". */
358 short_base_length = base_length;
359 if (strsuffix (base_name, ".tab") || strsuffix (base_name, "_tab"))
360 short_base_length -= 4;
361 short_base_name = strndup (spec_outfile, short_base_length);
362
363 return;
364 }
365
366 /* If --file-prefix=foo was specified, BASE_NAME and SHORT_BASE_NAME
367 are `foo'.
368
369 Construct names from it. */
370 if (spec_file_prefix)
371 {
372#ifdef MSDOS
373 strlwr (spec_file_prefix);
374#endif /* MSDOS */
375 short_base_name = xstrdup (spec_file_prefix);
376 base_name = XMALLOC (char,
377 strlen (short_base_name) + strlen (EXT_TAB) + 1);
378 stpcpy (stpcpy (base_name, short_base_name), EXT_TAB);
379
380 /* Computes the extensions from the garmmar file name. */
381 ext_index = get_extension_index (infile);
382 /* If the initial segment of extension contains a 'y' or a 'Y', I assume
383 that it is a yacc or bison grammar file. */
384 if (ext_index)
385 ext_index = (strspn (infile + ext_index + 1, "yY")) ? ext_index : 0;
386 if (ext_index)
387 compute_exts_from_gf (infile + ext_index);
388
389 return;
390 }
391
392 /* If neither -o nor --file-prefix were specified, and the input
393 file is foo.y, BASE_NAME is `foo.tab', and SHORT_BASE_NAME is
394 `foo'.
395
396 If --yacc is used, do as if the input file was `y.y'. */
397 {
398 const char *name_base = yacc_flag ? "y.y" : infile;
399
400 /* BASE_LENGTH gets length of BASE_NAME, sans ".y" suffix if any. */
401
402 base_length = strlen (name_base);
403
404 ext_index = get_extension_index (name_base);
405 /* If the initial segment of extension contains a 'y' or a 'Y', I assume
406 that it is a yacc or bison grammar file. */
407 if (ext_index)
408 ext_index = (strspn (name_base + ext_index + 1, "yY")) ? ext_index : 0;
409 if (ext_index)
410 {
411 base_length -= strlen (name_base + ext_index);
412 compute_exts_from_gf (name_base + ext_index);
413 }
414
415 short_base_length = base_length;
416 short_base_name = strndup (name_base, short_base_length);
417
418 base_name = XMALLOC (char,
419 strlen (short_base_name) + strlen (EXT_TAB) + 1);
420 stpcpy (stpcpy (base_name, short_base_name), EXT_TAB);
421
422 return;
423 }
424}
425
426/*-------------------------------------------------------.
427| Close the open files, compute the output files names. |
428`-------------------------------------------------------*/
429
430void
431compute_output_file_names (void)
432{
433 compute_base_names ();
434
435 /* If not yet done. */
436 if (!src_extension)
437 src_extension = ".c";
438 if (!header_extension)
439 header_extension = ".h";
440
441 /* It the defines filename if not given, we create it. */
442 if (!spec_defines_file)
443 spec_defines_file = stringappend (base_name, header_extension);
444
445 /* It the graph filename if not given, we create it. */
446 if (!spec_graph_file)
447 spec_graph_file = stringappend (short_base_name, ".vcg");
448
449 spec_verbose_file = stringappend (short_base_name, EXT_OUTPUT);
450
451 attrsfile = stringappend (short_base_name, EXT_STYPE_H);
452#ifndef MSDOS
453 attrsfile = stringappend (attrsfile, header_extension);
454#endif /* MSDOS */
455
456}
457
458/*-----------------------------------------------------------------.
459| Open the input file. Look for the skeletons. Find the names of |
460| the output files. Prepare the obstacks. |
461`-----------------------------------------------------------------*/
462
463void
464open_files (void)
465{
466 finput = xfopen (infile, "r");
467
468 /* Initialize the obstacks. */
469 obstack_init (&action_obstack);
470 obstack_init (&attrs_obstack);
471 obstack_init (&table_obstack);
472 obstack_init (&defines_obstack);
473 obstack_init (&guard_obstack);
474 obstack_init (&output_obstack);
475}
476
477
478
479/*-----------------------.
480| Close the open file.. |
481`-----------------------*/
482
483void
484close_files (void)
485{
486 xfclose (finput);
487}
488
489/*---------------------------.
490| Produce the output files. |
491`---------------------------*/
492
493void
494output_files (void)
495{
496 /* Output the main file. */
497 if (spec_outfile)
498 obstack_save (&table_obstack, spec_outfile);
499 else
500 obstack_save (&table_obstack, stringappend (base_name, src_extension));
501 obstack_free (&table_obstack, NULL);
502
503 /* Output the header file if wanted. */
504 if (defines_flag)
505 defines_obstack_save (spec_defines_file);
506 obstack_free (&defines_obstack, NULL);
507
508#if 0
509 /* Seems to be invalid now --akim. */
510
511 /* If we output only the table, dump the actions in ACTFILE. */
512 if (no_parser_flag)
513 obstack_save (&action_obstack, stringappend (short_base_name, ".act"));
514 obstack_free (&action_obstack, NULL);
515#endif
516
517 /* If we produced a semantic parser ATTRS_OBSTACK must be dumped
518 into its own file, ATTTRSFILE. */
519 if (semantic_parser)
520 {
521 char *temp_name;
522
523 obstack_save (&attrs_obstack, attrsfile);
524 obstack_free (&attrs_obstack, NULL);
525 temp_name = stringappend (short_base_name, EXT_GUARD_C);
526#ifndef MSDOS
527 temp_name = stringappend (temp_name, src_extension);
528#endif /* MSDOS */
529 obstack_save (&guard_obstack, temp_name);
530 obstack_free (&guard_obstack, NULL);
531 }
532}