]> git.saurik.com Git - bison.git/blobdiff - src/files.h
Get rid of broken %no-parser, -n, and --no-parser implementation and
[bison.git] / src / files.h
index e702db65b219ba6a147b1c53c17ead38a276dae9..c40999842741a4608f443eb3968ca7c5b14d8eaa 100644 (file)
@@ -1,6 +1,6 @@
 /* File names and variables for bison,
 
 /* 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.
    Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
@@ -49,11 +49,6 @@ extern char *spec_defines_file;
 /* Directory prefix of output file names.  */
 extern char *dir_prefix;
 
 /* 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 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. */
@@ -62,8 +57,12 @@ extern uniqstr grammar_file;
 /* The current file name.  Might change with %include, or with #line.  */
 extern uniqstr current_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 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);
 
 FILE *xfopen (const char *name, const char *mode);
 void xfclose (FILE *ptr);