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 #include "message.h"
17 #include "ui_message.h"
18 
20 {
21 public:
23  const std::string &optstring,
24  int argc,
25  const char **argv,
26  const std::string &program);
27 
29 
30  virtual void help();
31  virtual void usage_error();
32 
33  virtual int doit()=0;
34 
35  virtual int main();
36  virtual ~parse_options_baset() { }
37 
38 private:
40 
41 protected:
44 
45 private:
46  void unknown_option_msg();
47 };
48 
49 std::string
50 banner_string(const std::string &front_end, const std::string &version);
51 
59 std::string align_center_with_border(const std::string &text);
60 
61 #endif // CPROVER_UTIL_PARSE_OPTIONS_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:152
parse_options_baset::ui_message_handler
ui_message_handlert ui_message_handler
Definition: parse_options.h:42
parse_options_baset
Definition: parse_options.h:20
ui_message_handlert
Definition: ui_message.h:20
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:53
banner_string
std::string banner_string(const std::string &front_end, const std::string &version)
Definition: parse_options.cpp:146
align_center_with_border
std::string align_center_with_border(const std::string &text)
Utility for displaying help centered messages borderered by "* *".
Definition: parse_options.cpp:133
parse_options_baset::usage_error
virtual void usage_error()
Definition: parse_options.cpp:45
message.h
cmdlinet
Definition: cmdline.h:21
parse_options_baset::main
virtual int main()
Definition: parse_options.cpp:59
parse_options_baset::parse_options_baset
parse_options_baset(const std::string &optstring, int argc, const char **argv, const std::string &program)
Definition: parse_options.cpp:27
parse_options_baset::log
messaget log
Definition: parse_options.h:43
cmdline.h
parse_options_baset::doit
virtual int doit()=0
parse_options_baset::help
virtual void help()
Definition: parse_options.cpp:41
parse_options_baset::parse_result
bool parse_result
Definition: parse_options.h:39
parse_options_baset::cmdline
cmdlinet cmdline
Definition: parse_options.h:28
parse_options_baset::~parse_options_baset
virtual ~parse_options_baset()
Definition: parse_options.h:36
ui_message.h