CBMC
format_strings.h File Reference
#include <string>
#include <list>
#include <util/irep.h>
#include <util/mp_arith.h>
#include <util/optional.h>
+ 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_tokentformat_token_listt
 

Functions

format_token_listt parse_format_string (const std::string &)
 
optionalt< typetget_type (const format_tokent &)
 

Detailed Description

Format String Parser

Definition in file format_strings.h.

Typedef Documentation

◆ format_token_listt

typedef std::list<format_tokent> format_token_listt

Definition at line 90 of file format_strings.h.

Function Documentation

◆ get_type()

optionalt<typet> get_type ( const format_tokent )

Definition at line 228 of file format_strings.cpp.

◆ parse_format_string()

format_token_listt parse_format_string ( const std::string &  )

Definition at line 186 of file format_strings.cpp.