cprover
format_strings.h File Reference

Format String Parser. More...

#include <string>
#include <list>
#include <util/expr.h>
#include <util/mp_arith.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
 
class  format_token_listt
 

Functions

format_token_listt parse_format_string (const std::string &)
 
typet get_type (const format_tokent &)
 

Detailed Description

Format String Parser.

Definition in file format_strings.h.

Function Documentation

§ get_type()

§ parse_format_string()