]>
Commit | Line | Data |
---|---|---|
1 | /* Parse command line arguments for bison. | |
2 | Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005 | |
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 | ||
27 | /* for -S */ | |
28 | extern char const *skeleton; | |
29 | ||
30 | /* for -I */ | |
31 | extern char const *include; | |
32 | ||
33 | extern bool debug_flag; /* for -t */ | |
34 | extern bool defines_flag; /* for -d */ | |
35 | extern bool locations_flag; | |
36 | extern bool no_lines_flag; /* for -l */ | |
37 | extern bool no_parser_flag; /* for -n */ | |
38 | extern bool token_table_flag; /* for -k */ | |
39 | extern bool graph_flag; /* for -g */ | |
40 | extern bool yacc_flag; /* for -y */ | |
41 | ||
42 | /* GLR_PARSER is true if the input file says to use the GLR | |
43 | (Generalized LR) parser, and to output some additional information | |
44 | used by the GLR algorithm. */ | |
45 | ||
46 | extern bool glr_parser; | |
47 | ||
48 | /* PURE_PARSER is true if should generate a parser that is all pure | |
49 | and reentrant. */ | |
50 | ||
51 | extern bool pure_parser; | |
52 | ||
53 | /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted. This | |
54 | is used by the GLR parser, and might be used in BackTracking | |
55 | parsers too. */ | |
56 | ||
57 | extern bool nondeterministic_parser; | |
58 | ||
59 | /* --trace. */ | |
60 | enum trace | |
61 | { | |
62 | trace_none = 0, | |
63 | trace_scan = 1 << 0, | |
64 | trace_parse = 1 << 1, | |
65 | trace_resource = 1 << 2, | |
66 | trace_sets = 1 << 3, | |
67 | trace_bitsets = 1 << 4, | |
68 | trace_tools = 1 << 5, | |
69 | trace_automaton = 1 << 6, | |
70 | trace_grammar = 1 << 7, | |
71 | trace_time = 1 << 8, | |
72 | trace_skeleton = 1 << 9, | |
73 | trace_all = ~0 | |
74 | }; | |
75 | extern int trace_flag; | |
76 | ||
77 | /* --report. */ | |
78 | enum report | |
79 | { | |
80 | report_none = 0, | |
81 | report_states = 1 << 0, | |
82 | report_itemsets = 1 << 1, | |
83 | report_look_ahead_tokens= 1 << 2, | |
84 | report_solved_conflicts = 1 << 3, | |
85 | report_all = ~0 | |
86 | }; | |
87 | extern int report_flag; | |
88 | ||
89 | void getargs (int argc, char *argv[]); | |
90 | ||
91 | #endif /* !GETARGS_H_ */ |