cprover
|
This is the complete list of members for java_object_factoryt, including all inherited members.
allocate_nondet_length_array(code_blockt &assignments, const exprt &lhs, const exprt &max_length_expr, const typet &element_type) | java_object_factoryt | private |
allocate_object(code_blockt &assignments, const exprt &, const typet &, allocation_typet alloc_type) | java_object_factoryt | |
gen_nondet_array_init(code_blockt &assignments, const exprt &expr, size_t depth, update_in_placet) | java_object_factoryt | |
gen_nondet_init(code_blockt &assignments, const exprt &expr, bool is_sub, irep_idt class_identifier, bool skip_classid, allocation_typet alloc_type, bool override_, const typet &override_type, size_t depth, update_in_placet) | java_object_factoryt | |
gen_nondet_pointer_init(code_blockt &assignments, const exprt &expr, const irep_idt &class_identifier, allocation_typet alloc_type, const pointer_typet &pointer_type, size_t depth, const update_in_placet &update_in_place) | java_object_factoryt | private |
gen_nondet_struct_init(code_blockt &assignments, const exprt &expr, bool is_sub, irep_idt class_identifier, bool skip_classid, allocation_typet alloc_type, const struct_typet &struct_type, size_t depth, const update_in_placet &update_in_place) | java_object_factoryt | private |
gen_nondet_subtype_pointer_init(code_blockt &assignments, allocation_typet alloc_type, const pointer_typet &substitute_pointer_type, size_t depth) | java_object_factoryt | private |
gen_pointer_target_init(code_blockt &assignments, const exprt &expr, const typet &target_type, allocation_typet alloc_type, size_t depth, update_in_placet update_in_place) | java_object_factoryt | private |
generic_parameter_specialization_map | java_object_factoryt | private |
get_null_assignment(const exprt &expr, const pointer_typet &ptr_type) | java_object_factoryt | private |
java_object_factoryt(std::vector< const symbolt *> &_symbols_created, const source_locationt &loc, const object_factory_parameterst _object_factory_parameters, symbol_table_baset &_symbol_table, const select_pointer_typet &pointer_type_selector) | java_object_factoryt | inline |
loc | java_object_factoryt | private |
ns | 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 |
symbols_created | java_object_factoryt | private |