cprover
as_mode.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Assembler Mode
4
5
Author: Michael Tautschnig
6
7
Date: July 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_CC_AS_MODE_H
15
#define CPROVER_GOTO_CC_AS_MODE_H
16
17
#include <
util/cout_message.h
>
18
19
#include "
goto_cc_mode.h
"
20
21
class
as_modet
:
public
goto_cc_modet
22
{
23
public
:
24
virtual
int
doit
();
25
virtual
void
help_mode
();
26
27
as_modet
(
28
goto_cc_cmdlinet
&_cmdline,
29
const
std::string &_base_name,
30
bool
_produce_hybrid_binary);
31
32
protected
:
33
gcc_message_handlert
message_handler
;
34
const
bool
produce_hybrid_binary
;
35
const
std::string
native_tool_name
;
36
37
int
run_as
();
// call as with original command line
38
39
int
as_hybrid_binary
();
40
};
41
42
#endif // CPROVER_GOTO_CC_AS_MODE_H
as_modet::native_tool_name
const std::string native_tool_name
Definition:
as_mode.h:35
as_modet
Definition:
as_mode.h:21
as_modet::run_as
int run_as()
run as or as86 with original command line
Definition:
as_mode.cpp:250
cout_message.h
gcc_message_handlert
Definition:
cout_message.h:65
as_modet::as_hybrid_binary
int as_hybrid_binary()
Definition:
as_mode.cpp:273
as_modet::as_modet
as_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary)
Definition:
as_mode.cpp:57
as_modet::message_handler
gcc_message_handlert message_handler
Definition:
as_mode.h:33
as_modet::produce_hybrid_binary
const bool produce_hybrid_binary
Definition:
as_mode.h:34
as_modet::help_mode
virtual void help_mode()
display command line help
Definition:
as_mode.cpp:377
goto_cc_modet
Definition:
goto_cc_mode.h:21
goto_cc_mode.h
as_modet::doit
virtual int doit()
does it.
Definition:
as_mode.cpp:68
goto_cc_cmdlinet
Definition:
goto_cc_cmdline.h:19
goto-cc
as_mode.h
Generated by
1.8.16