memory_analyzer_parse_options.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Memory Analyzer
 
Author: Malte Mues <mail.mues@gmail.com>
        Daniel Poetzl
 
\*******************************************************************/
 
 
#ifndef CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H
#define CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H
 
#include <util/message.h>
#include <util/parse_options.h>
 
// clang-format off
#define MEMORY_ANALYZER_OPTIONS \
  "(version)" \
  "(json-ui)" \
  "(core-file):" \
  "(breakpoint):" \
  "(symbols):" \
  "(symtab-snapshot)" \
  "(output-file):"
// clang-format on
 
class memory_analyzer_parse_optionst : public parse_options_baset
{
public:
  memory_analyzer_parse_optionst(int argc, const char *argv[]);
 
  int doit() override;
  void help() override;
 
protected:
  messaget message;
 
  void register_languages() override;
};
 
#endif // CPROVER_MEMORY_ANALYZER_MEMORY_ANALYZER_PARSE_OPTIONS_H