cprover
Loading...
Searching...
No Matches
format_strings.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Format String Parser
4
5Author: CM Wintersteiger
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H
13#define CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H
14
15#include <util/irep.h>
16#include <util/mp_arith.h>
17
18#include <list>
19#include <optional>
20#include <string>
21
22class typet;
23
90
91typedef std::list<format_tokent> format_token_listt;
92
93format_token_listt parse_format_string(const std::string &);
94
95std::optional<typet> get_type(const format_tokent &);
96
97#endif // CPROVER_GOTO_PROGRAMS_FORMAT_STRINGS_H
mp_integer precision
token_typet type
mp_integer field_width
representationt representation
length_modifierst length_modifier
format_tokent(token_typet _type)
std::list< flag_typet > flags
The type of an expression, extends irept.
Definition type.h:29
std::optional< typet > get_type(const format_tokent &)
format_token_listt parse_format_string(const std::string &)
std::list< format_tokent > format_token_listt
BigInt mp_integer
Definition smt_terms.h:17
dstringt irep_idt