CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
format_expr.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_FORMAT_EXPR_H
10#define CPROVER_UTIL_FORMAT_EXPR_H
11
12#include "format.h" // IWYU pragma: keep
13#include "irep.h"
14
15#include <functional>
16
17class exprt;
18
21std::ostream &format_rec(std::ostream &, const exprt &);
22
26void add_format_hook(
27 irep_idt,
28 std::function<std::ostream &(std::ostream &, const exprt &)>);
29
30#endif // CPROVER_UTIL_FORMAT_EXPR_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38
exprt
Base class for all expressions.
Definition expr.h:56
format_rec
std::ostream & format_rec(std::ostream &, const exprt &)
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition format_expr.cpp:645
add_format_hook
void add_format_hook(irep_idt, std::function< std::ostream &(std::ostream &, const exprt &)>)
Adds a formatter for expressions with the given ID at runtime.