CBMC: /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/format_strings.h File Reference

CBMC

Loading...

Searching...

No Matches

Classes | Typedefs | Functions

format_strings.h File Reference

Format String Parser. More...

#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 &)

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 91 of file format_strings.h.

Function Documentation

◆ get_type()

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

Definition at line 245 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.