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:
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