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 
23 {
24 public:
25  int doit() final;
26  void help_mode() final;
27 
28  explicit ms_link_modet(goto_cc_cmdlinet &);
29 
30 protected:
32 };
33 
34 #endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
cout_message.h
compile.h
goto_cc_modet
Definition: goto_cc_mode.h:21
console_message_handlert
Definition: cout_message.h:29
goto_cc_mode.h
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:19