|
CBMC
|
#include <util/irep.h>#include <util/mp_arith.h>#include <list>#include <optional>#include <string>
Include dependency graph for format_strings.h:
This graph shows which files directly or indirectly include this file: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 &) |
| std::optional< 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 91 of file format_strings.h.
| std::optional< typet > get_type | ( | const format_tokent & | token | ) |
Definition at line 245 of file format_strings.cpp.
| format_token_listt parse_format_string | ( | const std::string & | arg_string | ) |
Definition at line 202 of file format_strings.cpp.