cprover
Loading...
Searching...
No Matches
as_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Assembler Mode
4
5Author: Michael Tautschnig
6
7Date: 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 "gcc_message_handler.h"
18#include "goto_cc_mode.h"
19
20class compilet;
21
23{
24public:
25 virtual int doit();
26 virtual void help_mode();
27
29 goto_cc_cmdlinet &_cmdline,
30 const std::string &_base_name,
31 bool _produce_hybrid_binary);
32
33protected:
36 const std::string native_tool_name;
37
38 int run_as(); // call as with original command line
39
40 int as_hybrid_binary(const compilet &compiler);
41};
42
43#endif // CPROVER_GOTO_CC_AS_MODE_H
int run_as()
run as or as86 with original command line
Definition: as_mode.cpp:261
virtual void help_mode()
display command line help
Definition: as_mode.cpp:330
virtual int doit()
does it.
Definition: as_mode.cpp:70
const bool produce_hybrid_binary
Definition: as_mode.h:35
const std::string native_tool_name
Definition: as_mode.h:36
int as_hybrid_binary(const compilet &compiler)
Definition: as_mode.cpp:284
gcc_message_handlert message_handler
Definition: as_mode.h:34
Command line interpretation for goto-cc.