cprover
memory_analyzer_parse_options.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Memory Analyzer
4 
5 Author: Malte Mues <mail.mues@gmail.com>
6  Daniel Poetzl
7 
8 \*******************************************************************/
9 
12 
13 #ifndef CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H
14 #define CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H
15 
16 #include <util/parse_options.h>
17 #include <util/ui_message.h>
18 
19 // clang-format off
20 #define MEMORY_ANALYZER_OPTIONS \
21  "(version)" \
22  "(json-ui)" \
23  "(core-file):" \
24  "(breakpoint):" \
25  "(symbols):" \
26  "(symtab-snapshot)" \
27  "(output-file):"
28 // clang-format on
29 
31 {
32 public:
33  memory_analyzer_parse_optionst(int argc, const char *argv[]);
34 
35  int doit() override;
36  void help() override;
37 
38 protected:
40 };
41 
42 #endif // CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
parse_options_baset
Definition: parse_options.h:20
memory_analyzer_parse_optionst::message
messaget message
Definition: memory_analyzer_parse_options.h:39
memory_analyzer_parse_optionst
Definition: memory_analyzer_parse_options.h:31
parse_options.h
memory_analyzer_parse_optionst::doit
int doit() override
Definition: memory_analyzer_parse_options.cpp:46
memory_analyzer_parse_optionst::memory_analyzer_parse_optionst
memory_analyzer_parse_optionst(int argc, const char *argv[])
Definition: memory_analyzer_parse_options.cpp:34
memory_analyzer_parse_optionst::help
void help() override
Definition: memory_analyzer_parse_options.cpp:167
ui_message.h