* src/symtab.h, src/symtab.c (symbol_t): printer and

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 4ff100bb6bd5b7883e68a9d6d26076e54fa4d206..8b0de9a456649d76123b816305b177ec60223cf1 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -1,5 +1,6 @@
 /* Parse command line arguments for bison.
 /* Parse command line arguments for bison.

-   Copyright 1984, 1986, 1989, 1992, 2000, 2001 Free Software Foundation, Inc.
+   Copyright 1984, 1986, 1989, 1992, 2000, 2001, 2002
+   Free Software Foundation, Inc.

 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 


@@ -22,9 +23,8 @@
 # define GETARGS_H_
 
 /* flags set by % directives */
 # define GETARGS_H_
 
 /* flags set by % directives */

-extern char *spec_file_prefix; /* for -b */
-extern char *spec_name_prefix;         /* for -p */
-extern const char *skeleton;
+extern const char *skeleton;           /* for -S */
+extern const char *include;            /* for -I */

 
 extern int debug_flag;                 /* for -t */
 extern int defines_flag;       /* for -d */
 
 extern int debug_flag;                 /* for -t */
 extern int defines_flag;       /* for -d */


@@ -32,11 +32,23 @@ extern int locations_flag;
 extern int no_lines_flag;      /* for -l */
 extern int no_parser_flag;     /* for -n */
 extern int token_table_flag;           /* for -k */
 extern int no_lines_flag;      /* for -l */
 extern int no_parser_flag;     /* for -n */
 extern int token_table_flag;           /* for -k */

-extern int verbose_flag;       /* for -v */

 extern int graph_flag;         /* for -g */
 extern int yacc_flag;                  /* for -y */
 extern int trace_flag;
 
 extern int graph_flag;         /* for -g */
 extern int yacc_flag;                  /* for -y */
 extern int trace_flag;
 

+/* --report.  */
+enum
+  {
+    report_none = 0,
+    report_states = 1 << 0,
+    report_itemsets = 1 << 1,
+    report_lookaheads = 1 << 2,
+    report_solved_conflicts = 1 << 3,
+    report_all = ~0
+  };
+
+extern int report_flag;
+

 void getargs PARAMS ((int argc, char *argv[]));
 
 #endif /* !GETARGS_H_ */
 void getargs PARAMS ((int argc, char *argv[]));
 
 #endif /* !GETARGS_H_ */