35 const std::string &_base_name,
64 " {y--verbosity} {u#} \t verbosity level\n"
65 " {y--function} {uname} \t set entry point to name\n"
66 " {y--native-compiler} {ucmd} \t command to invoke as "
67 "preprocessor/compiler\n"
68 " {y--native-linker} {ucmd} \t command to invoke as linker\n"
69 " {y--native-assembler} {ucmd} \t command to invoke as assembler "
71 " {y--export-file-local-symbols} \t "
72 "name-mangle and export file-local symbols\n"
73 " {y--mangle-suffix} {usuffix} \t append suffix to exported file-local "
75 " {y--print-rejected-preprocessed-source} {ufile} \t "
76 "copy failing (preprocessed) source to file\n"
102 catch(
const std::string &e)
114 catch(
const std::bad_alloc &)
140 std::cerr <<
"Usage error!\n\n";
Base class for exceptions thrown in the cprover project.
~goto_cc_modet()
constructor
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
goto_cc_cmdlinet & cmdline
virtual void help_mode()=0
message_handlert & message_handler
const std::string base_name
virtual void usage_error()
Prints a message informing the user about incorrect options.
void register_languages()
void help()
display command line help
int main(int argc, const char **argv)
starts the compiler
Thrown when we can't handle something in an input source file.
source_locationt source_location
Class that provides messages with a built-in verbosity 'level'.
Command line interpretation for goto-cc.
Command line interpretation for goto-cc.
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)
const char * CBMC_VERSION