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 std::string help_entry(
62  const std::string &option,
63  const std::string &description,
64  const std::size_t left_margin = 30,
65  const std::size_t width = 80);
66 
67 #endif // CPROVER_UTIL_PARSE_OPTIONS_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
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:55
banner_string
std::string banner_string(const std::string &front_end, const std::string &version)
Definition: parse_options.cpp:163
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:150
parse_options_baset::usage_error
virtual void usage_error()
Definition: parse_options.cpp:47
message.h
cmdlinet
Definition: cmdline.h:21
help_entry
std::string help_entry(const std::string &option, const std::string &description, const std::size_t left_margin=30, const std::size_t width=80)
Definition: parse_options.cpp:172
parse_options_baset::main
virtual int main()
Definition: parse_options.cpp:76
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:29
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:43
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