cprover
jdiff_parse_options.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: JDIFF Command Line Option Processing
4 
5 Author: Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
13 #define CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
14 
15 #include <analyses/goto_check.h>
16 
17 #include <util/options.h>
18 #include <util/parse_options.h>
19 #include <util/timestamper.h>
20 #include <util/ui_message.h>
21 
25 
26 class goto_modelt;
27 
28 // clang-format off
29 #define JDIFF_OPTIONS \
30  "(json-ui)" \
31  OPT_SHOW_GOTO_FUNCTIONS \
32  OPT_SHOW_PROPERTIES \
33  OPT_GOTO_CHECK \
34  "(cover):" \
35  "(verbosity):(version)" \
36  "(no-lazy-methods)" /* should go away */ \
37  "(no-refine-strings)" /* should go away */ \
38  OPT_TIMESTAMP \
39  "u(unified)(change-impact)(forward-impact)(backward-impact)" \
40  "(compact-output)"
41 // clang-format on
42 
44 {
45 public:
46  virtual int doit();
47  virtual void help();
48 
49  jdiff_parse_optionst(int argc, const char **argv);
50 
51 protected:
52  void register_languages();
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_JDIFF_JDIFF_PARSE_OPTIONS_H
jdiff_parse_optionst::doit
virtual int doit()
invoke main modules
Definition: jdiff_parse_options.cpp:177
jdiff_parse_optionst::get_command_line_options
void get_command_line_options(optionst &options)
Definition: jdiff_parse_options.cpp:73
parse_options_baset
Definition: parse_options.h:20
optionst
Definition: options.h:23
jdiff_parse_optionst
Definition: jdiff_parse_options.h:44
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition: goto_model.h:26
show_goto_functions.h
Show the goto functions.
options.h
Options.
show_properties.h
Show the properties.
jdiff_parse_optionst::help
virtual void help()
display command line help
Definition: jdiff_parse_options.cpp:343
parse_options.h
goto_check.h
Program Transformation.
jdiff_parse_optionst::jdiff_parse_optionst
jdiff_parse_optionst(int argc, const char **argv)
Definition: jdiff_parse_options.cpp:64
jdiff_parse_optionst::register_languages
void register_languages()
Definition: jdiff_languages.cpp:18
jdiff_parse_optionst::process_goto_program
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
Definition: jdiff_parse_options.cpp:268
timestamper.h
Emit timestamps.
ui_message.h