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