CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Private Member Functions | Private Attributes | List of all members
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

 
  find the formatter for a given expression
 

Public Attributes

 

Private Member Functions

void  setup ()
  setup the expressions we can format
 

Private Attributes

 

Detailed Description

Definition at line 270 of file format_expr.cpp.

Member Typedef Documentation

◆  expr_mapt

Definition at line 280 of file format_expr.cpp.

◆  formattert

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

Definition at line 278 of file format_expr.cpp.

Constructor & Destructor Documentation

◆  format_expr_configt()

format_expr_configt::format_expr_configt ( )
inline

Definition at line 273 of file format_expr.cpp.

Member Function Documentation

◆  find_formatter()

const format_expr_configt::formattert & format_expr_configt::find_formatter ( const exprtexpr )

find the formatter for a given expression

Definition at line 632 of file format_expr.cpp.

◆  setup()

void format_expr_configt::setup ( )
private

setup the expressions we can format

Definition at line 297 of file format_expr.cpp.

Member Data Documentation

◆  expr_map

expr_mapt format_expr_configt::expr_map

Definition at line 282 of file format_expr.cpp.

◆  fallback

formattert format_expr_configt::fallback
private

Definition at line 291 of file format_expr.cpp.


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

AltStyle によって変換されたページ (->オリジナル) /