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
void help_mode() final
display command line help
Definition: ld_mode.cpp:219
const std::string goto_binary_tmp_suffix
Definition: ld_mode.h:39
int ld_hybrid_binary(compilet &compiler)
Definition: ld_mode.cpp:169
std::string native_tool_name
Definition: ld_mode.h:37
int run_ld()
call ld with original command line
Definition: ld_mode.cpp:148
gcc_message_handlert gcc_message_handler
Definition: ld_mode.h:35
Compile and link source and object files.
Command line interpretation for goto-cc.
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition: ld_mode.cpp:71
int doit() final
does it.
Definition: ld_mode.cpp:78