CBMC
format_expr.h File Reference
#include "format.h"
#include "irep.h"
#include <functional>
+ Include dependency graph for format_expr.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

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. More...
 
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. More...
 

Function Documentation

◆ 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.

The formatter is given as a function that receives the output stream and the expression as arguments.

◆ format_rec()

std::ostream& format_rec ( std::ostream &  os,
const exprt expr 
)

Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.

Definition at line 641 of file format_expr.cpp.