]>
git.saurik.com Git - bison.git/blob - src/getargs.c
1 /* Parse command line arguments for Bison.
3 Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005
4 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 /* Hack to get <getopt.h> to declare getopt with a prototype. */
29 #if lint && ! defined __GNU_LIBRARY__
30 # define __GNU_LIBRARY__
31 # define HACK_FOR___GNU_LIBRARY___PROTOTYPE 1
36 #ifdef HACK_FOR___GNU_LIBRARY___PROTOTYPE
37 # undef __GNU_LIBRARY__
38 # undef HACK_FOR___GNU_LIBRARY___PROTOTYPE
51 int report_flag
= report_none
;
52 bool token_table_flag
;
53 bool yacc_flag
; /* for -y */
55 int trace_flag
= trace_none
;
57 bool nondeterministic_parser
= false;
58 bool glr_parser
= false;
59 bool pure_parser
= false;
61 const char *skeleton
= NULL
;
62 const char *include
= NULL
;
64 extern char *program_name
;
67 /*---------------------.
68 | --trace's handling. |
69 `---------------------*/
71 static const char * const trace_args
[] =
73 /* In a series of synonyms, present the most meaningful first, so
74 that argmatch_valid be more readable. */
76 "scan - grammar scanner traces",
77 "parse - grammar parser traces",
78 "automaton - contruction of the automaton",
79 "bitsets - use of bitsets",
80 "grammar - reading, reducing of the grammar",
81 "resource - memory consumption (where available)",
82 "sets - grammar sets: firsts, nullable etc.",
83 "tools - m4 invocation and preserve the temporary file",
84 "skeleton - skeleton postprocessing",
85 "time - time consumption",
86 "all - all of the above",
90 static const int trace_types
[] =
106 ARGMATCH_VERIFY (trace_args
, trace_types
);
109 trace_argmatch (char *args
)
113 args
= strtok (args
, ",");
116 int trace
= XARGMATCH ("--trace", args
,
117 trace_args
, trace_types
);
118 if (trace
== trace_none
)
119 trace_flag
= trace_none
;
123 while ((args
= strtok (NULL
, ",")));
126 trace_flag
= trace_all
;
130 /*----------------------.
131 | --report's handling. |
132 `----------------------*/
134 static const char * const report_args
[] =
136 /* In a series of synonyms, present the most meaningful first, so
137 that argmatch_valid be more readable. */
140 "itemset", "itemsets",
141 "look-ahead", "lookahead", "lookaheads",
147 static const int report_types
[] =
150 report_states
, report_states
,
151 report_states
| report_itemsets
, report_states
| report_itemsets
,
152 report_states
| report_look_ahead_tokens
,
153 report_states
| report_look_ahead_tokens
,
154 report_states
| report_look_ahead_tokens
,
155 report_states
| report_solved_conflicts
,
159 ARGMATCH_VERIFY (report_args
, report_types
);
162 report_argmatch (char *args
)
164 args
= strtok (args
, ",");
167 int report
= XARGMATCH ("--report", args
,
168 report_args
, report_types
);
169 if (report
== report_none
)
170 report_flag
= report_none
;
172 report_flag
|= report
;
174 while ((args
= strtok (NULL
, ",")));
178 /*-------------------------------------------.
179 | Display the help message and exit STATUS. |
180 `-------------------------------------------*/
182 static void usage (int) ATTRIBUTE_NORETURN
;
188 fprintf (stderr
, _("Try `%s --help' for more information.\n"),
192 /* Some efforts were made to ease the translators' task, please
195 GNU bison generates parsers for LALR(1) grammars.\n"), stdout
);
198 fprintf (stdout
, _("\
199 Usage: %s [OPTION]... FILE\n"), program_name
);
203 If a long option shows an argument as mandatory, then it is mandatory\n\
204 for the equivalent short option also. Similarly for optional arguments.\n"),
210 -h, --help display this help and exit\n\
211 -V, --version output version information and exit\n\
212 --print-localedir output directory containing locale-dependent data\n\
213 -y, --yacc emulate POSIX yacc\n"), stdout
);
218 -S, --skeleton=FILE specify the skeleton to use\n\
219 -t, --debug instrument the parser for debugging\n\
220 --locations enable locations computation\n\
221 -p, --name-prefix=PREFIX prepend PREFIX to the external symbols\n\
222 -l, --no-lines don't generate `#line' directives\n\
223 -n, --no-parser generate the tables only\n\
224 -k, --token-table include a table of token names\n\
230 -d, --defines also produce a header file\n\
231 -r, --report=THINGS also produce details on the automaton\n\
232 -v, --verbose same as `--report=state'\n\
233 -b, --file-prefix=PREFIX specify a PREFIX for output files\n\
234 -o, --output=FILE leave output to FILE\n\
235 -g, --graph also produce a VCG description of the automaton\n\
240 THINGS is a list of comma separated words that can include:\n\
241 `state' describe the states\n\
242 `itemset' complete the core item sets with their closure\n\
243 `look-ahead' explicitly associate look-ahead tokens to items\n\
244 `solved' describe shift/reduce conflicts solving\n\
245 `all' include all the above information\n\
246 `none' disable the report\n\
251 Report bugs to <bug-bison@gnu.org>.\n"), stdout
);
258 /*------------------------------.
259 | Display the version message. |
260 `------------------------------*/
265 /* Some efforts were made to ease the translators' task, please
267 printf (_("bison (GNU Bison) %s"), VERSION
);
269 fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stdout
);
273 _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2005);
276 This is free software; see the source for copying conditions. There is NO\n\
277 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
283 /*----------------------.
284 | Process the options. |
285 `----------------------*/
287 /* Shorts options. */
288 static char const short_options
[] = "yvegdhr:ltknVo:b:p:S:T::";
290 /* Values for long options that do not have single-letter equivalents. */
293 LOCATIONS_OPTION
= CHAR_MAX
+ 1,
294 PRINT_LOCALEDIR_OPTION
297 static struct option
const long_options
[] =
299 /* Operation modes. */
300 { "help", no_argument
, 0, 'h' },
301 { "version", no_argument
, 0, 'V' },
302 { "print-localedir", no_argument
, 0, PRINT_LOCALEDIR_OPTION
},
305 { "name-prefix", required_argument
, 0, 'p' },
306 { "include", required_argument
, 0, 'I' },
309 { "file-prefix", required_argument
, 0, 'b' },
310 { "output", required_argument
, 0, 'o' },
311 { "output-file", required_argument
, 0, 'o' },
312 { "graph", optional_argument
, 0, 'g' },
313 { "report", required_argument
, 0, 'r' },
314 { "verbose", no_argument
, 0, 'v' },
317 { "trace", optional_argument
, 0, 'T' },
320 { "defines", optional_argument
, 0, 'd' },
322 /* Operation modes. */
323 { "fixed-output-files", no_argument
, 0, 'y' },
324 { "yacc", no_argument
, 0, 'y' },
327 { "debug", no_argument
, 0, 't' },
328 { "locations", no_argument
, 0, LOCATIONS_OPTION
},
329 { "no-lines", no_argument
, 0, 'l' },
330 { "no-parser", no_argument
, 0, 'n' },
331 { "raw", no_argument
, 0, 0 },
332 { "skeleton", required_argument
, 0, 'S' },
333 { "token-table", no_argument
, 0, 'k' },
338 /* Under DOS, there is no difference on the case. This can be
339 troublesome when looking for `.tab' etc. */
341 # define AS_FILE_NAME(File) (strlwr (File), (File))
343 # define AS_FILE_NAME(File) (File)
347 getargs (int argc
, char *argv
[])
351 while ((c
= getopt_long (argc
, argv
, short_options
, long_options
, NULL
))
356 /* Certain long options cause getopt_long to return 0. */
364 usage (EXIT_SUCCESS
);
370 case PRINT_LOCALEDIR_OPTION
:
371 printf ("%s\n", LOCALEDIR
);
375 /* Here, the -g and --graph=FILE options are differentiated. */
378 spec_graph_file
= AS_FILE_NAME (optarg
);
382 report_flag
|= report_states
;
386 skeleton
= AS_FILE_NAME (optarg
);
390 include
= AS_FILE_NAME (optarg
);
394 /* Here, the -d and --defines options are differentiated. */
397 spec_defines_file
= AS_FILE_NAME (optarg
);
401 no_lines_flag
= true;
404 case LOCATIONS_OPTION
:
405 locations_flag
= true;
409 token_table_flag
= true;
413 no_parser_flag
= true;
421 spec_outfile
= AS_FILE_NAME (optarg
);
425 spec_file_prefix
= AS_FILE_NAME (optarg
);
429 spec_name_prefix
= optarg
;
433 report_argmatch (optarg
);
437 trace_argmatch (optarg
);
441 usage (EXIT_FAILURE
);
444 if (argc
- optind
!= 1)
446 if (argc
- optind
< 1)
447 error (0, 0, _("missing operand after `%s'"), argv
[argc
- 1]);
449 error (0, 0, _("extra operand `%s'"), argv
[optind
+ 1]);
450 usage (EXIT_FAILURE
);
453 current_file
= grammar_file
= uniqstr_new (argv
[optind
]);