cprover
|
Go to the source code of this file.
Classes | |
class | format_tokent |
Typedefs | |
typedef std::list< format_tokent > | format_token_listt |
Functions | |
format_token_listt | parse_format_string (const std::string &) |
typet | get_type (const format_tokent &) |
Format String Parser.
Definition in file format_strings.h.
typedef std::list<format_tokent> format_token_listt |
Definition at line 87 of file format_strings.h.
typet get_type | ( | const format_tokent & | ) |
Definition at line 221 of file format_strings.cpp.
References format_tokent::CHAR, char_type(), double_type(), format_tokent::FLOAT, float_type(), format_tokent::INT, format_tokent::LEN_h, format_tokent::LEN_hh, format_tokent::LEN_l, format_tokent::LEN_L, format_tokent::LEN_ll, format_tokent::length_modifier, long_double_type(), format_tokent::POINTER, pointer_type(), format_tokent::representation, signed_char_type(), format_tokent::SIGNED_DEC, signed_int_type(), signed_long_int_type(), signed_long_long_int_type(), signed_short_int_type(), format_tokent::STRING, format_tokent::type, unsigned_char_type(), unsigned_int_type(), unsigned_long_int_type(), unsigned_long_long_int_type(), unsigned_short_int_type(), void_type(), and wchar_t_type().
Referenced by goto_convertt::do_scanf().
format_token_listt parse_format_string | ( | const std::string & | ) |
Definition at line 183 of file format_strings.cpp.
References parse_conversion_specifier(), parse_field_width(), parse_flags(), parse_length_modifier(), parse_precision(), and format_tokent::TEXT.
Referenced by string_instrumentationt::do_format_string_read(), string_instrumentationt::do_format_string_write(), and goto_convertt::do_scanf().