cprover
java_object_factory.h File Reference
#include <util/message.h>
#include <util/std_code.h>
#include <util/symbol_table.h>
Include dependency graph for java_object_factory.h:
This graph shows which files directly or indirectly include this file:

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 &)
 

Function Documentation

◆ object_factory()