cprover
Loading...
Searching...
No Matches
format_expr_configt Class Reference
Collaboration diagram for format_expr_configt:

Public Types

using formattert
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

Public Attributes

expr_mapt expr_map

Private Member Functions

void setup ()
 setup the expressions we can format

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

Initial value:

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 629 of file format_expr.cpp.

◆ setup()

void format_expr_configt::setup ( )
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: