Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_CMDLINE_H
11 #define CPROVER_UTIL_CMDLINE_H
23 virtual bool parse(
int argc,
const char **argv,
const char *optstring);
26 std::string
get_value(
const char *option)
const;
28 const std::list<std::string> &
get_values(
const std::string &option)
const;
29 const std::list<std::string> &
get_values(
char option)
const;
33 virtual bool isset(
char option)
const;
34 virtual bool isset(
const char *option)
const;
36 virtual void set(
const std::string &option,
bool value =
true);
37 virtual void set(
const std::string &option,
const std::string &value);
38 virtual void set(
const std::string &option,
const char *value)
40 set(option, std::string{value});
54 :
public std::iterator<std::forward_iterator_tag, std::string>
75 std::size_t
index = std::numeric_limits<std::size_t>::max();
90 typedef std::vector<std::string>
argst;
97 std::vector<std::string>
124 #endif // CPROVER_UTIL_CMDLINE_H
const std::string & operator*()
virtual bool parse(int argc, const char **argv, const char *optstring)
option_names_iteratort begin()
virtual bool isset(char option) const
option_names_iteratort & operator=(option_names_iteratort &&)=default
void goto_next_valid_index()
virtual void set(const std::string &option, const char *value)
std::vector< optiont > options
option_names_iteratort()=default
option_names_iteratort(option_names_iteratort &&other)=default
std::list< std::string > get_comma_separated_values(const char *option) const
virtual void set(const std::string &option, bool value=true)
Set option option to value, or true if the value is omitted.
bool has_option(const std::string &option) const
bool operator!=(const option_names_iteratort &other)
option_namest(const cmdlinet &command_line)
const cmdlinet & command_line
std::string get_value(char option) const
option_names_iteratort & operator++()
option_namest option_names() const
Pseudo-object that can be used to iterate over options in this cmdlinet (should not outlive this)
nonstd::optional< T > optionalt
std::list< std::string > values
optionalt< std::size_t > getoptnr(char option) const
bool is_valid_index() const
const cmdlinet * command_line
bool operator==(const option_names_iteratort &other)
std::vector< std::string > get_argument_suggestions(const std::string &unknown_argument)
option_names_iteratort end()
option_names_iteratort(const option_names_iteratort &other)=default
const std::list< std::string > & get_values(const std::string &option) const
option_names_iteratort & operator=(const option_names_iteratort &)=default
std::vector< std::string > argst