Skip to main content

clap_builder/builder/
arg.rs

1// Std
2#[cfg(feature = "env")]
3use std::env;
4#[cfg(feature = "env")]
5use std::ffi::OsString;
6use std::{
7    cmp::{Ord, Ordering},
8    fmt::{self, Display, Formatter},
9    str,
10};
11
12// Internal
13use super::{ArgFlags, ArgSettings};
14use crate::ArgAction;
15use crate::INTERNAL_ERROR_MSG;
16use crate::Id;
17use crate::ValueHint;
18use crate::builder::ArgPredicate;
19use crate::builder::IntoResettable;
20use crate::builder::OsStr;
21use crate::builder::PossibleValue;
22use crate::builder::Str;
23use crate::builder::StyledStr;
24use crate::builder::Styles;
25use crate::builder::ValueRange;
26#[cfg(feature = "unstable-ext")]
27use crate::builder::ext::Extension;
28use crate::builder::ext::Extensions;
29use crate::util::AnyValueId;
30
31/// The abstract representation of a command line argument. Used to set all the options and
32/// relationships that define a valid argument for the program.
33///
34/// There are two methods for constructing [`Arg`]s, using the builder pattern and setting options
35/// manually, or using a usage string which is far less verbose but has fewer options. You can also
36/// use a combination of the two methods to achieve the best of both worlds.
37///
38/// - [Basic API][crate::Arg#basic-api]
39/// - [Value Handling][crate::Arg#value-handling]
40/// - [Help][crate::Arg#help-1]
41/// - [Advanced Argument Relations][crate::Arg#advanced-argument-relations]
42/// - [Reflection][crate::Arg#reflection]
43///
44/// # Examples
45///
46/// ```rust
47/// # use clap_builder as clap;
48/// # use clap::{Arg, arg, ArgAction};
49/// // Using the traditional builder pattern and setting each option manually
50/// let cfg = Arg::new("config")
51///       .short('c')
52///       .long("config")
53///       .action(ArgAction::Set)
54///       .value_name("FILE")
55///       .help("Provides a config file to myprog");
56/// // Using a usage string (setting a similar argument to the one above)
57/// let input = arg!(-i --input <FILE> "Provides an input file to the program");
58/// ```
59#[derive(Default, Clone)]
60pub struct Arg {
61    pub(crate) id: Id,
62    pub(crate) help: Option<StyledStr>,
63    pub(crate) long_help: Option<StyledStr>,
64    pub(crate) action: Option<ArgAction>,
65    pub(crate) value_parser: Option<super::ValueParser>,
66    pub(crate) blacklist: Vec<Id>,
67    pub(crate) settings: ArgFlags,
68    pub(crate) overrides: Vec<Id>,
69    pub(crate) groups: Vec<Id>,
70    pub(crate) requires: Vec<(ArgPredicate, Id)>,
71    pub(crate) r_ifs: Vec<(Id, OsStr)>,
72    pub(crate) r_ifs_all: Vec<(Id, OsStr)>,
73    pub(crate) r_unless: Vec<Id>,
74    pub(crate) r_unless_all: Vec<Id>,
75    pub(crate) short: Option<char>,
76    pub(crate) long: Option<Str>,
77    pub(crate) aliases: Vec<(Str, bool)>, // (name, visible)
78    pub(crate) short_aliases: Vec<(char, bool)>, // (name, visible)
79    pub(crate) disp_ord: Option<usize>,
80    pub(crate) val_names: Vec<Str>,
81    pub(crate) num_vals: Option<ValueRange>,
82    pub(crate) val_delim: Option<char>,
83    pub(crate) default_vals: Vec<OsStr>,
84    pub(crate) default_vals_ifs: Vec<(Id, ArgPredicate, Option<Vec<OsStr>>)>,
85    pub(crate) default_missing_vals: Vec<OsStr>,
86    #[cfg(feature = "env")]
87    pub(crate) env: Option<(OsStr, Option<OsString>)>,
88    pub(crate) terminator: Option<Str>,
89    pub(crate) index: Option<usize>,
90    pub(crate) help_heading: Option<Option<Str>>,
91    pub(crate) ext: Extensions,
92}
93
94/// # Basic API
95impl Arg {
96    /// Create a new [`Arg`] with a unique name.
97    ///
98    /// The name is used to check whether or not the argument was used at
99    /// runtime, get values, set relationships with other args, etc..
100    ///
101    /// By default, an `Arg` is
102    /// - Positional, see [`Arg::short`] or [`Arg::long`] turn it into an option
103    /// - Accept a single value, see [`Arg::action`] to override this
104    ///
105    /// <div class="warning">
106    ///
107    /// **NOTE:** In the case of arguments that take values (i.e. [`Arg::action(ArgAction::Set)`])
108    /// and positional arguments (i.e. those without a preceding `-` or `--`) the name will also
109    /// be displayed when the user prints the usage/help information of the program.
110    ///
111    /// </div>
112    ///
113    /// # Examples
114    ///
115    /// ```rust
116    /// # use clap_builder as clap;
117    /// # use clap::{Command, Arg};
118    /// Arg::new("config")
119    /// # ;
120    /// ```
121    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
122    pub fn new(id: impl Into<Id>) -> Self {
123        Arg::default().id(id)
124    }
125
126    /// Set the identifier used for referencing this argument in the clap API.
127    ///
128    /// See [`Arg::new`] for more details.
129    #[must_use]
130    pub fn id(mut self, id: impl Into<Id>) -> Self {
131        self.id = id.into();
132        self
133    }
134
135    /// Sets the short version of the argument without the preceding `-`.
136    ///
137    /// By default `V` and `h` are used by the auto-generated `version` and `help` arguments,
138    /// respectively. You will need to disable the auto-generated flags
139    /// ([`disable_help_flag`][crate::Command::disable_help_flag],
140    /// [`disable_version_flag`][crate::Command::disable_version_flag]) and define your own.
141    ///
142    /// # Examples
143    ///
144    /// When calling `short`, use a single valid UTF-8 character which will allow using the
145    /// argument via a single hyphen (`-`) such as `-c`:
146    ///
147    /// ```rust
148    /// # use clap_builder as clap;
149    /// # use clap::{Command, Arg,  ArgAction};
150    /// let m = Command::new("prog")
151    ///     .arg(Arg::new("config")
152    ///         .short('c')
153    ///         .action(ArgAction::Set))
154    ///     .get_matches_from(vec![
155    ///         "prog", "-c", "file.toml"
156    ///     ]);
157    ///
158    /// assert_eq!(m.get_one::<String>("config").map(String::as_str), Some("file.toml"));
159    /// ```
160    ///
161    /// To use `-h` for your own flag and still have help:
162    /// ```rust
163    /// # use clap_builder as clap;
164    /// # use clap::{Command, Arg,  ArgAction};
165    /// let m = Command::new("prog")
166    ///     .disable_help_flag(true)
167    ///     .arg(Arg::new("host")
168    ///         .short('h')
169    ///         .long("host"))
170    ///     .arg(Arg::new("help")
171    ///         .long("help")
172    ///         .global(true)
173    ///         .action(ArgAction::Help))
174    ///     .get_matches_from(vec![
175    ///         "prog", "-h", "wikipedia.org"
176    ///     ]);
177    ///
178    /// assert_eq!(m.get_one::<String>("host").map(String::as_str), Some("wikipedia.org"));
179    /// ```
180    #[inline]
181    #[must_use]
182    pub fn short(mut self, s: impl IntoResettable<char>) -> Self {
183        if let Some(s) = s.into_resettable().into_option() {
184            debug_assert!(s != '-', "short option name cannot be `-`");
185            self.short = Some(s);
186        } else {
187            self.short = None;
188        }
189        self
190    }
191
192    /// Sets the long version of the argument without the preceding `--`.
193    ///
194    /// By default `version` and `help` are used by the auto-generated `version` and `help`
195    /// arguments, respectively. You may use the word `version` or `help` for the long form of your
196    /// own arguments, in which case `clap` simply will not assign those to the auto-generated
197    /// `version` or `help` arguments.
198    ///
199    /// <div class="warning">
200    ///
201    /// **NOTE:** Any leading `-` characters will be stripped
202    ///
203    /// </div>
204    ///
205    /// # Examples
206    ///
207    /// To set `long` use a word containing valid UTF-8. If you supply a double leading
208    /// `--` such as `--config` they will be stripped. Hyphens in the middle of the word, however,
209    /// will *not* be stripped (i.e. `config-file` is allowed).
210    ///
211    /// Setting `long` allows using the argument via a double hyphen (`--`) such as `--config`
212    ///
213    /// ```rust
214    /// # use clap_builder as clap;
215    /// # use clap::{Command, Arg, ArgAction};
216    /// let m = Command::new("prog")
217    ///     .arg(Arg::new("cfg")
218    ///         .long("config")
219    ///         .action(ArgAction::Set))
220    ///     .get_matches_from(vec![
221    ///         "prog", "--config", "file.toml"
222    ///     ]);
223    ///
224    /// assert_eq!(m.get_one::<String>("cfg").map(String::as_str), Some("file.toml"));
225    /// ```
226    #[inline]
227    #[must_use]
228    pub fn long(mut self, l: impl IntoResettable<Str>) -> Self {
229        self.long = l.into_resettable().into_option();
230        self
231    }
232
233    /// Add an alias, which functions as a hidden long flag.
234    ///
235    /// This is more efficient, and easier than creating multiple hidden arguments as one only
236    /// needs to check for the existence of this command, and not all variants.
237    ///
238    /// # Examples
239    ///
240    /// ```rust
241    /// # use clap_builder as clap;
242    /// # use clap::{Command, Arg, ArgAction};
243    /// let m = Command::new("prog")
244    ///             .arg(Arg::new("test")
245    ///             .long("test")
246    ///             .alias("alias")
247    ///             .action(ArgAction::Set))
248    ///        .get_matches_from(vec![
249    ///             "prog", "--alias", "cool"
250    ///         ]);
251    /// assert_eq!(m.get_one::<String>("test").unwrap(), "cool");
252    /// ```
253    #[must_use]
254    pub fn alias(mut self, name: impl IntoResettable<Str>) -> Self {
255        if let Some(name) = name.into_resettable().into_option() {
256            self.aliases.push((name, false));
257        } else {
258            self.aliases.clear();
259        }
260        self
261    }
262
263    /// Add an alias, which functions as a hidden short flag.
264    ///
265    /// This is more efficient, and easier than creating multiple hidden arguments as one only
266    /// needs to check for the existence of this command, and not all variants.
267    ///
268    /// # Examples
269    ///
270    /// ```rust
271    /// # use clap_builder as clap;
272    /// # use clap::{Command, Arg, ArgAction};
273    /// let m = Command::new("prog")
274    ///             .arg(Arg::new("test")
275    ///             .short('t')
276    ///             .short_alias('e')
277    ///             .action(ArgAction::Set))
278    ///        .get_matches_from(vec![
279    ///             "prog", "-e", "cool"
280    ///         ]);
281    /// assert_eq!(m.get_one::<String>("test").unwrap(), "cool");
282    /// ```
283    #[must_use]
284    pub fn short_alias(mut self, name: impl IntoResettable<char>) -> Self {
285        if let Some(name) = name.into_resettable().into_option() {
286            debug_assert!(name != '-', "short alias name cannot be `-`");
287            self.short_aliases.push((name, false));
288        } else {
289            self.short_aliases.clear();
290        }
291        self
292    }
293
294    /// Add aliases, which function as hidden long flags.
295    ///
296    /// This is more efficient, and easier than creating multiple hidden subcommands as one only
297    /// needs to check for the existence of this command, and not all variants.
298    ///
299    /// # Examples
300    ///
301    /// ```rust
302    /// # use clap_builder as clap;
303    /// # use clap::{Command, Arg, ArgAction};
304    /// let m = Command::new("prog")
305    ///             .arg(Arg::new("test")
306    ///                     .long("test")
307    ///                     .aliases(["do-stuff", "do-tests", "tests"])
308    ///                     .action(ArgAction::SetTrue)
309    ///                     .help("the file to add")
310    ///                     .required(false))
311    ///             .get_matches_from(vec![
312    ///                 "prog", "--do-tests"
313    ///             ]);
314    /// assert_eq!(m.get_flag("test"), true);
315    /// ```
316    #[must_use]
317    pub fn aliases(mut self, names: impl IntoIterator<Item = impl Into<Str>>) -> Self {
318        self.aliases
319            .extend(names.into_iter().map(|x| (x.into(), false)));
320        self
321    }
322
323    /// Add aliases, which functions as a hidden short flag.
324    ///
325    /// This is more efficient, and easier than creating multiple hidden subcommands as one only
326    /// needs to check for the existence of this command, and not all variants.
327    ///
328    /// # Examples
329    ///
330    /// ```rust
331    /// # use clap_builder as clap;
332    /// # use clap::{Command, Arg, ArgAction};
333    /// let m = Command::new("prog")
334    ///             .arg(Arg::new("test")
335    ///                     .short('t')
336    ///                     .short_aliases(['e', 's'])
337    ///                     .action(ArgAction::SetTrue)
338    ///                     .help("the file to add")
339    ///                     .required(false))
340    ///             .get_matches_from(vec![
341    ///                 "prog", "-s"
342    ///             ]);
343    /// assert_eq!(m.get_flag("test"), true);
344    /// ```
345    #[must_use]
346    pub fn short_aliases(mut self, names: impl IntoIterator<Item = char>) -> Self {
347        for s in names {
348            debug_assert!(s != '-', "short alias name cannot be `-`");
349            self.short_aliases.push((s, false));
350        }
351        self
352    }
353
354    /// Add an alias, which functions as a visible long flag.
355    ///
356    /// Like [`Arg::alias`], except that they are visible inside the help message.
357    ///
358    /// # Examples
359    ///
360    /// ```rust
361    /// # use clap_builder as clap;
362    /// # use clap::{Command, Arg, ArgAction};
363    /// let m = Command::new("prog")
364    ///             .arg(Arg::new("test")
365    ///                 .visible_alias("something-awesome")
366    ///                 .long("test")
367    ///                 .action(ArgAction::Set))
368    ///        .get_matches_from(vec![
369    ///             "prog", "--something-awesome", "coffee"
370    ///         ]);
371    /// assert_eq!(m.get_one::<String>("test").unwrap(), "coffee");
372    /// ```
373    /// [`Command::alias`]: Arg::alias()
374    #[must_use]
375    pub fn visible_alias(mut self, name: impl IntoResettable<Str>) -> Self {
376        if let Some(name) = name.into_resettable().into_option() {
377            self.aliases.push((name, true));
378        } else {
379            self.aliases.clear();
380        }
381        self
382    }
383
384    /// Add an alias, which functions as a visible short flag.
385    ///
386    /// Like [`Arg::short_alias`], except that they are visible inside the help message.
387    ///
388    /// # Examples
389    ///
390    /// ```rust
391    /// # use clap_builder as clap;
392    /// # use clap::{Command, Arg, ArgAction};
393    /// let m = Command::new("prog")
394    ///             .arg(Arg::new("test")
395    ///                 .long("test")
396    ///                 .visible_short_alias('t')
397    ///                 .action(ArgAction::Set))
398    ///        .get_matches_from(vec![
399    ///             "prog", "-t", "coffee"
400    ///         ]);
401    /// assert_eq!(m.get_one::<String>("test").unwrap(), "coffee");
402    /// ```
403    #[must_use]
404    pub fn visible_short_alias(mut self, name: impl IntoResettable<char>) -> Self {
405        if let Some(name) = name.into_resettable().into_option() {
406            debug_assert!(name != '-', "short alias name cannot be `-`");
407            self.short_aliases.push((name, true));
408        } else {
409            self.short_aliases.clear();
410        }
411        self
412    }
413
414    /// Add aliases, which function as visible long flags.
415    ///
416    /// Like [`Arg::aliases`], except that they are visible inside the help message.
417    ///
418    /// # Examples
419    ///
420    /// ```rust
421    /// # use clap_builder as clap;
422    /// # use clap::{Command, Arg, ArgAction};
423    /// let m = Command::new("prog")
424    ///             .arg(Arg::new("test")
425    ///                 .long("test")
426    ///                 .action(ArgAction::SetTrue)
427    ///                 .visible_aliases(["something", "awesome", "cool"]))
428    ///        .get_matches_from(vec![
429    ///             "prog", "--awesome"
430    ///         ]);
431    /// assert_eq!(m.get_flag("test"), true);
432    /// ```
433    /// [`Command::aliases`]: Arg::aliases()
434    #[must_use]
435    pub fn visible_aliases(mut self, names: impl IntoIterator<Item = impl Into<Str>>) -> Self {
436        self.aliases
437            .extend(names.into_iter().map(|n| (n.into(), true)));
438        self
439    }
440
441    /// Add aliases, which function as visible short flags.
442    ///
443    /// Like [`Arg::short_aliases`], except that they are visible inside the help message.
444    ///
445    /// # Examples
446    ///
447    /// ```rust
448    /// # use clap_builder as clap;
449    /// # use clap::{Command, Arg, ArgAction};
450    /// let m = Command::new("prog")
451    ///             .arg(Arg::new("test")
452    ///                 .long("test")
453    ///                 .action(ArgAction::SetTrue)
454    ///                 .visible_short_aliases(['t', 'e']))
455    ///        .get_matches_from(vec![
456    ///             "prog", "-t"
457    ///         ]);
458    /// assert_eq!(m.get_flag("test"), true);
459    /// ```
460    #[must_use]
461    pub fn visible_short_aliases(mut self, names: impl IntoIterator<Item = char>) -> Self {
462        for n in names {
463            debug_assert!(n != '-', "short alias name cannot be `-`");
464            self.short_aliases.push((n, true));
465        }
466        self
467    }
468
469    /// Specifies the index of a positional argument **starting at** 1.
470    ///
471    /// <div class="warning">
472    ///
473    /// **NOTE:** The index refers to position according to **other positional argument**. It does
474    /// not define position in the argument list as a whole.
475    ///
476    /// </div>
477    ///
478    /// <div class="warning">
479    ///
480    /// **NOTE:** You can optionally leave off the `index` method, and the index will be
481    /// assigned in order of evaluation. Utilizing the `index` method allows for setting
482    /// indexes out of order
483    ///
484    /// </div>
485    ///
486    /// <div class="warning">
487    ///
488    /// **NOTE:** This is only meant to be used for positional arguments and shouldn't to be used
489    /// with [`Arg::short`] or [`Arg::long`].
490    ///
491    /// </div>
492    ///
493    /// <div class="warning">
494    ///
495    /// **NOTE:** When utilized with [`Arg::num_args(1..)`][Arg::num_args], only the **last** positional argument
496    /// may be defined as having a variable number of arguments (i.e. with the highest index)
497    ///
498    /// </div>
499    ///
500    /// # Panics
501    ///
502    /// [`Command`] will [`panic!`] if indexes are skipped (such as defining `index(1)` and `index(3)`
503    /// but not `index(2)`, or a positional argument is defined as multiple and is not the highest
504    /// index (debug builds)
505    ///
506    /// # Examples
507    ///
508    /// ```rust
509    /// # use clap_builder as clap;
510    /// # use clap::{Command, Arg};
511    /// Arg::new("config")
512    ///     .index(1)
513    /// # ;
514    /// ```
515    ///
516    /// ```rust
517    /// # use clap_builder as clap;
518    /// # use clap::{Command, Arg, ArgAction};
519    /// let m = Command::new("prog")
520    ///     .arg(Arg::new("mode")
521    ///         .index(1))
522    ///     .arg(Arg::new("debug")
523    ///         .long("debug")
524    ///         .action(ArgAction::SetTrue))
525    ///     .get_matches_from(vec![
526    ///         "prog", "--debug", "fast"
527    ///     ]);
528    ///
529    /// assert!(m.contains_id("mode"));
530    /// assert_eq!(m.get_one::<String>("mode").unwrap(), "fast"); // notice index(1) means "first positional"
531    ///                                                           // *not* first argument
532    /// ```
533    /// [`Arg::short`]: Arg::short()
534    /// [`Arg::long`]: Arg::long()
535    /// [`Arg::num_args(true)`]: Arg::num_args()
536    /// [`Command`]: crate::Command
537    #[inline]
538    #[must_use]
539    pub fn index(mut self, idx: impl IntoResettable<usize>) -> Self {
540        self.index = idx.into_resettable().into_option();
541        self
542    }
543
544    /// This is a "var arg" and everything that follows should be captured by it, as if the user had
545    /// used a `--`.
546    ///
547    /// <div class="warning">
548    ///
549    /// **NOTE:** To start the trailing "var arg" on unknown flags (and not just a positional
550    /// value), set [`allow_hyphen_values`][Arg::allow_hyphen_values].  Either way, users still
551    /// have the option to explicitly escape ambiguous arguments with `--`.
552    ///
553    /// </div>
554    ///
555    /// <div class="warning">
556    ///
557    /// **NOTE:** [`Arg::value_delimiter`] still applies if set.
558    ///
559    /// </div>
560    ///
561    /// <div class="warning">
562    ///
563    /// **NOTE:** Setting this requires [`Arg::num_args(..)`].
564    ///
565    /// </div>
566    ///
567    /// # Examples
568    ///
569    /// ```rust
570    /// # use clap_builder as clap;
571    /// # use clap::{Command, arg};
572    /// let m = Command::new("myprog")
573    ///     .arg(arg!(<cmd> ... "commands to run").trailing_var_arg(true))
574    ///     .get_matches_from(vec!["myprog", "arg1", "-r", "val1"]);
575    ///
576    /// let trail: Vec<_> = m.get_many::<String>("cmd").unwrap().collect();
577    /// assert_eq!(trail, ["arg1", "-r", "val1"]);
578    /// ```
579    /// [`Arg::num_args(..)`]: crate::Arg::num_args()
580    pub fn trailing_var_arg(self, yes: bool) -> Self {
581        if yes {
582            self.setting(ArgSettings::TrailingVarArg)
583        } else {
584            self.unset_setting(ArgSettings::TrailingVarArg)
585        }
586    }
587
588    /// This arg is the last, or final, positional argument (i.e. has the highest
589    /// index) and is *only* able to be accessed via the `--` syntax (i.e. `$ prog args --
590    /// last_arg`).
591    ///
592    /// Even, if no other arguments are left to parse, if the user omits the `--` syntax
593    /// they will receive an [`UnknownArgument`] error. Setting an argument to `.last(true)` also
594    /// allows one to access this arg early using the `--` syntax. Accessing an arg early, even with
595    /// the `--` syntax is otherwise not possible.
596    ///
597    /// <div class="warning">
598    ///
599    /// **NOTE:** This will change the usage string to look like `$ prog [OPTIONS] [-- <ARG>]` if
600    /// `ARG` is marked as `.last(true)`.
601    ///
602    /// </div>
603    ///
604    /// <div class="warning">
605    ///
606    /// **NOTE:** This setting will imply [`crate::Command::dont_collapse_args_in_usage`] because failing
607    /// to set this can make the usage string very confusing.
608    ///
609    /// </div>
610    ///
611    /// <div class="warning">
612    ///
613    /// **NOTE**: This setting only applies to positional arguments, and has no effect on OPTIONS
614    ///
615    /// </div>
616    ///
617    /// <div class="warning">
618    ///
619    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
620    ///
621    /// </div>
622    ///
623    /// <div class="warning">
624    ///
625    /// **WARNING:** Using this setting *and* having child subcommands is not
626    /// recommended with the exception of *also* using
627    /// [`crate::Command::args_conflicts_with_subcommands`]
628    /// (or [`crate::Command::subcommand_negates_reqs`] if the argument marked `Last` is also
629    /// marked [`Arg::required`])
630    ///
631    /// </div>
632    ///
633    /// # Examples
634    ///
635    /// ```rust
636    /// # use clap_builder as clap;
637    /// # use clap::{Arg, ArgAction};
638    /// Arg::new("args")
639    ///     .action(ArgAction::Set)
640    ///     .last(true)
641    /// # ;
642    /// ```
643    ///
644    /// Setting `last` ensures the arg has the highest [index] of all positional args
645    /// and requires that the `--` syntax be used to access it early.
646    ///
647    /// ```rust
648    /// # use clap_builder as clap;
649    /// # use clap::{Command, Arg, ArgAction};
650    /// let res = Command::new("prog")
651    ///     .arg(Arg::new("first"))
652    ///     .arg(Arg::new("second"))
653    ///     .arg(Arg::new("third")
654    ///         .action(ArgAction::Set)
655    ///         .last(true))
656    ///     .try_get_matches_from(vec![
657    ///         "prog", "one", "--", "three"
658    ///     ]);
659    ///
660    /// assert!(res.is_ok());
661    /// let m = res.unwrap();
662    /// assert_eq!(m.get_one::<String>("third").unwrap(), "three");
663    /// assert_eq!(m.get_one::<String>("second"), None);
664    /// ```
665    ///
666    /// Even if the positional argument marked `Last` is the only argument left to parse,
667    /// failing to use the `--` syntax results in an error.
668    ///
669    /// ```rust
670    /// # use clap_builder as clap;
671    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
672    /// let res = Command::new("prog")
673    ///     .arg(Arg::new("first"))
674    ///     .arg(Arg::new("second"))
675    ///     .arg(Arg::new("third")
676    ///         .action(ArgAction::Set)
677    ///         .last(true))
678    ///     .try_get_matches_from(vec![
679    ///         "prog", "one", "two", "three"
680    ///     ]);
681    ///
682    /// assert!(res.is_err());
683    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::UnknownArgument);
684    /// ```
685    /// [index]: Arg::index()
686    /// [`UnknownArgument`]: crate::error::ErrorKind::UnknownArgument
687    #[inline]
688    #[must_use]
689    pub fn last(self, yes: bool) -> Self {
690        if yes {
691            self.setting(ArgSettings::Last)
692        } else {
693            self.unset_setting(ArgSettings::Last)
694        }
695    }
696
697    /// Specifies that the argument must be present.
698    ///
699    /// Required by default means it is required, when no other conflicting rules or overrides have
700    /// been evaluated. Conflicting rules take precedence over being required.
701    ///
702    /// **Pro tip:** Flags (i.e. not positional, or arguments that take values) shouldn't be
703    /// required by default. This is because if a flag were to be required, it should simply be
704    /// implied. No additional information is required from user. Flags by their very nature are
705    /// simply boolean on/off switches. The only time a user *should* be required to use a flag
706    /// is if the operation is destructive in nature, and the user is essentially proving to you,
707    /// "Yes, I know what I'm doing."
708    ///
709    /// # Examples
710    ///
711    /// ```rust
712    /// # use clap_builder as clap;
713    /// # use clap::Arg;
714    /// Arg::new("config")
715    ///     .required(true)
716    /// # ;
717    /// ```
718    ///
719    /// Setting required requires that the argument be used at runtime.
720    ///
721    /// ```rust
722    /// # use clap_builder as clap;
723    /// # use clap::{Command, Arg, ArgAction};
724    /// let res = Command::new("prog")
725    ///     .arg(Arg::new("cfg")
726    ///         .required(true)
727    ///         .action(ArgAction::Set)
728    ///         .long("config"))
729    ///     .try_get_matches_from(vec![
730    ///         "prog", "--config", "file.conf",
731    ///     ]);
732    ///
733    /// assert!(res.is_ok());
734    /// ```
735    ///
736    /// Setting required and then *not* supplying that argument at runtime is an error.
737    ///
738    /// ```rust
739    /// # use clap_builder as clap;
740    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
741    /// let res = Command::new("prog")
742    ///     .arg(Arg::new("cfg")
743    ///         .required(true)
744    ///         .action(ArgAction::Set)
745    ///         .long("config"))
746    ///     .try_get_matches_from(vec![
747    ///         "prog"
748    ///     ]);
749    ///
750    /// assert!(res.is_err());
751    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
752    /// ```
753    #[inline]
754    #[must_use]
755    pub fn required(self, yes: bool) -> Self {
756        if yes {
757            self.setting(ArgSettings::Required)
758        } else {
759            self.unset_setting(ArgSettings::Required)
760        }
761    }
762
763    /// Sets an argument that is required when this one is present
764    ///
765    /// i.e. when using this argument, the following argument *must* be present.
766    ///
767    /// <div class="warning">
768    ///
769    /// **NOTE:** [Conflicting] rules and [override] rules take precedence over being required
770    ///
771    /// </div>
772    ///
773    /// # Examples
774    ///
775    /// ```rust
776    /// # use clap_builder as clap;
777    /// # use clap::Arg;
778    /// Arg::new("config")
779    ///     .requires("input")
780    /// # ;
781    /// ```
782    ///
783    /// Setting [`Arg::requires(name)`] requires that the argument be used at runtime if the
784    /// defining argument is used. If the defining argument isn't used, the other argument isn't
785    /// required
786    ///
787    /// ```rust
788    /// # use clap_builder as clap;
789    /// # use clap::{Command, Arg, ArgAction};
790    /// let res = Command::new("prog")
791    ///     .arg(Arg::new("cfg")
792    ///         .action(ArgAction::Set)
793    ///         .requires("input")
794    ///         .long("config"))
795    ///     .arg(Arg::new("input"))
796    ///     .try_get_matches_from(vec![
797    ///         "prog"
798    ///     ]);
799    ///
800    /// assert!(res.is_ok()); // We didn't use cfg, so input wasn't required
801    /// ```
802    ///
803    /// Setting [`Arg::requires(name)`] and *not* supplying that argument is an error.
804    ///
805    /// ```rust
806    /// # use clap_builder as clap;
807    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
808    /// let res = Command::new("prog")
809    ///     .arg(Arg::new("cfg")
810    ///         .action(ArgAction::Set)
811    ///         .requires("input")
812    ///         .long("config"))
813    ///     .arg(Arg::new("input"))
814    ///     .try_get_matches_from(vec![
815    ///         "prog", "--config", "file.conf"
816    ///     ]);
817    ///
818    /// assert!(res.is_err());
819    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
820    /// ```
821    /// [`Arg::requires(name)`]: Arg::requires()
822    /// [Conflicting]: Arg::conflicts_with()
823    /// [override]: Arg::overrides_with()
824    #[must_use]
825    pub fn requires(mut self, arg_id: impl IntoResettable<Id>) -> Self {
826        if let Some(arg_id) = arg_id.into_resettable().into_option() {
827            self.requires.push((ArgPredicate::IsPresent, arg_id));
828        } else {
829            self.requires.clear();
830        }
831        self
832    }
833
834    /// This argument must be passed alone; it conflicts with all other arguments.
835    ///
836    /// # Examples
837    ///
838    /// ```rust
839    /// # use clap_builder as clap;
840    /// # use clap::Arg;
841    /// Arg::new("config")
842    ///     .exclusive(true)
843    /// # ;
844    /// ```
845    ///
846    /// Setting an exclusive argument and having any other arguments present at runtime
847    /// is an error.
848    ///
849    /// ```rust
850    /// # use clap_builder as clap;
851    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
852    /// let res = Command::new("prog")
853    ///     .arg(Arg::new("exclusive")
854    ///         .action(ArgAction::Set)
855    ///         .exclusive(true)
856    ///         .long("exclusive"))
857    ///     .arg(Arg::new("debug")
858    ///         .long("debug"))
859    ///     .arg(Arg::new("input"))
860    ///     .try_get_matches_from(vec![
861    ///         "prog", "--exclusive", "file.conf", "file.txt"
862    ///     ]);
863    ///
864    /// assert!(res.is_err());
865    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::ArgumentConflict);
866    /// ```
867    #[inline]
868    #[must_use]
869    pub fn exclusive(self, yes: bool) -> Self {
870        if yes {
871            self.setting(ArgSettings::Exclusive)
872        } else {
873            self.unset_setting(ArgSettings::Exclusive)
874        }
875    }
876
877    /// Specifies that an argument can be matched to all child [`Subcommand`]s.
878    ///
879    /// <div class="warning">
880    ///
881    /// **NOTE:** Global arguments *only* propagate down, **not** up (to parent commands), however
882    /// their values once a user uses them will be propagated back up to parents. In effect, this
883    /// means one should *define* all global arguments at the top level, however it doesn't matter
884    /// where the user *uses* the global argument.
885    ///
886    /// </div>
887    ///
888    /// # Examples
889    ///
890    /// Assume an application with two subcommands, and you'd like to define a
891    /// `--verbose` flag that can be called on any of the subcommands and parent, but you don't
892    /// want to clutter the source with three duplicate [`Arg`] definitions.
893    ///
894    /// ```rust
895    /// # use clap_builder as clap;
896    /// # use clap::{Command, Arg, ArgAction};
897    /// let m = Command::new("prog")
898    ///     .arg(Arg::new("verb")
899    ///         .long("verbose")
900    ///         .short('v')
901    ///         .action(ArgAction::SetTrue)
902    ///         .global(true))
903    ///     .subcommand(Command::new("test"))
904    ///     .subcommand(Command::new("do-stuff"))
905    ///     .get_matches_from(vec![
906    ///         "prog", "do-stuff", "--verbose"
907    ///     ]);
908    ///
909    /// assert_eq!(m.subcommand_name(), Some("do-stuff"));
910    /// let sub_m = m.subcommand_matches("do-stuff").unwrap();
911    /// assert_eq!(sub_m.get_flag("verb"), true);
912    /// ```
913    ///
914    /// [`Subcommand`]: crate::Subcommand
915    #[inline]
916    #[must_use]
917    pub fn global(self, yes: bool) -> Self {
918        if yes {
919            self.setting(ArgSettings::Global)
920        } else {
921            self.unset_setting(ArgSettings::Global)
922        }
923    }
924
925    #[inline]
926    pub(crate) fn is_set(&self, s: ArgSettings) -> bool {
927        self.settings.is_set(s)
928    }
929
930    #[inline]
931    #[must_use]
932    pub(crate) fn setting(mut self, setting: ArgSettings) -> Self {
933        self.settings.set(setting);
934        self
935    }
936
937    #[inline]
938    #[must_use]
939    pub(crate) fn unset_setting(mut self, setting: ArgSettings) -> Self {
940        self.settings.unset(setting);
941        self
942    }
943
944    /// Extend [`Arg`] with [`ArgExt`] data
945    #[cfg(feature = "unstable-ext")]
946    #[allow(clippy::should_implement_trait)]
947    pub fn add<T: ArgExt + Extension>(mut self, tagged: T) -> Self {
948        self.ext.set(tagged);
949        self
950    }
951}
952
953/// # Value Handling
954impl Arg {
955    /// Specify how to react to an argument when parsing it.
956    ///
957    /// [`ArgAction`] controls things like
958    /// - Overwriting previous values with new ones
959    /// - Appending new values to all previous ones
960    /// - Counting how many times a flag occurs
961    ///
962    /// The default action is `ArgAction::Set`
963    ///
964    /// # Examples
965    ///
966    /// ```rust
967    /// # use clap_builder as clap;
968    /// # use clap::Command;
969    /// # use clap::Arg;
970    /// let cmd = Command::new("mycmd")
971    ///     .arg(
972    ///         Arg::new("flag")
973    ///             .long("flag")
974    ///             .action(clap::ArgAction::Append)
975    ///     );
976    ///
977    /// let matches = cmd.try_get_matches_from(["mycmd", "--flag", "value"]).unwrap();
978    /// assert!(matches.contains_id("flag"));
979    /// assert_eq!(
980    ///     matches.get_many::<String>("flag").unwrap_or_default().map(|v| v.as_str()).collect::<Vec<_>>(),
981    ///     vec!["value"]
982    /// );
983    /// ```
984    #[inline]
985    #[must_use]
986    pub fn action(mut self, action: impl IntoResettable<ArgAction>) -> Self {
987        self.action = action.into_resettable().into_option();
988        self
989    }
990
991    /// Specify the typed behavior of the argument.
992    ///
993    /// This allows parsing and validating a value before storing it into
994    /// [`ArgMatches`][crate::ArgMatches] as the given type.
995    ///
996    /// Possible value parsers include:
997    /// - [`value_parser!(T)`][crate::value_parser!] for auto-selecting a value parser for a given type
998    ///   - Or [range expressions like `0..=1`][std::ops::RangeBounds] as a shorthand for [`RangedI64ValueParser`][crate::builder::RangedI64ValueParser]
999    /// - `Fn(&str) -> Result<T, E>`
1000    /// - `[&str]` and [`PossibleValuesParser`][crate::builder::PossibleValuesParser] for static enumerated values
1001    /// - [`BoolishValueParser`][crate::builder::BoolishValueParser], and [`FalseyValueParser`][crate::builder::FalseyValueParser] for alternative `bool` implementations
1002    /// - [`NonEmptyStringValueParser`][crate::builder::NonEmptyStringValueParser] for basic validation for strings
1003    /// - or any other [`TypedValueParser`][crate::builder::TypedValueParser] implementation
1004    ///
1005    /// The default value is [`ValueParser::string`][crate::builder::ValueParser::string].
1006    ///
1007    /// ```rust
1008    /// # use clap_builder as clap;
1009    /// # use clap::ArgAction;
1010    /// let mut cmd = clap::Command::new("raw")
1011    ///     .arg(
1012    ///         clap::Arg::new("color")
1013    ///             .long("color")
1014    ///             .value_parser(["always", "auto", "never"])
1015    ///             .default_value("auto")
1016    ///     )
1017    ///     .arg(
1018    ///         clap::Arg::new("hostname")
1019    ///             .long("hostname")
1020    ///             .value_parser(clap::builder::NonEmptyStringValueParser::new())
1021    ///             .action(ArgAction::Set)
1022    ///             .required(true)
1023    ///     )
1024    ///     .arg(
1025    ///         clap::Arg::new("port")
1026    ///             .long("port")
1027    ///             .value_parser(clap::value_parser!(u16).range(3000..))
1028    ///             .action(ArgAction::Set)
1029    ///             .required(true)
1030    ///     );
1031    ///
1032    /// let m = cmd.try_get_matches_from_mut(
1033    ///     ["cmd", "--hostname", "rust-lang.org", "--port", "3001"]
1034    /// ).unwrap();
1035    ///
1036    /// let color: &String = m.get_one("color")
1037    ///     .expect("default");
1038    /// assert_eq!(color, "auto");
1039    ///
1040    /// let hostname: &String = m.get_one("hostname")
1041    ///     .expect("required");
1042    /// assert_eq!(hostname, "rust-lang.org");
1043    ///
1044    /// let port: u16 = *m.get_one("port")
1045    ///     .expect("required");
1046    /// assert_eq!(port, 3001);
1047    /// ```
1048    pub fn value_parser(mut self, parser: impl IntoResettable<super::ValueParser>) -> Self {
1049        self.value_parser = parser.into_resettable().into_option();
1050        self
1051    }
1052
1053    /// Specifies the number of arguments parsed per occurrence
1054    ///
1055    /// For example, if you had a `-f <file>` argument where you wanted exactly 3 'files' you would
1056    /// set `.num_args(3)`, and this argument wouldn't be satisfied unless the user
1057    /// provided 3 and only 3 values.
1058    ///
1059    /// Users may specify values for arguments in any of the following methods
1060    ///
1061    /// - Using a space such as `-o value` or `--option value`
1062    /// - Using an equals and no space such as `-o=value` or `--option=value`
1063    /// - Use a short and no space such as `-ovalue`
1064    ///
1065    /// <div class="warning">
1066    ///
1067    /// **WARNING:**
1068    ///
1069    /// Setting a variable number of values (e.g. `1..=10`) for an argument without
1070    /// other details can be dangerous in some circumstances. Because multiple values are
1071    /// allowed, `--option val1 val2 val3` is perfectly valid. Be careful when designing a CLI
1072    /// where **positional arguments** or **subcommands** are *also* expected as `clap` will continue
1073    /// parsing *values* until one of the following happens:
1074    ///
1075    /// - It reaches the maximum number of values
1076    /// - It reaches a specific number of values
1077    /// - It finds another flag or option (i.e. something that starts with a `-`)
1078    /// - It reaches the [`Arg::value_terminator`] if set
1079    ///
1080    /// Alternatively,
1081    /// - Use a delimiter between values with [`Arg::value_delimiter`]
1082    /// - Require a flag occurrence per value with [`ArgAction::Append`]
1083    /// - Require positional arguments to appear after `--` with [`Arg::last`]
1084    ///
1085    /// </div>
1086    ///
1087    /// # Examples
1088    ///
1089    /// Option:
1090    /// ```rust
1091    /// # use clap_builder as clap;
1092    /// # use clap::{Command, Arg};
1093    /// let m = Command::new("prog")
1094    ///     .arg(Arg::new("mode")
1095    ///         .long("mode")
1096    ///         .num_args(1))
1097    ///     .get_matches_from(vec![
1098    ///         "prog", "--mode", "fast"
1099    ///     ]);
1100    ///
1101    /// assert_eq!(m.get_one::<String>("mode").unwrap(), "fast");
1102    /// ```
1103    ///
1104    /// Flag/option hybrid (see also [`default_missing_value`][Arg::default_missing_value])
1105    /// ```rust
1106    /// # use clap_builder as clap;
1107    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
1108    /// let cmd = Command::new("prog")
1109    ///     .arg(Arg::new("mode")
1110    ///         .long("mode")
1111    ///         .default_missing_value("slow")
1112    ///         .default_value("plaid")
1113    ///         .num_args(0..=1));
1114    ///
1115    /// let m = cmd.clone()
1116    ///     .get_matches_from(vec![
1117    ///         "prog", "--mode", "fast"
1118    ///     ]);
1119    /// assert_eq!(m.get_one::<String>("mode").unwrap(), "fast");
1120    ///
1121    /// let m = cmd.clone()
1122    ///     .get_matches_from(vec![
1123    ///         "prog", "--mode",
1124    ///     ]);
1125    /// assert_eq!(m.get_one::<String>("mode").unwrap(), "slow");
1126    ///
1127    /// let m = cmd.clone()
1128    ///     .get_matches_from(vec![
1129    ///         "prog",
1130    ///     ]);
1131    /// assert_eq!(m.get_one::<String>("mode").unwrap(), "plaid");
1132    /// ```
1133    ///
1134    /// Tuples
1135    /// ```rust
1136    /// # use clap_builder as clap;
1137    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
1138    /// let cmd = Command::new("prog")
1139    ///     .arg(Arg::new("file")
1140    ///         .action(ArgAction::Set)
1141    ///         .num_args(2)
1142    ///         .short('F'));
1143    ///
1144    /// let m = cmd.clone()
1145    ///     .get_matches_from(vec![
1146    ///         "prog", "-F", "in-file", "out-file"
1147    ///     ]);
1148    /// assert_eq!(
1149    ///     m.get_many::<String>("file").unwrap_or_default().map(|v| v.as_str()).collect::<Vec<_>>(),
1150    ///     vec!["in-file", "out-file"]
1151    /// );
1152    ///
1153    /// let res = cmd.clone()
1154    ///     .try_get_matches_from(vec![
1155    ///         "prog", "-F", "file1"
1156    ///     ]);
1157    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::WrongNumberOfValues);
1158    /// ```
1159    ///
1160    /// A common mistake is to define an option which allows multiple values and a positional
1161    /// argument.
1162    /// ```rust
1163    /// # use clap_builder as clap;
1164    /// # use clap::{Command, Arg, ArgAction};
1165    /// let cmd = Command::new("prog")
1166    ///     .arg(Arg::new("file")
1167    ///         .action(ArgAction::Set)
1168    ///         .num_args(0..)
1169    ///         .short('F'))
1170    ///     .arg(Arg::new("word"));
1171    ///
1172    /// let m = cmd.clone().get_matches_from(vec![
1173    ///     "prog", "-F", "file1", "file2", "file3", "word"
1174    /// ]);
1175    /// let files: Vec<_> = m.get_many::<String>("file").unwrap().collect();
1176    /// assert_eq!(files, ["file1", "file2", "file3", "word"]); // wait...what?!
1177    /// assert!(!m.contains_id("word")); // but we clearly used word!
1178    ///
1179    /// // but this works
1180    /// let m = cmd.clone().get_matches_from(vec![
1181    ///     "prog", "word", "-F", "file1", "file2", "file3",
1182    /// ]);
1183    /// let files: Vec<_> = m.get_many::<String>("file").unwrap().collect();
1184    /// assert_eq!(files, ["file1", "file2", "file3"]);
1185    /// assert_eq!(m.get_one::<String>("word").unwrap(), "word");
1186    /// ```
1187    /// The problem is `clap` doesn't know when to stop parsing values for "file".
1188    ///
1189    /// A solution for the example above is to limit how many values with a maximum, or specific
1190    /// number, or to say [`ArgAction::Append`] is ok, but multiple values are not.
1191    /// ```rust
1192    /// # use clap_builder as clap;
1193    /// # use clap::{Command, Arg, ArgAction};
1194    /// let m = Command::new("prog")
1195    ///     .arg(Arg::new("file")
1196    ///         .action(ArgAction::Append)
1197    ///         .short('F'))
1198    ///     .arg(Arg::new("word"))
1199    ///     .get_matches_from(vec![
1200    ///         "prog", "-F", "file1", "-F", "file2", "-F", "file3", "word"
1201    ///     ]);
1202    ///
1203    /// let files: Vec<_> = m.get_many::<String>("file").unwrap().collect();
1204    /// assert_eq!(files, ["file1", "file2", "file3"]);
1205    /// assert_eq!(m.get_one::<String>("word").unwrap(), "word");
1206    /// ```
1207    #[inline]
1208    #[must_use]
1209    pub fn num_args(mut self, qty: impl IntoResettable<ValueRange>) -> Self {
1210        self.num_vals = qty.into_resettable().into_option();
1211        self
1212    }
1213
1214    #[doc(hidden)]
1215    #[cfg_attr(
1216        feature = "deprecated",
1217        deprecated(since = "4.0.0", note = "Replaced with `Arg::num_args`")
1218    )]
1219    pub fn number_of_values(self, qty: usize) -> Self {
1220        self.num_args(qty)
1221    }
1222
1223    /// Placeholder for the argument's value in the help message / usage.
1224    ///
1225    /// This name is cosmetic only; the name is **not** used to access arguments.
1226    /// This setting can be very helpful when describing the type of input the user should be
1227    /// using, such as `FILE`, `INTERFACE`, etc. Although not required, it's somewhat convention to
1228    /// use all capital letters for the value name.
1229    ///
1230    /// <div class="warning">
1231    ///
1232    /// **NOTE:** implicitly sets [`Arg::action(ArgAction::Set)`]
1233    ///
1234    /// </div>
1235    ///
1236    /// # Examples
1237    ///
1238    /// ```rust
1239    /// # use clap_builder as clap;
1240    /// # use clap::{Command, Arg};
1241    /// Arg::new("cfg")
1242    ///     .long("config")
1243    ///     .value_name("FILE")
1244    /// # ;
1245    /// ```
1246    ///
1247    /// ```rust
1248    /// # use clap_builder as clap;
1249    /// # #[cfg(feature = "help")] {
1250    /// # use clap::{Command, Arg};
1251    /// let m = Command::new("prog")
1252    ///     .arg(Arg::new("config")
1253    ///         .long("config")
1254    ///         .value_name("FILE")
1255    ///         .help("Some help text"))
1256    ///     .get_matches_from(vec![
1257    ///         "prog", "--help"
1258    ///     ]);
1259    /// # }
1260    /// ```
1261    /// Running the above program produces the following output
1262    ///
1263    /// ```text
1264    /// valnames
1265    ///
1266    /// Usage: valnames [OPTIONS]
1267    ///
1268    /// Options:
1269    ///     --config <FILE>     Some help text
1270    ///     -h, --help          Print help information
1271    ///     -V, --version       Print version information
1272    /// ```
1273    /// [positional]: Arg::index()
1274    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1275    #[inline]
1276    #[must_use]
1277    pub fn value_name(mut self, name: impl IntoResettable<Str>) -> Self {
1278        if let Some(name) = name.into_resettable().into_option() {
1279            self.value_names([name])
1280        } else {
1281            self.val_names.clear();
1282            self
1283        }
1284    }
1285
1286    /// Placeholders for the argument's values in the help message / usage.
1287    ///
1288    /// These names are cosmetic only, used for help and usage strings only. The names are **not**
1289    /// used to access arguments. The values of the arguments are accessed in numeric order (i.e.
1290    /// if you specify two names `one` and `two` `one` will be the first matched value, `two` will
1291    /// be the second).
1292    ///
1293    /// This setting can be very helpful when describing the type of input the user should be
1294    /// using, such as `FILE`, `INTERFACE`, etc. Although not required, it's somewhat convention to
1295    /// use all capital letters for the value name.
1296    ///
1297    /// <div class="warning">
1298    ///
1299    /// **TIP:** It may help to use [`Arg::next_line_help(true)`] if there are long, or
1300    /// multiple value names in order to not throw off the help text alignment of all options.
1301    ///
1302    /// </div>
1303    ///
1304    /// <div class="warning">
1305    ///
1306    /// **NOTE:** implicitly sets [`Arg::action(ArgAction::Set)`] and [`Arg::num_args(1..)`].
1307    ///
1308    /// </div>
1309    ///
1310    /// # Examples
1311    ///
1312    /// ```rust
1313    /// # use clap_builder as clap;
1314    /// # use clap::{Command, Arg};
1315    /// Arg::new("speed")
1316    ///     .short('s')
1317    ///     .value_names(["fast", "slow"]);
1318    /// ```
1319    ///
1320    /// ```rust
1321    /// # use clap_builder as clap;
1322    /// # #[cfg(feature = "help")] {
1323    /// # use clap::{Command, Arg};
1324    /// let m = Command::new("prog")
1325    ///     .arg(Arg::new("io")
1326    ///         .long("io-files")
1327    ///         .value_names(["INFILE", "OUTFILE"]))
1328    ///     .get_matches_from(vec![
1329    ///         "prog", "--help"
1330    ///     ]);
1331    /// # }
1332    /// ```
1333    ///
1334    /// Running the above program produces the following output
1335    ///
1336    /// ```text
1337    /// valnames
1338    ///
1339    /// Usage: valnames [OPTIONS]
1340    ///
1341    /// Options:
1342    ///     -h, --help                       Print help information
1343    ///     --io-files <INFILE> <OUTFILE>    Some help text
1344    ///     -V, --version                    Print version information
1345    /// ```
1346    /// [`Arg::next_line_help(true)`]: Arg::next_line_help()
1347    /// [`Arg::num_args`]: Arg::num_args()
1348    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1349    /// [`Arg::num_args(1..)`]: Arg::num_args()
1350    #[must_use]
1351    pub fn value_names(mut self, names: impl IntoIterator<Item = impl Into<Str>>) -> Self {
1352        self.val_names = names.into_iter().map(|s| s.into()).collect();
1353        self
1354    }
1355
1356    /// Provide the shell a hint about how to complete this argument.
1357    ///
1358    /// See [`ValueHint`] for more information.
1359    ///
1360    /// <div class="warning">
1361    ///
1362    /// **NOTE:** implicitly sets [`Arg::action(ArgAction::Set)`][ArgAction::Set].
1363    ///
1364    /// </div>
1365    ///
1366    /// For example, to take a username as argument:
1367    ///
1368    /// ```rust
1369    /// # use clap_builder as clap;
1370    /// # use clap::{Arg, ValueHint};
1371    /// Arg::new("user")
1372    ///     .short('u')
1373    ///     .long("user")
1374    ///     .value_hint(ValueHint::Username);
1375    /// ```
1376    ///
1377    /// To take a full command line and its arguments (for example, when writing a command wrapper):
1378    ///
1379    /// ```rust
1380    /// # use clap_builder as clap;
1381    /// # use clap::{Command, Arg, ValueHint, ArgAction};
1382    /// Command::new("prog")
1383    ///     .trailing_var_arg(true)
1384    ///     .arg(
1385    ///         Arg::new("command")
1386    ///             .action(ArgAction::Set)
1387    ///             .num_args(1..)
1388    ///             .value_hint(ValueHint::CommandWithArguments)
1389    ///     );
1390    /// ```
1391    #[must_use]
1392    pub fn value_hint(mut self, value_hint: impl IntoResettable<ValueHint>) -> Self {
1393        // HACK: we should use `Self::add` and `Self::remove` to type-check that `ArgExt` is used
1394        match value_hint.into_resettable().into_option() {
1395            Some(value_hint) => {
1396                self.ext.set(value_hint);
1397            }
1398            None => {
1399                self.ext.remove::<ValueHint>();
1400            }
1401        }
1402        self
1403    }
1404
1405    /// Match values against [`PossibleValuesParser`][crate::builder::PossibleValuesParser] without matching case.
1406    ///
1407    /// When other arguments are conditionally required based on the
1408    /// value of a case-insensitive argument, the equality check done
1409    /// by [`Arg::required_if_eq`], [`Arg::required_if_eq_any`], or
1410    /// [`Arg::required_if_eq_all`] is case-insensitive.
1411    ///
1412    ///
1413    /// <div class="warning">
1414    ///
1415    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
1416    ///
1417    /// </div>
1418    ///
1419    /// <div class="warning">
1420    ///
1421    /// **NOTE:** To do unicode case folding, enable the `unicode` feature flag.
1422    ///
1423    /// </div>
1424    ///
1425    /// # Examples
1426    ///
1427    /// ```rust
1428    /// # use clap_builder as clap;
1429    /// # use clap::{Command, Arg, ArgAction};
1430    /// let m = Command::new("pv")
1431    ///     .arg(Arg::new("option")
1432    ///         .long("option")
1433    ///         .action(ArgAction::Set)
1434    ///         .ignore_case(true)
1435    ///         .value_parser(["test123"]))
1436    ///     .get_matches_from(vec![
1437    ///         "pv", "--option", "TeSt123",
1438    ///     ]);
1439    ///
1440    /// assert!(m.get_one::<String>("option").unwrap().eq_ignore_ascii_case("test123"));
1441    /// ```
1442    ///
1443    /// This setting also works when multiple values can be defined:
1444    ///
1445    /// ```rust
1446    /// # use clap_builder as clap;
1447    /// # use clap::{Command, Arg, ArgAction};
1448    /// let m = Command::new("pv")
1449    ///     .arg(Arg::new("option")
1450    ///         .short('o')
1451    ///         .long("option")
1452    ///         .action(ArgAction::Set)
1453    ///         .ignore_case(true)
1454    ///         .num_args(1..)
1455    ///         .value_parser(["test123", "test321"]))
1456    ///     .get_matches_from(vec![
1457    ///         "pv", "--option", "TeSt123", "teST123", "tESt321"
1458    ///     ]);
1459    ///
1460    /// let matched_vals = m.get_many::<String>("option").unwrap().collect::<Vec<_>>();
1461    /// assert_eq!(&*matched_vals, &["TeSt123", "teST123", "tESt321"]);
1462    /// ```
1463    #[inline]
1464    #[must_use]
1465    pub fn ignore_case(self, yes: bool) -> Self {
1466        if yes {
1467            self.setting(ArgSettings::IgnoreCase)
1468        } else {
1469            self.unset_setting(ArgSettings::IgnoreCase)
1470        }
1471    }
1472
1473    /// Allows values which start with a leading hyphen (`-`)
1474    ///
1475    /// To limit values to just numbers, see
1476    /// [`allow_negative_numbers`][Arg::allow_negative_numbers].
1477    ///
1478    /// See also [`trailing_var_arg`][Arg::trailing_var_arg].
1479    ///
1480    /// <div class="warning">
1481    ///
1482    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
1483    ///
1484    /// </div>
1485    ///
1486    /// <div class="warning">
1487    ///
1488    /// **WARNING:** Prior arguments with `allow_hyphen_values(true)` get precedence over known
1489    /// flags but known flags get precedence over the next possible positional argument with
1490    /// `allow_hyphen_values(true)`.  When combined with [`Arg::num_args(..)`][Arg::num_args],
1491    /// [`Arg::value_terminator`] is one way to ensure processing stops.
1492    ///
1493    /// </div>
1494    ///
1495    /// <div class="warning">
1496    ///
1497    /// **WARNING**: Take caution when using this setting combined with another argument using
1498    /// [`Arg::num_args`], as this becomes ambiguous `$ prog --arg -- -- val`. All
1499    /// three `--, --, val` will be values when the user may have thought the second `--` would
1500    /// constitute the normal, "Only positional args follow" idiom.
1501    ///
1502    /// </div>
1503    ///
1504    /// # Examples
1505    ///
1506    /// ```rust
1507    /// # use clap_builder as clap;
1508    /// # use clap::{Command, Arg, ArgAction};
1509    /// let m = Command::new("prog")
1510    ///     .arg(Arg::new("pat")
1511    ///         .action(ArgAction::Set)
1512    ///         .allow_hyphen_values(true)
1513    ///         .long("pattern"))
1514    ///     .get_matches_from(vec![
1515    ///         "prog", "--pattern", "-file"
1516    ///     ]);
1517    ///
1518    /// assert_eq!(m.get_one::<String>("pat").unwrap(), "-file");
1519    /// ```
1520    ///
1521    /// Not setting `Arg::allow_hyphen_values(true)` and supplying a value which starts with a
1522    /// hyphen is an error.
1523    ///
1524    /// ```rust
1525    /// # use clap_builder as clap;
1526    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
1527    /// let res = Command::new("prog")
1528    ///     .arg(Arg::new("pat")
1529    ///         .action(ArgAction::Set)
1530    ///         .long("pattern"))
1531    ///     .try_get_matches_from(vec![
1532    ///         "prog", "--pattern", "-file"
1533    ///     ]);
1534    ///
1535    /// assert!(res.is_err());
1536    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::UnknownArgument);
1537    /// ```
1538    /// [`Arg::num_args(1)`]: Arg::num_args()
1539    #[inline]
1540    #[must_use]
1541    pub fn allow_hyphen_values(self, yes: bool) -> Self {
1542        if yes {
1543            self.setting(ArgSettings::AllowHyphenValues)
1544        } else {
1545            self.unset_setting(ArgSettings::AllowHyphenValues)
1546        }
1547    }
1548
1549    /// Allows negative numbers to pass as values.
1550    ///
1551    /// This is similar to [`Arg::allow_hyphen_values`] except that it only allows numbers,
1552    /// all other undefined leading hyphens will fail to parse.
1553    ///
1554    /// <div class="warning">
1555    ///
1556    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
1557    ///
1558    /// </div>
1559    ///
1560    /// # Examples
1561    ///
1562    /// ```rust
1563    /// # use clap_builder as clap;
1564    /// # use clap::{Command, Arg};
1565    /// let res = Command::new("myprog")
1566    ///     .arg(Arg::new("num").allow_negative_numbers(true))
1567    ///     .try_get_matches_from(vec![
1568    ///         "myprog", "-20"
1569    ///     ]);
1570    /// assert!(res.is_ok());
1571    /// let m = res.unwrap();
1572    /// assert_eq!(m.get_one::<String>("num").unwrap(), "-20");
1573    /// ```
1574    #[inline]
1575    pub fn allow_negative_numbers(self, yes: bool) -> Self {
1576        if yes {
1577            self.setting(ArgSettings::AllowNegativeNumbers)
1578        } else {
1579            self.unset_setting(ArgSettings::AllowNegativeNumbers)
1580        }
1581    }
1582
1583    /// Requires that options use the `--option=val` syntax
1584    ///
1585    /// i.e. an equals between the option and associated value.
1586    ///
1587    /// <div class="warning">
1588    ///
1589    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
1590    ///
1591    /// </div>
1592    ///
1593    /// # Examples
1594    ///
1595    /// Setting `require_equals` requires that the option have an equals sign between
1596    /// it and the associated value.
1597    ///
1598    /// ```rust
1599    /// # use clap_builder as clap;
1600    /// # use clap::{Command, Arg, ArgAction};
1601    /// let res = Command::new("prog")
1602    ///     .arg(Arg::new("cfg")
1603    ///         .action(ArgAction::Set)
1604    ///         .require_equals(true)
1605    ///         .long("config"))
1606    ///     .try_get_matches_from(vec![
1607    ///         "prog", "--config=file.conf"
1608    ///     ]);
1609    ///
1610    /// assert!(res.is_ok());
1611    /// ```
1612    ///
1613    /// Setting `require_equals` and *not* supplying the equals will cause an
1614    /// error.
1615    ///
1616    /// ```rust
1617    /// # use clap_builder as clap;
1618    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
1619    /// let res = Command::new("prog")
1620    ///     .arg(Arg::new("cfg")
1621    ///         .action(ArgAction::Set)
1622    ///         .require_equals(true)
1623    ///         .long("config"))
1624    ///     .try_get_matches_from(vec![
1625    ///         "prog", "--config", "file.conf"
1626    ///     ]);
1627    ///
1628    /// assert!(res.is_err());
1629    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::NoEquals);
1630    /// ```
1631    #[inline]
1632    #[must_use]
1633    pub fn require_equals(self, yes: bool) -> Self {
1634        if yes {
1635            self.setting(ArgSettings::RequireEquals)
1636        } else {
1637            self.unset_setting(ArgSettings::RequireEquals)
1638        }
1639    }
1640
1641    #[doc(hidden)]
1642    #[cfg_attr(
1643        feature = "deprecated",
1644        deprecated(since = "4.0.0", note = "Replaced with `Arg::value_delimiter`")
1645    )]
1646    pub fn use_value_delimiter(mut self, yes: bool) -> Self {
1647        if yes {
1648            self.val_delim.get_or_insert(',');
1649        } else {
1650            self.val_delim = None;
1651        }
1652        self
1653    }
1654
1655    /// Allow grouping of multiple values via a delimiter.
1656    ///
1657    /// i.e. allow values (`val1,val2,val3`) to be parsed as three values (`val1`, `val2`,
1658    /// and `val3`) instead of one value (`val1,val2,val3`).
1659    ///
1660    /// See also [`Command::dont_delimit_trailing_values`][crate::Command::dont_delimit_trailing_values].
1661    ///
1662    /// # Examples
1663    ///
1664    /// ```rust
1665    /// # use clap_builder as clap;
1666    /// # use clap::{Command, Arg};
1667    /// let m = Command::new("prog")
1668    ///     .arg(Arg::new("config")
1669    ///         .short('c')
1670    ///         .long("config")
1671    ///         .value_delimiter(','))
1672    ///     .get_matches_from(vec![
1673    ///         "prog", "--config=val1,val2,val3"
1674    ///     ]);
1675    ///
1676    /// assert_eq!(m.get_many::<String>("config").unwrap().collect::<Vec<_>>(), ["val1", "val2", "val3"])
1677    /// ```
1678    /// [`Arg::value_delimiter(',')`]: Arg::value_delimiter()
1679    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1680    #[inline]
1681    #[must_use]
1682    pub fn value_delimiter(mut self, d: impl IntoResettable<char>) -> Self {
1683        self.val_delim = d.into_resettable().into_option();
1684        self
1685    }
1686
1687    /// Sentinel to **stop** parsing multiple values of a given argument.
1688    ///
1689    /// By default when
1690    /// one sets [`num_args(1..)`] on an argument, clap will continue parsing values for that
1691    /// argument until it reaches another valid argument, or one of the other more specific settings
1692    /// for multiple values is used (such as [`num_args`]).
1693    ///
1694    /// <div class="warning">
1695    ///
1696    /// **NOTE:** This setting only applies to [options] and [positional arguments]
1697    ///
1698    /// </div>
1699    ///
1700    /// <div class="warning">
1701    ///
1702    /// **NOTE:** When the terminator is passed in on the command line, it is **not** stored as one
1703    /// of the values
1704    ///
1705    /// </div>
1706    ///
1707    /// # Examples
1708    ///
1709    /// ```rust
1710    /// # use clap_builder as clap;
1711    /// # use clap::{Command, Arg, ArgAction};
1712    /// Arg::new("vals")
1713    ///     .action(ArgAction::Set)
1714    ///     .num_args(1..)
1715    ///     .value_terminator(";")
1716    /// # ;
1717    /// ```
1718    ///
1719    /// The following example uses two arguments, a sequence of commands, and the location in which
1720    /// to perform them
1721    ///
1722    /// ```rust
1723    /// # use clap_builder as clap;
1724    /// # use clap::{Command, Arg, ArgAction};
1725    /// let m = Command::new("prog")
1726    ///     .arg(Arg::new("cmds")
1727    ///         .action(ArgAction::Set)
1728    ///         .num_args(1..)
1729    ///         .allow_hyphen_values(true)
1730    ///         .value_terminator(";"))
1731    ///     .arg(Arg::new("location"))
1732    ///     .get_matches_from(vec![
1733    ///         "prog", "find", "-type", "f", "-name", "special", ";", "/home/clap"
1734    ///     ]);
1735    /// let cmds: Vec<_> = m.get_many::<String>("cmds").unwrap().collect();
1736    /// assert_eq!(&cmds, &["find", "-type", "f", "-name", "special"]);
1737    /// assert_eq!(m.get_one::<String>("location").unwrap(), "/home/clap");
1738    /// ```
1739    /// [options]: Arg::action
1740    /// [positional arguments]: Arg::index()
1741    /// [`num_args(1..)`]: Arg::num_args()
1742    /// [`num_args`]: Arg::num_args()
1743    #[inline]
1744    #[must_use]
1745    pub fn value_terminator(mut self, term: impl IntoResettable<Str>) -> Self {
1746        self.terminator = term.into_resettable().into_option();
1747        self
1748    }
1749
1750    /// Consume all following arguments.
1751    ///
1752    /// Do not parse them individually, but rather pass them in entirety.
1753    ///
1754    /// It is worth noting that setting this requires all values to come after a `--` to indicate
1755    /// they should all be captured. For example:
1756    ///
1757    /// ```text
1758    /// --foo something -- -v -v -v -b -b -b --baz -q -u -x
1759    /// ```
1760    ///
1761    /// Will result in everything after `--` to be considered one raw argument. This behavior
1762    /// may not be exactly what you are expecting and using [`Arg::trailing_var_arg`]
1763    /// may be more appropriate.
1764    ///
1765    /// <div class="warning">
1766    ///
1767    /// **NOTE:** Implicitly sets [`Arg::action(ArgAction::Set)`], [`Arg::num_args(1..)`],
1768    /// [`Arg::allow_hyphen_values(true)`], and [`Arg::last(true)`] when set to `true`.
1769    ///
1770    /// </div>
1771    ///
1772    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1773    /// [`Arg::num_args(1..)`]: Arg::num_args()
1774    /// [`Arg::allow_hyphen_values(true)`]: Arg::allow_hyphen_values()
1775    /// [`Arg::last(true)`]: Arg::last()
1776    #[inline]
1777    #[must_use]
1778    pub fn raw(mut self, yes: bool) -> Self {
1779        if yes {
1780            self.num_vals.get_or_insert_with(|| (1..).into());
1781        }
1782        self.allow_hyphen_values(yes).last(yes)
1783    }
1784
1785    /// Value for the argument when not present.
1786    ///
1787    /// Like with command-line values, this will be split by [`Arg::value_delimiter`].
1788    ///
1789    /// <div class="warning">
1790    ///
1791    /// **NOTE:** If the user *does not* use this argument at runtime [`ArgMatches::contains_id`] will
1792    /// still return `true`. If you wish to determine whether the argument was used at runtime or
1793    /// not, consider [`ArgMatches::value_source`][crate::ArgMatches::value_source].
1794    ///
1795    /// </div>
1796    ///
1797    /// <div class="warning">
1798    ///
1799    /// **NOTE:** This setting is perfectly compatible with [`Arg::default_value_if`] but slightly
1800    /// different. `Arg::default_value` *only* takes effect when the user has not provided this arg
1801    /// at runtime. `Arg::default_value_if` however only takes effect when the user has not provided
1802    /// a value at runtime **and** these other conditions are met as well. If you have set
1803    /// `Arg::default_value` and `Arg::default_value_if`, and the user **did not** provide this arg
1804    /// at runtime, nor were the conditions met for `Arg::default_value_if`, the `Arg::default_value`
1805    /// will be applied.
1806    ///
1807    /// </div>
1808    ///
1809    /// # Examples
1810    ///
1811    /// First we use the default value without providing any value at runtime.
1812    ///
1813    /// ```rust
1814    /// # use clap_builder as clap;
1815    /// # use clap::{Command, Arg, parser::ValueSource};
1816    /// let m = Command::new("prog")
1817    ///     .arg(Arg::new("opt")
1818    ///         .long("myopt")
1819    ///         .default_value("myval"))
1820    ///     .get_matches_from(vec![
1821    ///         "prog"
1822    ///     ]);
1823    ///
1824    /// assert_eq!(m.get_one::<String>("opt").unwrap(), "myval");
1825    /// assert!(m.contains_id("opt"));
1826    /// assert_eq!(m.value_source("opt"), Some(ValueSource::DefaultValue));
1827    /// ```
1828    ///
1829    /// Next we provide a value at runtime to override the default.
1830    ///
1831    /// ```rust
1832    /// # use clap_builder as clap;
1833    /// # use clap::{Command, Arg, parser::ValueSource};
1834    /// let m = Command::new("prog")
1835    ///     .arg(Arg::new("opt")
1836    ///         .long("myopt")
1837    ///         .default_value("myval"))
1838    ///     .get_matches_from(vec![
1839    ///         "prog", "--myopt=non_default"
1840    ///     ]);
1841    ///
1842    /// assert_eq!(m.get_one::<String>("opt").unwrap(), "non_default");
1843    /// assert!(m.contains_id("opt"));
1844    /// assert_eq!(m.value_source("opt"), Some(ValueSource::CommandLine));
1845    /// ```
1846    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1847    /// [`ArgMatches::contains_id`]: crate::ArgMatches::contains_id()
1848    /// [`Arg::default_value_if`]: Arg::default_value_if()
1849    #[inline]
1850    #[must_use]
1851    pub fn default_value(mut self, val: impl IntoResettable<OsStr>) -> Self {
1852        if let Some(val) = val.into_resettable().into_option() {
1853            self.default_values([val])
1854        } else {
1855            self.default_vals.clear();
1856            self
1857        }
1858    }
1859
1860    #[inline]
1861    #[must_use]
1862    #[doc(hidden)]
1863    #[cfg_attr(
1864        feature = "deprecated",
1865        deprecated(since = "4.0.0", note = "Replaced with `Arg::default_value`")
1866    )]
1867    pub fn default_value_os(self, val: impl Into<OsStr>) -> Self {
1868        self.default_values([val])
1869    }
1870
1871    /// Value for the argument when not present.
1872    ///
1873    /// See [`Arg::default_value`].
1874    ///
1875    /// [`Arg::default_value`]: Arg::default_value()
1876    #[inline]
1877    #[must_use]
1878    pub fn default_values(mut self, vals: impl IntoIterator<Item = impl Into<OsStr>>) -> Self {
1879        self.default_vals = vals.into_iter().map(|s| s.into()).collect();
1880        self
1881    }
1882
1883    #[inline]
1884    #[must_use]
1885    #[doc(hidden)]
1886    #[cfg_attr(
1887        feature = "deprecated",
1888        deprecated(since = "4.0.0", note = "Replaced with `Arg::default_values`")
1889    )]
1890    pub fn default_values_os(self, vals: impl IntoIterator<Item = impl Into<OsStr>>) -> Self {
1891        self.default_values(vals)
1892    }
1893
1894    /// Value for the argument when the flag is present but no value is specified.
1895    ///
1896    /// This configuration option is often used to give the user a shortcut and allow them to
1897    /// efficiently specify an option argument without requiring an explicitly value. The `--color`
1898    /// argument is a common example. By supplying a default, such as `default_missing_value("always")`,
1899    /// the user can quickly just add `--color` to the command line to produce the desired color output.
1900    ///
1901    /// Like with command-line values, this will be split by [`Arg::value_delimiter`].
1902    ///
1903    /// <div class="warning">
1904    ///
1905    /// **NOTE:** using this configuration option requires the use of the
1906    /// [`.num_args(0..N)`][Arg::num_args] and the
1907    /// [`.require_equals(true)`][Arg::require_equals] configuration option. These are required in
1908    /// order to unambiguously determine what, if any, value was supplied for the argument.
1909    ///
1910    /// </div>
1911    ///
1912    /// # Examples
1913    ///
1914    /// For POSIX style `--color`:
1915    /// ```rust
1916    /// # use clap_builder as clap;
1917    /// # use clap::{Command, Arg, parser::ValueSource};
1918    /// fn cli() -> Command {
1919    ///     Command::new("prog")
1920    ///         .arg(Arg::new("color").long("color")
1921    ///             .value_name("WHEN")
1922    ///             .value_parser(["always", "auto", "never"])
1923    ///             .default_value("auto")
1924    ///             .num_args(0..=1)
1925    ///             .require_equals(true)
1926    ///             .default_missing_value("always")
1927    ///             .help("Specify WHEN to colorize output.")
1928    ///         )
1929    /// }
1930    ///
1931    /// // first, we'll provide no arguments
1932    /// let m  = cli().get_matches_from(vec![
1933    ///         "prog"
1934    ///     ]);
1935    /// assert_eq!(m.get_one::<String>("color").unwrap(), "auto");
1936    /// assert_eq!(m.value_source("color"), Some(ValueSource::DefaultValue));
1937    ///
1938    /// // next, we'll provide a runtime value to override the default (as usually done).
1939    /// let m  = cli().get_matches_from(vec![
1940    ///         "prog", "--color=never"
1941    ///     ]);
1942    /// assert_eq!(m.get_one::<String>("color").unwrap(), "never");
1943    /// assert_eq!(m.value_source("color"), Some(ValueSource::CommandLine));
1944    ///
1945    /// // finally, we will use the shortcut and only provide the argument without a value.
1946    /// let m  = cli().get_matches_from(vec![
1947    ///         "prog", "--color"
1948    ///     ]);
1949    /// assert_eq!(m.get_one::<String>("color").unwrap(), "always");
1950    /// assert_eq!(m.value_source("color"), Some(ValueSource::CommandLine));
1951    /// ```
1952    ///
1953    /// For bool literals:
1954    /// ```rust
1955    /// # use clap_builder as clap;
1956    /// # use clap::{Command, Arg, parser::ValueSource, value_parser};
1957    /// fn cli() -> Command {
1958    ///     Command::new("prog")
1959    ///         .arg(Arg::new("create").long("create")
1960    ///             .value_name("BOOL")
1961    ///             .value_parser(value_parser!(bool))
1962    ///             .num_args(0..=1)
1963    ///             .require_equals(true)
1964    ///             .default_missing_value("true")
1965    ///         )
1966    /// }
1967    ///
1968    /// // first, we'll provide no arguments
1969    /// let m  = cli().get_matches_from(vec![
1970    ///         "prog"
1971    ///     ]);
1972    /// assert_eq!(m.get_one::<bool>("create").copied(), None);
1973    ///
1974    /// // next, we'll provide a runtime value to override the default (as usually done).
1975    /// let m  = cli().get_matches_from(vec![
1976    ///         "prog", "--create=false"
1977    ///     ]);
1978    /// assert_eq!(m.get_one::<bool>("create").copied(), Some(false));
1979    /// assert_eq!(m.value_source("create"), Some(ValueSource::CommandLine));
1980    ///
1981    /// // finally, we will use the shortcut and only provide the argument without a value.
1982    /// let m  = cli().get_matches_from(vec![
1983    ///         "prog", "--create"
1984    ///     ]);
1985    /// assert_eq!(m.get_one::<bool>("create").copied(), Some(true));
1986    /// assert_eq!(m.value_source("create"), Some(ValueSource::CommandLine));
1987    /// ```
1988    ///
1989    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
1990    /// [`Arg::default_value`]: Arg::default_value()
1991    #[inline]
1992    #[must_use]
1993    pub fn default_missing_value(mut self, val: impl IntoResettable<OsStr>) -> Self {
1994        if let Some(val) = val.into_resettable().into_option() {
1995            self.default_missing_values_os([val])
1996        } else {
1997            self.default_missing_vals.clear();
1998            self
1999        }
2000    }
2001
2002    /// Value for the argument when the flag is present but no value is specified.
2003    ///
2004    /// See [`Arg::default_missing_value`].
2005    ///
2006    /// [`Arg::default_missing_value`]: Arg::default_missing_value()
2007    /// [`OsStr`]: std::ffi::OsStr
2008    #[inline]
2009    #[must_use]
2010    pub fn default_missing_value_os(self, val: impl Into<OsStr>) -> Self {
2011        self.default_missing_values_os([val])
2012    }
2013
2014    /// Value for the argument when the flag is present but no value is specified.
2015    ///
2016    /// See [`Arg::default_missing_value`].
2017    ///
2018    /// [`Arg::default_missing_value`]: Arg::default_missing_value()
2019    #[inline]
2020    #[must_use]
2021    pub fn default_missing_values(self, vals: impl IntoIterator<Item = impl Into<OsStr>>) -> Self {
2022        self.default_missing_values_os(vals)
2023    }
2024
2025    /// Value for the argument when the flag is present but no value is specified.
2026    ///
2027    /// See [`Arg::default_missing_values`].
2028    ///
2029    /// [`Arg::default_missing_values`]: Arg::default_missing_values()
2030    /// [`OsStr`]: std::ffi::OsStr
2031    #[inline]
2032    #[must_use]
2033    pub fn default_missing_values_os(
2034        mut self,
2035        vals: impl IntoIterator<Item = impl Into<OsStr>>,
2036    ) -> Self {
2037        self.default_missing_vals = vals.into_iter().map(|s| s.into()).collect();
2038        self
2039    }
2040
2041    /// Read from `name` environment variable when argument is not present.
2042    ///
2043    /// If it is not present in the environment, then default
2044    /// rules will apply.
2045    ///
2046    /// If user sets the argument in the environment:
2047    /// - When [`Arg::action(ArgAction::Set)`] is not set, the flag is considered raised.
2048    /// - When [`Arg::action(ArgAction::Set)`] is set,
2049    ///   [`ArgMatches::get_one`][crate::ArgMatches::get_one] will
2050    ///   return value of the environment variable.
2051    ///
2052    /// If user doesn't set the argument in the environment:
2053    /// - When [`Arg::action(ArgAction::Set)`] is not set, the flag is considered off.
2054    /// - When [`Arg::action(ArgAction::Set)`] is set,
2055    ///   [`ArgMatches::get_one`][crate::ArgMatches::get_one] will
2056    ///   return the default specified.
2057    ///
2058    /// Like with command-line values, this will be split by [`Arg::value_delimiter`].
2059    ///
2060    /// # Examples
2061    ///
2062    /// In this example, we show the variable coming from the environment:
2063    ///
2064    /// ```rust
2065    /// # use clap_builder as clap;
2066    /// # use std::env;
2067    /// # use clap::{Command, Arg, ArgAction};
2068    /// # unsafe {
2069    /// env::set_var("MY_FLAG", "env");
2070    /// # }
2071    ///
2072    /// let m = Command::new("prog")
2073    ///     .arg(Arg::new("flag")
2074    ///         .long("flag")
2075    ///         .env("MY_FLAG")
2076    ///         .action(ArgAction::Set))
2077    ///     .get_matches_from(vec![
2078    ///         "prog"
2079    ///     ]);
2080    ///
2081    /// assert_eq!(m.get_one::<String>("flag").unwrap(), "env");
2082    /// ```
2083    ///
2084    /// In this example, because `prog` is a flag that accepts an optional, case-insensitive
2085    /// boolean literal.
2086    ///
2087    /// Note that the value parser controls how flags are parsed.  In this case we've selected
2088    /// [`FalseyValueParser`][crate::builder::FalseyValueParser].  A `false` literal is `n`, `no`,
2089    /// `f`, `false`, `off` or `0`.  An absent environment variable will also be considered as
2090    /// `false`.  Anything else will considered as `true`.
2091    ///
2092    /// ```rust
2093    /// # use clap_builder as clap;
2094    /// # use std::env;
2095    /// # use clap::{Command, Arg, ArgAction};
2096    /// # use clap::builder::FalseyValueParser;
2097    ///
2098    /// # unsafe {
2099    /// env::set_var("TRUE_FLAG", "true");
2100    /// env::set_var("FALSE_FLAG", "0");
2101    /// # }
2102    ///
2103    /// let m = Command::new("prog")
2104    ///     .arg(Arg::new("true_flag")
2105    ///         .long("true_flag")
2106    ///         .action(ArgAction::SetTrue)
2107    ///         .value_parser(FalseyValueParser::new())
2108    ///         .env("TRUE_FLAG"))
2109    ///     .arg(Arg::new("false_flag")
2110    ///         .long("false_flag")
2111    ///         .action(ArgAction::SetTrue)
2112    ///         .value_parser(FalseyValueParser::new())
2113    ///         .env("FALSE_FLAG"))
2114    ///     .arg(Arg::new("absent_flag")
2115    ///         .long("absent_flag")
2116    ///         .action(ArgAction::SetTrue)
2117    ///         .value_parser(FalseyValueParser::new())
2118    ///         .env("ABSENT_FLAG"))
2119    ///     .get_matches_from(vec![
2120    ///         "prog"
2121    ///     ]);
2122    ///
2123    /// assert!(m.get_flag("true_flag"));
2124    /// assert!(!m.get_flag("false_flag"));
2125    /// assert!(!m.get_flag("absent_flag"));
2126    /// ```
2127    ///
2128    /// In this example, we show the variable coming from an option on the CLI:
2129    ///
2130    /// ```rust
2131    /// # use clap_builder as clap;
2132    /// # use std::env;
2133    /// # use clap::{Command, Arg, ArgAction};
2134    ///
2135    /// # unsafe {
2136    /// env::set_var("MY_FLAG", "env");
2137    /// # }
2138    ///
2139    /// let m = Command::new("prog")
2140    ///     .arg(Arg::new("flag")
2141    ///         .long("flag")
2142    ///         .env("MY_FLAG")
2143    ///         .action(ArgAction::Set))
2144    ///     .get_matches_from(vec![
2145    ///         "prog", "--flag", "opt"
2146    ///     ]);
2147    ///
2148    /// assert_eq!(m.get_one::<String>("flag").unwrap(), "opt");
2149    /// ```
2150    ///
2151    /// In this example, we show the variable coming from the environment even with the
2152    /// presence of a default:
2153    ///
2154    /// ```rust
2155    /// # use clap_builder as clap;
2156    /// # use std::env;
2157    /// # use clap::{Command, Arg, ArgAction};
2158    ///
2159    /// # unsafe {
2160    /// env::set_var("MY_FLAG", "env");
2161    /// # }
2162    ///
2163    /// let m = Command::new("prog")
2164    ///     .arg(Arg::new("flag")
2165    ///         .long("flag")
2166    ///         .env("MY_FLAG")
2167    ///         .action(ArgAction::Set)
2168    ///         .default_value("default"))
2169    ///     .get_matches_from(vec![
2170    ///         "prog"
2171    ///     ]);
2172    ///
2173    /// assert_eq!(m.get_one::<String>("flag").unwrap(), "env");
2174    /// ```
2175    ///
2176    /// In this example, we show the use of multiple values in a single environment variable:
2177    ///
2178    /// ```rust
2179    /// # use clap_builder as clap;
2180    /// # use std::env;
2181    /// # use clap::{Command, Arg, ArgAction};
2182    ///
2183    /// # unsafe {
2184    /// env::set_var("MY_FLAG_MULTI", "env1,env2");
2185    /// # }
2186    ///
2187    /// let m = Command::new("prog")
2188    ///     .arg(Arg::new("flag")
2189    ///         .long("flag")
2190    ///         .env("MY_FLAG_MULTI")
2191    ///         .action(ArgAction::Set)
2192    ///         .num_args(1..)
2193    ///         .value_delimiter(','))
2194    ///     .get_matches_from(vec![
2195    ///         "prog"
2196    ///     ]);
2197    ///
2198    /// assert_eq!(m.get_many::<String>("flag").unwrap().collect::<Vec<_>>(), vec!["env1", "env2"]);
2199    /// ```
2200    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
2201    /// [`Arg::value_delimiter(',')`]: Arg::value_delimiter()
2202    #[cfg(feature = "env")]
2203    #[inline]
2204    #[must_use]
2205    pub fn env(mut self, name: impl IntoResettable<OsStr>) -> Self {
2206        if let Some(name) = name.into_resettable().into_option() {
2207            let value = env::var_os(&name);
2208            self.env = Some((name, value));
2209        } else {
2210            self.env = None;
2211        }
2212        self
2213    }
2214
2215    #[cfg(feature = "env")]
2216    #[doc(hidden)]
2217    #[cfg_attr(
2218        feature = "deprecated",
2219        deprecated(since = "4.0.0", note = "Replaced with `Arg::env`")
2220    )]
2221    pub fn env_os(self, name: impl Into<OsStr>) -> Self {
2222        self.env(name)
2223    }
2224}
2225
2226/// # Help
2227impl Arg {
2228    /// Sets the description of the argument for short help (`-h`).
2229    ///
2230    /// Typically, this is a short (one line) description of the arg.
2231    ///
2232    /// If [`Arg::long_help`] is not specified, this message will be displayed for `--help`.
2233    ///
2234    /// <div class="warning">
2235    ///
2236    /// **NOTE:** Only `Arg::help` is used in completion script generation in order to be concise
2237    ///
2238    /// </div>
2239    ///
2240    /// # Examples
2241    ///
2242    /// Any valid UTF-8 is allowed in the help text. The one exception is when one wishes to
2243    /// include a newline in the help text and have the following text be properly aligned with all
2244    /// the other help text.
2245    ///
2246    /// Setting `help` displays a short message to the side of the argument when the user passes
2247    /// `-h` or `--help` (by default).
2248    ///
2249    /// ```rust
2250    /// # #[cfg(feature = "help")] {
2251    /// # use clap_builder as clap;
2252    /// # use clap::{Command, Arg};
2253    /// let m = Command::new("prog")
2254    ///     .arg(Arg::new("cfg")
2255    ///         .long("config")
2256    ///         .help("Some help text describing the --config arg"))
2257    ///     .get_matches_from(vec![
2258    ///         "prog", "--help"
2259    ///     ]);
2260    /// # }
2261    /// ```
2262    ///
2263    /// The above example displays
2264    ///
2265    /// ```notrust
2266    /// helptest
2267    ///
2268    /// Usage: helptest [OPTIONS]
2269    ///
2270    /// Options:
2271    ///     --config     Some help text describing the --config arg
2272    /// -h, --help       Print help information
2273    /// -V, --version    Print version information
2274    /// ```
2275    /// [`Arg::long_help`]: Arg::long_help()
2276    #[inline]
2277    #[must_use]
2278    pub fn help(mut self, h: impl IntoResettable<StyledStr>) -> Self {
2279        self.help = h.into_resettable().into_option();
2280        self
2281    }
2282
2283    /// Sets the description of the argument for long help (`--help`).
2284    ///
2285    /// Typically this a more detailed (multi-line) message
2286    /// that describes the arg.
2287    ///
2288    /// If [`Arg::help`] is not specified, this message will be displayed for `-h`.
2289    ///
2290    /// <div class="warning">
2291    ///
2292    /// **NOTE:** Only [`Arg::help`] is used in completion script generation in order to be concise
2293    ///
2294    /// </div>
2295    ///
2296    /// # Examples
2297    ///
2298    /// Any valid UTF-8 is allowed in the help text. The one exception is when one wishes to
2299    /// include a newline in the help text and have the following text be properly aligned with all
2300    /// the other help text.
2301    ///
2302    /// Setting `help` displays a short message to the side of the argument when the user passes
2303    /// `-h` or `--help` (by default).
2304    ///
2305    /// ```rust
2306    /// # #[cfg(feature = "help")] {
2307    /// # use clap_builder as clap;
2308    /// # use clap::{Command, Arg};
2309    /// let m = Command::new("prog")
2310    ///     .arg(Arg::new("cfg")
2311    ///         .long("config")
2312    ///         .long_help(
2313    /// "The config file used by the myprog must be in JSON format
2314    /// with only valid keys and may not contain other nonsense
2315    /// that cannot be read by this program. Obviously I'm going on
2316    /// and on, so I'll stop now."))
2317    ///     .get_matches_from(vec![
2318    ///         "prog", "--help"
2319    ///     ]);
2320    /// # }
2321    /// ```
2322    ///
2323    /// The above example displays
2324    ///
2325    /// ```text
2326    /// prog
2327    ///
2328    /// Usage: prog [OPTIONS]
2329    ///
2330    /// Options:
2331    ///         --config
2332    ///             The config file used by the myprog must be in JSON format
2333    ///             with only valid keys and may not contain other nonsense
2334    ///             that cannot be read by this program. Obviously I'm going on
2335    ///             and on, so I'll stop now.
2336    ///
2337    ///     -h, --help
2338    ///             Print help information
2339    ///
2340    ///     -V, --version
2341    ///             Print version information
2342    /// ```
2343    /// [`Arg::help`]: Arg::help()
2344    #[inline]
2345    #[must_use]
2346    pub fn long_help(mut self, h: impl IntoResettable<StyledStr>) -> Self {
2347        self.long_help = h.into_resettable().into_option();
2348        self
2349    }
2350
2351    /// Allows custom ordering of args within the help message.
2352    ///
2353    /// `Arg`s with a lower value will be displayed first in the help message.
2354    /// Those with the same display order will be sorted.
2355    ///
2356    /// `Arg`s are automatically assigned a display order based on the order they are added to the
2357    /// [`Command`][crate::Command].
2358    /// Overriding this is helpful when the order arguments are added in isn't the same as the
2359    /// display order, whether in one-off cases or to automatically sort arguments.
2360    ///
2361    /// To change, see [`Command::next_display_order`][crate::Command::next_display_order].
2362    ///
2363    /// <div class="warning">
2364    ///
2365    /// **NOTE:** This setting is ignored for [positional arguments] which are always displayed in
2366    /// [index] order.
2367    ///
2368    /// </div>
2369    ///
2370    /// # Examples
2371    ///
2372    /// ```rust
2373    /// # #[cfg(feature = "help")] {
2374    /// # use clap_builder as clap;
2375    /// # use clap::{Command, Arg, ArgAction};
2376    /// let m = Command::new("prog")
2377    ///     .arg(Arg::new("boat")
2378    ///         .short('b')
2379    ///         .long("boat")
2380    ///         .action(ArgAction::Set)
2381    ///         .display_order(0)  // Sort
2382    ///         .help("Some help and text"))
2383    ///     .arg(Arg::new("airplane")
2384    ///         .short('a')
2385    ///         .long("airplane")
2386    ///         .action(ArgAction::Set)
2387    ///         .display_order(0)  // Sort
2388    ///         .help("I should be first!"))
2389    ///     .arg(Arg::new("custom-help")
2390    ///         .short('?')
2391    ///         .action(ArgAction::Help)
2392    ///         .display_order(100)  // Don't sort
2393    ///         .help("Alt help"))
2394    ///     .get_matches_from(vec![
2395    ///         "prog", "--help"
2396    ///     ]);
2397    /// # }
2398    /// ```
2399    ///
2400    /// The above example displays the following help message
2401    ///
2402    /// ```text
2403    /// cust-ord
2404    ///
2405    /// Usage: cust-ord [OPTIONS]
2406    ///
2407    /// Options:
2408    ///     -a, --airplane <airplane>    I should be first!
2409    ///     -b, --boat <boar>            Some help and text
2410    ///     -h, --help                   Print help information
2411    ///     -?                           Alt help
2412    /// ```
2413    /// [positional arguments]: Arg::index()
2414    /// [index]: Arg::index()
2415    #[inline]
2416    #[must_use]
2417    pub fn display_order(mut self, ord: impl IntoResettable<usize>) -> Self {
2418        self.disp_ord = ord.into_resettable().into_option();
2419        self
2420    }
2421
2422    /// Override the `--help` section this appears in.
2423    ///
2424    /// For more on the default help heading, see
2425    /// [`Command::next_help_heading`][crate::Command::next_help_heading].
2426    #[inline]
2427    #[must_use]
2428    pub fn help_heading(mut self, heading: impl IntoResettable<Str>) -> Self {
2429        self.help_heading = Some(heading.into_resettable().into_option());
2430        self
2431    }
2432
2433    /// Render the [help][Arg::help] on the line after the argument.
2434    ///
2435    /// This can be helpful for arguments with very long or complex help messages.
2436    /// This can also be helpful for arguments with very long flag names, or many/long value names.
2437    ///
2438    /// <div class="warning">
2439    ///
2440    /// **NOTE:** To apply this setting to all arguments and subcommands, consider using
2441    /// [`crate::Command::next_line_help`]
2442    ///
2443    /// </div>
2444    ///
2445    /// # Examples
2446    ///
2447    /// ```rust
2448    /// # #[cfg(feature = "help")] {
2449    /// # use clap_builder as clap;
2450    /// # use clap::{Command, Arg, ArgAction};
2451    /// let m = Command::new("prog")
2452    ///     .arg(Arg::new("opt")
2453    ///         .long("long-option-flag")
2454    ///         .short('o')
2455    ///         .action(ArgAction::Set)
2456    ///         .next_line_help(true)
2457    ///         .value_names(["value1", "value2"])
2458    ///         .help("Some really long help and complex\n\
2459    ///                help that makes more sense to be\n\
2460    ///                on a line after the option"))
2461    ///     .get_matches_from(vec![
2462    ///         "prog", "--help"
2463    ///     ]);
2464    /// # }
2465    /// ```
2466    ///
2467    /// The above example displays the following help message
2468    ///
2469    /// ```text
2470    /// nlh
2471    ///
2472    /// Usage: nlh [OPTIONS]
2473    ///
2474    /// Options:
2475    ///     -h, --help       Print help information
2476    ///     -V, --version    Print version information
2477    ///     -o, --long-option-flag <value1> <value2>
2478    ///         Some really long help and complex
2479    ///         help that makes more sense to be
2480    ///         on a line after the option
2481    /// ```
2482    #[inline]
2483    #[must_use]
2484    pub fn next_line_help(self, yes: bool) -> Self {
2485        if yes {
2486            self.setting(ArgSettings::NextLineHelp)
2487        } else {
2488            self.unset_setting(ArgSettings::NextLineHelp)
2489        }
2490    }
2491
2492    /// Do not display the argument in help message.
2493    ///
2494    /// <div class="warning">
2495    ///
2496    /// **NOTE:** This does **not** hide the argument from usage strings on error
2497    ///
2498    /// </div>
2499    ///
2500    /// # Examples
2501    ///
2502    /// Setting `Hidden` will hide the argument when displaying help text
2503    ///
2504    /// ```rust
2505    /// # #[cfg(feature = "help")] {
2506    /// # use clap_builder as clap;
2507    /// # use clap::{Command, Arg};
2508    /// let m = Command::new("prog")
2509    ///     .arg(Arg::new("cfg")
2510    ///         .long("config")
2511    ///         .hide(true)
2512    ///         .help("Some help text describing the --config arg"))
2513    ///     .get_matches_from(vec![
2514    ///         "prog", "--help"
2515    ///     ]);
2516    /// # }
2517    /// ```
2518    ///
2519    /// The above example displays
2520    ///
2521    /// ```text
2522    /// helptest
2523    ///
2524    /// Usage: helptest [OPTIONS]
2525    ///
2526    /// Options:
2527    /// -h, --help       Print help information
2528    /// -V, --version    Print version information
2529    /// ```
2530    #[inline]
2531    #[must_use]
2532    pub fn hide(self, yes: bool) -> Self {
2533        if yes {
2534            self.setting(ArgSettings::Hidden)
2535        } else {
2536            self.unset_setting(ArgSettings::Hidden)
2537        }
2538    }
2539
2540    /// Do not display the [possible values][crate::builder::ValueParser::possible_values] in the help message.
2541    ///
2542    /// This is useful for args with many values, or ones which are explained elsewhere in the
2543    /// help text.
2544    ///
2545    /// To set this for all arguments, see
2546    /// [`Command::hide_possible_values`][crate::Command::hide_possible_values].
2547    ///
2548    /// <div class="warning">
2549    ///
2550    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
2551    ///
2552    /// </div>
2553    ///
2554    /// # Examples
2555    ///
2556    /// ```rust
2557    /// # use clap_builder as clap;
2558    /// # use clap::{Command, Arg, ArgAction};
2559    /// let m = Command::new("prog")
2560    ///     .arg(Arg::new("mode")
2561    ///         .long("mode")
2562    ///         .value_parser(["fast", "slow"])
2563    ///         .action(ArgAction::Set)
2564    ///         .hide_possible_values(true));
2565    /// ```
2566    /// If we were to run the above program with `--help` the `[values: fast, slow]` portion of
2567    /// the help text would be omitted.
2568    #[inline]
2569    #[must_use]
2570    pub fn hide_possible_values(self, yes: bool) -> Self {
2571        if yes {
2572            self.setting(ArgSettings::HidePossibleValues)
2573        } else {
2574            self.unset_setting(ArgSettings::HidePossibleValues)
2575        }
2576    }
2577
2578    /// Do not display the default value of the argument in the help message.
2579    ///
2580    /// This is useful when default behavior of an arg is explained elsewhere in the help text.
2581    ///
2582    /// <div class="warning">
2583    ///
2584    /// **NOTE:** Setting this requires [taking values][Arg::num_args]
2585    ///
2586    /// </div>
2587    ///
2588    /// # Examples
2589    ///
2590    /// ```rust
2591    /// # use clap_builder as clap;
2592    /// # use clap::{Command, Arg, ArgAction};
2593    /// let m = Command::new("connect")
2594    ///     .arg(Arg::new("host")
2595    ///         .long("host")
2596    ///         .default_value("localhost")
2597    ///         .action(ArgAction::Set)
2598    ///         .hide_default_value(true));
2599    ///
2600    /// ```
2601    ///
2602    /// If we were to run the above program with `--help` the `[default: localhost]` portion of
2603    /// the help text would be omitted.
2604    #[inline]
2605    #[must_use]
2606    pub fn hide_default_value(self, yes: bool) -> Self {
2607        if yes {
2608            self.setting(ArgSettings::HideDefaultValue)
2609        } else {
2610            self.unset_setting(ArgSettings::HideDefaultValue)
2611        }
2612    }
2613
2614    /// Do not display in help the environment variable name.
2615    ///
2616    /// This is useful when the variable option is explained elsewhere in the help text.
2617    ///
2618    /// # Examples
2619    ///
2620    /// ```rust
2621    /// # use clap_builder as clap;
2622    /// # use clap::{Command, Arg, ArgAction};
2623    /// let m = Command::new("prog")
2624    ///     .arg(Arg::new("mode")
2625    ///         .long("mode")
2626    ///         .env("MODE")
2627    ///         .action(ArgAction::Set)
2628    ///         .hide_env(true));
2629    /// ```
2630    ///
2631    /// If we were to run the above program with `--help` the `[env: MODE]` portion of the help
2632    /// text would be omitted.
2633    #[cfg(feature = "env")]
2634    #[inline]
2635    #[must_use]
2636    pub fn hide_env(self, yes: bool) -> Self {
2637        if yes {
2638            self.setting(ArgSettings::HideEnv)
2639        } else {
2640            self.unset_setting(ArgSettings::HideEnv)
2641        }
2642    }
2643
2644    /// Do not display in help any values inside the associated ENV variables for the argument.
2645    ///
2646    /// This is useful when ENV vars contain sensitive values.
2647    ///
2648    /// # Examples
2649    ///
2650    /// ```rust
2651    /// # use clap_builder as clap;
2652    /// # use clap::{Command, Arg, ArgAction};
2653    /// let m = Command::new("connect")
2654    ///     .arg(Arg::new("host")
2655    ///         .long("host")
2656    ///         .env("CONNECT")
2657    ///         .action(ArgAction::Set)
2658    ///         .hide_env_values(true));
2659    ///
2660    /// ```
2661    ///
2662    /// If we were to run the above program with `$ CONNECT=super_secret connect --help` the
2663    /// `[default: CONNECT=super_secret]` portion of the help text would be omitted.
2664    #[cfg(feature = "env")]
2665    #[inline]
2666    #[must_use]
2667    pub fn hide_env_values(self, yes: bool) -> Self {
2668        if yes {
2669            self.setting(ArgSettings::HideEnvValues)
2670        } else {
2671            self.unset_setting(ArgSettings::HideEnvValues)
2672        }
2673    }
2674
2675    /// Hides an argument from short help (`-h`).
2676    ///
2677    /// <div class="warning">
2678    ///
2679    /// **NOTE:** This does **not** hide the argument from usage strings on error
2680    ///
2681    /// </div>
2682    ///
2683    /// <div class="warning">
2684    ///
2685    /// **NOTE:** Setting this option will cause next-line-help output style to be used
2686    /// when long help (`--help`) is called.
2687    ///
2688    /// </div>
2689    ///
2690    /// # Examples
2691    ///
2692    /// ```rust
2693    /// # use clap_builder as clap;
2694    /// # use clap::{Command, Arg};
2695    /// Arg::new("debug")
2696    ///     .hide_short_help(true);
2697    /// ```
2698    ///
2699    /// Setting `hide_short_help(true)` will hide the argument when displaying short help text
2700    ///
2701    /// ```rust
2702    /// # #[cfg(feature = "help")] {
2703    /// # use clap_builder as clap;
2704    /// # use clap::{Command, Arg};
2705    /// let m = Command::new("prog")
2706    ///     .arg(Arg::new("cfg")
2707    ///         .long("config")
2708    ///         .hide_short_help(true)
2709    ///         .help("Some help text describing the --config arg"))
2710    ///     .get_matches_from(vec![
2711    ///         "prog", "-h"
2712    ///     ]);
2713    /// # }
2714    /// ```
2715    ///
2716    /// The above example displays
2717    ///
2718    /// ```text
2719    /// helptest
2720    ///
2721    /// Usage: helptest [OPTIONS]
2722    ///
2723    /// Options:
2724    /// -h, --help       Print help information
2725    /// -V, --version    Print version information
2726    /// ```
2727    ///
2728    /// However, when --help is called
2729    ///
2730    /// ```rust
2731    /// # #[cfg(feature = "help")] {
2732    /// # use clap_builder as clap;
2733    /// # use clap::{Command, Arg};
2734    /// let m = Command::new("prog")
2735    ///     .arg(Arg::new("cfg")
2736    ///         .long("config")
2737    ///         .hide_short_help(true)
2738    ///         .help("Some help text describing the --config arg"))
2739    ///     .get_matches_from(vec![
2740    ///         "prog", "--help"
2741    ///     ]);
2742    /// # }
2743    /// ```
2744    ///
2745    /// Then the following would be displayed
2746    ///
2747    /// ```text
2748    /// helptest
2749    ///
2750    /// Usage: helptest [OPTIONS]
2751    ///
2752    /// Options:
2753    ///     --config     Some help text describing the --config arg
2754    /// -h, --help       Print help information
2755    /// -V, --version    Print version information
2756    /// ```
2757    #[inline]
2758    #[must_use]
2759    pub fn hide_short_help(self, yes: bool) -> Self {
2760        if yes {
2761            self.setting(ArgSettings::HiddenShortHelp)
2762        } else {
2763            self.unset_setting(ArgSettings::HiddenShortHelp)
2764        }
2765    }
2766
2767    /// Hides an argument from long help (`--help`).
2768    ///
2769    /// <div class="warning">
2770    ///
2771    /// **NOTE:** This does **not** hide the argument from usage strings on error
2772    ///
2773    /// </div>
2774    ///
2775    /// <div class="warning">
2776    ///
2777    /// **NOTE:** Setting this option will cause next-line-help output style to be used
2778    /// when long help (`--help`) is called.
2779    ///
2780    /// </div>
2781    ///
2782    /// # Examples
2783    ///
2784    /// Setting `hide_long_help(true)` will hide the argument when displaying long help text
2785    ///
2786    /// ```rust
2787    /// # #[cfg(feature = "help")] {
2788    /// # use clap_builder as clap;
2789    /// # use clap::{Command, Arg};
2790    /// let m = Command::new("prog")
2791    ///     .arg(Arg::new("cfg")
2792    ///         .long("config")
2793    ///         .hide_long_help(true)
2794    ///         .help("Some help text describing the --config arg"))
2795    ///     .get_matches_from(vec![
2796    ///         "prog", "--help"
2797    ///     ]);
2798    /// # }
2799    /// ```
2800    ///
2801    /// The above example displays
2802    ///
2803    /// ```text
2804    /// helptest
2805    ///
2806    /// Usage: helptest [OPTIONS]
2807    ///
2808    /// Options:
2809    /// -h, --help       Print help information
2810    /// -V, --version    Print version information
2811    /// ```
2812    ///
2813    /// However, when -h is called
2814    ///
2815    /// ```rust
2816    /// # #[cfg(feature = "help")] {
2817    /// # use clap_builder as clap;
2818    /// # use clap::{Command, Arg};
2819    /// let m = Command::new("prog")
2820    ///     .arg(Arg::new("cfg")
2821    ///         .long("config")
2822    ///         .hide_long_help(true)
2823    ///         .help("Some help text describing the --config arg"))
2824    ///     .get_matches_from(vec![
2825    ///         "prog", "-h"
2826    ///     ]);
2827    /// # }
2828    /// ```
2829    ///
2830    /// Then the following would be displayed
2831    ///
2832    /// ```text
2833    /// helptest
2834    ///
2835    /// Usage: helptest [OPTIONS]
2836    ///
2837    /// OPTIONS:
2838    ///     --config     Some help text describing the --config arg
2839    /// -h, --help       Print help information
2840    /// -V, --version    Print version information
2841    /// ```
2842    #[inline]
2843    #[must_use]
2844    pub fn hide_long_help(self, yes: bool) -> Self {
2845        if yes {
2846            self.setting(ArgSettings::HiddenLongHelp)
2847        } else {
2848            self.unset_setting(ArgSettings::HiddenLongHelp)
2849        }
2850    }
2851}
2852
2853/// # Advanced Argument Relations
2854impl Arg {
2855    /// The name of the [`ArgGroup`] the argument belongs to.
2856    ///
2857    /// # Examples
2858    ///
2859    /// ```rust
2860    /// # use clap_builder as clap;
2861    /// # use clap::{Command, Arg, ArgAction};
2862    /// Arg::new("debug")
2863    ///     .long("debug")
2864    ///     .action(ArgAction::SetTrue)
2865    ///     .group("mode")
2866    /// # ;
2867    /// ```
2868    ///
2869    /// Multiple arguments can be a member of a single group and then the group checked as if it
2870    /// was one of said arguments.
2871    ///
2872    /// ```rust
2873    /// # use clap_builder as clap;
2874    /// # use clap::{Command, Arg, ArgAction};
2875    /// let m = Command::new("prog")
2876    ///     .arg(Arg::new("debug")
2877    ///         .long("debug")
2878    ///         .action(ArgAction::SetTrue)
2879    ///         .group("mode"))
2880    ///     .arg(Arg::new("verbose")
2881    ///         .long("verbose")
2882    ///         .action(ArgAction::SetTrue)
2883    ///         .group("mode"))
2884    ///     .get_matches_from(vec![
2885    ///         "prog", "--debug"
2886    ///     ]);
2887    /// assert!(m.contains_id("mode"));
2888    /// ```
2889    ///
2890    /// [`ArgGroup`]: crate::ArgGroup
2891    #[must_use]
2892    pub fn group(mut self, group_id: impl IntoResettable<Id>) -> Self {
2893        if let Some(group_id) = group_id.into_resettable().into_option() {
2894            self.groups.push(group_id);
2895        } else {
2896            self.groups.clear();
2897        }
2898        self
2899    }
2900
2901    /// The names of [`ArgGroup`]'s the argument belongs to.
2902    ///
2903    /// # Examples
2904    ///
2905    /// ```rust
2906    /// # use clap_builder as clap;
2907    /// # use clap::{Command, Arg, ArgAction};
2908    /// Arg::new("debug")
2909    ///     .long("debug")
2910    ///     .action(ArgAction::SetTrue)
2911    ///     .groups(["mode", "verbosity"])
2912    /// # ;
2913    /// ```
2914    ///
2915    /// Arguments can be members of multiple groups and then the group checked as if it
2916    /// was one of said arguments.
2917    ///
2918    /// ```rust
2919    /// # use clap_builder as clap;
2920    /// # use clap::{Command, Arg, ArgAction};
2921    /// let m = Command::new("prog")
2922    ///     .arg(Arg::new("debug")
2923    ///         .long("debug")
2924    ///         .action(ArgAction::SetTrue)
2925    ///         .groups(["mode", "verbosity"]))
2926    ///     .arg(Arg::new("verbose")
2927    ///         .long("verbose")
2928    ///         .action(ArgAction::SetTrue)
2929    ///         .groups(["mode", "verbosity"]))
2930    ///     .get_matches_from(vec![
2931    ///         "prog", "--debug"
2932    ///     ]);
2933    /// assert!(m.contains_id("mode"));
2934    /// assert!(m.contains_id("verbosity"));
2935    /// ```
2936    ///
2937    /// [`ArgGroup`]: crate::ArgGroup
2938    #[must_use]
2939    pub fn groups(mut self, group_ids: impl IntoIterator<Item = impl Into<Id>>) -> Self {
2940        self.groups.extend(group_ids.into_iter().map(Into::into));
2941        self
2942    }
2943
2944    /// Specifies the value of the argument if `arg` has been used at runtime.
2945    ///
2946    /// If `default` is set to `None`, `default_value` will be removed.
2947    ///
2948    /// Like with command-line values, this will be split by [`Arg::value_delimiter`].
2949    ///
2950    /// <div class="warning">
2951    ///
2952    /// **NOTE:** This setting is perfectly compatible with [`Arg::default_value`] but slightly
2953    /// different. `Arg::default_value` *only* takes effect when the user has not provided this arg
2954    /// at runtime. This setting however only takes effect when the user has not provided a value at
2955    /// runtime **and** these other conditions are met as well. If you have set `Arg::default_value`
2956    /// and `Arg::default_value_if`, and the user **did not** provide this arg at runtime, nor were
2957    /// the conditions met for `Arg::default_value_if`, the `Arg::default_value` will be applied.
2958    ///
2959    /// </div>
2960    ///
2961    /// # Examples
2962    ///
2963    /// First we use the default value only if another arg is present at runtime.
2964    ///
2965    /// ```rust
2966    /// # use clap_builder as clap;
2967    /// # use clap::{Command, Arg, ArgAction};
2968    /// # use clap::builder::{ArgPredicate};
2969    /// let m = Command::new("prog")
2970    ///     .arg(Arg::new("flag")
2971    ///         .long("flag")
2972    ///         .action(ArgAction::SetTrue))
2973    ///     .arg(Arg::new("other")
2974    ///         .long("other")
2975    ///         .default_value_if("flag", ArgPredicate::IsPresent, Some("default")))
2976    ///     .get_matches_from(vec![
2977    ///         "prog", "--flag"
2978    ///     ]);
2979    ///
2980    /// assert_eq!(m.get_one::<String>("other").unwrap(), "default");
2981    /// ```
2982    ///
2983    /// Next we run the same test, but without providing `--flag`.
2984    ///
2985    /// ```rust
2986    /// # use clap_builder as clap;
2987    /// # use clap::{Command, Arg, ArgAction};
2988    /// let m = Command::new("prog")
2989    ///     .arg(Arg::new("flag")
2990    ///         .long("flag")
2991    ///         .action(ArgAction::SetTrue))
2992    ///     .arg(Arg::new("other")
2993    ///         .long("other")
2994    ///         .default_value_if("flag", "true", Some("default")))
2995    ///     .get_matches_from(vec![
2996    ///         "prog"
2997    ///     ]);
2998    ///
2999    /// assert_eq!(m.get_one::<String>("other"), None);
3000    /// ```
3001    ///
3002    /// Now lets only use the default value if `--opt` contains the value `special`.
3003    ///
3004    /// ```rust
3005    /// # use clap_builder as clap;
3006    /// # use clap::{Command, Arg, ArgAction};
3007    /// let m = Command::new("prog")
3008    ///     .arg(Arg::new("opt")
3009    ///         .action(ArgAction::Set)
3010    ///         .long("opt"))
3011    ///     .arg(Arg::new("other")
3012    ///         .long("other")
3013    ///         .default_value_if("opt", "special", Some("default")))
3014    ///     .get_matches_from(vec![
3015    ///         "prog", "--opt", "special"
3016    ///     ]);
3017    ///
3018    /// assert_eq!(m.get_one::<String>("other").unwrap(), "default");
3019    /// ```
3020    ///
3021    /// We can run the same test and provide any value *other than* `special` and we won't get a
3022    /// default value.
3023    ///
3024    /// ```rust
3025    /// # use clap_builder as clap;
3026    /// # use clap::{Command, Arg, ArgAction};
3027    /// let m = Command::new("prog")
3028    ///     .arg(Arg::new("opt")
3029    ///         .action(ArgAction::Set)
3030    ///         .long("opt"))
3031    ///     .arg(Arg::new("other")
3032    ///         .long("other")
3033    ///         .default_value_if("opt", "special", Some("default")))
3034    ///     .get_matches_from(vec![
3035    ///         "prog", "--opt", "hahaha"
3036    ///     ]);
3037    ///
3038    /// assert_eq!(m.get_one::<String>("other"), None);
3039    /// ```
3040    ///
3041    /// If we want to unset the default value for an Arg based on the presence or
3042    /// value of some other Arg.
3043    ///
3044    /// ```rust
3045    /// # use clap_builder as clap;
3046    /// # use clap::{Command, Arg, ArgAction};
3047    /// let m = Command::new("prog")
3048    ///     .arg(Arg::new("flag")
3049    ///         .long("flag")
3050    ///         .action(ArgAction::SetTrue))
3051    ///     .arg(Arg::new("other")
3052    ///         .long("other")
3053    ///         .default_value("default")
3054    ///         .default_value_if("flag", "true", None))
3055    ///     .get_matches_from(vec![
3056    ///         "prog", "--flag"
3057    ///     ]);
3058    ///
3059    /// assert_eq!(m.get_one::<String>("other"), None);
3060    /// ```
3061    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
3062    /// [`Arg::default_value`]: Arg::default_value()
3063    #[must_use]
3064    pub fn default_value_if(
3065        mut self,
3066        arg_id: impl Into<Id>,
3067        predicate: impl Into<ArgPredicate>,
3068        default: impl IntoResettable<OsStr>,
3069    ) -> Self {
3070        self.default_vals_ifs.push((
3071            arg_id.into(),
3072            predicate.into(),
3073            default
3074                .into_resettable()
3075                .into_option()
3076                .map(|os_str| vec![os_str]),
3077        ));
3078        self
3079    }
3080
3081    /// Specifies the values of the argument if `arg` has been used at runtime.
3082    ///
3083    /// See [`Arg::default_value_if`].
3084    ///
3085    /// # Examples
3086    ///
3087    /// ```rust
3088    /// use clap_builder::arg;
3089    /// use clap_builder::Command;
3090    /// use clap_builder::Arg;
3091    /// let r = Command::new("df")
3092    ///    .arg(arg!(--opt <FILE> "some arg"))
3093    ///    .arg(
3094    ///        Arg::new("args")
3095    ///            .long("args")
3096    ///            .num_args(2)
3097    ///            .default_values_if("opt", "value", ["df1","df2"]),
3098    ///    )
3099    ///    .try_get_matches_from(vec!["", "--opt", "value"]);
3100    ///
3101    /// let m = r.unwrap();
3102    /// assert_eq!(
3103    ///    m.get_many::<String>("args").unwrap().collect::<Vec<_>>(),
3104    ///    ["df1", "df2"]
3105    /// );
3106    /// ```
3107    ///
3108    /// [`Arg::default_value_if`]: Arg::default_value_if()
3109    #[must_use]
3110    pub fn default_values_if(
3111        mut self,
3112        arg_id: impl Into<Id>,
3113        predicate: impl Into<ArgPredicate>,
3114        defaults: impl IntoIterator<Item = impl Into<OsStr>>,
3115    ) -> Self {
3116        self.default_vals_ifs.push((
3117            arg_id.into(),
3118            predicate.into(),
3119            Some(defaults.into_iter().map(|item| item.into()).collect()),
3120        ));
3121        self
3122    }
3123
3124    #[must_use]
3125    #[doc(hidden)]
3126    #[cfg_attr(
3127        feature = "deprecated",
3128        deprecated(since = "4.0.0", note = "Replaced with `Arg::default_value_if`")
3129    )]
3130    pub fn default_value_if_os(
3131        self,
3132        arg_id: impl Into<Id>,
3133        predicate: impl Into<ArgPredicate>,
3134        default: impl IntoResettable<OsStr>,
3135    ) -> Self {
3136        self.default_value_if(arg_id, predicate, default)
3137    }
3138
3139    /// Specifies multiple values and conditions in the same manner as [`Arg::default_value_if`].
3140    ///
3141    /// The method takes a slice of tuples in the `(arg, predicate, default)` format.
3142    ///
3143    /// Like with command-line values, this will be split by [`Arg::value_delimiter`].
3144    ///
3145    /// <div class="warning">
3146    ///
3147    /// **NOTE**: The conditions are stored in order and evaluated in the same order. I.e. the first
3148    /// if multiple conditions are true, the first one found will be applied and the ultimate value.
3149    ///
3150    /// </div>
3151    ///
3152    /// # Examples
3153    ///
3154    /// First we use the default value only if another arg is present at runtime.
3155    ///
3156    /// ```rust
3157    /// # use clap_builder as clap;
3158    /// # use clap::{Command, Arg, ArgAction};
3159    /// let m = Command::new("prog")
3160    ///     .arg(Arg::new("flag")
3161    ///         .long("flag")
3162    ///         .action(ArgAction::SetTrue))
3163    ///     .arg(Arg::new("opt")
3164    ///         .long("opt")
3165    ///         .action(ArgAction::Set))
3166    ///     .arg(Arg::new("other")
3167    ///         .long("other")
3168    ///         .default_value_ifs([
3169    ///             ("flag", "true", Some("default")),
3170    ///             ("opt", "channel", Some("chan")),
3171    ///         ]))
3172    ///     .get_matches_from(vec![
3173    ///         "prog", "--opt", "channel"
3174    ///     ]);
3175    ///
3176    /// assert_eq!(m.get_one::<String>("other").unwrap(), "chan");
3177    /// ```
3178    ///
3179    /// Next we run the same test, but without providing `--flag`.
3180    ///
3181    /// ```rust
3182    /// # use clap_builder as clap;
3183    /// # use clap::{Command, Arg, ArgAction};
3184    /// let m = Command::new("prog")
3185    ///     .arg(Arg::new("flag")
3186    ///         .long("flag")
3187    ///         .action(ArgAction::SetTrue))
3188    ///     .arg(Arg::new("other")
3189    ///         .long("other")
3190    ///         .default_value_ifs([
3191    ///             ("flag", "true", Some("default")),
3192    ///             ("opt", "channel", Some("chan")),
3193    ///         ]))
3194    ///     .get_matches_from(vec![
3195    ///         "prog"
3196    ///     ]);
3197    ///
3198    /// assert_eq!(m.get_one::<String>("other"), None);
3199    /// ```
3200    ///
3201    /// We can also see that these values are applied in order, and if more than one condition is
3202    /// true, only the first evaluated "wins"
3203    ///
3204    /// ```rust
3205    /// # use clap_builder as clap;
3206    /// # use clap::{Command, Arg, ArgAction};
3207    /// # use clap::builder::ArgPredicate;
3208    /// let m = Command::new("prog")
3209    ///     .arg(Arg::new("flag")
3210    ///         .long("flag")
3211    ///         .action(ArgAction::SetTrue))
3212    ///     .arg(Arg::new("opt")
3213    ///         .long("opt")
3214    ///         .action(ArgAction::Set))
3215    ///     .arg(Arg::new("other")
3216    ///         .long("other")
3217    ///         .default_value_ifs([
3218    ///             ("flag", ArgPredicate::IsPresent, Some("default")),
3219    ///             ("opt", ArgPredicate::Equals("channel".into()), Some("chan")),
3220    ///         ]))
3221    ///     .get_matches_from(vec![
3222    ///         "prog", "--opt", "channel", "--flag"
3223    ///     ]);
3224    ///
3225    /// assert_eq!(m.get_one::<String>("other").unwrap(), "default");
3226    /// ```
3227    /// [`Arg::action(ArgAction::Set)`]: Arg::action()
3228    /// [`Arg::default_value_if`]: Arg::default_value_if()
3229    #[must_use]
3230    pub fn default_value_ifs(
3231        mut self,
3232        ifs: impl IntoIterator<
3233            Item = (
3234                impl Into<Id>,
3235                impl Into<ArgPredicate>,
3236                impl IntoResettable<OsStr>,
3237            ),
3238        >,
3239    ) -> Self {
3240        for (arg, predicate, default) in ifs {
3241            self = self.default_value_if(arg, predicate, default);
3242        }
3243        self
3244    }
3245
3246    /// Specifies multiple values and conditions in the same manner as [`Arg::default_values_if`].
3247    ///
3248    /// See [`Arg::default_values_if`].
3249    ///
3250    /// [`Arg::default_values_if`]: Arg::default_values_if()
3251    #[must_use]
3252    pub fn default_values_ifs(
3253        mut self,
3254        ifs: impl IntoIterator<
3255            Item = (
3256                impl Into<Id>,
3257                impl Into<ArgPredicate>,
3258                impl IntoIterator<Item = impl Into<OsStr>>,
3259            ),
3260        >,
3261    ) -> Self {
3262        for (arg, predicate, default) in ifs {
3263            self = self.default_values_if(arg, predicate, default);
3264        }
3265        self
3266    }
3267
3268    #[must_use]
3269    #[doc(hidden)]
3270    #[cfg_attr(
3271        feature = "deprecated",
3272        deprecated(since = "4.0.0", note = "Replaced with `Arg::default_value_ifs`")
3273    )]
3274    pub fn default_value_ifs_os(
3275        self,
3276        ifs: impl IntoIterator<
3277            Item = (
3278                impl Into<Id>,
3279                impl Into<ArgPredicate>,
3280                impl IntoResettable<OsStr>,
3281            ),
3282        >,
3283    ) -> Self {
3284        self.default_value_ifs(ifs)
3285    }
3286
3287    /// Set this arg as [required] as long as the specified argument is not present at runtime.
3288    ///
3289    /// <div class="warning">
3290    ///
3291    /// **TIP:** Using `Arg::required_unless_present` implies [`Arg::required`] and is therefore not
3292    /// mandatory to also set.
3293    ///
3294    /// </div>
3295    ///
3296    /// # Examples
3297    ///
3298    /// ```rust
3299    /// # use clap_builder as clap;
3300    /// # use clap::Arg;
3301    /// Arg::new("config")
3302    ///     .required_unless_present("debug")
3303    /// # ;
3304    /// ```
3305    ///
3306    /// In the following example, the required argument is *not* provided,
3307    /// but it's not an error because the `unless` arg has been supplied.
3308    ///
3309    /// ```rust
3310    /// # use clap_builder as clap;
3311    /// # use clap::{Command, Arg, ArgAction};
3312    /// let res = Command::new("prog")
3313    ///     .arg(Arg::new("cfg")
3314    ///         .required_unless_present("dbg")
3315    ///         .action(ArgAction::Set)
3316    ///         .long("config"))
3317    ///     .arg(Arg::new("dbg")
3318    ///         .long("debug")
3319    ///         .action(ArgAction::SetTrue))
3320    ///     .try_get_matches_from(vec![
3321    ///         "prog", "--debug"
3322    ///     ]);
3323    ///
3324    /// assert!(res.is_ok());
3325    /// ```
3326    ///
3327    /// Setting `Arg::required_unless_present(name)` and *not* supplying `name` or this arg is an error.
3328    ///
3329    /// ```rust
3330    /// # use clap_builder as clap;
3331    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3332    /// let res = Command::new("prog")
3333    ///     .arg(Arg::new("cfg")
3334    ///         .required_unless_present("dbg")
3335    ///         .action(ArgAction::Set)
3336    ///         .long("config"))
3337    ///     .arg(Arg::new("dbg")
3338    ///         .long("debug"))
3339    ///     .try_get_matches_from(vec![
3340    ///         "prog"
3341    ///     ]);
3342    ///
3343    /// assert!(res.is_err());
3344    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3345    /// ```
3346    /// [required]: Arg::required()
3347    #[must_use]
3348    pub fn required_unless_present(mut self, arg_id: impl IntoResettable<Id>) -> Self {
3349        if let Some(arg_id) = arg_id.into_resettable().into_option() {
3350            self.r_unless.push(arg_id);
3351        } else {
3352            self.r_unless.clear();
3353        }
3354        self
3355    }
3356
3357    /// Sets this arg as [required] unless *all* of the specified arguments are present at runtime.
3358    ///
3359    /// In other words, parsing will succeed only if user either
3360    /// * supplies the `self` arg.
3361    /// * supplies *all* of the `names` arguments.
3362    ///
3363    /// <div class="warning">
3364    ///
3365    /// **NOTE:** If you wish for this argument to only be required unless *any of* these args are
3366    /// present see [`Arg::required_unless_present_any`]
3367    ///
3368    /// </div>
3369    ///
3370    /// # Examples
3371    ///
3372    /// ```rust
3373    /// # use clap_builder as clap;
3374    /// # use clap::Arg;
3375    /// Arg::new("config")
3376    ///     .required_unless_present_all(["cfg", "dbg"])
3377    /// # ;
3378    /// ```
3379    ///
3380    /// In the following example, the required argument is *not* provided, but it's not an error
3381    /// because *all* of the `names` args have been supplied.
3382    ///
3383    /// ```rust
3384    /// # use clap_builder as clap;
3385    /// # use clap::{Command, Arg, ArgAction};
3386    /// let res = Command::new("prog")
3387    ///     .arg(Arg::new("cfg")
3388    ///         .required_unless_present_all(["dbg", "infile"])
3389    ///         .action(ArgAction::Set)
3390    ///         .long("config"))
3391    ///     .arg(Arg::new("dbg")
3392    ///         .long("debug")
3393    ///         .action(ArgAction::SetTrue))
3394    ///     .arg(Arg::new("infile")
3395    ///         .short('i')
3396    ///         .action(ArgAction::Set))
3397    ///     .try_get_matches_from(vec![
3398    ///         "prog", "--debug", "-i", "file"
3399    ///     ]);
3400    ///
3401    /// assert!(res.is_ok());
3402    /// ```
3403    ///
3404    /// Setting [`Arg::required_unless_present_all(names)`] and *not* supplying
3405    /// either *all* of `unless` args or the `self` arg is an error.
3406    ///
3407    /// ```rust
3408    /// # use clap_builder as clap;
3409    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3410    /// let res = Command::new("prog")
3411    ///     .arg(Arg::new("cfg")
3412    ///         .required_unless_present_all(["dbg", "infile"])
3413    ///         .action(ArgAction::Set)
3414    ///         .long("config"))
3415    ///     .arg(Arg::new("dbg")
3416    ///         .long("debug")
3417    ///         .action(ArgAction::SetTrue))
3418    ///     .arg(Arg::new("infile")
3419    ///         .short('i')
3420    ///         .action(ArgAction::Set))
3421    ///     .try_get_matches_from(vec![
3422    ///         "prog"
3423    ///     ]);
3424    ///
3425    /// assert!(res.is_err());
3426    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3427    /// ```
3428    /// [required]: Arg::required()
3429    /// [`Arg::required_unless_present_any`]: Arg::required_unless_present_any()
3430    /// [`Arg::required_unless_present_all(names)`]: Arg::required_unless_present_all()
3431    #[must_use]
3432    pub fn required_unless_present_all(
3433        mut self,
3434        names: impl IntoIterator<Item = impl Into<Id>>,
3435    ) -> Self {
3436        self.r_unless_all.extend(names.into_iter().map(Into::into));
3437        self
3438    }
3439
3440    /// Sets this arg as [required] unless *any* of the specified arguments are present at runtime.
3441    ///
3442    /// In other words, parsing will succeed only if user either
3443    /// * supplies the `self` arg.
3444    /// * supplies *one or more* of the `unless` arguments.
3445    ///
3446    /// <div class="warning">
3447    ///
3448    /// **NOTE:** If you wish for this argument to be required unless *all of* these args are
3449    /// present see [`Arg::required_unless_present_all`]
3450    ///
3451    /// </div>
3452    ///
3453    /// # Examples
3454    ///
3455    /// ```rust
3456    /// # use clap_builder as clap;
3457    /// # use clap::Arg;
3458    /// Arg::new("config")
3459    ///     .required_unless_present_any(["cfg", "dbg"])
3460    /// # ;
3461    /// ```
3462    ///
3463    /// Setting [`Arg::required_unless_present_any(names)`] requires that the argument be used at runtime
3464    /// *unless* *at least one of* the args in `names` are present. In the following example, the
3465    /// required argument is *not* provided, but it's not an error because one the `unless` args
3466    /// have been supplied.
3467    ///
3468    /// ```rust
3469    /// # use clap_builder as clap;
3470    /// # use clap::{Command, Arg, ArgAction};
3471    /// let res = Command::new("prog")
3472    ///     .arg(Arg::new("cfg")
3473    ///         .required_unless_present_any(["dbg", "infile"])
3474    ///         .action(ArgAction::Set)
3475    ///         .long("config"))
3476    ///     .arg(Arg::new("dbg")
3477    ///         .long("debug")
3478    ///         .action(ArgAction::SetTrue))
3479    ///     .arg(Arg::new("infile")
3480    ///         .short('i')
3481    ///         .action(ArgAction::Set))
3482    ///     .try_get_matches_from(vec![
3483    ///         "prog", "--debug"
3484    ///     ]);
3485    ///
3486    /// assert!(res.is_ok());
3487    /// ```
3488    ///
3489    /// Setting [`Arg::required_unless_present_any(names)`] and *not* supplying *at least one of* `names`
3490    /// or this arg is an error.
3491    ///
3492    /// ```rust
3493    /// # use clap_builder as clap;
3494    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3495    /// let res = Command::new("prog")
3496    ///     .arg(Arg::new("cfg")
3497    ///         .required_unless_present_any(["dbg", "infile"])
3498    ///         .action(ArgAction::Set)
3499    ///         .long("config"))
3500    ///     .arg(Arg::new("dbg")
3501    ///         .long("debug")
3502    ///         .action(ArgAction::SetTrue))
3503    ///     .arg(Arg::new("infile")
3504    ///         .short('i')
3505    ///         .action(ArgAction::Set))
3506    ///     .try_get_matches_from(vec![
3507    ///         "prog"
3508    ///     ]);
3509    ///
3510    /// assert!(res.is_err());
3511    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3512    /// ```
3513    /// [required]: Arg::required()
3514    /// [`Arg::required_unless_present_any(names)`]: Arg::required_unless_present_any()
3515    /// [`Arg::required_unless_present_all`]: Arg::required_unless_present_all()
3516    #[must_use]
3517    pub fn required_unless_present_any(
3518        mut self,
3519        names: impl IntoIterator<Item = impl Into<Id>>,
3520    ) -> Self {
3521        self.r_unless.extend(names.into_iter().map(Into::into));
3522        self
3523    }
3524
3525    /// This argument is [required] only if the specified `arg` is present at runtime and its value
3526    /// equals `val`.
3527    ///
3528    /// # Examples
3529    ///
3530    /// ```rust
3531    /// # use clap_builder as clap;
3532    /// # use clap::Arg;
3533    /// Arg::new("config")
3534    ///     .required_if_eq("other_arg", "value")
3535    /// # ;
3536    /// ```
3537    ///
3538    /// ```rust
3539    /// # use clap_builder as clap;
3540    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3541    /// let res = Command::new("prog")
3542    ///     .arg(Arg::new("cfg")
3543    ///         .action(ArgAction::Set)
3544    ///         .required_if_eq("other", "special")
3545    ///         .long("config"))
3546    ///     .arg(Arg::new("other")
3547    ///         .long("other")
3548    ///         .action(ArgAction::Set))
3549    ///     .try_get_matches_from(vec![
3550    ///         "prog", "--other", "not-special"
3551    ///     ]);
3552    ///
3553    /// assert!(res.is_ok()); // We didn't use --other=special, so "cfg" wasn't required
3554    ///
3555    /// let res = Command::new("prog")
3556    ///     .arg(Arg::new("cfg")
3557    ///         .action(ArgAction::Set)
3558    ///         .required_if_eq("other", "special")
3559    ///         .long("config"))
3560    ///     .arg(Arg::new("other")
3561    ///         .long("other")
3562    ///         .action(ArgAction::Set))
3563    ///     .try_get_matches_from(vec![
3564    ///         "prog", "--other", "special"
3565    ///     ]);
3566    ///
3567    /// // We did use --other=special so "cfg" had become required but was missing.
3568    /// assert!(res.is_err());
3569    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3570    ///
3571    /// let res = Command::new("prog")
3572    ///     .arg(Arg::new("cfg")
3573    ///         .action(ArgAction::Set)
3574    ///         .required_if_eq("other", "special")
3575    ///         .long("config"))
3576    ///     .arg(Arg::new("other")
3577    ///         .long("other")
3578    ///         .action(ArgAction::Set))
3579    ///     .try_get_matches_from(vec![
3580    ///         "prog", "--other", "SPECIAL"
3581    ///     ]);
3582    ///
3583    /// // By default, the comparison is case-sensitive, so "cfg" wasn't required
3584    /// assert!(res.is_ok());
3585    ///
3586    /// let res = Command::new("prog")
3587    ///     .arg(Arg::new("cfg")
3588    ///         .action(ArgAction::Set)
3589    ///         .required_if_eq("other", "special")
3590    ///         .long("config"))
3591    ///     .arg(Arg::new("other")
3592    ///         .long("other")
3593    ///         .ignore_case(true)
3594    ///         .action(ArgAction::Set))
3595    ///     .try_get_matches_from(vec![
3596    ///         "prog", "--other", "SPECIAL"
3597    ///     ]);
3598    ///
3599    /// // However, case-insensitive comparisons can be enabled.  This typically occurs when using Arg::possible_values().
3600    /// assert!(res.is_err());
3601    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3602    /// ```
3603    /// [`Arg::requires(name)`]: Arg::requires()
3604    /// [Conflicting]: Arg::conflicts_with()
3605    /// [required]: Arg::required()
3606    #[must_use]
3607    pub fn required_if_eq(mut self, arg_id: impl Into<Id>, val: impl Into<OsStr>) -> Self {
3608        self.r_ifs.push((arg_id.into(), val.into()));
3609        self
3610    }
3611
3612    /// Specify this argument is [required] based on multiple conditions.
3613    ///
3614    /// The conditions are set up in a `(arg, val)` style tuple. The requirement will only become
3615    /// valid if one of the specified `arg`'s value equals its corresponding `val`.
3616    ///
3617    /// # Examples
3618    ///
3619    /// ```rust
3620    /// # use clap_builder as clap;
3621    /// # use clap::Arg;
3622    /// Arg::new("config")
3623    ///     .required_if_eq_any([
3624    ///         ("extra", "val"),
3625    ///         ("option", "spec")
3626    ///     ])
3627    /// # ;
3628    /// ```
3629    ///
3630    /// Setting `Arg::required_if_eq_any([(arg, val)])` makes this arg required if any of the `arg`s
3631    /// are used at runtime and it's corresponding value is equal to `val`. If the `arg`'s value is
3632    /// anything other than `val`, this argument isn't required.
3633    ///
3634    /// ```rust
3635    /// # use clap_builder as clap;
3636    /// # use clap::{Command, Arg, ArgAction};
3637    /// let res = Command::new("prog")
3638    ///     .arg(Arg::new("cfg")
3639    ///         .required_if_eq_any([
3640    ///             ("extra", "val"),
3641    ///             ("option", "spec")
3642    ///         ])
3643    ///         .action(ArgAction::Set)
3644    ///         .long("config"))
3645    ///     .arg(Arg::new("extra")
3646    ///         .action(ArgAction::Set)
3647    ///         .long("extra"))
3648    ///     .arg(Arg::new("option")
3649    ///         .action(ArgAction::Set)
3650    ///         .long("option"))
3651    ///     .try_get_matches_from(vec![
3652    ///         "prog", "--option", "other"
3653    ///     ]);
3654    ///
3655    /// assert!(res.is_ok()); // We didn't use --option=spec, or --extra=val so "cfg" isn't required
3656    /// ```
3657    ///
3658    /// Setting `Arg::required_if_eq_any([(arg, val)])` and having any of the `arg`s used with its
3659    /// value of `val` but *not* using this arg is an error.
3660    ///
3661    /// ```rust
3662    /// # use clap_builder as clap;
3663    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3664    /// let res = Command::new("prog")
3665    ///     .arg(Arg::new("cfg")
3666    ///         .required_if_eq_any([
3667    ///             ("extra", "val"),
3668    ///             ("option", "spec")
3669    ///         ])
3670    ///         .action(ArgAction::Set)
3671    ///         .long("config"))
3672    ///     .arg(Arg::new("extra")
3673    ///         .action(ArgAction::Set)
3674    ///         .long("extra"))
3675    ///     .arg(Arg::new("option")
3676    ///         .action(ArgAction::Set)
3677    ///         .long("option"))
3678    ///     .try_get_matches_from(vec![
3679    ///         "prog", "--option", "spec"
3680    ///     ]);
3681    ///
3682    /// assert!(res.is_err());
3683    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3684    /// ```
3685    /// [`Arg::requires(name)`]: Arg::requires()
3686    /// [Conflicting]: Arg::conflicts_with()
3687    /// [required]: Arg::required()
3688    #[must_use]
3689    pub fn required_if_eq_any(
3690        mut self,
3691        ifs: impl IntoIterator<Item = (impl Into<Id>, impl Into<OsStr>)>,
3692    ) -> Self {
3693        self.r_ifs
3694            .extend(ifs.into_iter().map(|(id, val)| (id.into(), val.into())));
3695        self
3696    }
3697
3698    /// Specify this argument is [required] based on multiple conditions.
3699    ///
3700    /// The conditions are set up in a `(arg, val)` style tuple. The requirement will only become
3701    /// valid if every one of the specified `arg`'s value equals its corresponding `val`.
3702    ///
3703    /// # Examples
3704    ///
3705    /// ```rust
3706    /// # use clap_builder as clap;
3707    /// # use clap::Arg;
3708    /// Arg::new("config")
3709    ///     .required_if_eq_all([
3710    ///         ("extra", "val"),
3711    ///         ("option", "spec")
3712    ///     ])
3713    /// # ;
3714    /// ```
3715    ///
3716    /// Setting `Arg::required_if_eq_all([(arg, val)])` makes this arg required if all of the `arg`s
3717    /// are used at runtime and every value is equal to its corresponding `val`. If the `arg`'s value is
3718    /// anything other than `val`, this argument isn't required.
3719    ///
3720    /// ```rust
3721    /// # use clap_builder as clap;
3722    /// # use clap::{Command, Arg, ArgAction};
3723    /// let res = Command::new("prog")
3724    ///     .arg(Arg::new("cfg")
3725    ///         .required_if_eq_all([
3726    ///             ("extra", "val"),
3727    ///             ("option", "spec")
3728    ///         ])
3729    ///         .action(ArgAction::Set)
3730    ///         .long("config"))
3731    ///     .arg(Arg::new("extra")
3732    ///         .action(ArgAction::Set)
3733    ///         .long("extra"))
3734    ///     .arg(Arg::new("option")
3735    ///         .action(ArgAction::Set)
3736    ///         .long("option"))
3737    ///     .try_get_matches_from(vec![
3738    ///         "prog", "--option", "spec"
3739    ///     ]);
3740    ///
3741    /// assert!(res.is_ok()); // We didn't use --option=spec --extra=val so "cfg" isn't required
3742    /// ```
3743    ///
3744    /// Setting `Arg::required_if_eq_all([(arg, val)])` and having all of the `arg`s used with its
3745    /// value of `val` but *not* using this arg is an error.
3746    ///
3747    /// ```rust
3748    /// # use clap_builder as clap;
3749    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3750    /// let res = Command::new("prog")
3751    ///     .arg(Arg::new("cfg")
3752    ///         .required_if_eq_all([
3753    ///             ("extra", "val"),
3754    ///             ("option", "spec")
3755    ///         ])
3756    ///         .action(ArgAction::Set)
3757    ///         .long("config"))
3758    ///     .arg(Arg::new("extra")
3759    ///         .action(ArgAction::Set)
3760    ///         .long("extra"))
3761    ///     .arg(Arg::new("option")
3762    ///         .action(ArgAction::Set)
3763    ///         .long("option"))
3764    ///     .try_get_matches_from(vec![
3765    ///         "prog", "--extra", "val", "--option", "spec"
3766    ///     ]);
3767    ///
3768    /// assert!(res.is_err());
3769    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3770    /// ```
3771    /// [required]: Arg::required()
3772    #[must_use]
3773    pub fn required_if_eq_all(
3774        mut self,
3775        ifs: impl IntoIterator<Item = (impl Into<Id>, impl Into<OsStr>)>,
3776    ) -> Self {
3777        self.r_ifs_all
3778            .extend(ifs.into_iter().map(|(id, val)| (id.into(), val.into())));
3779        self
3780    }
3781
3782    /// Require another argument if this arg matches the [`ArgPredicate`]
3783    ///
3784    /// This method takes `value, another_arg` pair. At runtime, clap will check
3785    /// if this arg (`self`) matches the [`ArgPredicate`].
3786    /// If it does, `another_arg` will be marked as required.
3787    ///
3788    /// # Examples
3789    ///
3790    /// ```rust
3791    /// # use clap_builder as clap;
3792    /// # use clap::Arg;
3793    /// Arg::new("config")
3794    ///     .requires_if("val", "arg")
3795    /// # ;
3796    /// ```
3797    ///
3798    /// Setting `Arg::requires_if(val, arg)` requires that the `arg` be used at runtime if the
3799    /// defining argument's value is equal to `val`. If the defining argument is anything other than
3800    /// `val`, the other argument isn't required.
3801    ///
3802    /// ```rust
3803    /// # use clap_builder as clap;
3804    /// # use clap::{Command, Arg, ArgAction};
3805    /// let res = Command::new("prog")
3806    ///     .arg(Arg::new("cfg")
3807    ///         .action(ArgAction::Set)
3808    ///         .requires_if("my.cfg", "other")
3809    ///         .long("config"))
3810    ///     .arg(Arg::new("other"))
3811    ///     .try_get_matches_from(vec![
3812    ///         "prog", "--config", "some.cfg"
3813    ///     ]);
3814    ///
3815    /// assert!(res.is_ok()); // We didn't use --config=my.cfg, so other wasn't required
3816    /// ```
3817    ///
3818    /// Setting `Arg::requires_if(val, arg)` and setting the value to `val` but *not* supplying
3819    /// `arg` is an error.
3820    ///
3821    /// ```rust
3822    /// # use clap_builder as clap;
3823    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3824    /// let res = Command::new("prog")
3825    ///     .arg(Arg::new("cfg")
3826    ///         .action(ArgAction::Set)
3827    ///         .requires_if("my.cfg", "input")
3828    ///         .long("config"))
3829    ///     .arg(Arg::new("input"))
3830    ///     .try_get_matches_from(vec![
3831    ///         "prog", "--config", "my.cfg"
3832    ///     ]);
3833    ///
3834    /// assert!(res.is_err());
3835    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3836    /// ```
3837    /// [`Arg::requires(name)`]: Arg::requires()
3838    /// [Conflicting]: Arg::conflicts_with()
3839    /// [override]: Arg::overrides_with()
3840    #[must_use]
3841    pub fn requires_if(mut self, val: impl Into<ArgPredicate>, arg_id: impl Into<Id>) -> Self {
3842        self.requires.push((val.into(), arg_id.into()));
3843        self
3844    }
3845
3846    /// Allows multiple conditional requirements.
3847    ///
3848    /// The requirement will only become valid if this arg's value matches the
3849    /// [`ArgPredicate`].
3850    ///
3851    /// # Examples
3852    ///
3853    /// ```rust
3854    /// # use clap_builder as clap;
3855    /// # use clap::Arg;
3856    /// Arg::new("config")
3857    ///     .requires_ifs([
3858    ///         ("val", "arg"),
3859    ///         ("other_val", "arg2"),
3860    ///     ])
3861    /// # ;
3862    /// ```
3863    ///
3864    /// Setting `Arg::requires_ifs(["val", "arg"])` requires that the `arg` be used at runtime if the
3865    /// defining argument's value is equal to `val`. If the defining argument's value is anything other
3866    /// than `val`, `arg` isn't required.
3867    ///
3868    /// ```rust
3869    /// # use clap_builder as clap;
3870    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3871    /// let res = Command::new("prog")
3872    ///     .arg(Arg::new("cfg")
3873    ///         .action(ArgAction::Set)
3874    ///         .requires_ifs([
3875    ///             ("special.conf", "opt"),
3876    ///             ("other.conf", "other"),
3877    ///         ])
3878    ///         .long("config"))
3879    ///     .arg(Arg::new("opt")
3880    ///         .long("option")
3881    ///         .action(ArgAction::Set))
3882    ///     .arg(Arg::new("other"))
3883    ///     .try_get_matches_from(vec![
3884    ///         "prog", "--config", "special.conf"
3885    ///     ]);
3886    ///
3887    /// assert!(res.is_err()); // We  used --config=special.conf so --option <val> is required
3888    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3889    /// ```
3890    ///
3891    /// Setting `Arg::requires_ifs` with [`ArgPredicate::IsPresent`] and *not* supplying all the
3892    /// arguments is an error.
3893    ///
3894    /// ```rust
3895    /// # use clap_builder as clap;
3896    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction, builder::ArgPredicate};
3897    /// let res = Command::new("prog")
3898    ///     .arg(Arg::new("cfg")
3899    ///         .action(ArgAction::Set)
3900    ///         .requires_ifs([
3901    ///             (ArgPredicate::IsPresent, "input"),
3902    ///             (ArgPredicate::IsPresent, "output"),
3903    ///         ])
3904    ///         .long("config"))
3905    ///     .arg(Arg::new("input"))
3906    ///     .arg(Arg::new("output"))
3907    ///     .try_get_matches_from(vec![
3908    ///         "prog", "--config", "file.conf", "in.txt"
3909    ///     ]);
3910    ///
3911    /// assert!(res.is_err());
3912    /// // We didn't use output
3913    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::MissingRequiredArgument);
3914    /// ```
3915    ///
3916    /// [`Arg::requires(name)`]: Arg::requires()
3917    /// [Conflicting]: Arg::conflicts_with()
3918    /// [override]: Arg::overrides_with()
3919    #[must_use]
3920    pub fn requires_ifs(
3921        mut self,
3922        ifs: impl IntoIterator<Item = (impl Into<ArgPredicate>, impl Into<Id>)>,
3923    ) -> Self {
3924        self.requires
3925            .extend(ifs.into_iter().map(|(val, arg)| (val.into(), arg.into())));
3926        self
3927    }
3928
3929    #[doc(hidden)]
3930    #[cfg_attr(
3931        feature = "deprecated",
3932        deprecated(since = "4.0.0", note = "Replaced with `Arg::requires_ifs`")
3933    )]
3934    pub fn requires_all(self, ids: impl IntoIterator<Item = impl Into<Id>>) -> Self {
3935        self.requires_ifs(ids.into_iter().map(|id| (ArgPredicate::IsPresent, id)))
3936    }
3937
3938    /// This argument is mutually exclusive with the specified argument.
3939    ///
3940    /// <div class="warning">
3941    ///
3942    /// **NOTE:** Conflicting rules take precedence over being required by default. Conflict rules
3943    /// only need to be set for one of the two arguments, they do not need to be set for each.
3944    ///
3945    /// </div>
3946    ///
3947    /// <div class="warning">
3948    ///
3949    /// **NOTE:** Defining a conflict is two-way, but does *not* need to defined for both arguments
3950    /// (i.e. if A conflicts with B, defining `A.conflicts_with(B)` is sufficient. You do not
3951    /// need to also do `B.conflicts_with(A)`)
3952    ///
3953    /// </div>
3954    ///
3955    /// <div class="warning">
3956    ///
3957    /// **NOTE:** [`Arg::conflicts_with_all(names)`] allows specifying an argument which conflicts with more than one argument.
3958    ///
3959    /// </div>
3960    ///
3961    /// <div class="warning">
3962    ///
3963    /// **NOTE** [`Arg::exclusive(true)`] allows specifying an argument which conflicts with every other argument.
3964    ///
3965    /// </div>
3966    ///
3967    /// <div class="warning">
3968    ///
3969    /// **NOTE:** All arguments implicitly conflict with themselves.
3970    ///
3971    /// </div>
3972    ///
3973    /// # Examples
3974    ///
3975    /// ```rust
3976    /// # use clap_builder as clap;
3977    /// # use clap::Arg;
3978    /// Arg::new("config")
3979    ///     .conflicts_with("debug")
3980    /// # ;
3981    /// ```
3982    ///
3983    /// Setting conflicting argument, and having both arguments present at runtime is an error.
3984    ///
3985    /// ```rust
3986    /// # use clap_builder as clap;
3987    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
3988    /// let res = Command::new("prog")
3989    ///     .arg(Arg::new("cfg")
3990    ///         .action(ArgAction::Set)
3991    ///         .conflicts_with("debug")
3992    ///         .long("config"))
3993    ///     .arg(Arg::new("debug")
3994    ///         .long("debug")
3995    ///         .action(ArgAction::SetTrue))
3996    ///     .try_get_matches_from(vec![
3997    ///         "prog", "--debug", "--config", "file.conf"
3998    ///     ]);
3999    ///
4000    /// assert!(res.is_err());
4001    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::ArgumentConflict);
4002    /// ```
4003    ///
4004    /// [`Arg::conflicts_with_all(names)`]: Arg::conflicts_with_all()
4005    /// [`Arg::exclusive(true)`]: Arg::exclusive()
4006    #[must_use]
4007    pub fn conflicts_with(mut self, arg_id: impl IntoResettable<Id>) -> Self {
4008        if let Some(arg_id) = arg_id.into_resettable().into_option() {
4009            self.blacklist.push(arg_id);
4010        } else {
4011            self.blacklist.clear();
4012        }
4013        self
4014    }
4015
4016    /// This argument is mutually exclusive with the specified arguments.
4017    ///
4018    /// See [`Arg::conflicts_with`].
4019    ///
4020    /// <div class="warning">
4021    ///
4022    /// **NOTE:** Conflicting rules take precedence over being required by default. Conflict rules
4023    /// only need to be set for one of the two arguments, they do not need to be set for each.
4024    ///
4025    /// </div>
4026    ///
4027    /// <div class="warning">
4028    ///
4029    /// **NOTE:** Defining a conflict is two-way, but does *not* need to defined for both arguments
4030    /// (i.e. if A conflicts with B, defining `A.conflicts_with(B)` is sufficient. You do not need
4031    /// need to also do `B.conflicts_with(A)`)
4032    ///
4033    /// </div>
4034    ///
4035    /// <div class="warning">
4036    ///
4037    /// **NOTE:** [`Arg::exclusive(true)`] allows specifying an argument which conflicts with every other argument.
4038    ///
4039    /// </div>
4040    ///
4041    /// # Examples
4042    ///
4043    /// ```rust
4044    /// # use clap_builder as clap;
4045    /// # use clap::Arg;
4046    /// Arg::new("config")
4047    ///     .conflicts_with_all(["debug", "input"])
4048    /// # ;
4049    /// ```
4050    ///
4051    /// Setting conflicting argument, and having any of the arguments present at runtime with a
4052    /// conflicting argument is an error.
4053    ///
4054    /// ```rust
4055    /// # use clap_builder as clap;
4056    /// # use clap::{Command, Arg, error::ErrorKind, ArgAction};
4057    /// let res = Command::new("prog")
4058    ///     .arg(Arg::new("cfg")
4059    ///         .action(ArgAction::Set)
4060    ///         .conflicts_with_all(["debug", "input"])
4061    ///         .long("config"))
4062    ///     .arg(Arg::new("debug")
4063    ///         .long("debug"))
4064    ///     .arg(Arg::new("input"))
4065    ///     .try_get_matches_from(vec![
4066    ///         "prog", "--config", "file.conf", "file.txt"
4067    ///     ]);
4068    ///
4069    /// assert!(res.is_err());
4070    /// assert_eq!(res.unwrap_err().kind(), ErrorKind::ArgumentConflict);
4071    /// ```
4072    /// [`Arg::conflicts_with`]: Arg::conflicts_with()
4073    /// [`Arg::exclusive(true)`]: Arg::exclusive()
4074    #[must_use]
4075    pub fn conflicts_with_all(mut self, names: impl IntoIterator<Item = impl Into<Id>>) -> Self {
4076        self.blacklist.extend(names.into_iter().map(Into::into));
4077        self
4078    }
4079
4080    /// Sets an overridable argument.
4081    ///
4082    /// i.e. this argument and the following argument
4083    /// will override each other in POSIX style (whichever argument was specified at runtime
4084    /// **last** "wins")
4085    ///
4086    /// <div class="warning">
4087    ///
4088    /// **NOTE:** When an argument is overridden it is essentially as if it never was used, any
4089    /// conflicts, requirements, etc. are evaluated **after** all "overrides" have been removed
4090    ///
4091    /// </div>
4092    ///
4093    /// <div class="warning">
4094    ///
4095    /// **NOTE:** Overriding an argument implies they [conflict][Arg::conflicts_with`].
4096    ///
4097    /// </div>
4098    ///
4099    /// # Examples
4100    ///
4101    /// ```rust
4102    /// # use clap_builder as clap;
4103    /// # use clap::{Command, arg};
4104    /// let m = Command::new("prog")
4105    ///     .arg(arg!(-f --flag "some flag")
4106    ///         .conflicts_with("debug"))
4107    ///     .arg(arg!(-d --debug "other flag"))
4108    ///     .arg(arg!(-c --color "third flag")
4109    ///         .overrides_with("flag"))
4110    ///     .get_matches_from(vec![
4111    ///         "prog", "-f", "-d", "-c"]);
4112    ///             //    ^~~~~~~~~~~~^~~~~ flag is overridden by color
4113    ///
4114    /// assert!(m.get_flag("color"));
4115    /// assert!(m.get_flag("debug")); // even though flag conflicts with debug, it's as if flag
4116    ///                                 // was never used because it was overridden with color
4117    /// assert!(!m.get_flag("flag"));
4118    /// ```
4119    #[must_use]
4120    pub fn overrides_with(mut self, arg_id: impl IntoResettable<Id>) -> Self {
4121        if let Some(arg_id) = arg_id.into_resettable().into_option() {
4122            self.overrides.push(arg_id);
4123        } else {
4124            self.overrides.clear();
4125        }
4126        self
4127    }
4128
4129    /// Sets multiple mutually overridable arguments by name.
4130    ///
4131    /// i.e. this argument and the following argument will override each other in POSIX style
4132    /// (whichever argument was specified at runtime **last** "wins")
4133    ///
4134    /// <div class="warning">
4135    ///
4136    /// **NOTE:** When an argument is overridden it is essentially as if it never was used, any
4137    /// conflicts, requirements, etc. are evaluated **after** all "overrides" have been removed
4138    ///
4139    /// </div>
4140    ///
4141    /// <div class="warning">
4142    ///
4143    /// **NOTE:** Overriding an argument implies they [conflict][Arg::conflicts_with_all`].
4144    ///
4145    /// </div>
4146    ///
4147    /// # Examples
4148    ///
4149    /// ```rust
4150    /// # use clap_builder as clap;
4151    /// # use clap::{Command, arg};
4152    /// let m = Command::new("prog")
4153    ///     .arg(arg!(-f --flag "some flag")
4154    ///         .conflicts_with("color"))
4155    ///     .arg(arg!(-d --debug "other flag"))
4156    ///     .arg(arg!(-c --color "third flag")
4157    ///         .overrides_with_all(["flag", "debug"]))
4158    ///     .get_matches_from(vec![
4159    ///         "prog", "-f", "-d", "-c"]);
4160    ///             //    ^~~~~~^~~~~~~~~ flag and debug are overridden by color
4161    ///
4162    /// assert!(m.get_flag("color")); // even though flag conflicts with color, it's as if flag
4163    ///                                 // and debug were never used because they were overridden
4164    ///                                 // with color
4165    /// assert!(!m.get_flag("debug"));
4166    /// assert!(!m.get_flag("flag"));
4167    /// ```
4168    #[must_use]
4169    pub fn overrides_with_all(mut self, names: impl IntoIterator<Item = impl Into<Id>>) -> Self {
4170        self.overrides.extend(names.into_iter().map(Into::into));
4171        self
4172    }
4173}
4174
4175/// # Reflection
4176impl Arg {
4177    /// Get the name of the argument
4178    #[inline]
4179    pub fn get_id(&self) -> &Id {
4180        &self.id
4181    }
4182
4183    /// Get the help specified for this argument, if any
4184    #[inline]
4185    pub fn get_help(&self) -> Option<&StyledStr> {
4186        self.help.as_ref()
4187    }
4188
4189    /// Get the long help specified for this argument, if any
4190    ///
4191    /// # Examples
4192    ///
4193    /// ```rust
4194    /// # use clap_builder as clap;
4195    /// # use clap::Arg;
4196    /// let arg = Arg::new("foo").long_help("long help");
4197    /// assert_eq!(Some("long help".to_owned()), arg.get_long_help().map(|s| s.to_string()));
4198    /// ```
4199    ///
4200    #[inline]
4201    pub fn get_long_help(&self) -> Option<&StyledStr> {
4202        self.long_help.as_ref()
4203    }
4204
4205    /// Get the placement within help
4206    #[inline]
4207    pub fn get_display_order(&self) -> usize {
4208        self.disp_ord.unwrap_or(999)
4209    }
4210
4211    /// Get the help heading specified for this argument, if any
4212    #[inline]
4213    pub fn get_help_heading(&self) -> Option<&str> {
4214        self.help_heading
4215            .as_ref()
4216            .map(|s| s.as_deref())
4217            .unwrap_or_default()
4218    }
4219
4220    /// Get the short option name for this argument, if any
4221    #[inline]
4222    pub fn get_short(&self) -> Option<char> {
4223        self.short
4224    }
4225
4226    /// Get visible short aliases for this argument, if any
4227    #[inline]
4228    pub fn get_visible_short_aliases(&self) -> Option<Vec<char>> {
4229        if self.short_aliases.is_empty() {
4230            None
4231        } else {
4232            Some(
4233                self.short_aliases
4234                    .iter()
4235                    .filter_map(|(c, v)| if *v { Some(c) } else { None })
4236                    .copied()
4237                    .collect(),
4238            )
4239        }
4240    }
4241
4242    /// Get *all* short aliases for this argument, if any, both visible and hidden.
4243    #[inline]
4244    pub fn get_all_short_aliases(&self) -> Option<Vec<char>> {
4245        if self.short_aliases.is_empty() {
4246            None
4247        } else {
4248            Some(self.short_aliases.iter().map(|(s, _)| s).copied().collect())
4249        }
4250    }
4251
4252    /// Get the short option name and its visible aliases, if any
4253    #[inline]
4254    pub fn get_short_and_visible_aliases(&self) -> Option<Vec<char>> {
4255        let mut shorts = match self.short {
4256            Some(short) => vec![short],
4257            None => return None,
4258        };
4259        if let Some(aliases) = self.get_visible_short_aliases() {
4260            shorts.extend(aliases);
4261        }
4262        Some(shorts)
4263    }
4264
4265    /// Get the long option name for this argument, if any
4266    #[inline]
4267    pub fn get_long(&self) -> Option<&str> {
4268        self.long.as_deref()
4269    }
4270
4271    /// Get visible aliases for this argument, if any
4272    #[inline]
4273    pub fn get_visible_aliases(&self) -> Option<Vec<&str>> {
4274        if self.aliases.is_empty() {
4275            None
4276        } else {
4277            Some(
4278                self.aliases
4279                    .iter()
4280                    .filter_map(|(s, v)| if *v { Some(s.as_str()) } else { None })
4281                    .collect(),
4282            )
4283        }
4284    }
4285
4286    /// Get *all* aliases for this argument, if any, both visible and hidden.
4287    #[inline]
4288    pub fn get_all_aliases(&self) -> Option<Vec<&str>> {
4289        if self.aliases.is_empty() {
4290            None
4291        } else {
4292            Some(self.aliases.iter().map(|(s, _)| s.as_str()).collect())
4293        }
4294    }
4295
4296    /// Get the long option name and its visible aliases, if any
4297    #[inline]
4298    pub fn get_long_and_visible_aliases(&self) -> Option<Vec<&str>> {
4299        let mut longs = match self.get_long() {
4300            Some(long) => vec![long],
4301            None => return None,
4302        };
4303        if let Some(aliases) = self.get_visible_aliases() {
4304            longs.extend(aliases);
4305        }
4306        Some(longs)
4307    }
4308
4309    /// Get hidden aliases for this argument, if any
4310    #[inline]
4311    pub fn get_aliases(&self) -> Option<Vec<&str>> {
4312        if self.aliases.is_empty() {
4313            None
4314        } else {
4315            Some(
4316                self.aliases
4317                    .iter()
4318                    .filter_map(|(s, v)| if !*v { Some(s.as_str()) } else { None })
4319                    .collect(),
4320            )
4321        }
4322    }
4323
4324    /// Get the names of possible values for this argument. Only useful for user
4325    /// facing applications, such as building help messages or man files
4326    pub fn get_possible_values(&self) -> Vec<PossibleValue> {
4327        if !self.is_takes_value_set() {
4328            vec![]
4329        } else {
4330            self.get_value_parser()
4331                .possible_values()
4332                .map(|pvs| pvs.collect())
4333                .unwrap_or_default()
4334        }
4335    }
4336
4337    /// Get the names of values for this argument.
4338    #[inline]
4339    pub fn get_value_names(&self) -> Option<&[Str]> {
4340        if self.val_names.is_empty() {
4341            None
4342        } else {
4343            Some(&self.val_names)
4344        }
4345    }
4346
4347    /// Get the number of values for this argument.
4348    #[inline]
4349    pub fn get_num_args(&self) -> Option<ValueRange> {
4350        self.num_vals
4351    }
4352
4353    #[inline]
4354    pub(crate) fn get_min_vals(&self) -> usize {
4355        self.get_num_args().expect(INTERNAL_ERROR_MSG).min_values()
4356    }
4357
4358    /// Get the delimiter between multiple values
4359    #[inline]
4360    pub fn get_value_delimiter(&self) -> Option<char> {
4361        self.val_delim
4362    }
4363
4364    /// Get the value terminator for this argument. The `value_terminator` is a value
4365    /// that terminates parsing of multi-valued arguments.
4366    #[inline]
4367    pub fn get_value_terminator(&self) -> Option<&Str> {
4368        self.terminator.as_ref()
4369    }
4370
4371    /// Get the index of this argument, if any
4372    #[inline]
4373    pub fn get_index(&self) -> Option<usize> {
4374        self.index
4375    }
4376
4377    /// Get the value hint of this argument
4378    pub fn get_value_hint(&self) -> ValueHint {
4379        // HACK: we should use `Self::add` and `Self::remove` to type-check that `ArgExt` is used
4380        self.ext.get::<ValueHint>().copied().unwrap_or_else(|| {
4381            if self.is_takes_value_set() {
4382                let type_id = self.get_value_parser().type_id();
4383                if type_id == AnyValueId::of::<std::path::PathBuf>() {
4384                    ValueHint::AnyPath
4385                } else {
4386                    ValueHint::default()
4387                }
4388            } else {
4389                ValueHint::default()
4390            }
4391        })
4392    }
4393
4394    /// Get the environment variable name specified for this argument, if any
4395    ///
4396    /// # Examples
4397    ///
4398    /// ```rust
4399    /// # use clap_builder as clap;
4400    /// # use std::ffi::OsStr;
4401    /// # use clap::Arg;
4402    /// let arg = Arg::new("foo").env("ENVIRONMENT");
4403    /// assert_eq!(arg.get_env(), Some(OsStr::new("ENVIRONMENT")));
4404    /// ```
4405    #[cfg(feature = "env")]
4406    pub fn get_env(&self) -> Option<&std::ffi::OsStr> {
4407        self.env.as_ref().map(|x| x.0.as_os_str())
4408    }
4409
4410    /// Get the default values specified for this argument, if any
4411    ///
4412    /// # Examples
4413    ///
4414    /// ```rust
4415    /// # use clap_builder as clap;
4416    /// # use clap::Arg;
4417    /// let arg = Arg::new("foo").default_value("default value");
4418    /// assert_eq!(arg.get_default_values(), &["default value"]);
4419    /// ```
4420    pub fn get_default_values(&self) -> &[OsStr] {
4421        &self.default_vals
4422    }
4423
4424    /// Checks whether this argument is a positional or not.
4425    ///
4426    /// # Examples
4427    ///
4428    /// ```rust
4429    /// # use clap_builder as clap;
4430    /// # use clap::Arg;
4431    /// let arg = Arg::new("foo");
4432    /// assert_eq!(arg.is_positional(), true);
4433    ///
4434    /// let arg = Arg::new("foo").long("foo");
4435    /// assert_eq!(arg.is_positional(), false);
4436    /// ```
4437    pub fn is_positional(&self) -> bool {
4438        self.get_long().is_none() && self.get_short().is_none()
4439    }
4440
4441    /// Reports whether [`Arg::required`] is set
4442    pub fn is_required_set(&self) -> bool {
4443        self.is_set(ArgSettings::Required)
4444    }
4445
4446    pub(crate) fn is_multiple_values_set(&self) -> bool {
4447        self.get_num_args().unwrap_or_default().is_multiple()
4448    }
4449
4450    pub(crate) fn is_takes_value_set(&self) -> bool {
4451        self.get_num_args()
4452            .unwrap_or_else(|| 1.into())
4453            .takes_values()
4454    }
4455
4456    /// Report whether [`Arg::allow_hyphen_values`] is set
4457    pub fn is_allow_hyphen_values_set(&self) -> bool {
4458        self.is_set(ArgSettings::AllowHyphenValues)
4459    }
4460
4461    /// Report whether [`Arg::allow_negative_numbers`] is set
4462    pub fn is_allow_negative_numbers_set(&self) -> bool {
4463        self.is_set(ArgSettings::AllowNegativeNumbers)
4464    }
4465
4466    /// Behavior when parsing the argument
4467    pub fn get_action(&self) -> &ArgAction {
4468        const DEFAULT: ArgAction = ArgAction::Set;
4469        self.action.as_ref().unwrap_or(&DEFAULT)
4470    }
4471
4472    /// Configured parser for argument values
4473    ///
4474    /// # Example
4475    ///
4476    /// ```rust
4477    /// # use clap_builder as clap;
4478    /// let cmd = clap::Command::new("raw")
4479    ///     .arg(
4480    ///         clap::Arg::new("port")
4481    ///             .value_parser(clap::value_parser!(usize))
4482    ///     );
4483    /// let value_parser = cmd.get_arguments()
4484    ///     .find(|a| a.get_id() == "port").unwrap()
4485    ///     .get_value_parser();
4486    /// println!("{value_parser:?}");
4487    /// ```
4488    pub fn get_value_parser(&self) -> &super::ValueParser {
4489        if let Some(value_parser) = self.value_parser.as_ref() {
4490            value_parser
4491        } else {
4492            static DEFAULT: super::ValueParser = super::ValueParser::string();
4493            &DEFAULT
4494        }
4495    }
4496
4497    /// Report whether [`Arg::global`] is set
4498    pub fn is_global_set(&self) -> bool {
4499        self.is_set(ArgSettings::Global)
4500    }
4501
4502    /// Report whether [`Arg::next_line_help`] is set
4503    pub fn is_next_line_help_set(&self) -> bool {
4504        self.is_set(ArgSettings::NextLineHelp)
4505    }
4506
4507    /// Report whether [`Arg::hide`] is set
4508    pub fn is_hide_set(&self) -> bool {
4509        self.is_set(ArgSettings::Hidden)
4510    }
4511
4512    /// Report whether [`Arg::hide_default_value`] is set
4513    pub fn is_hide_default_value_set(&self) -> bool {
4514        self.is_set(ArgSettings::HideDefaultValue)
4515    }
4516
4517    /// Report whether [`Arg::hide_possible_values`] is set
4518    pub fn is_hide_possible_values_set(&self) -> bool {
4519        self.is_set(ArgSettings::HidePossibleValues)
4520    }
4521
4522    /// Report whether [`Arg::hide_env`] is set
4523    #[cfg(feature = "env")]
4524    pub fn is_hide_env_set(&self) -> bool {
4525        self.is_set(ArgSettings::HideEnv)
4526    }
4527
4528    /// Report whether [`Arg::hide_env_values`] is set
4529    #[cfg(feature = "env")]
4530    pub fn is_hide_env_values_set(&self) -> bool {
4531        self.is_set(ArgSettings::HideEnvValues)
4532    }
4533
4534    /// Report whether [`Arg::hide_short_help`] is set
4535    pub fn is_hide_short_help_set(&self) -> bool {
4536        self.is_set(ArgSettings::HiddenShortHelp)
4537    }
4538
4539    /// Report whether [`Arg::hide_long_help`] is set
4540    pub fn is_hide_long_help_set(&self) -> bool {
4541        self.is_set(ArgSettings::HiddenLongHelp)
4542    }
4543
4544    /// Report whether [`Arg::require_equals`] is set
4545    pub fn is_require_equals_set(&self) -> bool {
4546        self.is_set(ArgSettings::RequireEquals)
4547    }
4548
4549    /// Reports whether [`Arg::exclusive`] is set
4550    pub fn is_exclusive_set(&self) -> bool {
4551        self.is_set(ArgSettings::Exclusive)
4552    }
4553
4554    /// Report whether [`Arg::trailing_var_arg`] is set
4555    pub fn is_trailing_var_arg_set(&self) -> bool {
4556        self.is_set(ArgSettings::TrailingVarArg)
4557    }
4558
4559    /// Reports whether [`Arg::last`] is set
4560    pub fn is_last_set(&self) -> bool {
4561        self.is_set(ArgSettings::Last)
4562    }
4563
4564    /// Reports whether [`Arg::ignore_case`] is set
4565    pub fn is_ignore_case_set(&self) -> bool {
4566        self.is_set(ArgSettings::IgnoreCase)
4567    }
4568
4569    /// Access an [`ArgExt`]
4570    #[cfg(feature = "unstable-ext")]
4571    pub fn get<T: ArgExt + Extension>(&self) -> Option<&T> {
4572        self.ext.get::<T>()
4573    }
4574
4575    /// Remove an [`ArgExt`]
4576    #[cfg(feature = "unstable-ext")]
4577    pub fn remove<T: ArgExt + Extension>(mut self) -> Option<T> {
4578        self.ext.remove::<T>()
4579    }
4580}
4581
4582/// # Internally used only
4583impl Arg {
4584    pub(crate) fn _build(&mut self) {
4585        if self.action.is_none() {
4586            if self.num_vals == Some(ValueRange::EMPTY) {
4587                let action = ArgAction::SetTrue;
4588                self.action = Some(action);
4589            } else {
4590                let action =
4591                    if self.is_positional() && self.num_vals.unwrap_or_default().is_unbounded() {
4592                        // Allow collecting arguments interleaved with flags
4593                        //
4594                        // Bounded values are probably a group and the user should explicitly opt-in to
4595                        // Append
4596                        ArgAction::Append
4597                    } else {
4598                        ArgAction::Set
4599                    };
4600                self.action = Some(action);
4601            }
4602        }
4603        if let Some(action) = self.action.as_ref() {
4604            if let Some(default_value) = action.default_value() {
4605                if self.default_vals.is_empty() {
4606                    self.default_vals = vec![default_value.into()];
4607                }
4608            }
4609            if let Some(default_value) = action.default_missing_value() {
4610                if self.default_missing_vals.is_empty() {
4611                    self.default_missing_vals = vec![default_value.into()];
4612                }
4613            }
4614        }
4615
4616        if self.value_parser.is_none() {
4617            if let Some(default) = self.action.as_ref().and_then(|a| a.default_value_parser()) {
4618                self.value_parser = Some(default);
4619            } else {
4620                self.value_parser = Some(super::ValueParser::string());
4621            }
4622        }
4623
4624        let val_names_len = self.val_names.len();
4625        if val_names_len > 1 {
4626            self.num_vals.get_or_insert(val_names_len.into());
4627        } else {
4628            let nargs = self.get_action().default_num_args();
4629            self.num_vals.get_or_insert(nargs);
4630        }
4631    }
4632
4633    // Used for positionals when printing
4634    pub(crate) fn name_no_brackets(&self) -> String {
4635        debug!("Arg::name_no_brackets:{}", self.get_id());
4636        let delim = " ";
4637        if !self.val_names.is_empty() {
4638            debug!("Arg::name_no_brackets: val_names={:#?}", self.val_names);
4639
4640            if self.val_names.len() > 1 {
4641                self.val_names
4642                    .iter()
4643                    .map(|n| format!("<{n}>"))
4644                    .collect::<Vec<_>>()
4645                    .join(delim)
4646            } else {
4647                self.val_names
4648                    .first()
4649                    .expect(INTERNAL_ERROR_MSG)
4650                    .as_str()
4651                    .to_owned()
4652            }
4653        } else {
4654            debug!("Arg::name_no_brackets: just name");
4655            self.get_id().as_str().to_owned()
4656        }
4657    }
4658
4659    pub(crate) fn stylized(&self, styles: &Styles, required: Option<bool>) -> StyledStr {
4660        use std::fmt::Write as _;
4661        let literal = styles.get_literal();
4662
4663        let mut styled = StyledStr::new();
4664        // Write the name such --long or -l
4665        if let Some(l) = self.get_long() {
4666            let _ = write!(styled, "{literal}--{l}{literal:#}",);
4667        } else if let Some(s) = self.get_short() {
4668            let _ = write!(styled, "{literal}-{s}{literal:#}");
4669        }
4670        styled.push_styled(&self.stylize_arg_suffix(styles, required));
4671        styled
4672    }
4673
4674    pub(crate) fn stylize_arg_suffix(&self, styles: &Styles, required: Option<bool>) -> StyledStr {
4675        use std::fmt::Write as _;
4676        let literal = styles.get_literal();
4677        let placeholder = styles.get_placeholder();
4678        let mut styled = StyledStr::new();
4679
4680        let mut need_closing_bracket = false;
4681        if self.is_takes_value_set() && !self.is_positional() {
4682            let is_optional_val = self.get_min_vals() == 0;
4683            let (style, start) = if self.is_require_equals_set() {
4684                if is_optional_val {
4685                    need_closing_bracket = true;
4686                    (placeholder, "[=")
4687                } else {
4688                    (literal, "=")
4689                }
4690            } else if is_optional_val {
4691                need_closing_bracket = true;
4692                (placeholder, " [")
4693            } else {
4694                (placeholder, " ")
4695            };
4696            let _ = write!(styled, "{style}{start}{style:#}");
4697        }
4698        if self.is_takes_value_set() || self.is_positional() {
4699            let required = required.unwrap_or_else(|| self.is_required_set());
4700            let arg_val = self.render_arg_val(required);
4701            let _ = write!(styled, "{placeholder}{arg_val}{placeholder:#}",);
4702        } else if matches!(*self.get_action(), ArgAction::Count) {
4703            let _ = write!(styled, "{placeholder}...{placeholder:#}",);
4704        }
4705        if need_closing_bracket {
4706            let _ = write!(styled, "{placeholder}]{placeholder:#}",);
4707        }
4708
4709        styled
4710    }
4711
4712    /// Write the values such as `<name1> <name2>`
4713    fn render_arg_val(&self, required: bool) -> String {
4714        let mut rendered = String::new();
4715
4716        let num_vals = self.get_num_args().unwrap_or_else(|| 1.into());
4717
4718        let mut val_names = if self.val_names.is_empty() {
4719            vec![self.id.as_internal_str().to_owned()]
4720        } else {
4721            self.val_names.clone()
4722        };
4723        if val_names.len() == 1 {
4724            let min = num_vals.min_values().max(1);
4725            let val_name = val_names.pop().unwrap();
4726            val_names = vec![val_name; min];
4727        }
4728
4729        debug_assert!(self.is_takes_value_set());
4730        for (n, val_name) in val_names.iter().enumerate() {
4731            let arg_name = if self.is_positional() && (num_vals.min_values() == 0 || !required) {
4732                format!("[{val_name}]")
4733            } else {
4734                format!("<{val_name}>")
4735            };
4736
4737            if n != 0 {
4738                rendered.push(' ');
4739            }
4740            rendered.push_str(&arg_name);
4741        }
4742
4743        let mut extra_values = false;
4744        extra_values |= val_names.len() < num_vals.max_values();
4745        if self.is_positional() && matches!(*self.get_action(), ArgAction::Append) {
4746            extra_values = true;
4747        }
4748        if extra_values {
4749            rendered.push_str("...");
4750        }
4751
4752        rendered
4753    }
4754
4755    /// Either multiple values or occurrences
4756    pub(crate) fn is_multiple(&self) -> bool {
4757        self.is_multiple_values_set() || matches!(*self.get_action(), ArgAction::Append)
4758    }
4759}
4760
4761impl From<&'_ Arg> for Arg {
4762    fn from(a: &Arg) -> Self {
4763        a.clone()
4764    }
4765}
4766
4767impl PartialEq for Arg {
4768    fn eq(&self, other: &Arg) -> bool {
4769        self.get_id() == other.get_id()
4770    }
4771}
4772
4773impl PartialOrd for Arg {
4774    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
4775        Some(self.cmp(other))
4776    }
4777}
4778
4779impl Ord for Arg {
4780    fn cmp(&self, other: &Arg) -> Ordering {
4781        self.get_id().cmp(other.get_id())
4782    }
4783}
4784
4785impl Eq for Arg {}
4786
4787impl Display for Arg {
4788    fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
4789        let plain = Styles::plain();
4790        self.stylized(&plain, None).fmt(f)
4791    }
4792}
4793
4794impl fmt::Debug for Arg {
4795    fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), fmt::Error> {
4796        let mut ds = f.debug_struct("Arg");
4797
4798        #[allow(unused_mut)]
4799        let mut ds = ds
4800            .field("id", &self.id)
4801            .field("help", &self.help)
4802            .field("long_help", &self.long_help)
4803            .field("action", &self.action)
4804            .field("value_parser", &self.value_parser)
4805            .field("blacklist", &self.blacklist)
4806            .field("settings", &self.settings)
4807            .field("overrides", &self.overrides)
4808            .field("groups", &self.groups)
4809            .field("requires", &self.requires)
4810            .field("r_ifs", &self.r_ifs)
4811            .field("r_unless", &self.r_unless)
4812            .field("short", &self.short)
4813            .field("long", &self.long)
4814            .field("aliases", &self.aliases)
4815            .field("short_aliases", &self.short_aliases)
4816            .field("disp_ord", &self.disp_ord)
4817            .field("val_names", &self.val_names)
4818            .field("num_vals", &self.num_vals)
4819            .field("val_delim", &self.val_delim)
4820            .field("default_vals", &self.default_vals)
4821            .field("default_vals_ifs", &self.default_vals_ifs)
4822            .field("terminator", &self.terminator)
4823            .field("index", &self.index)
4824            .field("help_heading", &self.help_heading)
4825            .field("default_missing_vals", &self.default_missing_vals)
4826            .field("ext", &self.ext);
4827
4828        #[cfg(feature = "env")]
4829        {
4830            ds = ds.field("env", &self.env);
4831        }
4832
4833        ds.finish()
4834    }
4835}
4836
4837/// User-provided data that can be attached to an [`Arg`]
4838#[cfg(feature = "unstable-ext")]
4839pub trait ArgExt: Extension {}
4840
4841// Flags
4842#[cfg(test)]
4843mod test {
4844    use super::Arg;
4845    use super::ArgAction;
4846
4847    #[test]
4848    fn flag_display_long() {
4849        let mut f = Arg::new("flg").long("flag").action(ArgAction::SetTrue);
4850        f._build();
4851
4852        assert_eq!(f.to_string(), "--flag");
4853    }
4854
4855    #[test]
4856    fn flag_display_short() {
4857        let mut f2 = Arg::new("flg").short('f').action(ArgAction::SetTrue);
4858        f2._build();
4859
4860        assert_eq!(f2.to_string(), "-f");
4861    }
4862
4863    #[test]
4864    fn flag_display_count() {
4865        let mut f2 = Arg::new("flg").long("flag").action(ArgAction::Count);
4866        f2._build();
4867
4868        assert_eq!(f2.to_string(), "--flag...");
4869    }
4870
4871    #[test]
4872    fn flag_display_single_alias() {
4873        let mut f = Arg::new("flg")
4874            .long("flag")
4875            .visible_alias("als")
4876            .action(ArgAction::SetTrue);
4877        f._build();
4878
4879        assert_eq!(f.to_string(), "--flag");
4880    }
4881
4882    #[test]
4883    fn flag_display_multiple_aliases() {
4884        let mut f = Arg::new("flg").short('f').action(ArgAction::SetTrue);
4885        f.aliases = vec![
4886            ("alias_not_visible".into(), false),
4887            ("f2".into(), true),
4888            ("f3".into(), true),
4889            ("f4".into(), true),
4890        ];
4891        f._build();
4892
4893        assert_eq!(f.to_string(), "-f");
4894    }
4895
4896    #[test]
4897    fn flag_display_single_short_alias() {
4898        let mut f = Arg::new("flg").short('a').action(ArgAction::SetTrue);
4899        f.short_aliases = vec![('b', true)];
4900        f._build();
4901
4902        assert_eq!(f.to_string(), "-a");
4903    }
4904
4905    #[test]
4906    fn flag_display_multiple_short_aliases() {
4907        let mut f = Arg::new("flg").short('a').action(ArgAction::SetTrue);
4908        f.short_aliases = vec![('b', false), ('c', true), ('d', true), ('e', true)];
4909        f._build();
4910
4911        assert_eq!(f.to_string(), "-a");
4912    }
4913
4914    // Options
4915
4916    #[test]
4917    fn option_display_multiple_occurrences() {
4918        let mut o = Arg::new("opt").long("option").action(ArgAction::Append);
4919        o._build();
4920
4921        assert_eq!(o.to_string(), "--option <opt>");
4922    }
4923
4924    #[test]
4925    fn option_display_multiple_values() {
4926        let mut o = Arg::new("opt")
4927            .long("option")
4928            .action(ArgAction::Set)
4929            .num_args(1..);
4930        o._build();
4931
4932        assert_eq!(o.to_string(), "--option <opt>...");
4933    }
4934
4935    #[test]
4936    fn option_display_zero_or_more_values() {
4937        let mut o = Arg::new("opt")
4938            .long("option")
4939            .action(ArgAction::Set)
4940            .num_args(0..);
4941        o._build();
4942
4943        assert_eq!(o.to_string(), "--option [<opt>...]");
4944    }
4945
4946    #[test]
4947    fn option_display_one_or_more_values() {
4948        let mut o = Arg::new("opt")
4949            .long("option")
4950            .action(ArgAction::Set)
4951            .num_args(1..);
4952        o._build();
4953
4954        assert_eq!(o.to_string(), "--option <opt>...");
4955    }
4956
4957    #[test]
4958    fn option_display_zero_or_more_values_with_value_name() {
4959        let mut o = Arg::new("opt")
4960            .short('o')
4961            .action(ArgAction::Set)
4962            .num_args(0..)
4963            .value_names(["file"]);
4964        o._build();
4965
4966        assert_eq!(o.to_string(), "-o [<file>...]");
4967    }
4968
4969    #[test]
4970    fn option_display_one_or_more_values_with_value_name() {
4971        let mut o = Arg::new("opt")
4972            .short('o')
4973            .action(ArgAction::Set)
4974            .num_args(1..)
4975            .value_names(["file"]);
4976        o._build();
4977
4978        assert_eq!(o.to_string(), "-o <file>...");
4979    }
4980
4981    #[test]
4982    fn option_display_optional_value() {
4983        let mut o = Arg::new("opt")
4984            .long("option")
4985            .action(ArgAction::Set)
4986            .num_args(0..=1);
4987        o._build();
4988
4989        assert_eq!(o.to_string(), "--option [<opt>]");
4990    }
4991
4992    #[test]
4993    fn option_display_value_names() {
4994        let mut o = Arg::new("opt")
4995            .short('o')
4996            .action(ArgAction::Set)
4997            .value_names(["file", "name"]);
4998        o._build();
4999
5000        assert_eq!(o.to_string(), "-o <file> <name>");
5001    }
5002
5003    #[test]
5004    fn option_display3() {
5005        let mut o = Arg::new("opt")
5006            .short('o')
5007            .num_args(1..)
5008            .action(ArgAction::Set)
5009            .value_names(["file", "name"]);
5010        o._build();
5011
5012        assert_eq!(o.to_string(), "-o <file> <name>...");
5013    }
5014
5015    #[test]
5016    fn option_display_single_alias() {
5017        let mut o = Arg::new("opt")
5018            .long("option")
5019            .action(ArgAction::Set)
5020            .visible_alias("als");
5021        o._build();
5022
5023        assert_eq!(o.to_string(), "--option <opt>");
5024    }
5025
5026    #[test]
5027    fn option_display_multiple_aliases() {
5028        let mut o = Arg::new("opt")
5029            .long("option")
5030            .action(ArgAction::Set)
5031            .visible_aliases(["als2", "als3", "als4"])
5032            .alias("als_not_visible");
5033        o._build();
5034
5035        assert_eq!(o.to_string(), "--option <opt>");
5036    }
5037
5038    #[test]
5039    fn option_display_single_short_alias() {
5040        let mut o = Arg::new("opt")
5041            .short('a')
5042            .action(ArgAction::Set)
5043            .visible_short_alias('b');
5044        o._build();
5045
5046        assert_eq!(o.to_string(), "-a <opt>");
5047    }
5048
5049    #[test]
5050    fn option_display_multiple_short_aliases() {
5051        let mut o = Arg::new("opt")
5052            .short('a')
5053            .action(ArgAction::Set)
5054            .visible_short_aliases(['b', 'c', 'd'])
5055            .short_alias('e');
5056        o._build();
5057
5058        assert_eq!(o.to_string(), "-a <opt>");
5059    }
5060
5061    // Positionals
5062
5063    #[test]
5064    fn positional_display_multiple_values() {
5065        let mut p = Arg::new("pos").index(1).num_args(1..);
5066        p._build();
5067
5068        assert_eq!(p.to_string(), "[pos]...");
5069    }
5070
5071    #[test]
5072    fn positional_display_multiple_values_required() {
5073        let mut p = Arg::new("pos").index(1).num_args(1..).required(true);
5074        p._build();
5075
5076        assert_eq!(p.to_string(), "<pos>...");
5077    }
5078
5079    #[test]
5080    fn positional_display_zero_or_more_values() {
5081        let mut p = Arg::new("pos").index(1).num_args(0..);
5082        p._build();
5083
5084        assert_eq!(p.to_string(), "[pos]...");
5085    }
5086
5087    #[test]
5088    fn positional_display_one_or_more_values() {
5089        let mut p = Arg::new("pos").index(1).num_args(1..);
5090        p._build();
5091
5092        assert_eq!(p.to_string(), "[pos]...");
5093    }
5094
5095    #[test]
5096    fn positional_display_one_or_more_values_required() {
5097        let mut p = Arg::new("pos").index(1).num_args(1..).required(true);
5098        p._build();
5099
5100        assert_eq!(p.to_string(), "<pos>...");
5101    }
5102
5103    #[test]
5104    fn positional_display_optional_value() {
5105        let mut p = Arg::new("pos")
5106            .index(1)
5107            .num_args(0..=1)
5108            .action(ArgAction::Set);
5109        p._build();
5110
5111        assert_eq!(p.to_string(), "[pos]");
5112    }
5113
5114    #[test]
5115    fn positional_display_multiple_occurrences() {
5116        let mut p = Arg::new("pos").index(1).action(ArgAction::Append);
5117        p._build();
5118
5119        assert_eq!(p.to_string(), "[pos]...");
5120    }
5121
5122    #[test]
5123    fn positional_display_multiple_occurrences_required() {
5124        let mut p = Arg::new("pos")
5125            .index(1)
5126            .action(ArgAction::Append)
5127            .required(true);
5128        p._build();
5129
5130        assert_eq!(p.to_string(), "<pos>...");
5131    }
5132
5133    #[test]
5134    fn positional_display_required() {
5135        let mut p = Arg::new("pos").index(1).required(true);
5136        p._build();
5137
5138        assert_eq!(p.to_string(), "<pos>");
5139    }
5140
5141    #[test]
5142    fn positional_display_val_names() {
5143        let mut p = Arg::new("pos").index(1).value_names(["file1", "file2"]);
5144        p._build();
5145
5146        assert_eq!(p.to_string(), "[file1] [file2]");
5147    }
5148
5149    #[test]
5150    fn positional_display_val_names_required() {
5151        let mut p = Arg::new("pos")
5152            .index(1)
5153            .value_names(["file1", "file2"])
5154            .required(true);
5155        p._build();
5156
5157        assert_eq!(p.to_string(), "<file1> <file2>");
5158    }
5159}