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 "cl_message_handler.h"
18 #include "compile.h"
19 #include "goto_cc_mode.h"
20 
22 {
23 public:
24  int doit() final;
25  void help_mode() final;
26 
27  explicit ms_link_modet(goto_cc_cmdlinet &);
28 
29 protected:
31 };
32 
33 #endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
cl_message_handler.h
compile.h
Compile and link source and object files.
goto_cc_modet
Definition: goto_cc_mode.h:22
cl_message_handlert
Definition: cl_message_handler.h:15
goto_cc_mode.h
Command line interpretation for goto-cc.
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20