cprover
ld_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Base class for command line interpretation
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_LD_MODE_H
15 #define CPROVER_GOTO_CC_LD_MODE_H
16 
17 #include "compile.h"
18 #include "goto_cc_mode.h"
19 
20 #include <util/cout_message.h>
21 
22 #include <set>
23 
24 class ld_modet : public goto_cc_modet
25 {
26 public:
27  int doit() final;
28  void help_mode() final;
29 
30  ld_modet(
31  goto_cc_cmdlinet &_cmdline,
32  const std::string &_base_name);
33 
34 protected:
36 
37  std::string native_tool_name;
38 
39  const std::string goto_binary_tmp_suffix;
40 
42  int run_ld();
43 
44  int ld_hybrid_binary(compilet &compiler);
45 };
46 
47 #endif // CPROVER_GOTO_CC_LD_MODE_H
ld_modet::gcc_message_handler
gcc_message_handlert gcc_message_handler
Definition: ld_mode.h:35
ld_modet
Definition: ld_mode.h:24
ld_modet::help_mode
void help_mode() final
display command line help
Definition: ld_mode.cpp:219
ld_modet::native_tool_name
std::string native_tool_name
Definition: ld_mode.h:37
ld_modet::ld_modet
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition: ld_mode.cpp:71
cout_message.h
ld_modet::ld_hybrid_binary
int ld_hybrid_binary(compilet &compiler)
Definition: ld_mode.cpp:169
compile.h
gcc_message_handlert
Definition: cout_message.h:65
ld_modet::doit
int doit() final
does it.
Definition: ld_mode.cpp:78
ld_modet::goto_binary_tmp_suffix
const std::string goto_binary_tmp_suffix
Definition: ld_mode.h:39
goto_cc_modet
Definition: goto_cc_mode.h:21
compilet
Definition: compile.h:25
goto_cc_mode.h
ld_modet::run_ld
int run_ld()
call ld with original command line
Definition: ld_mode.cpp:148
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:19