]> git.saurik.com Git - bison.git/blame - src/getargs.h
(symbol_destructors_output, symbol_printers_output):
[bison.git] / src / getargs.h
CommitLineData
ceed8467 1/* Parse command line arguments for bison.
8dd162d3 2 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004
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
26extern const char *skeleton; /* for -S */
27extern const char *include; /* for -I */
ceed8467 28
d0829076
PE
29extern bool debug_flag; /* for -t */
30extern bool defines_flag; /* for -d */
31extern bool locations_flag;
32extern bool no_lines_flag; /* for -l */
33extern bool no_parser_flag; /* for -n */
34extern bool token_table_flag; /* for -k */
35extern bool graph_flag; /* for -g */
36extern bool 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
42extern bool glr_parser;
43
44/* PURE_PARSER is true if should generate a parser that is all pure
45 and reentrant. */
46
47extern 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
53extern bool nondeterministic_parser;
54
273a74fa 55/* --trace. */
e8a0acd6 56enum 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 71extern int trace_flag;
ceed8467 72
ec3bc396 73/* --report. */
e8a0acd6 74enum report
ec3bc396 75 {
273a74fa
AD
76 report_none = 0,
77 report_states = 1 << 0,
78 report_itemsets = 1 << 1,
8dd162d3 79 report_look_ahead_tokens= 1 << 2,
b408954b 80 report_solved_conflicts = 1 << 3,
273a74fa 81 report_all = ~0
ec3bc396 82 };
ec3bc396
AD
83extern int report_flag;
84
d33cb3ae 85void getargs (int argc, char *argv[]);
b2ca4022
AD
86
87#endif /* !GETARGS_H_ */