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
bool
parse_result
;
35
};
36
37
#endif // CPROVER_UTIL_PARSE_OPTIONS_H
parse_options_baset::doit
virtual int doit()=0
parse_options_baset::~parse_options_baset
virtual ~parse_options_baset()
Definition:
parse_options.h:31
parse_options_baset::help
virtual void help()
Definition:
parse_options.cpp:30
parse_options_baset::main
virtual int main()
Definition:
parse_options.cpp:40
cmdlinet
Definition:
cmdline.h:17
parse_options_baset::parse_result
bool parse_result
Definition:
parse_options.h:34
parse_options_baset::cmdline
cmdlinet cmdline
Definition:
parse_options.h:23
parse_options_baset::usage_error
virtual void usage_error()
Definition:
parse_options.cpp:34
cmdline.h
parse_options_baset
Definition:
parse_options.h:17
parse_options_baset::parse_options_baset
parse_options_baset(const std::string &optstring, int argc, const char **argv)
Definition:
parse_options.cpp:23
util
parse_options.h
Generated by
1.8.14