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 
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 
45  public parse_options_baset,
47 {
48 public:
49  virtual int doit();
50  virtual void help();
51 
52  goto_diff_parse_optionst(int argc, const char **argv);
54  int argc,
55  const char **argv,
56  const std::string &extra_options);
57 
58 protected:
61 
63 
64  virtual int get_goto_program(
65  const optionst &options,
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