CBMC
format_expr.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: 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 
17 class exprt;
18 
21 std::ostream &format_rec(std::ostream &, const exprt &);
22 
26 void 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:644
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.