parse_options.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_PARSE_OPTIONS_H
#define CPROVER_UTIL_PARSE_OPTIONS_H
 
#include <string>
 
#include "cmdline.h"
#include "message.h"
#include "ui_message.h"
 
class parse_options_baset
{
public:
  parse_options_baset(
    const std::string &optstring,
    int argc,
    const char **argv,
    const std::string &program);
 
  cmdlinet cmdline;
 
  virtual void help();
  virtual void usage_error();
 
  virtual int doit()=0;
 
  virtual int main();
  virtual ~parse_options_baset() { }
 
  void log_version_and_architecture(const std::string &front_end);
 
private:
  bool parse_result;
 
protected:
  ui_message_handlert ui_message_handler;
  messaget log;
 
  virtual void register_languages()
  {
  }
 
private:
  void unknown_option_msg();
};
 
std::string
banner_string(const std::string &front_end, const std::string &version);
 
std::string align_center_with_border(const std::string &text);
 
std::string help_entry(
  const std::string &option,
  const std::string &description,
  const std::size_t left_margin = 30,
  const std::size_t width = 80);
 
#endif // CPROVER_UTIL_PARSE_OPTIONS_H