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
22
class
ms_cl_modet
:
public
goto_cc_modet
23
{
24
public
:
25
virtual
int
doit
();
26
virtual
void
help_mode
();
27
28
ms_cl_modet
(
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
:
37
ms_cl_cmdlinet
&
cmdline
;
38
console_message_handlert
message_handler
;
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
goto-cc
ms_cl_mode.h
Generated by
1.8.16