Enable push parsers to operate in impure mode. Thus, %push-parser no

[bison.git] / src / files.h

diff --git a/src/files.h b/src/files.h
index bf7e2c77335fb0701c039501c65554e2ba7c066f..a315414c42e95613fe97af55fcf5941ff2f26563 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -1,5 +1,7 @@
 /* File names and variables for bison,
-   Copyright (C) 1984, 1989, 2000, 2001, 2002 Free Software Foundation, Inc.
+
+   Copyright (C) 1984, 1989, 2000, 2001, 2002, 2006 Free Software
+   Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
 
@@ -15,8 +17,8 @@
 
    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., 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
+   the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
 
 #ifndef FILES_H_
 # define FILES_H_
@@ -24,7 +26,7 @@
 # include "uniqstr.h"
 
 /* File name specified with -o for the output file, or 0 if no -o.  */
-extern char *spec_outfile;
+extern char const *spec_outfile;
 
 /* File name for the parser (i.e., the one above, or its default.) */
 extern char *parser_file_name;
@@ -33,19 +35,19 @@ extern char *parser_file_name;
 extern const char *spec_name_prefix;
 
 /* File name prefix specified with -b, or 0 if no -b.  */
-extern char *spec_file_prefix;
+extern char const *spec_file_prefix;
 
 /* --verbose. */
 extern char *spec_verbose_file;
 
-/* File name specified for the output VCG graph.  */
+/* File name specified for the output graph.  */
 extern char *spec_graph_file;
 
 /* File name specified with --defines.  */
 extern char *spec_defines_file;
 
-/* Read grammar specifications. */
-extern FILE *finput;
+/* Directory prefix of output file names.  */
+extern char *dir_prefix;
 
 
 /* If semantic parser, output a .h file that defines YYSTYPE... */
@@ -60,12 +62,14 @@ extern uniqstr grammar_file;
 /* 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);
 
-/* Prefix used to generate output file names.  */
-extern char *short_base_name;
-
 #endif /* !FILES_H_ */