cprover
Loading...
Searching...
No Matches
help_formattert Class Reference

#include <help_formatter.h>

Collaboration diagram for help_formattert:

Classes

struct  statet

Public Member Functions

 help_formattert (const std::string &_s)
void operator() (std::ostream &) const

Public Attributes

const std::string & s

Static Protected Member Functions

static void emit_word (statet &, std::ostream &)

Static Protected Attributes

static const std::size_t first_column_width = 29

Detailed Description

Definition at line 18 of file help_formatter.h.

Constructor & Destructor Documentation

◆ help_formattert()

help_formattert::help_formattert ( const std::string & _s)
inlineexplicit

Definition at line 21 of file help_formatter.h.

Member Function Documentation

◆ emit_word()

void help_formattert::emit_word ( statet & state,
std::ostream & out )
staticprotected

Definition at line 15 of file help_formatter.cpp.

◆ operator()()

void help_formattert::operator() ( std::ostream & out) const

Definition at line 32 of file help_formatter.cpp.

Member Data Documentation

◆ first_column_width

const std::size_t help_formattert::first_column_width = 29
staticprotected

Definition at line 37 of file help_formatter.h.

◆ s

const std::string& help_formattert::s

Definition at line 25 of file help_formatter.h.


The documentation for this class was generated from the following files: