]> git.saurik.com Git - bison.git/blame - src/getargs.h
Between Bison releases, manually append `+' to the previous Bison
[bison.git] / src / getargs.h
CommitLineData
ceed8467 1/* Parse command line arguments for bison.
4e83ea15 2 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005, 2006
ec3bc396 3 Free Software Foundation, Inc.
ceed8467
AD
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
0fb669f9
PE
19 Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
20 02110-1301, USA. */
ceed8467 21
b2ca4022
AD
22#ifndef GETARGS_H_
23# define GETARGS_H_
24
ceed8467 25/* flags set by % directives */
04098407
PE
26
27/* for -S */
28extern char const *skeleton;
29
30/* for -I */
31extern char const *include;
ceed8467 32
d0829076
PE
33extern bool debug_flag; /* for -t */
34extern bool defines_flag; /* for -d */
4e83ea15 35extern bool graph_flag; /* for -g */
d0829076
PE
36extern bool locations_flag;
37extern bool no_lines_flag; /* for -l */
38extern bool no_parser_flag; /* for -n */
39extern bool token_table_flag; /* for -k */
d0829076 40extern bool yacc_flag; /* for -y */
273a74fa 41
4e83ea15
AD
42extern bool error_verbose;
43
44
916708d5
AD
45/* GLR_PARSER is true if the input file says to use the GLR
46 (Generalized LR) parser, and to output some additional information
47 used by the GLR algorithm. */
48
49extern bool glr_parser;
50
51/* PURE_PARSER is true if should generate a parser that is all pure
52 and reentrant. */
53
54extern bool pure_parser;
55
56/* NONDETERMINISTIC_PARSER is true iff conflicts are accepted. This
57 is used by the GLR parser, and might be used in BackTracking
58 parsers too. */
59
60extern bool nondeterministic_parser;
61
273a74fa 62/* --trace. */
e8a0acd6 63enum trace
273a74fa
AD
64 {
65 trace_none = 0,
473d0a75
AD
66 trace_scan = 1 << 0,
67 trace_parse = 1 << 1,
68 trace_resource = 1 << 2,
69 trace_sets = 1 << 3,
70 trace_bitsets = 1 << 4,
71 trace_tools = 1 << 5,
72 trace_automaton = 1 << 6,
73 trace_grammar = 1 << 7,
74 trace_time = 1 << 8,
c5e3e510 75 trace_skeleton = 1 << 9,
327afc7c 76 trace_m4 = 1 << 10,
273a74fa
AD
77 trace_all = ~0
78 };
9bfe901c 79extern int trace_flag;
ceed8467 80
ec3bc396 81/* --report. */
e8a0acd6 82enum report
ec3bc396 83 {
273a74fa
AD
84 report_none = 0,
85 report_states = 1 << 0,
86 report_itemsets = 1 << 1,
8dd162d3 87 report_look_ahead_tokens= 1 << 2,
b408954b 88 report_solved_conflicts = 1 << 3,
273a74fa 89 report_all = ~0
ec3bc396 90 };
ec3bc396
AD
91extern int report_flag;
92
d33cb3ae 93void getargs (int argc, char *argv[]);
b2ca4022
AD
94
95#endif /* !GETARGS_H_ */