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
:
35
gcc_message_handlert
gcc_message_handler
;
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
ld_modet::gcc_message_handler
gcc_message_handlert gcc_message_handler
Definition:
ld_mode.h:35
ld_modet
Definition:
ld_mode.h:24
ld_modet::help_mode
void help_mode() final
display command line help
Definition:
ld_mode.cpp:219
ld_modet::native_tool_name
std::string native_tool_name
Definition:
ld_mode.h:37
ld_modet::ld_modet
ld_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Definition:
ld_mode.cpp:71
cout_message.h
ld_modet::ld_hybrid_binary
int ld_hybrid_binary(compilet &compiler)
Definition:
ld_mode.cpp:169
compile.h
gcc_message_handlert
Definition:
cout_message.h:65
ld_modet::doit
int doit() final
does it.
Definition:
ld_mode.cpp:78
ld_modet::goto_binary_tmp_suffix
const std::string goto_binary_tmp_suffix
Definition:
ld_mode.h:39
goto_cc_modet
Definition:
goto_cc_mode.h:21
compilet
Definition:
compile.h:25
goto_cc_mode.h
ld_modet::run_ld
int run_ld()
call ld with original command line
Definition:
ld_mode.cpp:148
goto_cc_cmdlinet
Definition:
goto_cc_cmdline.h:19
goto-cc
ld_mode.h
Generated by
1.8.16