]>
Commit | Line | Data |
---|---|---|
ceed8467 | 1 | /* Parse command line arguments for bison. |
916708d5 | 2 | Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003 |
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 | |
19 | Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA | |
20 | 02111-1307, USA. */ | |
21 | ||
b2ca4022 AD |
22 | #ifndef GETARGS_H_ |
23 | # define GETARGS_H_ | |
24 | ||
ceed8467 | 25 | /* flags set by % directives */ |
f6bd5427 MA |
26 | extern const char *skeleton; /* for -S */ |
27 | extern const char *include; /* for -I */ | |
ceed8467 | 28 | |
89cab50d AD |
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 */ | |
89cab50d | 34 | extern int token_table_flag; /* for -k */ |
22c2cbc0 | 35 | extern int graph_flag; /* for -g */ |
89cab50d | 36 | extern int yacc_flag; /* for -y */ |
273a74fa | 37 | |
916708d5 AD |
38 | /* GLR_PARSER is true if the input file says to use the GLR |
39 | (Generalized LR) parser, and to output some additional information | |
40 | used by the GLR algorithm. */ | |
41 | ||
42 | extern bool glr_parser; | |
43 | ||
44 | /* PURE_PARSER is true if should generate a parser that is all pure | |
45 | and reentrant. */ | |
46 | ||
47 | extern bool pure_parser; | |
48 | ||
49 | /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted. This | |
50 | is used by the GLR parser, and might be used in BackTracking | |
51 | parsers too. */ | |
52 | ||
53 | extern bool nondeterministic_parser; | |
54 | ||
273a74fa | 55 | /* --trace. */ |
e8a0acd6 | 56 | enum trace |
273a74fa AD |
57 | { |
58 | trace_none = 0, | |
473d0a75 AD |
59 | trace_scan = 1 << 0, |
60 | trace_parse = 1 << 1, | |
61 | trace_resource = 1 << 2, | |
62 | trace_sets = 1 << 3, | |
63 | trace_bitsets = 1 << 4, | |
64 | trace_tools = 1 << 5, | |
65 | trace_automaton = 1 << 6, | |
66 | trace_grammar = 1 << 7, | |
67 | trace_time = 1 << 8, | |
c5e3e510 | 68 | trace_skeleton = 1 << 9, |
273a74fa AD |
69 | trace_all = ~0 |
70 | }; | |
9bfe901c | 71 | extern int trace_flag; |
ceed8467 | 72 | |
ec3bc396 | 73 | /* --report. */ |
e8a0acd6 | 74 | enum report |
ec3bc396 | 75 | { |
273a74fa AD |
76 | report_none = 0, |
77 | report_states = 1 << 0, | |
78 | report_itemsets = 1 << 1, | |
79 | report_lookaheads = 1 << 2, | |
b408954b | 80 | report_solved_conflicts = 1 << 3, |
273a74fa | 81 | report_all = ~0 |
ec3bc396 | 82 | }; |
ec3bc396 AD |
83 | extern int report_flag; |
84 | ||
d33cb3ae | 85 | void getargs (int argc, char *argv[]); |
b2ca4022 AD |
86 | |
87 | #endif /* !GETARGS_H_ */ |