format_expr_configt Class Reference

Collaboration diagram for format_expr_configt:

Public Types
using	formattert = std::function< std::ostream &(std::ostream &, const exprt &)>
using	expr_mapt = std::unordered_map< irep_idt, formattert >

Public Member Functions
	format_expr_configt ()
const formattert &	find_formatter (const exprt &)
	find the formatter for a given expression More...

Public Attributes
expr_mapt	expr_map

Private Member Functions
void	setup ()
	setup the expressions we can format More...

Private Attributes
formattert	fallback

Detailed Description

Definition at line 263 of file format_expr.cpp.

Member Typedef Documentation

expr_mapt

using format_expr_configt::expr_mapt = std::unordered_map<irep_idt, formattert>

Definition at line 273 of file format_expr.cpp.

formattert

using format_expr_configt::formattert = std::function<std::ostream &(std::ostream &, const exprt &)>

Definition at line 271 of file format_expr.cpp.

Constructor & Destructor Documentation

format_expr_configt()

format_expr_configt::format_expr_configt ( )

inline

Definition at line 266 of file format_expr.cpp.

Member Function Documentation

find_formatter()

const format_expr_configt::formattert & format_expr_configt::find_formatter

(

const exprt &

expr

)

find the formatter for a given expression

Definition at line 625 of file format_expr.cpp.

setup()

void format_expr_configt::setup ( void  )

private

setup the expressions we can format

Definition at line 290 of file format_expr.cpp.

Member Data Documentation

expr_map

expr_mapt format_expr_configt::expr_map

Definition at line 275 of file format_expr.cpp.

fallback

formattert format_expr_configt::fallback

private

Definition at line 284 of file format_expr.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/format_expr.cpp