build: avoid warnings about set-but-not-used variables
[bison.git] / src / getargs.c
0 / 698 (  0%)
CommitLineData
1/* Parse command line arguments for Bison.
2
3 Copyright (C) 1984, 1986, 1989, 1992, 2000-2011 Free Software
4 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 <http://www.gnu.org/licenses/>. */
20
21#include <config.h>
22#include "system.h"
23#include "output.h"
24
25#include <argmatch.h>
26#include <c-strcase.h>
27#include <configmake.h>
28#include <error.h>
29#include <quotearg.h>
30
31/* Hack to get <getopt.h> to declare getopt with a prototype. */
32#if lint && ! defined __GNU_LIBRARY__
33# define __GNU_LIBRARY__
34# define HACK_FOR___GNU_LIBRARY___PROTOTYPE 1
35#endif
36
37#include <getopt.h>
38
39#ifdef HACK_FOR___GNU_LIBRARY___PROTOTYPE
40# undef __GNU_LIBRARY__
41# undef HACK_FOR___GNU_LIBRARY___PROTOTYPE
42#endif
43
44#include "complain.h"
45#include "files.h"
46#include "getargs.h"
47#include "muscle-tab.h"
48#include "uniqstr.h"
49
50bool debug_flag;
51bool defines_flag;
52bool graph_flag;
53bool xml_flag;
54bool locations_flag;
55bool no_lines_flag;
56bool token_table_flag;
57bool yacc_flag; /* for -y */
58
59bool error_verbose = false;
60
61bool nondeterministic_parser = false;
62bool glr_parser = false;
63
64int report_flag = report_none;
65int trace_flag = trace_none;
66int warnings_flag = warnings_conflicts_sr | warnings_conflicts_rr
67 | warnings_other;
68
69static struct bison_language const valid_languages[] = {
70 { "c", "c-skel.m4", ".c", ".h", true },
71 { "c++", "c++-skel.m4", ".cc", ".hh", true },
72 { "java", "java-skel.m4", ".java", ".java", false },
73 { "", "", "", "", false }
74};
75
76int skeleton_prio = default_prio;
77const char *skeleton = NULL;
78int language_prio = default_prio;
79struct bison_language const *language = &valid_languages[0];
80const char *include = NULL;
81
82char *program_name;
83
84
85/** Decode an option's set of keys.
86 *
87 * \param option option being decoded.
88 * \param keys array of valid subarguments.
89 * \param values array of corresponding (int) values.
90 * \param all the all value.
91 * \param flags the flags to update
92 * \param args comma separated list of effective subarguments to decode.
93 * If 0, then activate all the flags.
94 *
95 * If VALUE != 0 then KEY sets flags and no-KEY clears them.
96 * If VALUE == 0 then KEY clears all flags from \c all and no-KEY sets all
97 * flags from \c all. Thus no-none = all and no-all = none.
98 */
99static void
100flags_argmatch (const char *option,
101 const char * const keys[], const int values[],
102 int all, int *flags, char *args)
103{
104 if (args)
105 {
106 args = strtok (args, ",");
107 while (args)
108 {
109 int no = strncmp (args, "no-", 3) == 0 ? 3 : 0;
110 int value = XARGMATCH (option, args + no, keys, values);
111 if (value == 0)
112 {
113 if (no)
114 *flags |= all;
115 else
116 *flags &= ~all;
117 }
118 else
119 {
120 if (no)
121 *flags &= ~value;
122 else
123 *flags |= value;
124 }
125 args = strtok (NULL, ",");
126 }
127 }
128 else
129 *flags |= all;
130}
131
132/** Decode a set of sub arguments.
133 *
134 * \param FlagName the flag familly to update.
135 * \param Args the effective sub arguments to decode.
136 *
137 * \arg FlagName_args the list of keys.
138 * \arg FlagName_types the list of values.
139 * \arg FlagName_all the all value.
140 * \arg FlagName_flag the flag to update.
141 */
142#define FLAGS_ARGMATCH(FlagName, Args) \
143 flags_argmatch ("--" #FlagName, FlagName ## _args, FlagName ## _types, \
144 FlagName ## _all, &FlagName ## _flag, Args)
145
146
147/*----------------------.
148| --report's handling. |
149`----------------------*/
150
151static const char * const report_args[] =
152{
153 /* In a series of synonyms, present the most meaningful first, so
154 that argmatch_valid be more readable. */
155 "none",
156 "state", "states",
157 "itemset", "itemsets",
158 "lookahead", "lookaheads", "look-ahead",
159 "solved",
160 "all",
161 0
162};
163
164static const int report_types[] =
165{
166 report_none,
167 report_states, report_states,
168 report_states | report_itemsets, report_states | report_itemsets,
169 report_states | report_lookahead_tokens,
170 report_states | report_lookahead_tokens,
171 report_states | report_lookahead_tokens,
172 report_states | report_solved_conflicts,
173 report_all
174};
175
176ARGMATCH_VERIFY (report_args, report_types);
177
178
179/*---------------------.
180| --trace's handling. |
181`---------------------*/
182
183static const char * const trace_args[] =
184{
185 /* In a series of synonyms, present the most meaningful first, so
186 that argmatch_valid be more readable. */
187 "none - no traces",
188 "scan - grammar scanner traces",
189 "parse - grammar parser traces",
190 "automaton - construction of the automaton",
191 "bitsets - use of bitsets",
192 "grammar - reading, reducing the grammar",
193 "resource - memory consumption (where available)",
194 "sets - grammar sets: firsts, nullable etc.",
195 "muscles - m4 definitions passed to the skeleton",
196 "tools - m4 invocation",
197 "m4 - m4 traces",
198 "skeleton - skeleton postprocessing",
199 "time - time consumption",
200 "ielr - IELR conversion",
201 "all - all of the above",
202 0
203};
204
205static const int trace_types[] =
206{
207 trace_none,
208 trace_scan,
209 trace_parse,
210 trace_automaton,
211 trace_bitsets,
212 trace_grammar,
213 trace_resource,
214 trace_sets,
215 trace_muscles,
216 trace_tools,
217 trace_m4,
218 trace_skeleton,
219 trace_time,
220 trace_ielr,
221 trace_all
222};
223
224ARGMATCH_VERIFY (trace_args, trace_types);
225
226
227/*------------------------.
228| --warnings's handling. |
229`------------------------*/
230
231static const char * const warnings_args[] =
232{
233 /* In a series of synonyms, present the most meaningful first, so
234 that argmatch_valid be more readable. */
235 "none - no warnings",
236 "midrule-values - unset or unused midrule values",
237 "yacc - incompatibilities with POSIX Yacc",
238 "conflicts-sr - S/R conflicts",
239 "conflicts-rr - R/R conflicts",
240 "other - all other warnings",
241 "all - all of the above",
242 "error - warnings are errors",
243 0
244};
245
246static const int warnings_types[] =
247{
248 warnings_none,
249 warnings_midrule_values,
250 warnings_yacc,
251 warnings_conflicts_sr,
252 warnings_conflicts_rr,
253 warnings_other,
254 warnings_all,
255 warnings_error
256};
257
258ARGMATCH_VERIFY (warnings_args, warnings_types);
259
260
261/*-------------------------------------------.
262| Display the help message and exit STATUS. |
263`-------------------------------------------*/
264
265static void usage (int) ATTRIBUTE_NORETURN;
266
267static void
268usage (int status)
269{
270 if (status != 0)
271 fprintf (stderr, _("Try `%s --help' for more information.\n"),
272 program_name);
273 else
274 {
275 /* For ../build-aux/cross-options.pl to work, use the format:
276 ^ -S, --long[=ARGS] (whitespace)
277 A --long option is required.
278 Otherwise, add exceptions to ../build-aux/cross-options.pl. */
279
280 printf (_("Usage: %s [OPTION]... FILE\n"), program_name);
281 fputs (_("\
282Generate a deterministic LR or generalized LR (GLR) parser employing\n\
283LALR(1), IELR(1), or canonical LR(1) parser tables. IELR(1) and\n\
284canonical LR(1) support is experimental.\n\
285\n\
286"), stdout);
287
288 fputs (_("\
289Mandatory arguments to long options are mandatory for short options too.\n\
290"), stdout);
291 fputs (_("\
292The same is true for optional arguments.\n\
293"), stdout);
294
295 fputs (_("\
296\n\
297Operation modes:\n\
298 -h, --help display this help and exit\n\
299 -V, --version output version information and exit\n\
300 --print-localedir output directory containing locale-dependent data\n\
301 --print-datadir output directory containing skeletons and XSLT\n\
302 -y, --yacc emulate POSIX Yacc\n\
303 -W, --warnings[=CATEGORY] report the warnings falling in CATEGORY\n\
304\n\
305"), stdout);
306
307 fputs (_("\
308Parser:\n\
309 -L, --language=LANGUAGE specify the output programming language\n\
310 (this is an experimental feature)\n\
311 -S, --skeleton=FILE specify the skeleton to use\n\
312 -t, --debug instrument the parser for debugging\n\
313 --locations enable location support\n\
314 -D, --define=NAME[=VALUE] similar to `%define NAME \"VALUE\"'\n\
315 -F, --force-define=NAME[=VALUE] override `%define NAME \"VALUE\"'\n\
316 -p, --name-prefix=PREFIX prepend PREFIX to the external symbols\n\
317 -l, --no-lines don't generate `#line' directives\n\
318 -k, --token-table include a table of token names\n\
319\n\
320"), stdout);
321
322 /* Keep -d and --defines separate so that ../build-aux/cross-options.pl
323 * won't assume that -d also takes an argument. */
324 fputs (_("\
325Output:\n\
326 --defines[=FILE] also produce a header file\n\
327 -d likewise but cannot specify FILE (for POSIX Yacc)\n\
328 -r, --report=THINGS also produce details on the automaton\n\
329 --report-file=FILE write report to FILE\n\
330 -v, --verbose same as `--report=state'\n\
331 -b, --file-prefix=PREFIX specify a PREFIX for output files\n\
332 -o, --output=FILE leave output to FILE\n\
333 -g, --graph[=FILE] also output a graph of the automaton\n\
334 -x, --xml[=FILE] also output an XML report of the automaton\n\
335 (the XML schema is experimental)\n\
336\n\
337"), stdout);
338
339 fputs (_("\
340Warning categories include:\n\
341 `midrule-values' unset or unused midrule values\n\
342 `yacc' incompatibilities with POSIX Yacc\n\
343 `conflicts-sr' S/R conflicts (enabled by default)\n\
344 `conflicts-rr' R/R conflicts (enabled by default)\n\
345 `other' all other warnings (enabled by default)\n\
346 `all' all the warnings\n\
347 `no-CATEGORY' turn off warnings in CATEGORY\n\
348 `none' turn off all the warnings\n\
349 `error' treat warnings as errors\n\
350\n\
351"), stdout);
352
353 fputs (_("\
354THINGS is a list of comma separated words that can include:\n\
355 `state' describe the states\n\
356 `itemset' complete the core item sets with their closure\n\
357 `lookahead' explicitly associate lookahead tokens to items\n\
358 `solved' describe shift/reduce conflicts solving\n\
359 `all' include all the above information\n\
360 `none' disable the report\n\
361"), stdout);
362
363 printf (_("\nReport bugs to <%s>.\n"), PACKAGE_BUGREPORT);
364 }
365
366 exit (status);
367}
368
369
370/*------------------------------.
371| Display the version message. |
372`------------------------------*/
373
374static void
375version (void)
376{
377 /* Some efforts were made to ease the translators' task, please
378 continue. */
379 printf (_("bison (GNU Bison) %s"), VERSION);
380 putc ('\n', stdout);
381 fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stdout);
382 putc ('\n', stdout);
383
384 fprintf (stdout,
385 _("Copyright (C) %d Free Software Foundation, Inc.\n"),
386 PACKAGE_COPYRIGHT_YEAR);
387
388 fputs (_("\
389This is free software; see the source for copying conditions. There is NO\n\
390warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
391"),
392 stdout);
393}
394
395
396/*-------------------------------------.
397| --skeleton and --language handling. |
398`--------------------------------------*/
399
400void
401skeleton_arg (char const *arg, int prio, location loc)
402{
403 if (prio < skeleton_prio)
404 {
405 skeleton_prio = prio;
406 skeleton = arg;
407 }
408 else if (prio == skeleton_prio)
409 complain_at (loc, _("multiple skeleton declarations are invalid"));
410}
411
412void
413language_argmatch (char const *arg, int prio, location loc)
414{
415 char const *msg;
416
417 if (prio < language_prio)
418 {
419 int i;
420 for (i = 0; valid_languages[i].language[0]; i++)
421 if (c_strcasecmp (arg, valid_languages[i].language) == 0)
422 {
423 language_prio = prio;
424 language = &valid_languages[i];
425 return;
426 }
427 msg = _("invalid language `%s'");
428 }
429 else if (language_prio == prio)
430 msg = _("multiple language declarations are invalid");
431 else
432 return;
433
434 complain_at (loc, msg, arg);
435}
436
437/*----------------------.
438| Process the options. |
439`----------------------*/
440
441/* Shorts options.
442 Should be computed from long_options. */
443static char const short_options[] =
444 "D:"
445 "F:"
446 "L:"
447 "S:"
448 "T::"
449 "V"
450 "W::"
451 "b:"
452 "d"
453 "e"
454 "g::"
455 "h"
456 "k"
457 "l"
458 "n"
459 "o:"
460 "p:"
461 "r:"
462 "t"
463 "v"
464 "x::"
465 "y"
466 ;
467
468/* Values for long options that do not have single-letter equivalents. */
469enum
470{
471 LOCATIONS_OPTION = CHAR_MAX + 1,
472 PRINT_LOCALEDIR_OPTION,
473 PRINT_DATADIR_OPTION,
474 REPORT_FILE_OPTION
475};
476
477static struct option const long_options[] =
478{
479 /* Operation modes. */
480 { "help", no_argument, 0, 'h' },
481 { "version", no_argument, 0, 'V' },
482 { "print-localedir", no_argument, 0, PRINT_LOCALEDIR_OPTION },
483 { "print-datadir", no_argument, 0, PRINT_DATADIR_OPTION },
484 { "warnings", optional_argument, 0, 'W' },
485
486 /* Parser. */
487 { "name-prefix", required_argument, 0, 'p' },
488 { "include", required_argument, 0, 'I' },
489
490 /* Output. */
491 { "file-prefix", required_argument, 0, 'b' },
492 { "output", required_argument, 0, 'o' },
493 { "output-file", required_argument, 0, 'o' },
494 { "graph", optional_argument, 0, 'g' },
495 { "xml", optional_argument, 0, 'x' },
496 { "report", required_argument, 0, 'r' },
497 { "report-file", required_argument, 0, REPORT_FILE_OPTION },
498 { "verbose", no_argument, 0, 'v' },
499
500 /* Hidden. */
501 { "trace", optional_argument, 0, 'T' },
502
503 /* Output. */
504 { "defines", optional_argument, 0, 'd' },
505
506 /* Operation modes. */
507 { "fixed-output-files", no_argument, 0, 'y' },
508 { "yacc", no_argument, 0, 'y' },
509
510 /* Parser. */
511 { "debug", no_argument, 0, 't' },
512 { "define", required_argument, 0, 'D' },
513 { "force-define", required_argument, 0, 'F' },
514 { "locations", no_argument, 0, LOCATIONS_OPTION },
515 { "no-lines", no_argument, 0, 'l' },
516 { "raw", no_argument, 0, 0 },
517 { "skeleton", required_argument, 0, 'S' },
518 { "language", required_argument, 0, 'L' },
519 { "token-table", no_argument, 0, 'k' },
520
521 {0, 0, 0, 0}
522};
523
524/* Under DOS, there is no difference on the case. This can be
525 troublesome when looking for `.tab' etc. */
526#ifdef MSDOS
527# define AS_FILE_NAME(File) (strlwr (File), (File))
528#else
529# define AS_FILE_NAME(File) (File)
530#endif
531
532/* Build a location for the current command line argument. */
533static
534location
535command_line_location (void)
536{
537 location res;
538 /* "<command line>" is used in GCC's messages about -D. */
539 boundary_set (&res.start, uniqstr_new ("<command line>"), optind, -1);
540 res.end = res.start;
541 return res;
542}
543
544
545void
546getargs (int argc, char *argv[])
547{
548 int c;
549
550 while ((c = getopt_long (argc, argv, short_options, long_options, NULL))
551 != -1)
552 switch (c)
553 {
554 /* ASCII Sorting for short options (i.e., upper case then
555 lower case), and then long-only options. */
556
557 case 0:
558 /* Certain long options cause getopt_long to return 0. */
559 break;
560
561 case 'D': /* -DNAME[=VALUE]. */
562 case 'F': /* -FNAME[=VALUE]. */
563 {
564 char* name = optarg;
565 char* value = mbschr (optarg, '=');
566 if (value)
567 *value++ = 0;
568 muscle_percent_define_insert (name, command_line_location (),
569 value ? value : "",
570 c == 'D' ? MUSCLE_PERCENT_DEFINE_D
571 : MUSCLE_PERCENT_DEFINE_F);
572 }
573 break;
574
575 case 'I':
576 include = AS_FILE_NAME (optarg);
577 break;
578
579 case 'L':
580 language_argmatch (optarg, command_line_prio,
581 command_line_location ());
582 break;
583
584 case 'S':
585 skeleton_arg (AS_FILE_NAME (optarg), command_line_prio,
586 command_line_location ());
587 break;
588
589 case 'T':
590 FLAGS_ARGMATCH (trace, optarg);
591 break;
592
593 case 'V':
594 version ();
595 exit (EXIT_SUCCESS);
596
597 case 'W':
598 FLAGS_ARGMATCH (warnings, optarg);
599 break;
600
601 case 'b':
602 spec_file_prefix = AS_FILE_NAME (optarg);
603 break;
604
605 case 'd':
606 /* Here, the -d and --defines options are differentiated. */
607 defines_flag = true;
608 if (optarg)
609 spec_defines_file = xstrdup (AS_FILE_NAME (optarg));
610 break;
611
612 case 'g':
613 graph_flag = true;
614 if (optarg)
615 spec_graph_file = xstrdup (AS_FILE_NAME (optarg));
616 break;
617
618 case 'h':
619 usage (EXIT_SUCCESS);
620
621 case 'k':
622 token_table_flag = true;
623 break;
624
625 case 'l':
626 no_lines_flag = true;
627 break;
628
629 case 'o':
630 spec_outfile = AS_FILE_NAME (optarg);
631 break;
632
633 case 'p':
634 spec_name_prefix = optarg;
635 break;
636
637 case 'r':
638 FLAGS_ARGMATCH (report, optarg);
639 break;
640
641 case 't':
642 debug_flag = true;
643 break;
644
645 case 'v':
646 report_flag |= report_states;
647 break;
648
649 case 'x':
650 xml_flag = true;
651 if (optarg)
652 spec_xml_file = xstrdup (AS_FILE_NAME (optarg));
653 break;
654
655 case 'y':
656 yacc_flag = true;
657 break;
658
659 case LOCATIONS_OPTION:
660 locations_flag = true;
661 break;
662
663 case PRINT_LOCALEDIR_OPTION:
664 printf ("%s\n", LOCALEDIR);
665 exit (EXIT_SUCCESS);
666
667 case PRINT_DATADIR_OPTION:
668 printf ("%s\n", compute_pkgdatadir ());
669 exit (EXIT_SUCCESS);
670
671 case REPORT_FILE_OPTION:
672 spec_verbose_file = xstrdup (AS_FILE_NAME (optarg));
673 break;
674
675 default:
676 usage (EXIT_FAILURE);
677 }
678
679 if (argc - optind != 1)
680 {
681 if (argc - optind < 1)
682 error (0, 0, _("missing operand after `%s'"), argv[argc - 1]);
683 else
684 error (0, 0, _("extra operand `%s'"), argv[optind + 1]);
685 usage (EXIT_FAILURE);
686 }
687
688 current_file = grammar_file = uniqstr_new (argv[optind]);
689 MUSCLE_INSERT_C_STRING ("file_name", grammar_file);
690}
691
692void
693tr (char *s, char from, char to)
694{
695 for (; *s; s++)
696 if (*s == from)
697 *s = to;
698}