14#ifndef CPROVER_GOTO_CC_MS_CL_MODE_H
15#define CPROVER_GOTO_CC_MS_CL_MODE_H
29 const std::string &_base_name):
goto_cc_modet(goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
constructor
ms_cl_modet(ms_cl_cmdlinet &_ms_cl_cmdline, const std::string &_base_name)
cl_message_handlert message_handler
virtual int doit()
does it.
virtual void help_mode()
display command line help
Command line interpretation for goto-cc.
A special command line object for the gcc-like options.