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)java_object_factorytprivate
allocate_object(code_blockt &assignments, const exprt &, const typet &, bool create_dynamic_objects)java_object_factoryt
assume_non_nulljava_object_factorytprivate
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_factorytprivate
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_factorytprivate
gen_pointer_target_init(code_blockt &assignments, const exprt &expr, const typet &target_type, bool create_dynamic_objects)java_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, bool _assume_non_null, size_t _max_nondet_array_length, symbol_tablet &_symbol_table)java_object_factorytinline
locjava_object_factorytprivate
max_nondet_array_lengthjava_object_factorytprivate
nsjava_object_factorytprivate
recursion_setjava_object_factorytprivate
symbol_tablejava_object_factorytprivate
symbols_createdjava_object_factorytprivate