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