24 const std::string &_optstring,
int argc,
const char **argv)
26 std::string optstring=std::string(
"?h(help)")+_optstring;
36 std::cerr <<
"Usage error!\n\n";
72 const std::string version_str = front_end +
" " + version +
" " +
76 if(version_str.size() < 57)
78 left_padding = (57 - version_str.size() + 1) / 2;
79 right_padding = (57 - version_str.size()) / 2;
82 return "* *" + std::string(left_padding,
' ') + version_str +
83 std::string(right_padding,
' ') +
"* *";
unsignedbv_typet size_type()
virtual bool parse(int argc, const char **argv, const char *optstring)
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line...
virtual bool isset(char option) const
void install_signal_catcher()
std::string banner_string(const std::string &front_end, const std::string &version)
std::string to_string(const string_constraintt &expr)
Used for debug printing.
virtual void usage_error()
parse_options_baset(const std::string &optstring, int argc, const char **argv)