14 #ifndef CPROVER_GOTO_CC_GOTO_CC_CMDLINE_H 15 #define CPROVER_GOTO_CC_GOTO_CC_CMDLINE_H 25 virtual bool parse(
int argc,
const char **argv)=0;
27 static bool in_list(
const char *option,
const char **list);
35 std::size_t
get_optnr(
const std::string &option);
37 void set(
const std::string &opt,
const std::string &value)
41 options[nr].values.push_back(value);
44 void set(
const std::string &opt)
67 for(parsed_argvt::const_iterator
69 if(it->is_infile_name)
85 #endif // CPROVER_GOTO_CC_GOTO_CC_CMDLINE_H
std::size_t get_optnr(const std::string &option)
static bool prefix_in_list(const char *option, const char **list, std::string &prefix)
virtual bool parse(int argc, const char **argv, const char *optstring)
void set(const std::string &opt)
static bool in_list(const char *option, const char **list)
void add_arg(const std::string &arg)
std::list< argt > parsed_argvt
void set(const std::string &opt, const std::string &value)
virtual bool parse(int argc, const char **argv)=0
argt(const std::string &_arg)
bool have_infile_arg() const
std::vector< optiont > options
void add_infile_arg(const std::string &arg)