]>
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. Be sure | | |
92 | | to produce valid CPP names (don't start with digit, remain | | |
93 | | alphanumerical + underscore). | | |
94 | `-----------------------------------------------------------------*/ | |
95 | ||
96 | static char * | |
97 | compute_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 | ||
136 | FILE * | |
137 | xfopen (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 | ||
152 | int | |
153 | xfclose (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 | ||
171 | static void | |
172 | obstack_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 | ||
184 | static void | |
185 | defines_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 | ||
205 | const char * | |
206 | skeleton_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. */ | |
259 | static char * | |
260 | tr (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. */ | |
278 | static int | |
279 | get_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. */ | |
298 | static void | |
299 | compute_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. */ | |
308 | static void | |
309 | compute_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 | ||
321 | static void | |
322 | compute_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 | ||
430 | void | |
431 | compute_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 | ||
463 | void | |
464 | open_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 | ||
483 | void | |
484 | close_files (void) | |
485 | { | |
486 | xfclose (finput); | |
487 | } | |
488 | ||
489 | /*---------------------------. | |
490 | | Produce the output files. | | |
491 | `---------------------------*/ | |
492 | ||
493 | void | |
494 | output_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 | } |