cprover
Loading...
Searching...
No Matches
ms_cl_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Visual Studio CL Mode
4
5Author: CM Wintersteiger
6
7Date: June 2006
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_CC_MS_CL_MODE_H
15#define CPROVER_GOTO_CC_MS_CL_MODE_H
16
17#include "cl_message_handler.h"
18#include "goto_cc_mode.h"
19#include "ms_cl_cmdline.h"
20
22{
23public:
24 virtual int doit();
25 virtual void help_mode();
26
28 ms_cl_cmdlinet &_ms_cl_cmdline,
29 const std::string &_base_name):
30 goto_cc_modet(_ms_cl_cmdline, _base_name, message_handler),
31 cmdline(_ms_cl_cmdline)
32 {
33 }
34
35protected:
38};
39
40#endif // CPROVER_GOTO_CC_MS_CL_MODE_H
ms_cl_cmdlinet & cmdline
Definition: ms_cl_mode.h:36
ms_cl_modet(ms_cl_cmdlinet &_ms_cl_cmdline, const std::string &_base_name)
Definition: ms_cl_mode.h:27
cl_message_handlert message_handler
Definition: ms_cl_mode.h:37
virtual int doit()
does it.
Definition: ms_cl_mode.cpp:42
virtual void help_mode()
display command line help
Definition: ms_cl_mode.cpp:234
Command line interpretation for goto-cc.
A special command line object for the gcc-like options.