cprover
ms_cl_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Visual Studio CL Mode
4 
5 Author: CM Wintersteiger
6 
7 Date: 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 <util/cout_message.h>
18 
19 #include "goto_cc_mode.h"
20 #include "ms_cl_cmdline.h"
21 
23 {
24 public:
25  virtual int doit();
26  virtual void help_mode();
27 
29  ms_cl_cmdlinet &_ms_cl_cmdline,
30  const std::string &_base_name):
31  goto_cc_modet(_ms_cl_cmdline, _base_name, message_handler),
32  cmdline(_ms_cl_cmdline)
33  {
34  }
35 
36 protected:
39 };
40 
41 #endif // CPROVER_GOTO_CC_MS_CL_MODE_H
ms_cl_modet::help_mode
virtual void help_mode()
display command line help
Definition: ms_cl_mode.cpp:226
ms_cl_modet::message_handler
console_message_handlert message_handler
Definition: ms_cl_mode.h:38
ms_cl_cmdlinet
Definition: ms_cl_cmdline.h:19
ms_cl_modet::doit
virtual int doit()
does it.
Definition: ms_cl_mode.cpp:43
cout_message.h
ms_cl_modet
Definition: ms_cl_mode.h:22
ms_cl_modet::ms_cl_modet
ms_cl_modet(ms_cl_cmdlinet &_ms_cl_cmdline, const std::string &_base_name)
Definition: ms_cl_mode.h:28
goto_cc_modet
Definition: goto_cc_mode.h:21
ms_cl_modet::cmdline
ms_cl_cmdlinet & cmdline
Definition: ms_cl_mode.h:37
console_message_handlert
Definition: cout_message.h:29
ms_cl_cmdline.h
goto_cc_mode.h