CBMC
format_strings.cpp File Reference

Format String Parser. More...

#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)
 
std::optional< typetget_type (const format_tokent &token)
 

Detailed Description

Format String Parser.

Definition in file format_strings.cpp.

Function Documentation

◆ get_type()

std::optional<typet> get_type ( const format_tokent token)

Definition at line 245 of file format_strings.cpp.

◆ parse_conversion_specifier()

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.

◆ parse_field_width()

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

Definition at line 50 of file format_strings.cpp.

◆ parse_flags()

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

Definition at line 21 of file format_strings.cpp.

◆ parse_format_string()

format_token_listt parse_format_string ( const std::string &  arg_string)

Definition at line 202 of file format_strings.cpp.

◆ parse_length_modifier()

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

Definition at line 85 of file format_strings.cpp.

◆ parse_precision()

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

Definition at line 64 of file format_strings.cpp.