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/goto_model.h
>
22
#include <
goto-programs/show_goto_functions.h
>
23
#include <
goto-programs/show_properties.h
>
24
25
#include "
goto_diff_languages.h
"
26
27
class
goto_modelt
;
28
class
optionst
;
29
30
// clang-format off
31
#define GOTO_DIFF_OPTIONS \
32
"(json-ui)" \
33
OPT_SHOW_GOTO_FUNCTIONS \
34
OPT_SHOW_PROPERTIES \
35
OPT_GOTO_CHECK \
36
"(cover):" \
37
"(verbosity):(version)" \
38
OPT_FLUSH \
39
OPT_TIMESTAMP \
40
"u(unified)(change-impact)(forward-impact)(backward-impact)" \
41
"(compact-output)"
42
// clang-format on
43
44
class
goto_diff_parse_optionst
:
45
public
parse_options_baset
,
46
public
goto_diff_languagest
47
{
48
public
:
49
virtual
int
doit
();
50
virtual
void
help
();
51
52
goto_diff_parse_optionst
(
int
argc,
const
char
**argv);
53
goto_diff_parse_optionst
(
54
int
argc,
55
const
char
**argv,
56
const
std::string &extra_options);
57
58
protected
:
59
ui_message_handlert
ui_message_handler
;
60
goto_diff_languagest
languages2
;
61
62
virtual
void
get_command_line_options
(
optionst
&
options
);
63
64
virtual
int
get_goto_program
(
65
const
optionst
&
options
,
66
goto_diff_languagest
&
languages
,
67
goto_modelt
&goto_model);
68
69
virtual
bool
process_goto_program
(
70
const
optionst
&
options
,
71
goto_modelt
&goto_model);
72
73
void
preprocessing
();
74
};
75
76
#endif // CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
goto_diff_parse_optionst::process_goto_program
virtual bool process_goto_program(const optionst &options, goto_modelt &goto_model)
Definition:
goto_diff_parse_options.cpp:385
parse_options_baset
Definition:
parse_options.h:17
ui_message_handlert
Definition:
ui_message.h:19
optionst
Definition:
options.h:22
goto_model.h
goto_modelt
Definition:
goto_model.h:24
show_goto_functions.h
goto_diff_languages.h
goto_diff_parse_optionst::languages2
goto_diff_languagest languages2
Definition:
goto_diff_parse_options.h:60
language_uit::options
optionst * options
Definition:
language_ui.h:57
goto_diff_parse_optionst::get_goto_program
virtual int get_goto_program(const optionst &options, goto_diff_languagest &languages, goto_modelt &goto_model)
Definition:
goto_diff_parse_options.cpp:326
goto_diff_parse_optionst
Definition:
goto_diff_parse_options.h:44
goto_diff_parse_optionst::help
virtual void help()
display command line help
Definition:
goto_diff_parse_options.cpp:482
show_properties.h
parse_options.h
goto_check.h
goto_diff_parse_optionst::doit
virtual int doit()
invoke main modules
Definition:
goto_diff_parse_options.cpp:225
goto_diff_parse_optionst::preprocessing
void preprocessing()
goto_diff_parse_optionst::goto_diff_parse_optionst
goto_diff_parse_optionst(int argc, const char **argv)
Definition:
goto_diff_parse_options.cpp:63
goto_diff_parse_optionst::ui_message_handler
ui_message_handlert ui_message_handler
Definition:
goto_diff_parse_options.h:59
timestamper.h
Emit timestamps.
languages
languagest languages
Definition:
mode.cpp:32
goto_diff_languagest
Definition:
goto_diff_languages.h:18
goto_diff_parse_optionst::get_command_line_options
virtual void get_command_line_options(optionst &options)
Definition:
goto_diff_parse_options.cpp:82
ui_message.h
goto-diff
goto_diff_parse_options.h
Generated by
1.8.16