cprover
|
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 |
Definition at line 95 of file string_constraint_generator_format.cpp.
Enumerator | |
---|---|
SPECIFIER | |
TEXT |
Definition at line 98 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 100 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 104 of file string_constraint_generator_format.cpp.
|
inlineexplicit |
Definition at line 108 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 123 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 129 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 135 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 113 of file string_constraint_generator_format.cpp.
|
inline |
Definition at line 118 of file string_constraint_generator_format.cpp.
|
private |
Definition at line 144 of file string_constraint_generator_format.cpp.
|
private |
Definition at line 143 of file string_constraint_generator_format.cpp.
|
private |
Definition at line 142 of file string_constraint_generator_format.cpp.