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 <util/ui_message.h>
16 #include <util/parse_options.h>
17 
18 #include <langapi/language_ui.h>
19 
22 
23 #include "goto_diff_languages.h"
24 
25 class goto_modelt;
26 class optionst;
27 
28 #define GOTO_DIFF_OPTIONS \
29  "(json-ui)" \
30  OPT_SHOW_GOTO_FUNCTIONS \
31  "(verbosity):(version)" \
32  "u(unified)(change-impact)(forward-impact)(backward-impact)" \
33  "(compact-output)"
34 
36  public parse_options_baset,
38 {
39 public:
40  virtual int doit();
41  virtual void help();
42 
43  goto_diff_parse_optionst(int argc, const char **argv);
45  int argc,
46  const char **argv,
47  const std::string &extra_options);
48 
49 protected:
52 
53  virtual void get_command_line_options(optionst &options);
54 
55  virtual int get_goto_program(
56  const optionst &options,
58  goto_modelt &goto_model);
59 
60  virtual bool process_goto_program(
61  const optionst &options,
62  goto_modelt &goto_model);
63 
64  void eval_verbosity();
65 
66  void preprocessing();
67 };
68 
69 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H
virtual int get_goto_program(const optionst &options, goto_diff_languagest &languages, goto_modelt &goto_model)
Show the goto functions.
goto_diff_languagest languages2
virtual void help()
display command line help
Symbol Table + CFG.
virtual int doit()
invoke main modules
virtual void get_command_line_options(optionst &options)
virtual bool process_goto_program(const optionst &options, goto_modelt &goto_model)
GOTO-DIFF Languages.
ui_message_handlert ui_message_handler
languagest languages
Definition: mode.cpp:29
goto_diff_parse_optionst(int argc, const char **argv)