]>
Commit | Line | Data |
---|---|---|
1 | /* Parse command line arguments for bison. | |
2 | Copyright 1984, 1986, 1989, 1992, 2000, 2001, 2002 | |
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., 59 Temple Place - Suite 330, Boston, MA | |
20 | 02111-1307, USA. */ | |
21 | ||
22 | #include "system.h" | |
23 | #include "getopt.h" | |
24 | #include "argmatch.h" | |
25 | #include "complain.h" | |
26 | #include "getargs.h" | |
27 | #include "options.h" | |
28 | #include "files.h" | |
29 | ||
30 | int debug_flag = 0; | |
31 | int defines_flag = 0; | |
32 | int locations_flag = 0; | |
33 | int no_lines_flag = 0; | |
34 | int no_parser_flag = 0; | |
35 | int report_flag = 0; | |
36 | int token_table_flag = 0; | |
37 | int yacc_flag = 0; /* for -y */ | |
38 | int graph_flag = 0; | |
39 | int trace_flag = 0; | |
40 | ||
41 | const char *skeleton = NULL; | |
42 | const char *include = NULL; | |
43 | ||
44 | extern char *program_name; | |
45 | ||
46 | /*----------------------. | |
47 | | --report's handling. | | |
48 | `----------------------*/ | |
49 | ||
50 | static const char * const report_args[] = | |
51 | { | |
52 | /* In a series of synonyms, present the most meaningful first, so | |
53 | that argmatch_valid be more readable. */ | |
54 | "none", | |
55 | "state", "states", | |
56 | "itemset", "itemsets", | |
57 | "lookahead", "lookaheads", | |
58 | "solved", | |
59 | "all", | |
60 | 0 | |
61 | }; | |
62 | ||
63 | static const int report_types[] = | |
64 | { | |
65 | report_none, | |
66 | report_states, report_states, | |
67 | report_states | report_itemsets, report_states | report_itemsets, | |
68 | report_states | report_lookaheads, report_states | report_lookaheads, | |
69 | report_states | report_solved_conflicts, | |
70 | report_all | |
71 | }; | |
72 | ||
73 | ||
74 | static void | |
75 | report_argmatch (char *args) | |
76 | { | |
77 | ARGMATCH_ASSERT (report_args, report_types); | |
78 | do | |
79 | { | |
80 | int report = XARGMATCH ("--report", args, | |
81 | report_args, report_types); | |
82 | if (report == report_none) | |
83 | report_flag = report_none; | |
84 | else | |
85 | report_flag |= report; | |
86 | } | |
87 | while ((args = strtok (NULL, ","))); | |
88 | } | |
89 | ||
90 | /*---------------------------. | |
91 | | Display the help message. | | |
92 | `---------------------------*/ | |
93 | ||
94 | static void | |
95 | usage (FILE *stream) | |
96 | { | |
97 | /* Some efforts were made to ease the translators' task, please | |
98 | continue. */ | |
99 | fputs (_("\ | |
100 | GNU bison generates parsers for LALR(1) grammars.\n"), stream); | |
101 | putc ('\n', stream); | |
102 | ||
103 | fprintf (stream, _("\ | |
104 | Usage: %s [OPTION]... FILE\n"), program_name); | |
105 | putc ('\n', stream); | |
106 | ||
107 | fputs (_("\ | |
108 | If a long option shows an argument as mandatory, then it is mandatory\n\ | |
109 | for the equivalent short option also. Similarly for optional arguments.\n"), | |
110 | stream); | |
111 | putc ('\n', stream); | |
112 | ||
113 | fputs (_("\ | |
114 | Operation modes:\n\ | |
115 | -h, --help display this help and exit\n\ | |
116 | -V, --version output version information and exit\n\ | |
117 | -y, --yacc emulate POSIX yacc\n"), stream); | |
118 | putc ('\n', stream); | |
119 | ||
120 | fputs (_("\ | |
121 | Parser:\n\ | |
122 | -S, --skeleton=FILE specify the skeleton to use\n\ | |
123 | -t, --debug instrument the parser for debugging\n\ | |
124 | --locations enable locations computation\n\ | |
125 | -p, --name-prefix=PREFIX prepend PREFIX to the external symbols\n\ | |
126 | -l, --no-lines don't generate `#line' directives\n\ | |
127 | -n, --no-parser generate the tables only\n\ | |
128 | -k, --token-table include a table of token names\n\ | |
129 | "), stream); | |
130 | putc ('\n', stream); | |
131 | ||
132 | fputs (_("\ | |
133 | Output:\n\ | |
134 | -d, --defines also produce a header file\n\ | |
135 | -r, --report=THINGS also produce details on the automaton\n\ | |
136 | -v, --verbose same as `--report=state'\n\ | |
137 | -b, --file-prefix=PREFIX specify a PREFIX for output files\n\ | |
138 | -o, --output=FILE leave output to FILE\n\ | |
139 | -g, --graph also produce a VCG description of the automaton\n\ | |
140 | "), stream); | |
141 | putc ('\n', stream); | |
142 | ||
143 | fputs (_("\ | |
144 | THINGS is a list of comma separated words that can include:\n\ | |
145 | `state' describe the states\n\ | |
146 | `itemset' complete the core item sets with their closure\n\ | |
147 | `lookahead' explicitly associate lookaheads to items\n\ | |
148 | `solved' describe shift/reduce conflicts solving\n\ | |
149 | `all' include all the above information\n\ | |
150 | `none' disable the report\n\ | |
151 | "), stream); | |
152 | putc ('\n', stream); | |
153 | ||
154 | fputs (_("\ | |
155 | Report bugs to <bug-bison@gnu.org>.\n"), stream); | |
156 | } | |
157 | ||
158 | ||
159 | /*------------------------------. | |
160 | | Display the version message. | | |
161 | `------------------------------*/ | |
162 | ||
163 | static void | |
164 | version (FILE *stream) | |
165 | { | |
166 | /* Some efforts were made to ease the translators' task, please | |
167 | continue. */ | |
168 | fprintf (stream, _("bison (GNU Bison) %s"), VERSION); | |
169 | putc ('\n', stream); | |
170 | fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stream); | |
171 | putc ('\n', stream); | |
172 | ||
173 | fprintf (stream, | |
174 | _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2002); | |
175 | ||
176 | fputs (_("\ | |
177 | This is free software; see the source for copying conditions. There is NO\n\ | |
178 | warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\ | |
179 | "), | |
180 | stream); | |
181 | } | |
182 | ||
183 | ||
184 | /*----------------------. | |
185 | | Process the options. | | |
186 | `----------------------*/ | |
187 | ||
188 | /* Under DOS, there is no difference on the case. This can be | |
189 | troublesome when looking for `.tab' etc. */ | |
190 | #ifdef MSDOS | |
191 | # define AS_FILE_NAME(File) (strlwr (File), (File)) | |
192 | #else | |
193 | # define AS_FILE_NAME(File) (File) | |
194 | #endif | |
195 | ||
196 | void | |
197 | getargs (int argc, char *argv[]) | |
198 | { | |
199 | int c; | |
200 | ||
201 | struct option *longopts = long_option_table_new (); | |
202 | while ((c = getopt_long (argc, argv, shortopts, longopts, NULL)) != EOF) | |
203 | switch (c) | |
204 | { | |
205 | case 0: | |
206 | /* Certain long options cause getopt_long to return 0. */ | |
207 | break; | |
208 | ||
209 | case 'y': | |
210 | yacc_flag = 1; | |
211 | break; | |
212 | ||
213 | case 'h': | |
214 | usage (stdout); | |
215 | exit (0); | |
216 | ||
217 | case 'V': | |
218 | version (stdout); | |
219 | exit (0); | |
220 | ||
221 | case 'g': | |
222 | /* Here, the -g and --graph=FILE options are differentiated. */ | |
223 | graph_flag = 1; | |
224 | spec_graph_file = AS_FILE_NAME (optarg); | |
225 | break; | |
226 | ||
227 | case 'v': | |
228 | report_flag |= report_states; | |
229 | break; | |
230 | ||
231 | case 'S': | |
232 | skeleton = AS_FILE_NAME (optarg); | |
233 | break; | |
234 | ||
235 | case 'I': | |
236 | include = AS_FILE_NAME (optarg); | |
237 | break; | |
238 | ||
239 | case 'd': | |
240 | /* Here, the -d and --defines options are differentiated. */ | |
241 | defines_flag = 1; | |
242 | if (optarg) | |
243 | spec_defines_file = AS_FILE_NAME (optarg); | |
244 | break; | |
245 | ||
246 | case 'l': | |
247 | no_lines_flag = 1; | |
248 | break; | |
249 | ||
250 | case 'k': | |
251 | token_table_flag = 1; | |
252 | break; | |
253 | ||
254 | case 'n': | |
255 | no_parser_flag = 1; | |
256 | break; | |
257 | ||
258 | case 't': | |
259 | debug_flag = 1; | |
260 | break; | |
261 | ||
262 | case 'o': | |
263 | spec_outfile = AS_FILE_NAME (optarg); | |
264 | break; | |
265 | ||
266 | case 'b': | |
267 | spec_file_prefix = AS_FILE_NAME (optarg); | |
268 | break; | |
269 | ||
270 | case 'p': | |
271 | spec_name_prefix = optarg; | |
272 | break; | |
273 | ||
274 | case 'r': | |
275 | report_argmatch (optarg); | |
276 | break; | |
277 | ||
278 | default: | |
279 | fprintf (stderr, _("Try `%s --help' for more information.\n"), | |
280 | program_name); | |
281 | exit (1); | |
282 | } | |
283 | ||
284 | free (longopts); | |
285 | ||
286 | if (optind == argc) | |
287 | { | |
288 | fprintf (stderr, _("%s: no grammar file given\n"), program_name); | |
289 | exit (1); | |
290 | } | |
291 | if (optind < argc - 1) | |
292 | fprintf (stderr, _("%s: extra arguments ignored after `%s'\n"), | |
293 | program_name, argv[optind]); | |
294 | ||
295 | infile = argv[optind]; | |
296 | } |