cprover
armcc_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Base class for command line interpretation for CL
4 
5 Author: CM Wintersteiger
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_ARMCC_MODE_H
15 #define CPROVER_GOTO_CC_ARMCC_MODE_H
16 
17 #include <util/cout_message.h>
18 
19 #include "goto_cc_mode.h"
20 #include "armcc_cmdline.h"
21 
23 {
24 public:
25  int doit() final;
26  void help_mode() final;
27 
29  armcc_cmdlinet &_armcc_cmdline,
30  const std::string &_base_name):
31  goto_cc_modet(_armcc_cmdline, _base_name, message_handler),
32  cmdline(_armcc_cmdline)
33  {
34  }
35 
36 protected:
39 };
40 
41 #endif // CPROVER_GOTO_CC_ARMCC_MODE_H
gcc_message_handlert message_handler
Definition: armcc_mode.h:38
armcc_cmdlinet & cmdline
Definition: armcc_mode.h:37
armcc_modet(armcc_cmdlinet &_armcc_cmdline, const std::string &_base_name)
Definition: armcc_mode.h:28
int doit() final
does it.
Definition: armcc_mode.cpp:32
Command line interpretation for goto-cc.
void help_mode() final
display command line help
Definition: armcc_mode.cpp:194
A special command line object to mimic ARM&#39;s armcc.