cprover
java_object_factory.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_H
11
#define CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_H
12
13
#include <
util/message.h
>
14
#include <
util/std_code.h
>
15
#include <
util/symbol_table.h
>
16
17
exprt
object_factory
(
18
const
typet
&type,
19
const
irep_idt
base_name,
20
code_blockt
&init_code,
21
bool
allow_null,
22
symbol_tablet
&symbol_table,
23
size_t
max_nondet_array_length,
24
const
source_locationt
&);
25
26
#endif // CPROVER_JAVA_BYTECODE_JAVA_OBJECT_FACTORY_H
typet
The type of an expression.
Definition:
type.h:20
object_factory
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:
java_object_factory.cpp:610
message.h
std_code.h
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
dstringt
Definition:
dstring.h:21
symbol_table.h
Symbol table.
source_locationt
Definition:
source_location.h:16
exprt
Base class for all expressions.
Definition:
expr.h:46
code_blockt
Sequential composition.
Definition:
std_code.h:63
java_bytecode
java_object_factory.h
Generated by
1.8.14