cprover
Loading...
Searching...
No Matches
armcc_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Base class for command line interpretation for CL
4
5Author: CM Wintersteiger
6
7Date: 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 "armcc_cmdline.h"
18#include "gcc_message_handler.h"
19#include "goto_cc_mode.h"
20
22{
23public:
24 int doit() final;
25 void help_mode() final;
26
34
35protected:
38};
39
40#endif // CPROVER_GOTO_CC_ARMCC_MODE_H
A special command line object to mimic ARM's armcc.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563
armcc_modet(armcc_cmdlinet &_armcc_cmdline, const std::string &_base_name)
Definition armcc_mode.h:27
gcc_message_handlert message_handler
Definition armcc_mode.h:37
int doit() final
does it.
armcc_cmdlinet & cmdline
Definition armcc_mode.h:36
void help_mode() final
display command line help
Command line interpretation for goto-cc.