CBMC
ld_cmdline.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: A special command line object for the ld-like options
4 
5 Author: Daniel Kroening
6 
7 Date: Feb 2013
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_LD_CMDLINE_H
15 #define CPROVER_GOTO_CC_LD_CMDLINE_H
16 
17 #include "goto_cc_cmdline.h"
18 
19 class ld_cmdlinet:public goto_cc_cmdlinet
20 {
21 public:
22  // overload
23  virtual bool parse(int, const char**);
24 
25  ld_cmdlinet()
26  {
27  }
28 };
29 
30 #endif // CPROVER_GOTO_CC_LD_CMDLINE_H
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:163
ld_cmdlinet
Definition: ld_cmdline.h:20
ld_cmdlinet::ld_cmdlinet
ld_cmdlinet()
Definition: ld_cmdline.h:25
goto_cc_cmdline.h
Command line interpretation for goto-cc.