CBMC
Classes | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
printf_formattert Class Reference

#include <printf_formatter.h>

+ Collaboration diagram for printf_formattert:

Classes

class  eol_exceptiont
 

Public Member Functions

void operator() (const std::string &format, const std::list< exprt > &_operands)
 
void print (std::ostream &out)
 
std::string as_string ()
 
 printf_formattert (const namespacet &_ns)
 

Protected Member Functions

bool eol () const
 
char next ()
 
void process_char (std::ostream &out)
 
void process_format (std::ostream &out)
 
const exprt make_type (const exprt &src, const typet &dest)
 

Protected Attributes

const namespacet & ns
 
std::string format
 
std::list< exprt > operands
 
std::list< exprt >::const_iterator next_operand
 
unsigned format_pos
 

Detailed Description

Definition at line 19 of file printf_formatter.h.

Constructor & Destructor Documentation

◆ printf_formattert()

printf_formattert::printf_formattert ( const namespacet &  _ns)
inlineexplicit

Definition at line 29 of file printf_formatter.h.

Member Function Documentation

◆ as_string()

std::string printf_formattert::as_string ( )

Definition at line 53 of file printf_formatter.cpp.

◆ eol()

bool printf_formattert::eol ( ) const
inlineprotected

Definition at line 41 of file printf_formatter.h.

◆ make_type()

const exprt printf_formattert::make_type ( const exprt &  src,
const typet &  dest 
)
protected

Definition at line 22 of file printf_formatter.cpp.

◆ next()

char printf_formattert::next ( )
inlineprotected

Definition at line 45 of file printf_formatter.h.

◆ operator()()

void printf_formattert::operator() ( const std::string &  format,
const std::list< exprt > &  _operands 
)

Definition at line 30 of file printf_formatter.cpp.

◆ print()

void printf_formattert::print ( std::ostream &  out)

Definition at line 38 of file printf_formatter.cpp.

◆ process_char()

void printf_formattert::process_char ( std::ostream &  out)
protected

Definition at line 183 of file printf_formatter.cpp.

◆ process_format()

void printf_formattert::process_format ( std::ostream &  out)
protected

Definition at line 60 of file printf_formatter.cpp.

Member Data Documentation

◆ format

std::string printf_formattert::format
protected

Definition at line 37 of file printf_formatter.h.

◆ format_pos

unsigned printf_formattert::format_pos
protected

Definition at line 40 of file printf_formatter.h.

◆ next_operand

std::list<exprt>::const_iterator printf_formattert::next_operand
protected

Definition at line 39 of file printf_formatter.h.

◆ ns

const namespacet& printf_formattert::ns
protected

Definition at line 36 of file printf_formatter.h.

◆ operands

std::list<exprt> printf_formattert::operands
protected

Definition at line 38 of file printf_formatter.h.

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