cprover
|
Public Member Functions | |
expr_initializert (const namespacet &_ns, message_handlert &_message_handler) | |
exprt | operator() (const typet &type, const source_locationt &source_location) |
Protected Member Functions | |
exprt | expr_initializer_rec (const typet &type, const source_locationt &source_location) |
Protected Attributes | |
const namespacet & | ns |
Additional Inherited Members |
Definition at line 26 of file expr_initializer.cpp.
|
inline |
Definition at line 29 of file expr_initializer.cpp.
|
protected |
Definition at line 53 of file expr_initializer.cpp.
References exprt::add_source_location(), struct_union_typet::components(), exprt::copy_to_operands(), DATA_INVARIANT, format(), from_integer(), struct_union_typet::componentt::get_name(), bitvector_typet::get_width(), irept::id(), integer2size_t(), irept::is_nil(), unary_exprt::op(), exprt::operands(), pointer_offset_bits(), irept::set(), union_exprt::set_component_name(), array_typet::size(), vector_typet::size(), size_type(), exprt::source_location(), typet::subtype(), to_array_type(), to_bitvector_type(), to_c_enum_tag_type(), to_complex_type(), to_integer(), to_struct_tag_type(), to_struct_type(), to_union_tag_type(), to_union_type(), to_vector_type(), and exprt::type().
Referenced by expr_initializert< nondet >::operator()().
|
inline |
Definition at line 37 of file expr_initializer.cpp.
References expr_initializert< nondet >::expr_initializer_rec().
|
protected |
Definition at line 45 of file expr_initializer.cpp.