14 #ifndef CPROVER_GOTO_CC_GOTO_CC_MODE_H 15 #define CPROVER_GOTO_CC_GOTO_CC_MODE_H 24 virtual int main(
int argc,
const char **argv);
32 const std::string &_base_name,
42 #endif // CPROVER_GOTO_CC_GOTO_CC_MODE_H virtual int main(int argc, const char **argv)
starts the compiler
void register_languages()
Command line interpretation for goto-cc.
virtual void usage_error()
prints a message informing the user about incorrect options
goto_cc_cmdlinet & cmdline
Class that provides messages with a built-in verbosity 'level'.
virtual void help_mode()=0
virtual void help()
display command line help
~goto_cc_modet()
constructor
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
const std::string base_name