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