|
CBMC
|
#include "format_strings.h"#include <util/c_types.h>#include <util/exception_utils.h>#include <util/invariant.h>#include <util/std_expr.h>#include <cctype>
Include dependency graph for format_strings.cpp:Go to the source code of this file.
Functions | |
| void | parse_flags (std::string::const_iterator &it, format_tokent &curtok) |
| void | parse_field_width (std::string::const_iterator &it, format_tokent &curtok) |
| void | parse_precision (std::string::const_iterator &it, format_tokent &curtok) |
| void | parse_length_modifier (std::string::const_iterator &it, format_tokent &curtok) |
| void | parse_conversion_specifier (const std::string &arg_string, std::string::const_iterator &it, format_tokent &curtok) |
| format_token_listt | parse_format_string (const std::string &arg_string) |
| optionalt< typet > | get_type (const format_tokent &token) |
Format String Parser
Definition in file format_strings.cpp.
| optionalt<typet> get_type | ( | const format_tokent & | token | ) |
Definition at line 228 of file format_strings.cpp.
| void parse_conversion_specifier | ( | const std::string & | arg_string, |
| std::string::const_iterator & | it, | ||
| format_tokent & | curtok | ||
| ) |
Definition at line 120 of file format_strings.cpp.
| void parse_field_width | ( | std::string::const_iterator & | it, |
| format_tokent & | curtok | ||
| ) |
Definition at line 48 of file format_strings.cpp.
| void parse_flags | ( | std::string::const_iterator & | it, |
| format_tokent & | curtok | ||
| ) |
Definition at line 21 of file format_strings.cpp.
| format_token_listt parse_format_string | ( | const std::string & | arg_string | ) |
Definition at line 186 of file format_strings.cpp.
| void parse_length_modifier | ( | std::string::const_iterator & | it, |
| format_tokent & | curtok | ||
| ) |
Definition at line 85 of file format_strings.cpp.
| void parse_precision | ( | std::string::const_iterator & | it, |
| format_tokent & | curtok | ||
| ) |
Definition at line 63 of file format_strings.cpp.