/* 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.
# 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; /* for -S */
extern const char *include; /* for -I */
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 */
+
+/* --trace. */
+enum trace_e
+ {
+ trace_none = 0,
+ trace_scan = 1 << 0,
+ trace_parse = 1 << 1,
+ trace_resource = 1 << 2,
+ trace_sets = 1 << 3,
+ trace_bitsets = 1 << 4,
+ trace_tools = 1 << 5,
+ trace_automaton = 1 << 6,
+ trace_grammar = 1 << 7,
+ trace_time = 1 << 8,
+ trace_skeleton = 1 << 9,
+ trace_all = ~0
+ };
extern int trace_flag;
-void getargs PARAMS ((int argc, char *argv[]));
+/* --report. */
+enum report_e
+ {
+ 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 (int argc, char *argv[]);
#endif /* !GETARGS_H_ */