51 if(i.has_value() && !
options[*i].values.empty())
52 return options[*i].values.front();
66 "unknown command line option", option);
77 options[*i].values.push_back(value);
82 "unknown command line option", option);
102 if(i.has_value() && !
options[*i].values.empty())
103 return options[*i].values.front();
109 const std::string &option)
const
119 std::list<std::string>
122 std::list<std::string> separated_values;
124 if(i.has_value() && !
options[*i].values.empty())
126 std::istringstream values_stream(
options[*i].values.front());
127 std::string single_value;
128 while(std::getline(values_stream, single_value,
','))
130 separated_values.push_back(single_value);
133 return separated_values;
138 for(std::size_t i=0; i<
options.size(); i++)
147 for(std::size_t i=0; i<
options.size(); i++)
148 if(
options[i].optstring==option)
168 while(optstring[0] != 0)
173 optstring[0] !=
':',
"cmdlinet::parse: Invalid option string\n");
175 if(optstring[0] ==
'(')
179 option.
isset =
false;
182 for(optstring++; optstring[0] !=
')' && optstring[0] != 0; optstring++)
185 if(optstring[0] ==
')')
193 option.
isset =
false;
198 if(optstring[0] ==
':')
210 std::vector<std::string>
215 std::size_t distance;
216 std::string suggestion;
218 bool operator<(
const suggestiont &other)
const
220 return distance < other.distance;
224 auto argument_suggestions = std::vector<suggestiont>{};
229 for(
const auto &option :
options)
233 const auto long_name =
"--" + option.optstring;
234 if(
auto distance = argument_matcher.get_edit_distance(long_name))
236 argument_suggestions.push_back({distance.value(), long_name});
241 const auto short_name = std::string{
"-"} + option.optchar;
242 if(
auto distance = argument_matcher.get_edit_distance(short_name))
244 argument_suggestions.push_back({distance.value(), short_name});
249 auto final_suggestions = std::vector<std::string>{};
250 if(!argument_suggestions.empty())
254 auto min = std::min_element(
255 argument_suggestions.begin(), argument_suggestions.end());
257 min != argument_suggestions.end(),
258 "there is a minimum because it's not empty");
259 for(
auto const &suggestion : argument_suggestions)
261 if(suggestion.distance == min->distance)
263 final_suggestions.push_back(suggestion.suggestion);
267 return final_suggestions;
272 for(
int i = 1; i < argc; i++)
274 if(argv[i][0] !=
'-')
275 args.push_back(argv[i]);
280 if(argv[i][1] != 0 && argv[i][2] == 0)
282 else if(argv[i][1] ==
'-')
290 if(!optnr.has_value())
294 if(!optnr.has_value())
304 if(argv[i][2] == 0 ||
options[*optnr].islong)
309 if(argv[i][0] ==
'-' && argv[i][1] != 0)
311 options[*optnr].values.push_back(argv[i]);
314 options[*optnr].values.push_back(argv[i] + 2);
324 : command_line(command_line), index(index)
334 goto_next_valid_index();
348 while(index < command_line->
options.size() && !is_valid_index())
370 return index == other.
index;
377 return index != other.
index;
std::string get_value(char option) const
virtual bool isset(char option) const
std::list< std::string > get_comma_separated_values(const char *option) const
optionalt< std::size_t > getoptnr(char option) const
bool parse_arguments(int argc, const char **argv)
Parses a commandline according to a previously parsed optstring and writes the result to cmdlinet::op...
std::vector< optiont > options
virtual void set(const std::string &option, bool value=true)
Set option option to value, or true if the value is omitted.
virtual bool parse(int argc, const char **argv, const char *optstring)
Parses a commandline according to a specification given in optstring.
std::vector< std::string > get_argument_suggestions(const std::string &unknown_argument)
void parse_optstring(const char *optstring)
Parses an optstring and writes the result to cmdlinet::options.
option_namest option_names() const
Pseudo-object that can be used to iterate over options in this cmdlinet (should not outlive this)
const std::list< std::string > & get_values(const std::string &option) const
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
static std::list< std::string > immutable_empty_list
nonstd::optional< T > optionalt
bool operator<(const reaching_definitiont &a, const reaching_definitiont &b)
In order to use instances of this structure as keys in ordered containers, such as std::map,...
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
#define PRECONDITION(CONDITION)
bool is_valid_index() const
const std::string & operator*()
const cmdlinet * command_line
bool operator==(const option_names_iteratort &other)
void goto_next_valid_index()
bool operator!=(const option_names_iteratort &other)
option_names_iteratort()=default
option_names_iteratort & operator++()
option_names_iteratort end()
option_names_iteratort begin()
option_namest(const cmdlinet &command_line)
const cmdlinet & command_line
Simple automaton that can detect whether a string can be transformed into another with a limited numb...