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:

[フレーム]

[legend]

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:

/home/runner/work/cbmc/cbmc/src/ansi-c/printf_formatter.h
/home/runner/work/cbmc/cbmc/src/ansi-c/printf_formatter.cpp