]>
git.saurik.com Git - bison.git/blob - src/getargs.c
db1c3869554c9da412687b702dc1056060c977f8
1 /* Parse command line arguments for Bison.
3 Copyright (C) 1984, 1986, 1989, 1992, 2000-2012 Free Software
6 This file is part of Bison, the GNU Compiler Compiler.
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.
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.
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/>. */
26 #include <c-strcase.h>
27 #include <configmake.h>
35 #include "muscle-tab.h"
43 bool token_table_flag
;
44 bool yacc_flag
; /* for -y */
46 bool nondeterministic_parser
= false;
47 bool glr_parser
= false;
49 int report_flag
= report_none
;
50 int trace_flag
= trace_none
;
52 static struct bison_language
const valid_languages
[] = {
53 { "c", "c-skel.m4", ".c", ".h", true },
54 { "c++", "c++-skel.m4", ".cc", ".hh", true },
55 { "java", "java-skel.m4", ".java", ".java", false },
56 { "", "", "", "", false }
59 int skeleton_prio
= default_prio
;
60 const char *skeleton
= NULL
;
61 int language_prio
= default_prio
;
62 struct bison_language
const *language
= &valid_languages
[0];
63 const char *include
= NULL
;
66 /** Decode an option's set of keys.
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 args comma separated list of effective subarguments to decode.
74 * If 0, then activate all the flags.
76 * If VALUE != 0 then KEY sets flags and no-KEY clears them.
77 * If VALUE == 0 then KEY clears all flags from \c all and no-KEY sets all
78 * flags from \c all. Thus no-none = all and no-all = none.
81 flags_argmatch (const char *option
,
82 const char * const keys
[], const int values
[],
83 int all
, int *flags
, char *args
)
87 args
= strtok (args
, ",");
91 int *save_flags
= flags
;
92 int no
= STRPREFIX_LIT ("no-", args
) ? 3 : 0;
93 int err
= STRPREFIX_LIT ("error", args
+ no
) ? 5 : 0;
97 if (!err
|| args
[no
+ err
++] != '\0')
98 value
= XARGMATCH (option
, args
+ no
+ err
, keys
, values
);
102 /* With a simpler 'if (no)' version, -Werror means -Werror=all
103 (or rather, -Werror=no-none, but that syntax is invalid).
105 - Werror activates all errors, but not the warnings
106 - Werror=all activates errors, and all warnings */
119 warnings_flag
|= value
;
124 args
= strtok (NULL
, ",");
131 /** Decode a set of sub arguments.
133 * \param FlagName the flag familly to update.
134 * \param Args the effective sub arguments to decode.
135 * \param All the "all" value.
137 * \arg FlagName_args the list of keys.
138 * \arg FlagName_types the list of values.
139 * \arg FlagName_flag the flag to update.
141 #define FLAGS_ARGMATCH(FlagName, Args, All) \
142 flags_argmatch ("--" #FlagName, FlagName ## _args, FlagName ## _types, \
143 All, &FlagName ## _flag, Args)
146 /*----------------------.
147 | --report's handling. |
148 `----------------------*/
150 static const char * const report_args
[] =
152 /* In a series of synonyms, present the most meaningful first, so
153 that argmatch_valid be more readable. */
156 "itemset", "itemsets",
157 "lookahead", "lookaheads", "look-ahead",
163 static const int report_types
[] =
166 report_states
, report_states
,
167 report_states
| report_itemsets
, report_states
| report_itemsets
,
168 report_states
| report_lookahead_tokens
,
169 report_states
| report_lookahead_tokens
,
170 report_states
| report_lookahead_tokens
,
171 report_states
| report_solved_conflicts
,
175 ARGMATCH_VERIFY (report_args
, report_types
);
178 /*---------------------.
179 | --trace's handling. |
180 `---------------------*/
182 static const char * const trace_args
[] =
184 /* In a series of synonyms, present the most meaningful first, so
185 that argmatch_valid be more readable. */
187 "scan - grammar scanner traces",
188 "parse - grammar parser traces",
189 "automaton - construction of the automaton",
190 "bitsets - use of bitsets",
191 "grammar - reading, reducing the grammar",
192 "resource - memory consumption (where available)",
193 "sets - grammar sets: firsts, nullable etc.",
194 "muscles - m4 definitions passed to the skeleton",
195 "tools - m4 invocation",
197 "skeleton - skeleton postprocessing",
198 "time - time consumption",
199 "ielr - IELR conversion",
200 "all - all of the above",
204 static const int trace_types
[] =
223 ARGMATCH_VERIFY (trace_args
, trace_types
);
226 /*------------------------.
227 | --warnings's handling. |
228 `------------------------*/
230 static const char * const warnings_args
[] =
232 /* In a series of synonyms, present the most meaningful first, so
233 that argmatch_valid be more readable. */
234 "none - no warnings",
235 "midrule-values - unset or unused midrule values",
236 "yacc - incompatibilities with POSIX Yacc",
237 "conflicts-sr - S/R conflicts",
238 "conflicts-rr - R/R conflicts",
239 "deprecated - obsolete constructs",
240 "other - all other warnings",
241 "all - all of the above",
242 "error - warnings are errors",
246 static const int warnings_types
[] =
259 ARGMATCH_VERIFY (warnings_args
, warnings_types
);
261 /*-------------------------------------------.
262 | Display the help message and exit STATUS. |
263 `-------------------------------------------*/
265 static void usage (int) ATTRIBUTE_NORETURN
;
271 fprintf (stderr
, _("Try `%s --help' for more information.\n"),
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. */
280 printf (_("Usage: %s [OPTION]... FILE\n"), program_name
);
282 Generate a deterministic LR or generalized LR (GLR) parser employing\n\
283 LALR(1), IELR(1), or canonical LR(1) parser tables. IELR(1) and\n\
284 canonical LR(1) support is experimental.\n\
289 Mandatory arguments to long options are mandatory for short options too.\n\
292 The same is true for optional arguments.\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\
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 tracing\n\
313 same as `-Dparse.trace'\n\
314 --locations enable location support\n\
315 -D, --define=NAME[=VALUE] similar to '%define NAME \"VALUE\"'\n\
316 -F, --force-define=NAME[=VALUE] override '%define NAME \"VALUE\"'\n\
317 -p, --name-prefix=PREFIX prepend PREFIX to the external symbols\n\
318 deprecated by '-Dapi.prefix=PREFIX'\n\
319 -l, --no-lines don't generate '#line' directives\n\
320 -k, --token-table include a table of token names\n\
324 /* Keep -d and --defines separate so that ../build-aux/cross-options.pl
325 * won't assume that -d also takes an argument. */
328 --defines[=FILE] also produce a header file\n\
329 -d likewise but cannot specify FILE (for POSIX Yacc)\n\
330 -r, --report=THINGS also produce details on the automaton\n\
331 --report-file=FILE write report to FILE\n\
332 -v, --verbose same as `--report=state'\n\
333 -b, --file-prefix=PREFIX specify a PREFIX for output files\n\
334 -o, --output=FILE leave output to FILE\n\
335 -g, --graph[=FILE] also output a graph of the automaton\n\
336 -x, --xml[=FILE] also output an XML report of the automaton\n\
337 (the XML schema is experimental)\n\
342 Warning categories include:\n\
343 `midrule-values' unset or unused midrule values\n\
344 `yacc' incompatibilities with POSIX Yacc\n\
345 `conflicts-sr' S/R conflicts (enabled by default)\n\
346 `conflicts-rr' R/R conflicts (enabled by default)\n\
347 `deprecated' obsolete constructs\n\
348 `other' all other warnings (enabled by default)\n\
349 `all' all the warnings\n\
350 `no-CATEGORY' turn off warnings in CATEGORY\n\
351 `none' turn off all the warnings\n\
352 `error[=CATEGORY]' treat warnings as errors\n\
357 THINGS is a list of comma separated words that can include:\n\
358 `state' describe the states\n\
359 `itemset' complete the core item sets with their closure\n\
360 `lookahead' explicitly associate lookahead tokens to items\n\
361 `solved' describe shift/reduce conflicts solving\n\
362 `all' include all the above information\n\
363 `none' disable the report\n\
367 printf (_("Report bugs to <%s>.\n"), PACKAGE_BUGREPORT
);
368 printf (_("%s home page: <%s>.\n"), PACKAGE_NAME
, PACKAGE_URL
);
369 fputs (_("General help using GNU software: "
370 "<http://www.gnu.org/gethelp/>.\n"),
372 /* Don't output this redundant message for English locales.
373 Note we still output for 'C' so that it gets included in the
375 const char *lc_messages
= setlocale (LC_MESSAGES
, NULL
);
376 if (lc_messages
&& !STREQ (lc_messages
, "en_"))
377 /* TRANSLATORS: Replace LANG_CODE in this URL with your language
378 code <http://translationproject.org/team/LANG_CODE.html> to
379 form one of the URLs at http://translationproject.org/team/.
380 Otherwise, replace the entire URL with your translation team's
382 fputs (_("Report translation bugs to "
383 "<http://translationproject.org/team/>.\n"), stdout
);
384 fputs (_("For complete documentation, run: info bison.\n"), stdout
);
391 /*------------------------------.
392 | Display the version message. |
393 `------------------------------*/
398 /* Some efforts were made to ease the translators' task, please
400 printf (_("bison (GNU Bison) %s"), VERSION
);
402 fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stdout
);
406 _("Copyright (C) %d Free Software Foundation, Inc.\n"),
407 PACKAGE_COPYRIGHT_YEAR
);
410 This is free software; see the source for copying conditions. There is NO\n\
411 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
417 /*-------------------------------------.
418 | --skeleton and --language handling. |
419 `--------------------------------------*/
422 skeleton_arg (char const *arg
, int prio
, location loc
)
424 if (prio
< skeleton_prio
)
426 skeleton_prio
= prio
;
429 else if (prio
== skeleton_prio
)
430 complain (&loc
, complaint
,
431 _("multiple skeleton declarations are invalid"));
435 language_argmatch (char const *arg
, int prio
, location loc
)
439 if (prio
< language_prio
)
442 for (i
= 0; valid_languages
[i
].language
[0]; i
++)
443 if (c_strcasecmp (arg
, valid_languages
[i
].language
) == 0)
445 language_prio
= prio
;
446 language
= &valid_languages
[i
];
449 msg
= _("%s: invalid language");
451 else if (language_prio
== prio
)
452 msg
= _("multiple language declarations are invalid");
456 complain (&loc
, complaint
, msg
, quotearg_colon (arg
));
459 /*----------------------.
460 | Process the options. |
461 `----------------------*/
464 Should be computed from long_options. */
465 static char const short_options
[] =
490 /* Values for long options that do not have single-letter equivalents. */
493 LOCATIONS_OPTION
= CHAR_MAX
+ 1,
494 PRINT_LOCALEDIR_OPTION
,
495 PRINT_DATADIR_OPTION
,
499 static struct option
const long_options
[] =
501 /* Operation modes. */
502 { "help", no_argument
, 0, 'h' },
503 { "version", no_argument
, 0, 'V' },
504 { "print-localedir", no_argument
, 0, PRINT_LOCALEDIR_OPTION
},
505 { "print-datadir", no_argument
, 0, PRINT_DATADIR_OPTION
},
506 { "warnings", optional_argument
, 0, 'W' },
509 { "name-prefix", required_argument
, 0, 'p' },
510 { "include", required_argument
, 0, 'I' },
513 { "file-prefix", required_argument
, 0, 'b' },
514 { "output", required_argument
, 0, 'o' },
515 { "output-file", required_argument
, 0, 'o' },
516 { "graph", optional_argument
, 0, 'g' },
517 { "xml", optional_argument
, 0, 'x' },
518 { "report", required_argument
, 0, 'r' },
519 { "report-file", required_argument
, 0, REPORT_FILE_OPTION
},
520 { "verbose", no_argument
, 0, 'v' },
523 { "trace", optional_argument
, 0, 'T' },
526 { "defines", optional_argument
, 0, 'd' },
528 /* Operation modes. */
529 { "fixed-output-files", no_argument
, 0, 'y' },
530 { "yacc", no_argument
, 0, 'y' },
533 { "debug", no_argument
, 0, 't' },
534 { "define", required_argument
, 0, 'D' },
535 { "force-define", required_argument
, 0, 'F' },
536 { "locations", no_argument
, 0, LOCATIONS_OPTION
},
537 { "no-lines", no_argument
, 0, 'l' },
538 { "raw", no_argument
, 0, 0 },
539 { "skeleton", required_argument
, 0, 'S' },
540 { "language", required_argument
, 0, 'L' },
541 { "token-table", no_argument
, 0, 'k' },
546 /* Under DOS, there is no difference on the case. This can be
547 troublesome when looking for `.tab' etc. */
549 # define AS_FILE_NAME(File) (strlwr (File), (File))
551 # define AS_FILE_NAME(File) (File)
554 /* Build a location for the current command line argument. */
557 command_line_location (void)
560 /* "<command line>" is used in GCC's messages about -D. */
561 boundary_set (&res
.start
, uniqstr_new ("<command line>"), optind
, -1);
568 getargs (int argc
, char *argv
[])
572 while ((c
= getopt_long (argc
, argv
, short_options
, long_options
, NULL
))
576 /* ASCII Sorting for short options (i.e., upper case then
577 lower case), and then long-only options. */
580 /* Certain long options cause getopt_long to return 0. */
583 case 'D': /* -DNAME[=VALUE]. */
584 case 'F': /* -FNAME[=VALUE]. */
587 char* value
= strchr (optarg
, '=');
590 muscle_percent_define_insert (name
, command_line_location (),
592 c
== 'D' ? MUSCLE_PERCENT_DEFINE_D
593 : MUSCLE_PERCENT_DEFINE_F
);
598 include
= AS_FILE_NAME (optarg
);
602 language_argmatch (optarg
, command_line_prio
,
603 command_line_location ());
607 skeleton_arg (AS_FILE_NAME (optarg
), command_line_prio
,
608 command_line_location ());
612 FLAGS_ARGMATCH (trace
, optarg
, trace_all
);
620 FLAGS_ARGMATCH (warnings
, optarg
, Wall
);
624 spec_file_prefix
= AS_FILE_NAME (optarg
);
628 /* Here, the -d and --defines options are differentiated. */
632 free (spec_defines_file
);
633 spec_defines_file
= xstrdup (AS_FILE_NAME (optarg
));
641 free (spec_graph_file
);
642 spec_graph_file
= xstrdup (AS_FILE_NAME (optarg
));
647 usage (EXIT_SUCCESS
);
650 token_table_flag
= true;
654 no_lines_flag
= true;
658 spec_outfile
= AS_FILE_NAME (optarg
);
662 spec_name_prefix
= optarg
;
666 FLAGS_ARGMATCH (report
, optarg
, report_all
);
670 muscle_percent_define_insert ("parse.trace",
671 command_line_location (), "",
672 MUSCLE_PERCENT_DEFINE_D
);
676 report_flag
|= report_states
;
683 free (spec_xml_file
);
684 spec_xml_file
= xstrdup (AS_FILE_NAME (optarg
));
689 warnings_flag
|= Wyacc
;
690 errors_flag
|= Wyacc
;
694 case LOCATIONS_OPTION
:
695 muscle_percent_define_ensure ("locations",
696 command_line_location (), true);
699 case PRINT_LOCALEDIR_OPTION
:
700 printf ("%s\n", LOCALEDIR
);
703 case PRINT_DATADIR_OPTION
:
704 printf ("%s\n", pkgdatadir ());
707 case REPORT_FILE_OPTION
:
708 free (spec_verbose_file
);
709 spec_verbose_file
= xstrdup (AS_FILE_NAME (optarg
));
713 usage (EXIT_FAILURE
);
716 if (argc
- optind
!= 1)
718 if (argc
- optind
< 1)
719 error (0, 0, _("%s: missing operand"), quotearg_colon (argv
[argc
- 1]));
721 error (0, 0, _("extra operand %s"), quote (argv
[optind
+ 1]));
722 usage (EXIT_FAILURE
);
725 current_file
= grammar_file
= uniqstr_new (argv
[optind
]);
726 MUSCLE_INSERT_C_STRING ("file_name", grammar_file
);
730 tr (char *s
, char from
, char to
)