]> git.saurik.com Git - bison.git/blame - src/getargs.h
Update copyright.
[bison.git] / src / getargs.h
CommitLineData
ceed8467 1/* Parse command line arguments for bison.
04098407 2 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005
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 */
35extern bool locations_flag;
36extern bool no_lines_flag; /* for -l */
37extern bool no_parser_flag; /* for -n */
38extern bool token_table_flag; /* for -k */
39extern bool graph_flag; /* for -g */
40extern bool yacc_flag; /* for -y */
273a74fa 41
916708d5
AD
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
46extern bool glr_parser;
47
48/* PURE_PARSER is true if should generate a parser that is all pure
49 and reentrant. */
50
51extern 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
57extern bool nondeterministic_parser;
58
273a74fa 59/* --trace. */
e8a0acd6 60enum trace
273a74fa
AD
61 {
62 trace_none = 0,
473d0a75
AD
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,
c5e3e510 72 trace_skeleton = 1 << 9,
273a74fa
AD
73 trace_all = ~0
74 };
9bfe901c 75extern int trace_flag;
ceed8467 76
ec3bc396 77/* --report. */
e8a0acd6 78enum report
ec3bc396 79 {
273a74fa
AD
80 report_none = 0,
81 report_states = 1 << 0,
82 report_itemsets = 1 << 1,
8dd162d3 83 report_look_ahead_tokens= 1 << 2,
b408954b 84 report_solved_conflicts = 1 << 3,
273a74fa 85 report_all = ~0
ec3bc396 86 };
ec3bc396
AD
87extern int report_flag;
88
d33cb3ae 89void getargs (int argc, char *argv[]);
b2ca4022
AD
90
91#endif /* !GETARGS_H_ */