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
:
34
gcc_message_handlert
gcc_message_handler
;
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
goto-cc
ld_mode.h
Generated by
1.8.20