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:

• /home/runner/work/cbmc/cbmc/src/util/help_formatter.h
• /home/runner/work/cbmc/cbmc/src/util/help_formatter.cpp