cprover
|
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_textt & | get_format_text () |
const format_textt & | get_format_text () const |
Private Attributes | |
format_typet | type |
format_textt | fstring |
std::vector< string_constraint_generatort::format_specifiert > | fspec |
Definition at line 94 of file string_constraint_generator_format.cpp.
Enumerator | |
---|---|
SPECIFIER | |
TEXT |
Definition at line 97 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 99 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 103 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 107 of file string_constraint_generator_format.cpp.
References fspec.
|
inline |
Definition at line 124 of file string_constraint_generator_format.cpp.
References fspec, is_format_specifier(), and PRECONDITION.
|
inline |
Definition at line 130 of file string_constraint_generator_format.cpp.
References fstring, is_format_text(), and PRECONDITION.
|
inline |
Definition at line 136 of file string_constraint_generator_format.cpp.
References fstring, is_format_text(), and PRECONDITION.
|
inline |
Definition at line 114 of file string_constraint_generator_format.cpp.
References SPECIFIER, and type.
Referenced by get_format_specifier().
|
inline |
Definition at line 119 of file string_constraint_generator_format.cpp.
Referenced by get_format_text().
|
private |
Definition at line 145 of file string_constraint_generator_format.cpp.
Referenced by format_elementt(), and get_format_specifier().
|
private |
Definition at line 144 of file string_constraint_generator_format.cpp.
Referenced by get_format_text().
|
private |
Definition at line 143 of file string_constraint_generator_format.cpp.
Referenced by is_format_specifier(), and is_format_text().