cprover
format_elementt Class Reference
+ 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_texttget_format_text ()
 
const format_texttget_format_text () const
 

Private Attributes

format_typet type
 
format_textt fstring
 
std::vector< format_specifiertfspec
 

Detailed Description

Definition at line 95 of file string_constraint_generator_format.cpp.

Member Enumeration Documentation

◆ format_typet

Enumerator
SPECIFIER 
TEXT 

Definition at line 98 of file string_constraint_generator_format.cpp.

Constructor & Destructor Documentation

◆ format_elementt() [1/3]

format_elementt::format_elementt ( format_typet  _type)
inlineexplicit

Definition at line 100 of file string_constraint_generator_format.cpp.

◆ format_elementt() [2/3]

format_elementt::format_elementt ( std::string  s)
inlineexplicit

Definition at line 104 of file string_constraint_generator_format.cpp.

◆ format_elementt() [3/3]

format_elementt::format_elementt ( format_specifiert  fs)
inlineexplicit

Definition at line 108 of file string_constraint_generator_format.cpp.

Member Function Documentation

◆ get_format_specifier()

format_specifiert format_elementt::get_format_specifier ( ) const
inline

Definition at line 123 of file string_constraint_generator_format.cpp.

◆ get_format_text() [1/2]

format_textt& format_elementt::get_format_text ( )
inline

Definition at line 129 of file string_constraint_generator_format.cpp.

◆ get_format_text() [2/2]

const format_textt& format_elementt::get_format_text ( ) const
inline

Definition at line 135 of file string_constraint_generator_format.cpp.

◆ is_format_specifier()

bool format_elementt::is_format_specifier ( ) const
inline

Definition at line 113 of file string_constraint_generator_format.cpp.

◆ is_format_text()

bool format_elementt::is_format_text ( ) const
inline

Definition at line 118 of file string_constraint_generator_format.cpp.

Member Data Documentation

◆ fspec

std::vector<format_specifiert> format_elementt::fspec
private

Definition at line 144 of file string_constraint_generator_format.cpp.

◆ fstring

format_textt format_elementt::fstring
private

Definition at line 143 of file string_constraint_generator_format.cpp.

◆ type

format_typet format_elementt::type
private

Definition at line 142 of file string_constraint_generator_format.cpp.


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