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/parse_options.h>
18 #include <util/timestamper.h>
19 
22 
23 #include <goto-instrument/cover.h>
24 
25 class goto_modelt;
26 
27 // clang-format off
28 #define JDIFF_OPTIONS \
29  "(json-ui)" \
30  OPT_SHOW_GOTO_FUNCTIONS \
31  OPT_SHOW_PROPERTIES \
32  OPT_GOTO_CHECK \
33  OPT_COVER \
34  "(verbosity):(version)" \
35  "(no-lazy-methods)" /* should go away */ \
36  "(no-refine-strings)" /* should go away */ \
37  OPT_TIMESTAMP \
38  "u(unified)(change-impact)(forward-impact)(backward-impact)" \
39  "(compact-output)"
40 // clang-format on
41 
43 {
44 public:
45  int doit() override;
46  void help() override;
47 
48  jdiff_parse_optionst(int argc, const char **argv);
49 
50 protected:
51  void register_languages() override;
52 
53  void get_command_line_options(optionst &options);
54 
55  bool process_goto_program(const optionst &options, goto_modelt &goto_model);
56 };
57 
58 #endif // CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
jdiff_parse_optionst(int argc, const char **argv)
void register_languages() override
void help() override
display command line help
bool process_goto_program(const optionst &options, goto_modelt &goto_model)
void get_command_line_options(optionst &options)
int doit() override
invoke main modules
Coverage Instrumentation.
Program Transformation.
Show the goto functions.
Show the properties.
Emit timestamps.