Go to the documentation of this file.
28 const std::string &_optstring,
31 const std::string &program)
32 : parse_result(cmdline.parse(
35 (std::string(
"?h(help)") + _optstring).c_str())),
36 ui_message_handler(cmdline, program),
37 log(ui_message_handler)
95 catch(
const std::string &e)
111 catch(
const std::bad_alloc &)
116 catch(
const std::exception &e)
135 auto const total_length = std::size_t{63};
136 auto const border = std::string{
"* *"};
138 total_length - std::min(total_length, 2 * border.size() + text.size());
139 auto const fill_right = fill / 2;
140 auto const fill_left = fill - fill_right;
141 return border + std::string(fill_left,
' ') + text +
142 std::string(fill_right,
' ') + border;
148 const std::string version_str = front_end +
" " + version +
" " +
virtual bool isset(char option) const
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
#define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY
Memory allocation has failed and this has been detected within the program.
A logic error, augmented with a distinguished field to hold a backtrace.
#define CPROVER_EXIT_EXCEPTION
An (unanticipated) exception was thrown during computation.
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
virtual void usage_error()
std::string what() const override
A human readable description of what went wrong.
std::string banner_string(const std::string &front_end, const std::string &version)
virtual std::string what() const =0
A human readable description of what went wrong.
parse_options_baset(const std::string &optstring, int argc, const char **argv, const std::string &program)
void install_signal_catcher()
#define CPROVER_EXIT_USAGE_ERROR
A usage error is returned when the command line is invalid or conflicting.
virtual std::string what() const noexcept
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
std::string align_center_with_border(const std::string &text)
Utility for displaying help centered messages borderered by "* *".
Base class for exceptions thrown in the cprover project.