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 #include <util/ui_message.h>
20 
24 
25 #include "jdiff_languages.h"
26 
27 class goto_modelt;
28 class optionst;
29 
30 // clang-format off
31 #define JDIFF_OPTIONS \
32  "(json-ui)" \
33  OPT_SHOW_GOTO_FUNCTIONS \
34  OPT_SHOW_PROPERTIES \
35  OPT_GOTO_CHECK \
36  "(cover):" \
37  "(verbosity):(version)" \
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);
51  int argc,
52  const char **argv,
53  const std::string &extra_options);
54 
55 protected:
58 
59  virtual void get_command_line_options(optionst &options);
60 
61  virtual int get_goto_program(
62  const optionst &options,
64  goto_modelt &goto_model);
65 
66  virtual bool
67  process_goto_program(const optionst &options, goto_modelt &goto_model);
68 
69  void preprocessing();
70 };
71 
72 #endif // CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
JDIFF Languages.
Show the goto functions.
jdiff_languagest languages2
Symbol Table + CFG.
ui_message_handlert ui_message_handler
virtual bool process_goto_program(const optionst &options, goto_modelt &goto_model)
Program Transformation.
virtual int doit()
invoke main modules
virtual int get_goto_program(const optionst &options, jdiff_languagest &languages, goto_modelt &goto_model)
virtual void get_command_line_options(optionst &options)
Emit timestamps.
Show the properties.
jdiff_parse_optionst(int argc, const char **argv)
languagest languages
Definition: mode.cpp:32
virtual void help()
display command line help