1 /* Parse command line arguments for bison.
2 
3    Copyright (C) 1984, 1986, 1989, 1992, 2000-2015, 2018-2021 Free
4    Software Foundation, Inc.
5 
6    This file is part of Bison, the GNU Compiler Compiler.
7 
8    This program is free software: you can redistribute it and/or modify
9    it under the terms of the GNU General Public License as published by
10    the Free Software Foundation, either version 3 of the License, or
11    (at your option) any later version.
12 
13    This program is distributed in the hope that it will be useful,
14    but WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16    GNU General Public License for more details.
17 
18    You should have received a copy of the GNU General Public License
19    along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
20 
21 #ifndef GETARGS_H_
22 # define GETARGS_H_
23 
24 # include "location.h"
25 
26 enum { command_line_prio, grammar_prio, default_prio };
27 
28 /* flags set by % directives */
29 
30 /* for -S */
31 extern char const *skeleton;
32 extern int skeleton_prio;
33 
34 /* for -I */
35 extern char const *include;
36 
37 extern bool defines_flag;               /* for -d */
38 extern bool graph_flag;                 /* for -g */
39 extern bool xml_flag;                   /* for -x */
40 extern bool no_lines_flag;              /* for -l */
41 extern bool token_table_flag;           /* for -k */
42 extern location yacc_loc;               /* for -y */
43 extern bool update_flag;                /* for -u */
44 extern bool color_debug;                /* --color=debug. */
45 /* GLR_PARSER is true if the input file says to use the GLR
46    (Generalized LR) parser, and to output some additional information
47    used by the GLR algorithm.  */
48 
49 extern bool glr_parser;
50 
51 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
52    is used by the GLR parser, and might be used in BackTracking
53    parsers too.  */
54 
55 extern bool nondeterministic_parser;
56 
57 
58 /* --language.  */
59 struct bison_language
60 {
61   char language[sizeof "Java"];
62   char skeleton[sizeof "java-skel.m4"];
63   char src_extension[sizeof ".java"];
64   char header_extension[sizeof ".java"];
65   bool add_tab;
66 };
67 
68 extern int language_prio;
69 extern struct bison_language const *language;
70 
71 /*-----------.
72 | --report.  |
73 `-----------*/
74 
75 enum report
76   {
77     report_none             = 0,
78     report_states           = 1 << 0,
79     report_itemsets         = 1 << 1,
80     report_lookaheads       = 1 << 2,
81     report_solved_conflicts = 1 << 3,
82     report_cex              = 1 << 4,
83     report_all              = ~0
84   };
85 /** What appears in the *.output file.  */
86 extern int report_flag;
87 
88 /*----------.
89 | --trace.  |
90 `----------*/
91 enum trace
92   {
93     trace_none      = 0,       /**< No traces. */
94     trace_scan      = 1 << 0,  /**< Grammar scanner traces. */
95     trace_parse     = 1 << 1,  /**< Grammar parser traces. */
96     trace_resource  = 1 << 2,  /**< Memory allocation. */
97     trace_sets      = 1 << 3,  /**< Grammar sets: firsts, nullable etc. */
98     trace_bitsets   = 1 << 4,  /**< Use of bitsets. */
99     trace_tools     = 1 << 5,  /**< m4 invocation. */
100     trace_automaton = 1 << 6,  /**< Construction of the automaton. */
101     trace_grammar   = 1 << 7,  /**< Reading, reducing the grammar. */
102     trace_time      = 1 << 8,  /**< Time consumption. */
103     trace_skeleton  = 1 << 9,  /**< Skeleton postprocessing. */
104     trace_m4_early  = 1 << 10, /**< M4 early traces. */
105     trace_m4        = 1 << 11, /**< M4 traces. */
106     trace_muscles   = 1 << 12, /**< M4 definitions of the muscles. */
107     trace_ielr      = 1 << 13, /**< IELR conversion. */
108     trace_closure   = 1 << 14, /**< Input/output of closure(). */
109     trace_locations = 1 << 15, /**< Full display of locations. */
110     trace_cex       = 1 << 16, /**< Counterexample generation */
111     trace_all       = ~0       /**< All of the above.  */
112   };
113 /** What debug items bison displays during its run.  */
114 extern int trace_flag;
115 
116 /*-------------.
117 | --features.  |
118 `-------------*/
119 
120 enum feature
121   {
122     feature_none             = 0,      /**< No additional feature.  */
123     feature_caret            = 1 << 0, /**< Output errors with carets.  */
124     feature_fixit            = 1 << 1, /**< Issue instructions to fix the sources.  */
125     feature_syntax_only      = 1 << 2, /**< Don't generate output.  */
126     feature_all              = ~0      /**< All above features.  */
127   };
128 /** What additional features to use.  */
129 extern int feature_flag;
130 
131 
132 /** Process the command line arguments.
133  *
134  *  \param argc   size of \a argv
135  *  \param argv   list of arguments.
136  */
137 void getargs (int argc, char *argv[]);
138 
139 /* Used by parse-gram.y.  */
140 void language_argmatch (char const *arg, int prio, location loc);
141 void skeleton_arg (const char *arg, int prio, location loc);
142 
143 /** In the string \c s, replace all characters \c from by \c to.  */
144 void tr (char *s, char from, char to);
145 
146 #endif /* !GETARGS_H_ */
147