CBMC
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 formattertfind_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 266 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 276 of file format_expr.cpp.

◆ formattert

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

Definition at line 274 of file format_expr.cpp.

Constructor & Destructor Documentation

◆ format_expr_configt()

format_expr_configt::format_expr_configt ( )
inline

Definition at line 269 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 628 of file format_expr.cpp.

◆ setup()

void format_expr_configt::setup ( void  )
private

setup the expressions we can format

Definition at line 293 of file format_expr.cpp.

Member Data Documentation

◆ expr_map

expr_mapt format_expr_configt::expr_map

Definition at line 278 of file format_expr.cpp.

◆ fallback

formattert format_expr_configt::fallback
private

Definition at line 287 of file format_expr.cpp.


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