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 "gcc_message_handler.h"
19 #include "goto_cc_mode.h"
20 
21 #include <set>
22 
23 class ld_modet : public goto_cc_modet
24 {
25 public:
26  int doit() final;
27  void help_mode() final;
28 
29  ld_modet(
30  goto_cc_cmdlinet &_cmdline,
31  const std::string &_base_name);
32 
33 protected:
35 
36  std::string native_tool_name;
37 
38  const std::string goto_binary_tmp_suffix;
39 
41  int run_ld();
42 
43  int ld_hybrid_binary(compilet &compiler);
44 };
45 
46 #endif // CPROVER_GOTO_CC_LD_MODE_H
ld_modet::gcc_message_handler
gcc_message_handlert gcc_message_handler
Definition: ld_mode.h:34
ld_modet
Definition: ld_mode.h:24
ld_modet::help_mode
void help_mode() final
display command line help
Definition: ld_mode.cpp:227
ld_modet::native_tool_name
std::string native_tool_name
Definition: ld_mode.h:36
ld_modet::ld_modet
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition: ld_mode.cpp:71
ld_modet::ld_hybrid_binary
int ld_hybrid_binary(compilet &compiler)
Definition: ld_mode.cpp:172
compile.h
Compile and link source and object files.
gcc_message_handlert
Definition: gcc_message_handler.h:15
ld_modet::doit
int doit() final
does it.
Definition: ld_mode.cpp:78
gcc_message_handler.h
ld_modet::goto_binary_tmp_suffix
const std::string goto_binary_tmp_suffix
Definition: ld_mode.h:38
goto_cc_modet
Definition: goto_cc_mode.h:22
compilet
Definition: compile.h:27
goto_cc_mode.h
Command line interpretation for goto-cc.
ld_modet::run_ld
int run_ld()
call ld with original command line
Definition: ld_mode.cpp:151
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20