CBMC
armcc_cmdline.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: A special command line object to mimic ARM's armcc
4 
5 Author: Daniel Kroening
6 
7 Date: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_ARMCC_CMDLINE_H
15 #define CPROVER_GOTO_CC_ARMCC_CMDLINE_H
16 
17 #include "goto_cc_cmdline.h"
18 
19 class armcc_cmdlinet:public goto_cc_cmdlinet
20 {
21 public:
22  virtual bool parse(int, const char**);
23 
24  armcc_cmdlinet()
25  {
26  }
27 };
28 
29 #endif // CPROVER_GOTO_CC_ARMCC_CMDLINE_H
armcc_cmdlinet
Definition: armcc_cmdline.h:20
armcc_cmdlinet::armcc_cmdlinet
armcc_cmdlinet()
Definition: armcc_cmdline.h:24
goto_cc_cmdlinet
Definition: goto_cc_cmdline.h:20
goto_cc_cmdlinet::parse
virtual bool parse(int argc, const char **argv, const char *optstring)
Parses a commandline according to a specification given in optstring.
Definition: cmdline.cpp:153
goto_cc_cmdline.h
Command line interpretation for goto-cc.