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 &, bool create_dynamic_objects) | java_object_factoryt | |
assume_non_null | java_object_factoryt | private |
gen_nondet_array_init(code_blockt &assignments, const exprt &expr) | java_object_factoryt | |
gen_nondet_init(code_blockt &assignments, const exprt &expr, bool is_sub, irep_idt class_identifier, bool create_dynamic_objects, bool override=false, const typet &override_type=empty_typet()) | java_object_factoryt | |
gen_nondet_pointer_init(code_blockt &assignments, const exprt &expr, const irep_idt &class_identifier, bool create_dynamic_objects, const pointer_typet &pointer_type) | java_object_factoryt | private |
gen_nondet_struct_init(code_blockt &assignments, const exprt &expr, bool is_sub, irep_idt class_identifier, bool create_dynamic_objects, const struct_typet &struct_type) | java_object_factoryt | private |
gen_pointer_target_init(code_blockt &assignments, const exprt &expr, const typet &target_type, bool create_dynamic_objects) | 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, bool _assume_non_null, size_t _max_nondet_array_length, symbol_tablet &_symbol_table) | java_object_factoryt | inline |
loc | java_object_factoryt | private |
max_nondet_array_length | java_object_factoryt | private |
ns | java_object_factoryt | private |
recursion_set | java_object_factoryt | private |
symbol_table | java_object_factoryt | private |
symbols_created | java_object_factoryt | private |