10 #ifndef CPROVER_UTIL_PARSE_OPTIONS_H
11 #define CPROVER_UTIL_PARSE_OPTIONS_H
23 const std::string &optstring,
26 const std::string &program);
57 banner_string(
const std::string &front_end,
const std::string &version);
69 const std::string &option,
70 const std::string &description,
71 const std::size_t left_margin = 30,
72 const std::size_t width = 80);
Class that provides messages with a built-in verbosity 'level'.
virtual void register_languages()
virtual void usage_error()
parse_options_baset(const std::string &optstring, int argc, const char **argv, const std::string &program)
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
void log_version_and_architecture(const std::string &front_end)
Write version and system architecture to log.status().
virtual ~parse_options_baset()
ui_message_handlert ui_message_handler
std::string align_center_with_border(const std::string &text)
Utility for displaying help centered messages borderered by "* *".
std::string banner_string(const std::string &front_end, const std::string &version)
std::string help_entry(const std::string &option, const std::string &description, const std::size_t left_margin=30, const std::size_t width=80)