cprover
ms_link_mode.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Visual Studio Link Mode
4
5
Author: Daniel Kroening
6
7
Date: July 2018
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_CC_MS_LINK_MODE_H
15
#define CPROVER_GOTO_CC_MS_LINK_MODE_H
16
17
#include "
compile.h
"
18
#include "
goto_cc_mode.h
"
19
20
#include <
util/cout_message.h
>
21
22
class
ms_link_modet
:
public
goto_cc_modet
23
{
24
public
:
25
int
doit
()
final
;
26
void
help_mode
()
final
;
27
28
explicit
ms_link_modet
(
goto_cc_cmdlinet
&);
29
30
protected
:
31
console_message_handlert
message_handler
;
32
};
33
34
#endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
cout_message.h
compile.h
ms_link_modet::message_handler
console_message_handlert message_handler
Definition:
ms_link_mode.h:31
ms_link_modet
Definition:
ms_link_mode.h:22
goto_cc_modet
Definition:
goto_cc_mode.h:21
ms_link_modet::doit
int doit() final
does it.
Definition:
ms_link_mode.cpp:25
console_message_handlert
Definition:
cout_message.h:29
ms_link_modet::help_mode
void help_mode() final
display command line help
Definition:
ms_link_mode.cpp:80
goto_cc_mode.h
ms_link_modet::ms_link_modet
ms_link_modet(goto_cc_cmdlinet &)
Definition:
ms_link_mode.cpp:19
goto_cc_cmdlinet
Definition:
goto_cc_cmdline.h:19
goto-cc
ms_link_mode.h
Generated by
1.8.17