]>
git.saurik.com Git - bison.git/blob - src/getargs.c
4ff38fb188594e2ce0373bf6f5dd98c89fe5ccbe
1 /* Parse command line arguments for Bison.
3 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004,
4 2005, 2006, 2007 Free Software Foundation, Inc.
6 This file is part of Bison, the GNU Compiler Compiler.
8 Bison is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 Bison is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with Bison; see the file COPYING. If not, write to the Free
20 Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
28 #include <c-strcase.h>
29 #include <configmake.h>
32 /* Hack to get <getopt.h> to declare getopt with a prototype. */
33 #if lint && ! defined __GNU_LIBRARY__
34 # define __GNU_LIBRARY__
35 # define HACK_FOR___GNU_LIBRARY___PROTOTYPE 1
40 #ifdef HACK_FOR___GNU_LIBRARY___PROTOTYPE
41 # undef __GNU_LIBRARY__
42 # undef HACK_FOR___GNU_LIBRARY___PROTOTYPE
56 bool token_table_flag
;
57 bool yacc_flag
; /* for -y */
59 bool error_verbose
= false;
61 bool nondeterministic_parser
= false;
62 bool glr_parser
= false;
63 bool pull_parser
= true;
64 bool pure_parser
= false;
65 bool push_parser
= false;
67 int report_flag
= report_none
;
68 int trace_flag
= trace_none
;
69 int warnings_flag
= warnings_none
;
71 static struct bison_language
const valid_languages
[] = {
72 { "c", "c-skel.m4", ".c", ".h", true },
73 { "c++", "c++-skel.m4", ".cc", ".hh", true },
74 { "java", "java-skel.m4", ".java", ".java", false },
75 { "", "", "", "", false }
78 static int skeleton_prio
= 2;
79 const char *skeleton
= NULL
;
80 static int language_prio
= 2;
81 struct bison_language
const *language
= &valid_languages
[0];
82 const char *include
= NULL
;
87 /** Decode an option's set of keys.
89 * \param option option being decoded.
90 * \param keys array of valid subarguments.
91 * \param values array of corresponding (int) values.
92 * \param flags the flags to update
93 * \param args colon separated list of effective subarguments to decode.
94 * If 0, then activate all the flags.
96 * The special value 0 resets the flags to 0.
99 flags_argmatch (const char *option
,
100 const char * const keys
[], const int values
[],
101 int *flags
, char *args
)
105 args
= strtok (args
, ",");
108 int value
= XARGMATCH (option
, args
, keys
, values
);
113 args
= strtok (NULL
, ",");
120 /** Decode a set of sub arguments.
122 * \param FlagName the flag familly to update.
123 * \param Args the effective sub arguments to decode.
125 * \arg FlagName_args the list of keys.
126 * \arg FlagName_types the list of values.
127 * \arg FlagName_flag the flag to update.
129 #define FLAGS_ARGMATCH(FlagName, Args) \
130 flags_argmatch ("--" #FlagName, FlagName ## _args, FlagName ## _types, \
131 &FlagName ## _flag, Args)
134 /*----------------------.
135 | --report's handling. |
136 `----------------------*/
138 static const char * const report_args
[] =
140 /* In a series of synonyms, present the most meaningful first, so
141 that argmatch_valid be more readable. */
144 "itemset", "itemsets",
145 "lookahead", "lookaheads", "look-ahead",
151 static const int report_types
[] =
154 report_states
, report_states
,
155 report_states
| report_itemsets
, report_states
| report_itemsets
,
156 report_states
| report_lookahead_tokens
,
157 report_states
| report_lookahead_tokens
,
158 report_states
| report_lookahead_tokens
,
159 report_states
| report_solved_conflicts
,
163 ARGMATCH_VERIFY (report_args
, report_types
);
166 /*---------------------.
167 | --trace's handling. |
168 `---------------------*/
170 static const char * const trace_args
[] =
172 /* In a series of synonyms, present the most meaningful first, so
173 that argmatch_valid be more readable. */
175 "scan - grammar scanner traces",
176 "parse - grammar parser traces",
177 "automaton - construction of the automaton",
178 "bitsets - use of bitsets",
179 "grammar - reading, reducing the grammar",
180 "resource - memory consumption (where available)",
181 "sets - grammar sets: firsts, nullable etc.",
182 "tools - m4 invocation",
184 "skeleton - skeleton postprocessing",
185 "time - time consumption",
186 "all - all of the above",
190 static const int trace_types
[] =
207 ARGMATCH_VERIFY (trace_args
, trace_types
);
210 /*------------------------.
211 | --warnings's handling. |
212 `------------------------*/
214 static const char * const warnings_args
[] =
216 /* In a series of synonyms, present the most meaningful first, so
217 that argmatch_valid be more readable. */
218 "none - no warnings",
219 "midrule-values - unset or unused midrule values",
220 "yacc - incompatibilities with POSIX YACC",
221 "all - all of the above",
222 "error - warnings are errors",
226 static const int warnings_types
[] =
229 warnings_midrule_values
,
235 ARGMATCH_VERIFY (warnings_args
, warnings_types
);
238 /*-------------------------------------------.
239 | Display the help message and exit STATUS. |
240 `-------------------------------------------*/
242 static void usage (int) ATTRIBUTE_NORETURN
;
248 fprintf (stderr
, _("Try `%s --help' for more information.\n"),
252 printf (_("Usage: %s [OPTION]... FILE\n"), program_name
);
254 Generate LALR(1) and GLR parsers.\n\
259 Mandatory arguments to long options are mandatory for short options too.\n\
265 -h, --help display this help and exit\n\
266 -V, --version output version information and exit\n\
267 --print-localedir output directory containing locale-dependent data\n\
268 -y, --yacc emulate POSIX Yacc\n\
274 -S, --skeleton=FILE specify the skeleton to use\n\
275 -t, --debug instrument the parser for debugging\n\
276 --locations enable locations computation\n\
277 -p, --name-prefix=PREFIX prepend PREFIX to the external symbols\n\
278 -l, --no-lines don't generate `#line' directives\n\
279 -n, --no-parser generate the tables only\n\
280 -k, --token-table include a table of token names\n\
286 -d, --defines also produce a header file\n\
287 -r, --report=THINGS also produce details on the automaton\n\
288 -v, --verbose same as `--report=state'\n\
289 -b, --file-prefix=PREFIX specify a PREFIX for output files\n\
290 -o, --output=FILE leave output to FILE\n\
291 -g, --graph also output a graph of the automaton\n\
296 THINGS is a list of comma separated words that can include:\n\
297 `state' describe the states\n\
298 `itemset' complete the core item sets with their closure\n\
299 `lookahead' explicitly associate lookahead tokens to items\n\
300 `solved' describe shift/reduce conflicts solving\n\
301 `all' include all the above information\n\
302 `none' disable the report\n\
305 printf (_("\nReport bugs to <%s>.\n"), PACKAGE_BUGREPORT
);
312 /*------------------------------.
313 | Display the version message. |
314 `------------------------------*/
319 /* Some efforts were made to ease the translators' task, please
321 printf (_("bison (GNU Bison) %s"), VERSION
);
323 printf ("%s", revision
);
324 fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stdout
);
328 _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2006);
331 This is free software; see the source for copying conditions. There is NO\n\
332 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
338 /*-------------------------------------.
339 | --skeleton and --language handling. |
340 `--------------------------------------*/
343 skeleton_arg (char const *arg
, int prio
, location
const *loc
)
345 if (prio
< skeleton_prio
)
347 skeleton_prio
= prio
;
350 else if (prio
== skeleton_prio
)
353 _("multiple skeleton declarations are invalid");
355 complain_at (*loc
, msg
);
362 language_argmatch (char const *arg
, int prio
, location
const *loc
)
366 if (prio
< language_prio
)
369 for (i
= 0; valid_languages
[i
].language
[0]; i
++)
370 if (c_strcasecmp (arg
, valid_languages
[i
].language
) == 0)
372 language_prio
= prio
;
373 language
= &valid_languages
[i
];
376 msg
= _("invalid language `%s'");
378 else if (language_prio
== prio
)
379 msg
= _("multiple language declarations are invalid");
384 complain_at (*loc
, msg
, arg
);
389 /*----------------------.
390 | Process the options. |
391 `----------------------*/
393 /* Shorts options. */
394 static char const short_options
[] = "yvegdhr:L:ltknVo:b:p:S:T::W";
396 /* Values for long options that do not have single-letter equivalents. */
399 LOCATIONS_OPTION
= CHAR_MAX
+ 1,
400 PRINT_LOCALEDIR_OPTION
403 static struct option
const long_options
[] =
405 /* Operation modes. */
406 { "help", no_argument
, 0, 'h' },
407 { "version", no_argument
, 0, 'V' },
408 { "print-localedir", no_argument
, 0, PRINT_LOCALEDIR_OPTION
},
409 { "warnings", optional_argument
, 0, 'W' },
412 { "name-prefix", required_argument
, 0, 'p' },
413 { "include", required_argument
, 0, 'I' },
416 { "file-prefix", required_argument
, 0, 'b' },
417 { "output", required_argument
, 0, 'o' },
418 { "output-file", required_argument
, 0, 'o' },
419 { "graph", optional_argument
, 0, 'g' },
420 { "report", required_argument
, 0, 'r' },
421 { "verbose", no_argument
, 0, 'v' },
424 { "trace", optional_argument
, 0, 'T' },
427 { "defines", optional_argument
, 0, 'd' },
429 /* Operation modes. */
430 { "fixed-output-files", no_argument
, 0, 'y' },
431 { "yacc", no_argument
, 0, 'y' },
434 { "debug", no_argument
, 0, 't' },
435 { "locations", no_argument
, 0, LOCATIONS_OPTION
},
436 { "no-lines", no_argument
, 0, 'l' },
437 { "no-parser", no_argument
, 0, 'n' },
438 { "raw", no_argument
, 0, 0 },
439 { "skeleton", required_argument
, 0, 'S' },
440 { "language", required_argument
, 0, 'L' },
441 { "token-table", no_argument
, 0, 'k' },
446 /* Under DOS, there is no difference on the case. This can be
447 troublesome when looking for `.tab' etc. */
449 # define AS_FILE_NAME(File) (strlwr (File), (File))
451 # define AS_FILE_NAME(File) (File)
455 getargs (int argc
, char *argv
[])
459 while ((c
= getopt_long (argc
, argv
, short_options
, long_options
, NULL
))
464 /* Certain long options cause getopt_long to return 0. */
468 spec_file_prefix
= AS_FILE_NAME (optarg
);
472 /* Here, the -g and --graph=FILE options are differentiated. */
475 spec_graph_file
= xstrdup (AS_FILE_NAME (optarg
));
479 usage (EXIT_SUCCESS
);
482 language_argmatch (optarg
, 0, NULL
);
486 skeleton_arg (AS_FILE_NAME (optarg
), 0, NULL
);
490 include
= AS_FILE_NAME (optarg
);
494 /* Here, the -d and --defines options are differentiated. */
497 spec_defines_file
= xstrdup (AS_FILE_NAME (optarg
));
501 token_table_flag
= true;
505 no_lines_flag
= true;
509 no_parser_flag
= true;
513 spec_outfile
= AS_FILE_NAME (optarg
);
517 spec_name_prefix
= optarg
;
521 FLAGS_ARGMATCH (report
, optarg
);
525 FLAGS_ARGMATCH (trace
, optarg
);
537 report_flag
|= report_states
;
546 FLAGS_ARGMATCH (warnings
, optarg
);
548 warnings_flag
|= warnings_all
;
551 case LOCATIONS_OPTION
:
552 locations_flag
= true;
555 case PRINT_LOCALEDIR_OPTION
:
556 printf ("%s\n", LOCALEDIR
);
560 usage (EXIT_FAILURE
);
563 if (argc
- optind
!= 1)
565 if (argc
- optind
< 1)
566 error (0, 0, _("missing operand after `%s'"), argv
[argc
- 1]);
568 error (0, 0, _("extra operand `%s'"), argv
[optind
+ 1]);
569 usage (EXIT_FAILURE
);
572 current_file
= grammar_file
= uniqstr_new (argv
[optind
]);