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
virtual int doit()
does it.
Definition: as_mode.cpp:69
const bool produce_hybrid_binary
Definition: as_mode.h:34
int as_hybrid_binary()
Definition: as_mode.cpp:278
virtual void help_mode()
display command line help
Definition: as_mode.cpp:363
gcc_message_handlert message_handler
Definition: as_mode.h:33
as_modet(goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary)
Definition: as_mode.cpp:58
int run_as()
run as or as86 with original command line
Definition: as_mode.cpp:255
Command line interpretation for goto-cc.
const std::string native_tool_name
Definition: as_mode.h:35