CBMC
Loading...
Searching...
No Matches
Classes | Public Member Functions | Public Attributes | Static Protected Member Functions | Static Protected Attributes | List of all members
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 ( statetstate,
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:

AltStyle によって変換されたページ (->オリジナル) /