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
17
class
parse_options_baset
18
{
19
public
:
20
parse_options_baset
(
21
const
std::string &optstring,
int
argc,
const
char
**argv);
22
23
cmdlinet
cmdline
;
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
();
35
bool
parse_result
;
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
util
parse_options.h
Generated by
1.8.17