CBMC
Loading...
Searching...
No Matches
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 ()
 
 

Protected Member Functions

bool  eol () const
 
char  next ()
 
void  process_char (std::ostream &out)
 
void  process_format (std::ostream &out)
 
 

Protected Attributes

 
std::string  format
 
std::list< exprtoperands
 
std::list< exprt >::const_iterator  next_operand
 
 

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 27 of file printf_formatter.h.

Member Function Documentation

◆  as_string()

std::string printf_formattert::as_string ( )

Definition at line 54 of file printf_formatter.cpp.

◆  eol()

bool printf_formattert::eol ( ) const
inlineprotected

Definition at line 37 of file printf_formatter.h.

◆  make_type()

const exprt printf_formattert::make_type ( const exprtsrc,
const typetdest 
)
protected

Definition at line 23 of file printf_formatter.cpp.

◆  next()

char printf_formattert::next ( )
inlineprotected

Definition at line 46 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 314 of file printf_formatter.cpp.

◆  process_format()

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

Definition at line 61 of file printf_formatter.cpp.

Member Data Documentation

◆  format

std::string printf_formattert::format
protected

Definition at line 33 of file printf_formatter.h.

◆  format_pos

unsigned printf_formattert::format_pos
protected

Definition at line 36 of file printf_formatter.h.

◆  next_operand

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

Definition at line 35 of file printf_formatter.h.

◆  ns

const namespacet& printf_formattert::ns
protected

Definition at line 32 of file printf_formatter.h.

◆  operands

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

Definition at line 34 of file printf_formatter.h.


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

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