CBMC: Member List

add_created_symbol(const symbolt &symbol) java_object_factoryt

allocate_objects java_object_factoryt private

assign_element(const exprt &element, update_in_placet update_in_place, const typet &element_type, size_t depth, const source_locationt &location) java_object_factoryt private

declare_created_symbols(code_blockt &init_code) java_object_factoryt

gen_nondet_enum_init(code_blockt &assignments, const exprt &expr, const java_class_typet &java_class_type, const source_locationt &location) java_object_factoryt

gen_nondet_init(code_blockt &assignments, const exprt &expr, bool is_sub, bool skip_classid, lifetimet lifetime, const std::optional< typet > &override_type, size_t depth, update_in_placet, const source_locationt &location) java_object_factoryt

gen_nondet_pointer_init(code_blockt &assignments, const exprt &expr, lifetimet lifetime, const pointer_typet &pointer_type, size_t depth, const update_in_placet &update_in_place, const source_locationt &location) java_object_factoryt private

gen_nondet_struct_init(code_blockt &assignments, const exprt &expr, bool is_sub, bool skip_classid, lifetimet lifetime, const struct_typet &struct_type, size_t depth, const update_in_placet &update_in_place, const source_locationt &location) java_object_factoryt private

gen_nondet_subtype_pointer_init(code_blockt &assignments, lifetimet lifetime, const pointer_typet &substitute_pointer_type, size_t depth, const source_locationt &location) java_object_factoryt private

gen_pointer_target_init(code_blockt &assignments, const exprt &expr, const typet &target_type, lifetimet lifetime, size_t depth, update_in_placet update_in_place, const source_locationt &location) java_object_factoryt private

generic_parameter_specialization_map java_object_factoryt private

java_object_factoryt(const source_locationt &loc, const java_object_factory_parameterst _object_factory_parameters, symbol_table_baset &_symbol_table, const select_pointer_typet &pointer_type_selector, message_handlert &log) java_object_factoryt inline

log java_object_factoryt private

object_factory_parameters java_object_factoryt private

pointer_type_selector java_object_factoryt private

recursion_set java_object_factoryt private

symbol_table java_object_factoryt private