34 const std::string &_base_name,
36 : cmdline(_cmdline), base_name(_base_name), message_handler(_message_handler)
62 " --verbosity # verbosity level\n"
63 " --function name set entry point to name\n"
64 " --native-compiler cmd command to invoke as preprocessor/compiler\n"
65 " --native-linker cmd command to invoke as linker\n"
66 " --native-assembler cmd command to invoke as assembler (goto-as only)\n"
67 " --print-rejected-preprocessed-source file\n"
68 " copy failing (preprocessed) source to file\n"
69 " --object-bits number of bits used for object addresses\n"
96 catch(
const std::string &e)
108 catch(
const std::bad_alloc &)
126 std::cerr <<
"Usage error!\n\n";
Base class for exceptions thrown in the cprover project.
virtual bool parse(int argc, const char **argv)=0
~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
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
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