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
parse_options_baset
Definition: parse_options.h:17
parse_options_baset::unknown_option_msg
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
Definition: parse_options.cpp:44
banner_string
std::string banner_string(const std::string &front_end, const std::string &version)
Definition: parse_options.cpp:87
parse_options_baset::parse_options_baset
parse_options_baset(const std::string &optstring, int argc, const char **argv)
Definition: parse_options.cpp:25
parse_options_baset::usage_error
virtual void usage_error()
Definition: parse_options.cpp:36
cmdlinet
Definition: cmdline.h:19
parse_options_baset::main
virtual int main()
Definition: parse_options.cpp:50
cmdline.h
parse_options_baset::doit
virtual int doit()=0
parse_options_baset::help
virtual void help()
Definition: parse_options.cpp:32
parse_options_baset::parse_result
bool parse_result
Definition: parse_options.h:35
parse_options_baset::cmdline
cmdlinet cmdline
Definition: parse_options.h:23
parse_options_baset::~parse_options_baset
virtual ~parse_options_baset()
Definition: parse_options.h:31