cprover
java_object_factoryt Member List

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, const source_locationt &location)java_object_factorytprivate
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, const source_locationt &location)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, const source_locationt &location)java_object_factoryt
gen_nondet_pointer_init(code_blockt &assignments, const exprt &expr, allocation_typet alloc_type, const pointer_typet &pointer_type, size_t depth, const update_in_placet &update_in_place, const source_locationt &location)java_object_factorytprivate
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, const source_locationt &location)java_object_factorytprivate
gen_nondet_subtype_pointer_init(code_blockt &assignments, allocation_typet alloc_type, const pointer_typet &substitute_pointer_type, size_t depth, const source_locationt &location)java_object_factorytprivate
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, const source_locationt &location)java_object_factorytprivate
generic_parameter_specialization_mapjava_object_factorytprivate
get_null_assignment(const exprt &expr, const pointer_typet &ptr_type)java_object_factorytprivate
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_factorytinline
locjava_object_factorytprivate
nsjava_object_factorytprivate
object_factory_parametersjava_object_factorytprivate
pointer_type_selectorjava_object_factorytprivate
recursion_setjava_object_factorytprivate
symbol_tablejava_object_factorytprivate
symbols_createdjava_object_factorytprivate