help_formatter.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Help Formatter
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_HELP_FORMATTER_H
#define CPROVER_UTIL_HELP_FORMATTER_H
 
#include <iosfwd>
#include <string>
 
class help_formattert
{
public:
  explicit help_formattert(const std::string &_s) : s(_s)
  {
  }
  explicit help_formattert(const std::string &_s) : s(_s) {…}
 
  const std::string &s;
  void operator()(std::ostream &) const;
 
protected:
  struct statet
  {
    std::size_t column = 0;
    bool aligning = false;
    std::string word = "";
  };
  struct statet {…};
 
  static void emit_word(statet &, std::ostream &);
  static const std::size_t first_column_width = 29;
};
class help_formattert {…};
 
static inline help_formattert help_formatter(const std::string &s)
{
  return help_formattert(s);
}
static inline help_formattert help_formatter(const std::string &s) {…}
 
static inline std::ostream &
operator<<(std::ostream &out, const help_formattert &h)
{
  h(out);
  return out;
}
static inline std::ostream & {…}
 
#endif // CPROVER_UTIL_HELP_FORMATTER_H