cprover
symtab2gb_parse_options.h
Go to the documentation of this file.
1
/******************************************************************\
2
3
Module: symtab2gb_parse_options
4
5
Author: Diffblue Ltd.
6
7
\******************************************************************/
8
9
#ifndef CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
10
#define CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
11
12
#include <
util/parse_options.h
>
13
14
#define SYMTAB2GB_OUT_FILE_OPT "out"
15
16
// clang-format off
17
18
#define SYMTAB2GB_OPTIONS \
19
"("
SYMTAB2GB_OUT_FILE_OPT "):" \
20
// end options
21
22
// clang-format on
23
24
class
symtab2gb_parse_optionst
:
public
parse_options_baset
25
{
26
public
:
27
symtab2gb_parse_optionst
(
int
argc,
const
char
*argv[]);
28
void
help
()
override
;
29
int
doit
()
override
;
30
31
protected
:
32
void
register_languages
()
override
;
33
};
34
35
#endif
// CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
parse_options_baset
Definition:
parse_options.h:20
symtab2gb_parse_optionst
Definition:
symtab2gb_parse_options.h:25
symtab2gb_parse_optionst::symtab2gb_parse_optionst
symtab2gb_parse_optionst(int argc, const char *argv[])
Definition:
symtab2gb_parse_options.cpp:31
symtab2gb_parse_optionst::help
void help() override
Definition:
symtab2gb_parse_options.cpp:141
symtab2gb_parse_optionst::doit
int doit() override
Definition:
symtab2gb_parse_options.cpp:117
symtab2gb_parse_optionst::register_languages
void register_languages() override
Definition:
symtab2gb_parse_options.cpp:108
parse_options.h
symtab2gb
symtab2gb_parse_options.h
Generated by
1.9.1