cprover
format_elementt Class Reference
Collaboration diagram for format_elementt:
[legend]

Public Types

enum  format_typet { SPECIFIER, TEXT }
 

Public Member Functions

 format_elementt (format_typet _type)
 
 format_elementt (std::string s)
 
 format_elementt (string_constraint_generatort::format_specifiert fs)
 
bool is_format_specifier () const
 
bool is_format_text () const
 
string_constraint_generatort::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< string_constraint_generatort::format_specifiertfspec
 

Detailed Description

Definition at line 94 of file string_constraint_generator_format.cpp.

Member Enumeration Documentation

◆ format_typet

Enumerator
SPECIFIER 
TEXT 

Definition at line 97 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 99 of file string_constraint_generator_format.cpp.

◆ format_elementt() [2/3]

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

Definition at line 103 of file string_constraint_generator_format.cpp.

◆ format_elementt() [3/3]

format_elementt::format_elementt ( string_constraint_generatort::format_specifiert  fs)
inlineexplicit

Definition at line 107 of file string_constraint_generator_format.cpp.

References fspec.

Member Function Documentation

◆ get_format_specifier()

string_constraint_generatort::format_specifiert format_elementt::get_format_specifier ( ) const
inline

◆ get_format_text() [1/2]

format_textt& format_elementt::get_format_text ( )
inline

Definition at line 130 of file string_constraint_generator_format.cpp.

References fstring, is_format_text(), and PRECONDITION.

◆ get_format_text() [2/2]

const format_textt& format_elementt::get_format_text ( ) const
inline

Definition at line 136 of file string_constraint_generator_format.cpp.

References fstring, is_format_text(), and PRECONDITION.

◆ is_format_specifier()

bool format_elementt::is_format_specifier ( ) const
inline

Definition at line 114 of file string_constraint_generator_format.cpp.

References SPECIFIER, and type.

Referenced by get_format_specifier().

◆ is_format_text()

bool format_elementt::is_format_text ( ) const
inline

Definition at line 119 of file string_constraint_generator_format.cpp.

References TEXT, and type.

Referenced by get_format_text().

Member Data Documentation

◆ fspec

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

◆ fstring

format_textt format_elementt::fstring
private

Definition at line 144 of file string_constraint_generator_format.cpp.

Referenced by get_format_text().

◆ type

format_typet format_elementt::type
private

Definition at line 143 of file string_constraint_generator_format.cpp.

Referenced by is_format_specifier(), and is_format_text().


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