]>
Commit | Line | Data |
---|---|---|
1 | /* Parse command line arguments for bison. | |
2 | Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004 | |
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., 51 Franklin Street, Fifth Floor, Boston, MA | |
20 | 02110-1301, 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 bool debug_flag; /* for -t */ | |
30 | extern bool defines_flag; /* for -d */ | |
31 | extern bool locations_flag; | |
32 | extern bool no_lines_flag; /* for -l */ | |
33 | extern bool no_parser_flag; /* for -n */ | |
34 | extern bool token_table_flag; /* for -k */ | |
35 | extern bool graph_flag; /* for -g */ | |
36 | extern bool yacc_flag; /* for -y */ | |
37 | ||
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 | ||
55 | /* --trace. */ | |
56 | enum trace | |
57 | { | |
58 | trace_none = 0, | |
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, | |
68 | trace_skeleton = 1 << 9, | |
69 | trace_all = ~0 | |
70 | }; | |
71 | extern int trace_flag; | |
72 | ||
73 | /* --report. */ | |
74 | enum report | |
75 | { | |
76 | report_none = 0, | |
77 | report_states = 1 << 0, | |
78 | report_itemsets = 1 << 1, | |
79 | report_look_ahead_tokens= 1 << 2, | |
80 | report_solved_conflicts = 1 << 3, | |
81 | report_all = ~0 | |
82 | }; | |
83 | extern int report_flag; | |
84 | ||
85 | void getargs (int argc, char *argv[]); | |
86 | ||
87 | #endif /* !GETARGS_H_ */ |