cprover
Loading...
Searching...
No Matches
ld_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Base class for command line interpretation
4
5Author: CM Wintersteiger
6
7Date: 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 "gcc_message_handler.h"
18#include "goto_cc_mode.h"
19
20class ld_modet : public goto_cc_modet
21{
22public:
23 int doit() final;
24 void help_mode() final;
25
28 const std::string &_base_name);
29
30protected:
32
33 std::string native_tool_name;
34
35 const std::string goto_binary_tmp_suffix;
36
38 int run_ld();
39
47 const std::list<std::string> &object_files);
48};
49
50#endif // CPROVER_GOTO_CC_LD_MODE_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563
void help_mode() final
display command line help
Definition ld_mode.cpp:275
const std::string goto_binary_tmp_suffix
Definition ld_mode.h:35
std::string native_tool_name
Definition ld_mode.h:33
gcc_message_handlert gcc_message_handler
Definition ld_mode.h:31
int run_ld()
call ld with original command line
Definition ld_mode.cpp:139
int doit() final
does it.
Definition ld_mode.cpp:63
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition ld_mode.cpp:56
int ld_hybrid_binary(bool building_executable, const std::list< std::string > &object_files)
Build an ELF or Mach-O binary containing a goto-cc section.
Definition ld_mode.cpp:161
Command line interpretation for goto-cc.