cprover
parse_options.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_PARSE_OPTIONS_H
11 #define CPROVER_UTIL_PARSE_OPTIONS_H
12 
13 #include <string>
14 
15 #include "cmdline.h"
16 
18 {
19 public:
21  const std::string &optstring, int argc, const char **argv);
22 
24 
25  virtual void help();
26  virtual void usage_error();
27 
28  virtual int doit()=0;
29 
30  virtual int main();
31  virtual ~parse_options_baset() { }
32 
33 private:
34  void unknown_option_msg();
36 };
37 
38 std::string
39 banner_string(const std::string &front_end, const std::string &version);
40 
41 #endif // CPROVER_UTIL_PARSE_OPTIONS_H
virtual int doit()=0
virtual ~parse_options_baset()
Definition: parse_options.h:31
virtual void help()
virtual int main()
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line...
std::string banner_string(const std::string &front_end, const std::string &version)
virtual void usage_error()
parse_options_baset(const std::string &optstring, int argc, const char **argv)