cprover
|
Go to the source code of this file.
Functions | |
exprt | object_factory (const typet &type, const irep_idt base_name, code_blockt &init_code, bool allow_null, symbol_tablet &symbol_table, size_t max_nondet_array_length, const source_locationt &) |
exprt object_factory | ( | const typet & | type, |
const irep_idt | base_name, | ||
code_blockt & | init_code, | ||
bool | allow_null, | ||
symbol_tablet & | symbol_table, | ||
size_t | max_nondet_array_length, | ||
const source_locationt & | |||
) |
Definition at line 610 of file java_object_factory.cpp.
References code_blockt::add(), exprt::add_source_location(), code_blockt::append(), symbolt::base_name, goto_functions_templatet< goto_programt >::entry_point(), java_object_factoryt::gen_nondet_init(), id2string(), symbolt::is_static_lifetime, java_object_factoryt::loc, symbolt::location, symbolt::mode, symbol_tablet::move(), symbolt::name, symbolt::symbol_expr(), java_object_factoryt::symbols_created, and symbolt::type.
Referenced by java_build_arguments(), and java_static_lifetime_init().