]> git.saurik.com Git - bison.git/blob - src/getargs.h
(EXTRA_DIST): Avoid +=, a GNU make extension.
[bison.git] / src / getargs.h
1 /* Parse command line arguments for bison.
2 Copyright 1984, 1986, 1989, 1992, 2000, 2001, 2002
3 Free Software Foundation, Inc.
4
5 This file is part of Bison, the GNU Compiler Compiler.
6
7 Bison is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 Bison is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with Bison; see the file COPYING. If not, write to the Free
19 Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
21
22 #ifndef GETARGS_H_
23 # define GETARGS_H_
24
25 /* flags set by % directives */
26 extern const char *skeleton; /* for -S */
27 extern const char *include; /* for -I */
28
29 extern int debug_flag; /* for -t */
30 extern int defines_flag; /* for -d */
31 extern int locations_flag;
32 extern int no_lines_flag; /* for -l */
33 extern int no_parser_flag; /* for -n */
34 extern int token_table_flag; /* for -k */
35 extern int graph_flag; /* for -g */
36 extern int yacc_flag; /* for -y */
37
38 /* --trace. */
39 enum trace_e
40 {
41 trace_none = 0,
42 trace_resource = 1 << 0,
43 trace_sets = 1 << 1,
44 trace_bitsets = 1 << 2,
45 trace_tools = 1 << 3,
46 trace_automaton = 1 << 4,
47 trace_grammar = 1 << 5,
48 trace_time = 1 << 6,
49 trace_all = ~0
50 };
51 extern int trace_flag;
52
53 /* --report. */
54 enum report_e
55 {
56 report_none = 0,
57 report_states = 1 << 0,
58 report_itemsets = 1 << 1,
59 report_lookaheads = 1 << 2,
60 report_solved_conflicts = 1 << 3,
61 report_all = ~0
62 };
63 extern int report_flag;
64
65 void getargs PARAMS ((int argc, char *argv[]));
66
67 #endif /* !GETARGS_H_ */