X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/ceed8467b7db3615d3c9bfa9f3e5525d54c6a161..c97011bfc1cabd3f7aa8e263f83d9e8a18a262bf:/src/getargs.h?ds=inline diff --git a/src/getargs.h b/src/getargs.h index a0180d79..adf95123 100644 --- a/src/getargs.h +++ b/src/getargs.h @@ -1,5 +1,6 @@ /* Parse command line arguments for bison. - Copyright (C) 1984, 1986, 1989, 1992, 2000 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. @@ -18,17 +19,49 @@ Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ +#ifndef GETARGS_H_ +# define GETARGS_H_ + /* flags set by % directives */ -extern char *spec_file_prefix; /* for -b */ -extern char *spec_name_prefix; /* for -p */ - -extern int debugflag; /* for -t */ -extern int definesflag; /* for -d */ -extern int fixed_outfiles; /* for -y */ -extern int nolinesflag; /* for -l */ -extern int noparserflag; /* for -n */ -extern int rawtoknumflag; /* for -r */ -extern int toknumflag; /* for -k */ -extern int verboseflag; /* for -v */ +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 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 graph_flag; /* for -g */ +extern int yacc_flag; /* for -y */ + +/* --trace. */ +enum trace_e + { + trace_none = 0, + trace_resource = 1 << 0, + trace_sets = 1 << 1, + trace_bitsets = 1 << 2, + trace_tools = 1 << 3, + trace_automaton = 1 << 4, + trace_grammar = 1 << 5, + trace_time = 1 << 6, + trace_all = ~0 + }; +extern int trace_flag; + +/* --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 PARAMS ((int argc, char *argv[])); + +#endif /* !GETARGS_H_ */