CBMC
bcc_cmdline.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: A special command line object for Bruce's C Compiler
4 
5 Author: Michael Tautschnig
6 
7 Date: July 2016
8 
9 \*******************************************************************/
10 
14 
15 #ifndef CPROVER_GOTO_CC_BCC_CMDLINE_H
16 #define CPROVER_GOTO_CC_BCC_CMDLINE_H
17 
18 #include "goto_cc_cmdline.h"
19 
20 class bcc_cmdlinet:public goto_cc_cmdlinet
21 {
22 public:
23  // overload
24  virtual bool parse(int, const char**);
25 
26  bcc_cmdlinet()
27  {
28  }
29 };
30 
31 #endif // CPROVER_GOTO_CC_BCC_CMDLINE_H
bcc_cmdlinet
Definition: bcc_cmdline.h:21
bcc_cmdlinet::bcc_cmdlinet
bcc_cmdlinet()
Definition: bcc_cmdline.h:26
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.