crangler_parse_options.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: CRANGLER Command Line Option Processing
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_CRANGLER_CRANGLER_PARSE_OPTIONS_H
#define CPROVER_CRANGLER_CRANGLER_PARSE_OPTIONS_H
 
#include <util/parse_options.h>
 
class crangler_parse_optionst : public parse_options_baset
{
public:
  int doit() override;
  void help() override;
 
  crangler_parse_optionst(int argc, const char **argv)
    : parse_options_baset("", argc, argv, "CRANGLER")
  {
  }
  crangler_parse_optionst(int argc, const char **argv) {…}
 
protected:
  void process_crangler_json(const std::string &file_name);
};
class crangler_parse_optionst : public parse_options_baset {…};
 
#endif // CPROVER_CRANGLER_CRANGLER_PARSE_OPTIONS_H