Update.
[glibc.git] / argp / argp-parse.c
blobe59f614a05ca563eec4e7366739df2b95804ae62
1 /* Hierarchial argument parsing, layered over getopt
2 Copyright (C) 1995, 1996, 1997, 1998 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Written by Miles Bader <miles@gnu.ai.mit.edu>.
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Library General Public License as
8 published by the Free Software Foundation; either version 2 of the
9 License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Library General Public License for more details.
16 You should have received a copy of the GNU Library General Public
17 License along with the GNU C Library; see the file COPYING.LIB. If not,
18 write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 #ifdef HAVE_CONFIG_H
22 #include <config.h>
23 #endif
25 #include <stdlib.h>
26 #include <string.h>
27 #include <unistd.h>
28 #include <limits.h>
29 #include <getopt.h>
31 #ifndef _
32 /* This is for other GNU distributions with internationalized messages.
33 When compiling libc, the _ macro is predefined. */
34 #ifdef HAVE_LIBINTL_H
35 # include <libintl.h>
36 #else
37 # define dgettext(domain, msgid) (msgid)
38 # define gettext(msgid) (msgid)
39 #endif
40 #define N_(msgid) (msgid)
41 #endif
43 #if _LIBC - 0
44 #include <bits/libc-lock.h>
45 #else
46 #ifdef HAVE_CTHREADS_H
47 #include <cthreads.h>
48 #endif
49 #endif /* _LIBC */
51 #include "argp.h"
52 #include "argp-namefrob.h"
54 /* Getopt return values. */
55 #define KEY_END (-1) /* The end of the options. */
56 #define KEY_ARG 1 /* A non-option argument. */
57 #define KEY_ERR '?' /* An error parsing the options. */
59 /* The meta-argument used to prevent any further arguments being interpreted
60 as options. */
61 #define QUOTE "--"
63 /* The number of bits we steal in a long-option value for our own use. */
64 #define GROUP_BITS CHAR_BIT
66 /* The number of bits available for the user value. */
67 #define USER_BITS ((sizeof ((struct option *)0)->val * CHAR_BIT) - GROUP_BITS)
68 #define USER_MASK ((1 << USER_BITS) - 1)
70 /* EZ alias for ARGP_ERR_UNKNOWN. */
71 #define EBADKEY ARGP_ERR_UNKNOWN
73 /* Default options. */
75 /* When argp is given the --HANG switch, _ARGP_HANG is set and argp will sleep
76 for one second intervals, decrementing _ARGP_HANG until it's zero. Thus
77 you can force the program to continue by attaching a debugger and setting
78 it to 0 yourself. */
79 volatile int _argp_hang = 0;
81 #define OPT_PROGNAME -2
82 #define OPT_USAGE -3
83 #define OPT_HANG -4
85 static const struct argp_option argp_default_options[] =
87 {"help", '?', 0, 0, N_("Give this help list"), -1},
88 {"usage", OPT_USAGE, 0, 0, N_("Give a short usage message")},
89 {"program-name",OPT_PROGNAME,"NAME", OPTION_HIDDEN, N_("Set the program name")},
90 {"HANG", OPT_HANG, "SECS", OPTION_ARG_OPTIONAL | OPTION_HIDDEN,
91 N_("Hang for SECS seconds (default 3600)")},
92 {0, 0}
95 static error_t
96 argp_default_parser (int key, char *arg, struct argp_state *state)
98 switch (key)
100 case '?':
101 __argp_state_help (state, state->out_stream, ARGP_HELP_STD_HELP);
102 break;
103 case OPT_USAGE:
104 __argp_state_help (state, state->out_stream,
105 ARGP_HELP_USAGE | ARGP_HELP_EXIT_OK);
106 break;
108 case OPT_PROGNAME: /* Set the program name. */
109 program_invocation_name = arg;
111 /* [Note that some systems only have PROGRAM_INVOCATION_SHORT_NAME (aka
112 __PROGNAME), in which case, PROGRAM_INVOCATION_NAME is just defined
113 to be that, so we have to be a bit careful here.] */
114 arg = strrchr (arg, '/');
115 if (arg)
116 program_invocation_short_name = arg + 1;
117 else
118 program_invocation_short_name = program_invocation_name;
120 /* Update what we use for messages. */
121 state->name = program_invocation_short_name;
123 if ((state->flags & (ARGP_PARSE_ARGV0 | ARGP_NO_ERRS))
124 == ARGP_PARSE_ARGV0)
125 /* Update what getopt uses too. */
126 state->argv[0] = program_invocation_name;
128 break;
130 case OPT_HANG:
131 _argp_hang = atoi (arg ? arg : "3600");
132 while (_argp_hang-- > 0)
133 __sleep (1);
134 break;
136 default:
137 return EBADKEY;
139 return 0;
142 static const struct argp argp_default_argp =
143 {argp_default_options, &argp_default_parser};
146 static const struct argp_option argp_version_options[] =
148 {"version", 'V', 0, 0, N_("Print program version"), -1},
149 {0, 0}
152 static error_t
153 argp_version_parser (int key, char *arg, struct argp_state *state)
155 switch (key)
157 case 'V':
158 if (argp_program_version_hook)
159 (*argp_program_version_hook) (state->out_stream, state);
160 else if (argp_program_version)
161 fprintf (state->out_stream, "%s\n", argp_program_version);
162 else
163 __argp_error (state, dgettext (state->root_argp->argp_domain,
164 "(PROGRAM ERROR) No version known!?"));
165 if (! (state->flags & ARGP_NO_EXIT))
166 exit (0);
167 break;
168 default:
169 return EBADKEY;
171 return 0;
174 static const struct argp argp_version_argp =
175 {argp_version_options, &argp_version_parser};
177 /* Returns the offset into the getopt long options array LONG_OPTIONS of a
178 long option with called NAME, or -1 if none is found. Passing NULL as
179 NAME will return the number of options. */
180 static int
181 find_long_option (struct option *long_options, const char *name)
183 struct option *l = long_options;
184 while (l->name != NULL)
185 if (name != NULL && strcmp (l->name, name) == 0)
186 return l - long_options;
187 else
188 l++;
189 if (name == NULL)
190 return l - long_options;
191 else
192 return -1;
195 /* If we can, we regulate access to getopt, which is non-reentrant, with a
196 mutex. Since the case we're trying to guard against is two different
197 threads interfering, and it's possible that someone might want to call
198 argp_parse recursively (they're careful), we use a recursive lock if
199 possible. */
201 #if _LIBC - 0
203 __libc_lock_define_initialized_recursive (static, getopt_lock)
204 #define LOCK_GETOPT __libc_lock_lock_recursive (getopt_lock)
205 #define UNLOCK_GETOPT __libc_lock_unlock_recursive (getopt_lock)
207 #else /* !_LIBC */
208 #ifdef HAVE_CTHREADS_H
210 static struct mutex getopt_lock = MUTEX_INITIALIZER;
211 #define LOCK_GETOPT mutex_lock (&getopt_lock)
212 #define UNLOCK_GETOPT mutex_unlock (&getopt_lock)
214 #else /* !HAVE_CTHREADS_H */
216 #define LOCK_GETOPT (void)0
217 #define UNLOCK_GETOPT (void)0
219 #endif /* HAVE_CTHREADS_H */
220 #endif /* _LIBC */
222 /* This hack to allow programs that know what's going on to call argp
223 recursively. If someday argp is changed not to use the non-reentrant
224 getopt interface, we can get rid of this shit. XXX */
225 void
226 _argp_unlock_xxx (void)
228 UNLOCK_GETOPT;
231 /* The state of a `group' during parsing. Each group corresponds to a
232 particular argp structure from the tree of such descending from the top
233 level argp passed to argp_parse. */
234 struct group
236 /* This group's parsing function. */
237 argp_parser_t parser;
239 /* Which argp this group is from. */
240 const struct argp *argp;
242 /* Points to the point in SHORT_OPTS corresponding to the end of the short
243 options for this group. We use it to determine from which group a
244 particular short options is from. */
245 char *short_end;
247 /* The number of non-option args sucessfully handled by this parser. */
248 unsigned args_processed;
250 /* This group's parser's parent's group. */
251 struct group *parent;
252 unsigned parent_index; /* And the our position in the parent. */
254 /* These fields are swapped into and out of the state structure when
255 calling this group's parser. */
256 void *input, **child_inputs;
257 void *hook;
260 /* Call GROUP's parser with KEY and ARG, swapping any group-specific info
261 from STATE before calling, and back into state afterwards. If GROUP has
262 no parser, EBADKEY is returned. */
263 static error_t
264 group_parse (struct group *group, struct argp_state *state, int key, char *arg)
266 if (group->parser)
268 error_t err;
269 state->hook = group->hook;
270 state->input = group->input;
271 state->child_inputs = group->child_inputs;
272 state->arg_num = group->args_processed;
273 err = (*group->parser)(key, arg, state);
274 group->hook = state->hook;
275 return err;
277 else
278 return EBADKEY;
281 struct parser
283 const struct argp *argp;
285 /* SHORT_OPTS is the getopt short options string for the union of all the
286 groups of options. */
287 char *short_opts;
288 /* LONG_OPTS is the array of getop long option structures for the union of
289 all the groups of options. */
290 struct option *long_opts;
292 /* States of the various parsing groups. */
293 struct group *groups;
294 /* The end of the GROUPS array. */
295 struct group *egroup;
296 /* An vector containing storage for the CHILD_INPUTS field in all groups. */
297 void **child_inputs;
299 /* True if we think using getopt is still useful; if false, then
300 remaining arguments are just passed verbatim with ARGP_KEY_ARG. This is
301 cleared whenever getopt returns KEY_END, but may be set again if the user
302 moves the next argument pointer backwards. */
303 int try_getopt;
305 /* State block supplied to parsing routines. */
306 struct argp_state state;
308 /* Memory used by this parser. */
309 void *storage;
312 /* The next usable entries in the various parser tables being filled in by
313 convert_options. */
314 struct parser_convert_state
316 struct parser *parser;
317 char *short_end;
318 struct option *long_end;
319 void **child_inputs_end;
322 /* Converts all options in ARGP (which is put in GROUP) and ancestors
323 into getopt options stored in SHORT_OPTS and LONG_OPTS; SHORT_END and
324 CVT->LONG_END are the points at which new options are added. Returns the
325 next unused group entry. CVT holds state used during the conversion. */
326 static struct group *
327 convert_options (const struct argp *argp,
328 struct group *parent, unsigned parent_index,
329 struct group *group, struct parser_convert_state *cvt)
331 /* REAL is the most recent non-alias value of OPT. */
332 const struct argp_option *real = argp->options;
333 const struct argp_child *children = argp->children;
335 if (real || argp->parser)
337 const struct argp_option *opt;
339 if (real)
340 for (opt = real; !__option_is_end (opt); opt++)
342 if (! (opt->flags & OPTION_ALIAS))
343 /* OPT isn't an alias, so we can use values from it. */
344 real = opt;
346 if (! (real->flags & OPTION_DOC))
347 /* A real option (not just documentation). */
349 if (__option_is_short (opt))
350 /* OPT can be used as a short option. */
352 *cvt->short_end++ = opt->key;
353 if (real->arg)
355 *cvt->short_end++ = ':';
356 if (real->flags & OPTION_ARG_OPTIONAL)
357 *cvt->short_end++ = ':';
359 *cvt->short_end = '\0'; /* keep 0 terminated */
362 if (opt->name
363 && find_long_option (cvt->parser->long_opts, opt->name) < 0)
364 /* OPT can be used as a long option. */
366 cvt->long_end->name = opt->name;
367 cvt->long_end->has_arg =
368 (real->arg
369 ? (real->flags & OPTION_ARG_OPTIONAL
370 ? optional_argument
371 : required_argument)
372 : no_argument);
373 cvt->long_end->flag = 0;
374 /* we add a disambiguating code to all the user's
375 values (which is removed before we actually call
376 the function to parse the value); this means that
377 the user loses use of the high 8 bits in all his
378 values (the sign of the lower bits is preserved
379 however)... */
380 cvt->long_end->val =
381 ((opt->key | real->key) & USER_MASK)
382 + (((group - cvt->parser->groups) + 1) << USER_BITS);
384 /* Keep the LONG_OPTS list terminated. */
385 (++cvt->long_end)->name = NULL;
390 group->parser = argp->parser;
391 group->argp = argp;
392 group->short_end = cvt->short_end;
393 group->args_processed = 0;
394 group->parent = parent;
395 group->parent_index = parent_index;
396 group->input = 0;
397 group->hook = 0;
398 group->child_inputs = 0;
400 if (children)
401 /* Assign GROUP's CHILD_INPUTS field some space from
402 CVT->child_inputs_end.*/
404 unsigned num_children = 0;
405 while (children[num_children].argp)
406 num_children++;
407 group->child_inputs = cvt->child_inputs_end;
408 cvt->child_inputs_end += num_children;
411 parent = group++;
413 else
414 parent = 0;
416 if (children)
418 unsigned index = 0;
419 while (children->argp)
420 group =
421 convert_options (children++->argp, parent, index++, group, cvt);
424 return group;
427 /* Find the merged set of getopt options, with keys appropiately prefixed. */
428 static void
429 parser_convert (struct parser *parser, const struct argp *argp, int flags)
431 struct parser_convert_state cvt;
433 cvt.parser = parser;
434 cvt.short_end = parser->short_opts;
435 cvt.long_end = parser->long_opts;
436 cvt.child_inputs_end = parser->child_inputs;
438 if (flags & ARGP_IN_ORDER)
439 *cvt.short_end++ = '-';
440 else if (flags & ARGP_NO_ARGS)
441 *cvt.short_end++ = '+';
442 *cvt.short_end = '\0';
444 cvt.long_end->name = NULL;
446 parser->argp = argp;
448 if (argp)
449 parser->egroup = convert_options (argp, 0, 0, parser->groups, &cvt);
450 else
451 parser->egroup = parser->groups; /* No parsers at all! */
454 /* Lengths of various parser fields which we will allocated. */
455 struct parser_sizes
457 size_t short_len; /* Getopt short options string. */
458 size_t long_len; /* Getopt long options vector. */
459 size_t num_groups; /* Group structures we allocate. */
460 size_t num_child_inputs; /* Child input slots. */
463 /* For ARGP, increments the NUM_GROUPS field in SZS by the total number of
464 argp structures descended from it, and the SHORT_LEN & LONG_LEN fields by
465 the maximum lengths of the resulting merged getopt short options string and
466 long-options array, respectively. */
467 static void
468 calc_sizes (const struct argp *argp, struct parser_sizes *szs)
470 const struct argp_child *child = argp->children;
471 const struct argp_option *opt = argp->options;
473 if (opt || argp->parser)
475 szs->num_groups++;
476 if (opt)
478 int num_opts = 0;
479 while (!__option_is_end (opt++))
480 num_opts++;
481 szs->short_len += num_opts * 3; /* opt + up to 2 `:'s */
482 szs->long_len += num_opts;
486 if (child)
487 while (child->argp)
489 calc_sizes ((child++)->argp, szs);
490 szs->num_child_inputs++;
494 /* Initializes PARSER to parse ARGP in a manner described by FLAGS. */
495 static error_t
496 parser_init (struct parser *parser, const struct argp *argp,
497 int argc, char **argv, int flags, void *input)
499 error_t err = 0;
500 struct group *group;
501 struct parser_sizes szs;
503 szs.short_len = (flags & ARGP_NO_ARGS) ? 0 : 1;
504 szs.long_len = 0;
505 szs.num_groups = 0;
506 szs.num_child_inputs = 0;
508 if (argp)
509 calc_sizes (argp, &szs);
511 /* Lengths of the various bits of storage used by PARSER. */
512 #define GLEN (szs.num_groups + 1) * sizeof (struct group)
513 #define CLEN (szs.num_child_inputs * sizeof (void *))
514 #define LLEN ((szs.long_len + 1) * sizeof (struct option))
515 #define SLEN (szs.short_len + 1)
517 parser->storage = malloc (GLEN + CLEN + LLEN + SLEN);
518 if (! parser->storage)
519 return ENOMEM;
521 parser->groups = parser->storage;
522 parser->child_inputs = parser->storage + GLEN;
523 parser->long_opts = parser->storage + GLEN + CLEN;
524 parser->short_opts = parser->storage + GLEN + CLEN + LLEN;
526 memset (parser->child_inputs, 0, szs.num_child_inputs * sizeof (void *));
527 parser_convert (parser, argp, flags);
529 memset (&parser->state, 0, sizeof (struct argp_state));
530 parser->state.root_argp = parser->argp;
531 parser->state.argc = argc;
532 parser->state.argv = argv;
533 parser->state.flags = flags;
534 parser->state.err_stream = stderr;
535 parser->state.out_stream = stdout;
536 parser->state.next = 0; /* Tell getopt to initialize. */
537 parser->state.pstate = parser;
539 parser->try_getopt = 1;
541 /* Call each parser for the first time, giving it a chance to propagate
542 values to child parsers. */
543 if (parser->groups < parser->egroup)
544 parser->groups->input = input;
545 for (group = parser->groups;
546 group < parser->egroup && (!err || err == EBADKEY);
547 group++)
549 if (group->parent)
550 /* If a child parser, get the initial input value from the parent. */
551 group->input = group->parent->child_inputs[group->parent_index];
553 if (!group->parser
554 && group->argp->children && group->argp->children->argp)
555 /* For the special case where no parsing function is supplied for an
556 argp, propagate its input to its first child, if any (this just
557 makes very simple wrapper argps more convenient). */
558 group->child_inputs[0] = group->input;
560 err = group_parse (group, &parser->state, ARGP_KEY_INIT, 0);
562 if (err == EBADKEY)
563 err = 0; /* Some parser didn't understand. */
565 if (err)
566 return err;
568 /* Getopt is (currently) non-reentrant. */
569 LOCK_GETOPT;
571 if (parser->state.flags & ARGP_NO_ERRS)
573 opterr = 0;
574 if (parser->state.flags & ARGP_PARSE_ARGV0)
575 /* getopt always skips ARGV[0], so we have to fake it out. As long
576 as OPTERR is 0, then it shouldn't actually try to access it. */
577 parser->state.argv--, parser->state.argc++;
579 else
580 opterr = 1; /* Print error messages. */
582 if (parser->state.argv == argv && argv[0])
583 /* There's an argv[0]; use it for messages. */
585 char *short_name = strrchr (argv[0], '/');
586 parser->state.name = short_name ? short_name + 1 : argv[0];
588 else
589 parser->state.name = program_invocation_short_name;
591 return 0;
594 /* Free any storage consumed by PARSER (but not PARSER itself). */
595 static error_t
596 parser_finalize (struct parser *parser,
597 error_t err, int arg_ebadkey, int *end_index)
599 struct group *group;
601 UNLOCK_GETOPT;
603 if (err == EBADKEY && arg_ebadkey)
604 /* Suppress errors generated by unparsed arguments. */
605 err = 0;
607 if (! err)
609 if (parser->state.next == parser->state.argc)
610 /* We successfully parsed all arguments! Call all the parsers again,
611 just a few more times... */
613 for (group = parser->groups;
614 group < parser->egroup && (!err || err==EBADKEY);
615 group++)
616 if (group->args_processed == 0)
617 err = group_parse (group, &parser->state, ARGP_KEY_NO_ARGS, 0);
618 for (group = parser->groups;
619 group < parser->egroup && (!err || err==EBADKEY);
620 group++)
621 err = group_parse (group, &parser->state, ARGP_KEY_END, 0);
623 if (err == EBADKEY)
624 err = 0; /* Some parser didn't understand. */
626 /* Tell the user that all arguments are parsed. */
627 if (end_index)
628 *end_index = parser->state.next;
630 else if (end_index)
631 /* Return any remaining arguments to the user. */
632 *end_index = parser->state.next;
633 else
634 /* No way to return the remaining arguments, they must be bogus. */
636 if (!(parser->state.flags & ARGP_NO_ERRS)
637 && parser->state.err_stream)
638 fprintf (parser->state.err_stream,
639 dgettext (parser->argp->argp_domain,
640 "%s: Too many arguments\n"),
641 parser->state.name);
642 err = EBADKEY;
646 /* Okay, we're all done, with either an error or success; call the parsers
647 to indicate which one. */
649 if (err)
651 /* Maybe print an error message. */
652 if (err == EBADKEY)
653 /* An appropriate message describing what the error was should have
654 been printed earlier. */
655 __argp_state_help (&parser->state, parser->state.err_stream,
656 ARGP_HELP_STD_ERR);
658 /* Since we didn't exit, give each parser an error indication. */
659 for (group = parser->groups; group < parser->egroup; group++)
660 group_parse (group, &parser->state, ARGP_KEY_ERROR, 0);
662 else
663 /* Notify parsers of success, and propagate back values from parsers. */
665 /* We pass over the groups in reverse order so that child groups are
666 given a chance to do there processing before passing back a value to
667 the parent. */
668 for (group = parser->egroup - 1
669 ; group >= parser->groups && (!err || err == EBADKEY)
670 ; group--)
671 err = group_parse (group, &parser->state, ARGP_KEY_SUCCESS, 0);
672 if (err == EBADKEY)
673 err = 0; /* Some parser didn't understand. */
676 /* Call parsers once more, to do any final cleanup. Errors are ignored. */
677 for (group = parser->egroup - 1; group >= parser->groups; group--)
678 group_parse (group, &parser->state, ARGP_KEY_FINI, 0);
680 if (err == EBADKEY)
681 err = EINVAL;
683 free (parser->storage);
685 return err;
688 /* Call the user parsers to parse the non-option argument VAL, at the current
689 position, returning any error. The state NEXT pointer is assumed to have
690 been adjusted (by getopt) to point after this argument; this function will
691 adjust it correctly to reflect however many args actually end up being
692 consumed. */
693 static error_t
694 parser_parse_arg (struct parser *parser, char *val)
696 /* Save the starting value of NEXT, first adjusting it so that the arg
697 we're parsing is again the front of the arg vector. */
698 int index = --parser->state.next;
699 error_t err = EBADKEY;
700 struct group *group;
701 int key = 0; /* Which of ARGP_KEY_ARG[S] we used. */
703 /* Try to parse the argument in each parser. */
704 for (group = parser->groups
705 ; group < parser->egroup && err == EBADKEY
706 ; group++)
708 parser->state.next++; /* For ARGP_KEY_ARG, consume the arg. */
709 key = ARGP_KEY_ARG;
710 err = group_parse (group, &parser->state, key, val);
712 if (err == EBADKEY)
713 /* This parser doesn't like ARGP_KEY_ARG; try ARGP_KEY_ARGS instead. */
715 parser->state.next--; /* For ARGP_KEY_ARGS, put back the arg. */
716 key = ARGP_KEY_ARGS;
717 err = group_parse (group, &parser->state, key, 0);
721 if (! err)
723 if (key == ARGP_KEY_ARGS)
724 /* The default for ARGP_KEY_ARGS is to assume that if NEXT isn't
725 changed by the user, *all* arguments should be considered
726 consumed. */
727 parser->state.next = parser->state.argc;
729 if (parser->state.next > index)
730 /* Remember that we successfully processed a non-option
731 argument -- but only if the user hasn't gotten tricky and set
732 the clock back. */
733 (--group)->args_processed += (parser->state.next - index);
734 else
735 /* The user wants to reparse some args, give getopt another try. */
736 parser->try_getopt = 1;
739 return err;
742 /* Call the user parsers to parse the option OPT, with argument VAL, at the
743 current position, returning any error. */
744 static error_t
745 parser_parse_opt (struct parser *parser, int opt, char *val)
747 /* The group key encoded in the high bits; 0 for short opts or
748 group_number + 1 for long opts. */
749 int group_key = opt >> USER_BITS;
750 error_t err = EBADKEY;
752 if (group_key == 0)
753 /* A short option. By comparing OPT's position in SHORT_OPTS to the
754 various starting positions in each group's SHORT_END field, we can
755 determine which group OPT came from. */
757 struct group *group;
758 char *short_index = strchr (parser->short_opts, opt);
760 if (short_index)
761 for (group = parser->groups; group < parser->egroup; group++)
762 if (group->short_end > short_index)
764 err = group_parse (group, &parser->state, opt, optarg);
765 break;
768 else
769 /* A long option. We use shifts instead of masking for extracting
770 the user value in order to preserve the sign. */
771 err =
772 group_parse (&parser->groups[group_key - 1], &parser->state,
773 (opt << GROUP_BITS) >> GROUP_BITS, optarg);
775 if (err == EBADKEY)
776 /* At least currently, an option not recognized is an error in the
777 parser, because we pre-compute which parser is supposed to deal
778 with each option. */
780 static const char bad_key_err[] =
781 N_("(PROGRAM ERROR) Option should have been recognized!?");
782 if (group_key == 0)
783 __argp_error (&parser->state, "-%c: %s", opt,
784 dgettext (parser->argp->argp_domain, bad_key_err));
785 else
787 struct option *long_opt = parser->long_opts;
788 while (long_opt->val != opt && long_opt->name)
789 long_opt++;
790 __argp_error (&parser->state, "--%s: %s",
791 long_opt->name ? long_opt->name : "???",
792 dgettext (parser->argp->argp_domain, bad_key_err));
796 return err;
799 /* Parse the next argument in PARSER (as indicated by PARSER->state.next).
800 Any error from the parsers is returned, and *ARGP_EBADKEY indicates
801 whether a value of EBADKEY is due to an unrecognized argument (which is
802 generally not fatal). */
803 static error_t
804 parser_parse_next (struct parser *parser, int *arg_ebadkey)
806 int opt;
807 error_t err = 0;
809 if (parser->state.quoted && parser->state.next < parser->state.quoted)
810 /* The next argument pointer has been moved to before the quoted
811 region, so pretend we never saw the quoting `--', and give getopt
812 another chance. If the user hasn't removed it, getopt will just
813 process it again. */
814 parser->state.quoted = 0;
816 if (parser->try_getopt && !parser->state.quoted)
817 /* Give getopt a chance to parse this. */
819 optind = parser->state.next; /* Put it back in OPTIND for getopt. */
820 optopt = KEY_END; /* Distinguish KEY_ERR from a real option. */
821 if (parser->state.flags & ARGP_LONG_ONLY)
822 opt = getopt_long_only (parser->state.argc, parser->state.argv,
823 parser->short_opts, parser->long_opts, 0);
824 else
825 opt = getopt_long (parser->state.argc, parser->state.argv,
826 parser->short_opts, parser->long_opts, 0);
827 parser->state.next = optind; /* And see what getopt did. */
829 if (opt == KEY_END)
830 /* Getopt says there are no more options, so stop using
831 getopt; we'll continue if necessary on our own. */
833 parser->try_getopt = 0;
834 if (parser->state.next > 1
835 && strcmp (parser->state.argv[parser->state.next - 1], QUOTE)
836 == 0)
837 /* Not only is this the end of the options, but it's a
838 `quoted' region, which may have args that *look* like
839 options, so we definitely shouldn't try to use getopt past
840 here, whatever happens. */
841 parser->state.quoted = parser->state.next;
843 else if (opt == KEY_ERR && optopt != KEY_END)
844 /* KEY_ERR can have the same value as a valid user short
845 option, but in the case of a real error, getopt sets OPTOPT
846 to the offending character, which can never be KEY_END. */
848 *arg_ebadkey = 0;
849 return EBADKEY;
852 else
853 opt = KEY_END;
855 if (opt == KEY_END)
857 /* We're past what getopt considers the options. */
858 if (parser->state.next >= parser->state.argc
859 || (parser->state.flags & ARGP_NO_ARGS))
860 /* Indicate that we're done. */
862 *arg_ebadkey = 1;
863 return EBADKEY;
865 else
866 /* A non-option arg; simulate what getopt might have done. */
868 opt = KEY_ARG;
869 optarg = parser->state.argv[parser->state.next++];
873 if (opt == KEY_ARG)
874 /* A non-option argument; try each parser in turn. */
875 err = parser_parse_arg (parser, optarg);
876 else
877 err = parser_parse_opt (parser, opt, optarg);
879 if (err == EBADKEY)
880 *arg_ebadkey = (opt == KEY_END || opt == KEY_ARG);
882 return err;
885 /* Parse the options strings in ARGC & ARGV according to the argp in ARGP.
886 FLAGS is one of the ARGP_ flags above. If END_INDEX is non-NULL, the
887 index in ARGV of the first unparsed option is returned in it. If an
888 unknown option is present, EINVAL is returned; if some parser routine
889 returned a non-zero value, it is returned; otherwise 0 is returned. */
890 error_t
891 __argp_parse (const struct argp *argp, int argc, char **argv, unsigned flags,
892 int *end_index, void *input)
894 error_t err;
895 struct parser parser;
897 /* If true, then err == EBADKEY is a result of a non-option argument failing
898 to be parsed (which in some cases isn't actually an error). */
899 int arg_ebadkey = 0;
901 if (! (flags & ARGP_NO_HELP))
902 /* Add our own options. */
904 struct argp_child *child = alloca (4 * sizeof (struct argp_child));
905 struct argp *top_argp = alloca (sizeof (struct argp));
907 /* TOP_ARGP has no options, it just serves to group the user & default
908 argps. */
909 memset (top_argp, 0, sizeof (*top_argp));
910 top_argp->children = child;
912 memset (child, 0, 4 * sizeof (struct argp_child));
914 if (argp)
915 (child++)->argp = argp;
916 (child++)->argp = &argp_default_argp;
917 if (argp_program_version || argp_program_version_hook)
918 (child++)->argp = &argp_version_argp;
919 child->argp = 0;
921 argp = top_argp;
924 /* Construct a parser for these arguments. */
925 err = parser_init (&parser, argp, argc, argv, flags, input);
927 if (! err)
928 /* Parse! */
930 while (! err)
931 err = parser_parse_next (&parser, &arg_ebadkey);
932 err = parser_finalize (&parser, err, arg_ebadkey, end_index);
935 return err;
937 #ifdef weak_alias
938 weak_alias (__argp_parse, argp_parse)
939 #endif
941 /* Return the input field for ARGP in the parser corresponding to STATE; used
942 by the help routines. */
943 void *
944 __argp_input (const struct argp *argp, const struct argp_state *state)
946 if (state)
948 struct group *group;
949 struct parser *parser = state->pstate;
951 for (group = parser->groups; group < parser->egroup; group++)
952 if (group->argp == argp)
953 return group->input;
956 return 0;
958 #ifdef weak_alias
959 weak_alias (__argp_input, _argp_input)
960 #endif