cprover
|
#include <printf_formatter.h>
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 |
Definition at line 18 of file printf_formatter.h.
|
inlineexplicit |
Definition at line 28 of file printf_formatter.h.
std::string printf_formattert::as_string | ( | ) |
|
inlineprotected |
Definition at line 38 of file printf_formatter.h.
Definition at line 21 of file printf_formatter.cpp.
References exprt::make_typecast(), ns, simplify(), and exprt::type().
Referenced by next(), and process_format().
|
inlineprotected |
Definition at line 42 of file printf_formatter.h.
References eol(), make_type(), process_char(), and process_format().
Referenced by process_char(), and process_format().
void printf_formattert::operator() | ( | const std::string & | format, |
const std::list< exprt > & | _operands | ||
) |
Definition at line 32 of file printf_formatter.cpp.
void printf_formattert::print | ( | std::ostream & | out | ) |
Definition at line 40 of file printf_formatter.cpp.
References eol(), format_pos, next_operand, operands, and process_char().
Referenced by as_string(), and show_goto_trace().
|
protected |
Definition at line 182 of file printf_formatter.cpp.
References next(), and process_format().
|
protected |
Definition at line 62 of file printf_formatter.cpp.
References format_spect::AUTOMATIC, format_spect::DECIMAL, double_type(), irept::id(), make_type(), format_spect::min_width, next(), next_operand, exprt::op0(), operands, exprt::operands(), format_spect::precision, format_spect::SCIENTIFIC, signed_int_type(), signed_long_int_type(), format_spect::style, unsigned_int_type(), unsigned_long_int_type(), and format_spect::zero_padding.
Referenced by next(), and process_char().
|
protected |
Definition at line 34 of file printf_formatter.h.
Referenced by operator()().
|
protected |
Definition at line 37 of file printf_formatter.h.
Referenced by print().
|
protected |
Definition at line 36 of file printf_formatter.h.
Referenced by print(), and process_format().
|
protected |
Definition at line 33 of file printf_formatter.h.
Referenced by make_type().
|
protected |
Definition at line 35 of file printf_formatter.h.
Referenced by operator()(), print(), and process_format().