Go to the documentation of this file.
53 symbol.
mode = ID_java;
55 symbol.
type.
set(ID_C_no_nondet_initialization,
true);
#define INFLIGHT_EXCEPTION_VARIABLE_BASENAME
typet type
Type of symbol.
irep_idt base_name
Base (non-scoped) name.
Internally generated symbol table entryThis is a symbol generated as part of translation to or modifi...
irep_idt mode
Language mode.
signedbv_typet signed_int_type()
The null pointer constant.
The symbol table base class interface.
#define INFLIGHT_EXCEPTION_VARIABLE_NAME
pointer_typet pointer_type(const typet &subtype)
const pointer_typet & to_pointer_type(const typet &type)
Cast a typet to a pointer_typet.
Remove function exceptional returns.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
exprt value
Initial value of symbol.
void java_internal_additions(symbol_table_baset &dest)
void set(const irep_namet &name, const irep_idt &value)
empty_typet java_void_type()
irep_idt name
The unique identifier.