format_elementt Class Reference

#include <format_specifier.h>

Collaboration diagram for format_elementt:

Public Types
enum	format_typet { SPECIFIER, TEXT }

Public Member Functions
	format_elementt (format_typet _type)
	format_elementt (std::string s)
	format_elementt (format_specifiert fs)
bool	is_format_specifier () const
bool	is_format_text () const
format_specifiert	get_format_specifier () const
format_textt &	get_format_text ()
const format_textt &	get_format_text () const

Private Attributes
format_typet	type
format_textt	fstring
std::vector< format_specifiert >	fspec

Detailed Description

Definition at line 99 of file format_specifier.h.

Member Enumeration Documentation

format_typet

enum format_elementt::format_typet

Enumerator
SPECIFIER
TEXT

Definition at line 102 of file format_specifier.h.

Constructor & Destructor Documentation

format_elementt() [1/3]

format_elementt::format_elementt ( format_typet  _type )

inlineexplicit

Definition at line 108 of file format_specifier.h.

format_elementt() [2/3]

format_elementt::format_elementt ( std::string  s )

inlineexplicit

Definition at line 112 of file format_specifier.h.

format_elementt() [3/3]

format_elementt::format_elementt ( format_specifiert  fs )

inlineexplicit

Definition at line 116 of file format_specifier.h.

Member Function Documentation

get_format_specifier()

format_specifiert format_elementt::get_format_specifier ( ) const

inline

Definition at line 131 of file format_specifier.h.

get_format_text() [1/2]

format_textt& format_elementt::get_format_text ( )

inline

Definition at line 137 of file format_specifier.h.

get_format_text() [2/2]

const format_textt& format_elementt::get_format_text ( ) const

inline

Definition at line 143 of file format_specifier.h.

is_format_specifier()

bool format_elementt::is_format_specifier ( ) const

inline

Definition at line 121 of file format_specifier.h.

is_format_text()

bool format_elementt::is_format_text ( ) const

inline

Definition at line 126 of file format_specifier.h.

Member Data Documentation

fspec

std::vector<format_specifiert> format_elementt::fspec

private

Definition at line 152 of file format_specifier.h.

fstring

format_textt format_elementt::fstring

private

Definition at line 151 of file format_specifier.h.

type

format_typet format_elementt::type

private

Definition at line 150 of file format_specifier.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/strings/format_specifier.h