ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
format_strings.cpp File Reference
#include <cctype>
#include <goto-programs/format_strings.h>
Include dependency graph for format_strings.cpp:

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)
bool parse_format_string (const exprt &format_arg, format_token_listt &token_list)

Function Documentation

◆ parse_conversion_specifier()

void parse_conversion_specifier ( const std::string & arg_string,
std::string::const_iterator & it,
format_tokent & curtok )

◆ parse_field_width()

void parse_field_width ( std::string::const_iterator & it,
format_tokent & curtok )

◆ parse_flags()

void parse_flags ( std::string::const_iterator & it,
format_tokent & curtok )

◆ parse_format_string()

bool parse_format_string ( const exprt & format_arg,
format_token_listt & token_list )

◆ parse_length_modifier()

void parse_length_modifier ( std::string::const_iterator & it,
format_tokent & curtok )

◆ parse_precision()

void parse_precision ( std::string::const_iterator & it,
format_tokent & curtok )