cprover
Loading...
Searching...
No Matches
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 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 exprt & src,
const typet & dest )
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: