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(bool);
44 };
45 
46 #endif // CPROVER_GOTO_CC_LD_MODE_H
void help_mode() final
display command line help
Definition: ld_mode.cpp:229
const std::string goto_binary_tmp_suffix
Definition: ld_mode.h:38
std::string native_tool_name
Definition: ld_mode.h:36
gcc_message_handlert gcc_message_handler
Definition: ld_mode.h:34
int run_ld()
call ld with original command line
Definition: ld_mode.cpp:151
int doit() final
does it.
Definition: ld_mode.cpp:78
int ld_hybrid_binary(bool)
Definition: ld_mode.cpp:173
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition: ld_mode.cpp:71
Compile and link source and object files.
Command line interpretation for goto-cc.