expr_initializert Class Reference

Collaboration diagram for expr_initializert:

Public Member Functions
	expr_initializert (const namespacet &_ns)
std::optional< exprt >	operator() (const typet &type, const source_locationt &source_location, const exprt &init_expr)

Protected Member Functions
std::optional< exprt >	expr_initializer_rec (const typet &type, const source_locationt &source_location, const exprt &init_expr)

Protected Attributes
const namespacet &	ns

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:

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