CBMC
expr_initializert Class Reference
+ Collaboration diagram for expr_initializert:

Public Member Functions

 expr_initializert (const namespacet &_ns)
 
std::optional< exprtoperator() (const typet &type, const source_locationt &source_location, const exprt &init_expr)
 

Protected Member Functions

std::optional< exprtexpr_initializer_rec (const typet &type, const source_locationt &source_location, const exprt &init_expr)
 

Protected Attributes

const namespacetns
 

Detailed Description

Definition at line 25 of file expr_initializer.cpp.

Constructor & Destructor Documentation

◆ expr_initializert()

expr_initializert::expr_initializert ( const namespacet _ns)
inlineexplicit

Definition at line 28 of file expr_initializer.cpp.

Member Function Documentation

◆ expr_initializer_rec()

std::optional< exprt > expr_initializert::expr_initializer_rec ( const typet type,
const source_locationt source_location,
const exprt init_expr 
)
protected

Definition at line 49 of file expr_initializer.cpp.

◆ operator()()

std::optional<exprt> expr_initializert::operator() ( const typet type,
const source_locationt source_location,
const exprt init_expr 
)
inline

Definition at line 32 of file expr_initializer.cpp.

Member Data Documentation

◆ ns

const namespacet& expr_initializert::ns
protected

Definition at line 41 of file expr_initializer.cpp.


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