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