cprover
goto_diff_parse_options.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: GOTO-DIFF Command Line Option Processing
4
5
Author: Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
13
#define CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
14
15
#include <
analyses/goto_check.h
>
16
17
#include <
util/ui_message.h
>
18
#include <
util/parse_options.h
>
19
#include <
util/timestamper.h
>
20
21
#include <
goto-programs/show_goto_functions.h
>
22
#include <
goto-programs/show_properties.h
>
23
24
#include <
goto-instrument/cover.h
>
25
26
class
goto_modelt
;
27
class
optionst
;
28
29
// clang-format off
30
#define GOTO_DIFF_OPTIONS \
31
"(json-ui)" \
32
OPT_SHOW_GOTO_FUNCTIONS \
33
OPT_SHOW_PROPERTIES \
34
OPT_GOTO_CHECK \
35
OPT_COVER \
36
"(verbosity):(version)" \
37
OPT_FLUSH \
38
OPT_TIMESTAMP \
39
"u(unified)(change-impact)(forward-impact)(backward-impact)" \
40
"(compact-output)"
41
// clang-format on
42
43
class
goto_diff_parse_optionst
:
public
parse_options_baset
44
{
45
public
:
46
int
doit
()
override
;
47
void
help
()
override
;
48
49
goto_diff_parse_optionst
(
int
argc,
const
char
**argv);
50
51
protected
:
52
void
register_languages
()
override
;
53
54
void
get_command_line_options
(
optionst
&options);
55
56
bool
process_goto_program
(
const
optionst
&options,
goto_modelt
&goto_model);
57
};
58
59
#endif // CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
cover.h
Coverage Instrumentation.
goto_diff_parse_optionst::process_goto_program
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
Definition:
goto_diff_parse_options.cpp:210
goto_diff_parse_optionst::doit
int doit() override
invoke main modules
Definition:
goto_diff_parse_options.cpp:120
parse_options_baset
Definition:
parse_options.h:20
optionst
Definition:
options.h:23
goto_diff_parse_optionst::help
void help() override
display command line help
Definition:
goto_diff_parse_options.cpp:257
goto_modelt
Definition:
goto_model.h:26
show_goto_functions.h
Show the goto functions.
goto_diff_parse_optionst::register_languages
void register_languages() override
Definition:
goto_diff_languages.cpp:19
goto_diff_parse_optionst
Definition:
goto_diff_parse_options.h:44
show_properties.h
Show the properties.
parse_options.h
goto_check.h
Program Transformation.
goto_diff_parse_optionst::goto_diff_parse_optionst
goto_diff_parse_optionst(int argc, const char **argv)
Definition:
goto_diff_parse_options.cpp:44
timestamper.h
Emit timestamps.
goto_diff_parse_optionst::get_command_line_options
void get_command_line_options(optionst &options)
Definition:
goto_diff_parse_options.cpp:53
ui_message.h
goto-diff
goto_diff_parse_options.h
Generated by
1.8.20