57 symbol.
mode = ID_java;
59 symbol.
type.
set(ID_C_no_nondet_initialization,
true);
irep_idt rounding_mode_identifier()
Return the identifier of the program symbol used to store the current rounding mode.
signedbv_typet signed_int_type()
pointer_typet pointer_type(const typet &subtype)
Internally generated symbol table entryThis is a symbol generated as part of translation to or modifi...
void set(const irep_namet &name, const irep_idt &value)
The null pointer constant.
The symbol table base class interface.
bool add(const symbolt &symbol)
Add a new symbol to the symbol table.
irep_idt base_name
Base (non-scoped) name.
typet type
Type of symbol.
irep_idt name
The unique identifier.
exprt value
Initial value of symbol.
irep_idt mode
Language mode.
void java_internal_additions(symbol_table_baset &dest)
empty_typet java_void_type()
API to expression classes for Pointers.
const pointer_typet & to_pointer_type(const typet &type)
Cast a typet to a pointer_typet.
Remove function exceptional returns.
#define INFLIGHT_EXCEPTION_VARIABLE_BASENAME
#define INFLIGHT_EXCEPTION_VARIABLE_NAME