cprover
Loading...
Searching...
No Matches
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
exprt
Base class for all expressions.
Definition
expr.h:56
format.h
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.
irep.h
irep_idt
dstringt irep_idt
Definition
verification_result.h:16
util
format_expr.h
Generated by
1.13.1