CBMC
|
#include <string>
#include <list>
#include <util/irep.h>
#include <util/mp_arith.h>
#include <util/optional.h>
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 &) |
optionalt< 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 90 of file format_strings.h.
optionalt<typet> get_type | ( | const format_tokent & | ) |
Definition at line 228 of file format_strings.cpp.
format_token_listt parse_format_string | ( | const std::string & | ) |
Definition at line 186 of file format_strings.cpp.