/* File names and variables for bison,
- Copyright (C) 1984, 1989, 2000, 2001, 2002, 2006 Free Software
+ Copyright (C) 1984, 1989, 2000, 2001, 2002, 2006, 2007 Free Software
Foundation, Inc.
This file is part of Bison, the GNU Compiler Compiler.
- Bison is free software; you can redistribute it and/or modify
+ This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 2, or (at your option)
- any later version.
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
- Bison is distributed in the hope that it will be useful,
+ This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
- along with Bison; see the file COPYING. If not, write to
- the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
- Boston, MA 02110-1301, USA. */
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
#ifndef FILES_H_
# define FILES_H_
/* File name specified for the output graph. */
extern char *spec_graph_file;
+/* File name specified for the xml output. */
+extern char *spec_xml_file;
+
/* File name specified with --defines. */
extern char *spec_defines_file;
/* Directory prefix of output file names. */
extern char *dir_prefix;
-
-/* If semantic parser, output a .h file that defines YYSTYPE... */
-extern struct obstack pre_prologue_obstack;
-extern struct obstack post_prologue_obstack;
-
/* The file name as given on the command line.
Not named "input_file" because Flex uses this name for an argument,
and therefore GCC warns about a name clash. */
/* The current file name. Might change with %include, or with #line. */
extern uniqstr current_file;
+/* The computed base for output file names. */
+extern char *all_but_ext;
+
void compute_output_file_names (void);
void output_file_names_free (void);
+void output_file_name_check (char const *file_name);
FILE *xfopen (const char *name, const char *mode);
void xfclose (FILE *ptr);