cprover
jdiff_parse_options.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JDIFF Command Line Option Processing
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
13#define CPROVER_JDIFF_JDIFF_PARSE_OPTIONS_H
14
16
17#include <util/parse_options.h>
18#include <util/timestamper.h>
19
22
24
25class goto_modelt;
26
27// clang-format off
28#define JDIFF_OPTIONS \
29 "(json-ui)" \
30 OPT_SHOW_GOTO_FUNCTIONS \
31 OPT_SHOW_PROPERTIES \
32 "(show-loops)" \
33 OPT_GOTO_CHECK_JAVA \
34 OPT_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{
45public:
46 int doit() override;
47 void help() override;
48
49 jdiff_parse_optionst(int argc, const char **argv);
50
51protected:
52 void register_languages() override;
53
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(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.
Check for Errors in Java Programs.
Show the goto functions.
Show the properties.
Emit timestamps.